Back
〈a, b | aabb=ba, bbbb=b〉
Monoid presentation of length 11
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: right-to-left b/a
Complete rewriting system
- b4 ⇒ b
- bab3 ⇒ ba
- ba2 ⇒ b2ab
- a2b ⇒ bab2
- b(ab)2 ⇒ b(ba)2
- (bab)2a ⇒ b2(ab2)2
- (bab)3 ⇒ (b2a)3
Right Cayley graph (truncated)
Left Cayley graph (truncated)
