Back
〈a, b | aba=b, aaabbb=b〉
Monoid presentation of length 11
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right a/b
Complete rewriting system
- ba6 ⇒ b
- ab ⇒ ba5
- b3 ⇒ ba3
Right Cayley graph (truncated)
Left Cayley graph (truncated)
Other isomorphic instances
9 total
| Length: | Presentation: |
|---|
| 11 | 〈a, b | aba=b, aabbab=b〉 |
| 11 | 〈a, b | aba=b, abbaab=b〉 |
| 11 | 〈a, b | aba=b, baaabb=b〉 |
| 11 | 〈a, b | aba=b, aabbb=ba〉 |
| 11 | 〈a, b | aba=b, abbab=ba〉 |
| 11 | 〈a, b | aba=b, baabb=ab〉 |
| 11 | 〈a, b | aba=b, aaab=bbb〉 |
| 11 | 〈a, b | aba=b, abbb=baa〉 |
| 11 | 〈a, b | aba=b, babb=aab〉 |