〈a, b | aaabaabaa=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. c²bc ⇒ cbc²
2. (cb)²c² ⇒ c
3. acbc ⇒ abc²
4. abcbc² ⇒ a
5. ca ⇒ ac
6. c²ba ⇒ cbac
7. (cb)²a ⇒ a(bc)²
8. a² ⇒ c
9. acba ⇒ abac
10. abcba ⇒ c(bc)⁴

Other isomorphic instances