〈a, b | aaa=bb, aabb=aa〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right c/a/b
• Auxiliary generator aa=c

Complete rewriting system

1. c⁴ ⇒ c
2. ac ⇒ c³
3. ca ⇒ c³
4. a² ⇒ c
5. cbc³ ⇒ cb
6. cba ⇒ cbc²
7. c³b ⇒ bc³
8. abc ⇒ c²bc
9. b² ⇒ c³

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances