Back
〈a, b | abaabaaba=1〉
Monoid presentation of length 9
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right ab
Inverses of generators
- a-1 = ab(a2b)2
- b-1 = a2(ba2)2
Complete rewriting system
- b(a2b)2a ⇒ ab(a2b)2
- (a2b)3 ⇒ 1