Back
〈a, b | aba=bb, abbb=b〉
Monoid presentation of length 10
Properties
- Infinite commutative monoid
- Isomorphic to commutative presentation: 〈a, b | a+2b=2a, 3a+b=a, 4a=a+b〉
- Grothendieck group is ℤ5
Completion parameters
- Reduction order: left-to-right b/a
Complete rewriting system
- b6 ⇒ b
- ab ⇒ b4
- ba ⇒ b4
Right Cayley graph (truncated)
Other isomorphic instances
13 total
| Length: | Presentation: |
|---|
| 10 | 〈a, b | aba=bb, babb=b〉 |
| 11 | 〈a, b | aaaa=ab, baaa=a〉 |
| 11 | 〈a, b | aaab=a, baabb=a〉 |
| 11 | 〈a, b | aaab=a, babab=a〉 |
| 11 | 〈a, b | aaab=a, babba=a〉 |
| 11 | 〈a, b | aaba=a, babab=a〉 |
| 11 | 〈a, b | aab=bb, ababa=b〉 |
| 11 | 〈a, b | aba=bb, aaabb=b〉 |
| 11 | 〈a, b | aba=bb, aabab=b〉 |
| 11 | 〈a, b | aba=bb, aabba=b〉 |
| 11 | 〈a, b | aba=bb, abaab=b〉 |
| 11 | 〈a, b | aba=bb, ababa=b〉 |
| 11 | 〈a, b | aba=bb, baaab=b〉 |