Back
〈a, b | abbbaabbba=1〉
Monoid presentation of length 10
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right bc/ad
- Auxiliary generator aa=c
- Auxiliary generator bbbaabbb=d
Inverses of generators
- a-1 = ab3cb3
- b-1 = b2cb3c
- c-1 = b3cb3
- d-1 = c
Complete rewriting system
- cb3cb ⇒ bcb3c
- (b3c)2 ⇒ 1
- ca ⇒ ac
- b3cb3a ⇒ ab3cb3
- d ⇒ b3cb3
- a2 ⇒ c