〈a, b | bab=ab, bbb=b〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right ac/b
• Auxiliary generator aab=c

Complete rewriting system

1. a²c ⇒ c²
2. cac ⇒ ac²
3. bc ⇒ c
4. bac ⇒ ac
5. a²b ⇒ c
6. cab ⇒ ac
7. bab ⇒ ab
8. cb² ⇒ c
9. b³ ⇒ b

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances