Back
〈a, b | aaab=a, abaa=a〉
Monoid presentation of length 10
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right ac/b
- Auxiliary generator ab=c
Complete rewriting system
- ca ⇒ ac
- a2c ⇒ a
- ac2 ⇒ c
- ab ⇒ c
- cb ⇒ c3
Right Cayley graph (truncated)
Left Cayley graph (truncated)
Other isomorphic instances
3 total
| Length: | Presentation: |
|---|
| 11 | 〈a, b | aba=aab, aaab=a〉 |
| 11 | 〈a, b | aba=aab, aaba=a〉 |
| 11 | 〈a, b | aba=aab, abaa=a〉 |