Back
〈a, b | aa=a, baba=abbb〉
Monoid presentation of length 11
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right ba
Complete rewriting system
- a2 ⇒ a
- ab3 ⇒ (ba)2
- a(ba)2 ⇒ (ba)2
- b3aba ⇒ b(ba)2
- ab(ba)2 ⇒ b(ba)2
Right Cayley graph (truncated)
Left Cayley graph (truncated)
