Back
〈a, b | babab=ababa〉
Monoid presentation of length 10
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right abc
- Auxiliary generator ababa=c
Complete rewriting system
- ca ⇒ bc
- cb ⇒ ac
- a(ba)2 ⇒ c
- b(ab)2 ⇒ c