Back
〈a, b | aabbaaabba=1〉
Monoid presentation of length 10
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right bc/ad
- Auxiliary generator aaa=c
- Auxiliary generator bbaaabb=d
Inverses of generators
- a-1 = a2b2cb2
- b-1 = bcb2c
- c-1 = b2cb2
- d-1 = c
Complete rewriting system
- cb2cb ⇒ bcb2c
- (b2c)2 ⇒ 1
- ca ⇒ ac
- b2cb2a ⇒ ab2cb2
- d ⇒ b2cb2
- a3 ⇒ c