Back
〈a, b | aa=1, bbb=b〉
Monoid presentation of length 6
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right ab
Complete rewriting system
- a2 ⇒ 1
- b3 ⇒ b
Right Cayley graph (truncated)
Left Cayley graph (truncated)
Other isomorphic instances
23 total
| Length: | Presentation: |
| 8 | 〈a, b | aa=1, aabbb=b〉 |
| 8 | 〈a, b | aa=1, baabb=b〉 |
| 8 | 〈a, b | aa=1, abbb=ab〉 |
| 8 | 〈a, b | aa=1, bbb=aab〉 |
| 10 | 〈a, b | aa=1, aaaabbb=b〉 |
| 10 | 〈a, b | aa=1, aabaabb=b〉 |
| 10 | 〈a, b | aa=1, aabbaab=b〉 |
| 10 | 〈a, b | aa=1, aabbbaa=b〉 |
| 10 | 〈a, b | aa=1, baaaabb=b〉 |
| 10 | 〈a, b | aa=1, baabaab=b〉 |
| 10 | 〈a, b | aa=1, aaabbb=ab〉 |
| 10 | 〈a, b | aa=1, aabbba=ba〉 |
| 10 | 〈a, b | aa=1, abaabb=ab〉 |
| 10 | 〈a, b | aa=1, abbaab=ab〉 |
| 10 | 〈a, b | aa=1, aaaab=bbb〉 |
| 10 | 〈a, b | aa=1, aabaa=bbb〉 |
| 10 | 〈a, b | aa=1, aabbb=aab〉 |
| 10 | 〈a, b | aa=1, aabbb=baa〉 |
| 10 | 〈a, b | aa=1, abbba=aba〉 |
| 10 | 〈a, b | aa=1, baabb=aab〉 |
| 10 | 〈a, b | aa=1, baabb=baa〉 |
| 10 | 〈a, b | aa=1, abbb=aaab〉 |
| 10 | 〈a, b | aa=1, abbb=abaa〉 |