Back
〈a, b | ababab=aaab〉
Monoid presentation of length 10
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right b/ca
- Auxiliary generator aaab=c
Complete rewriting system
- abc ⇒ cab
- a2c ⇒ c(ab)2
- a3b ⇒ c
- (ab)3 ⇒ c