〈a, b | abaabbbaba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: left-to-right de/c/b/a
• Auxiliary generator ba=c
• Auxiliary generator ab=d
• Auxiliary generator bcca=e

Inverses of generators

• a^-1 = bec
• b^-1 = ade
• c^-1 = de
• d^-1 = ec
• e^-1 = cd

Complete rewriting system

1. cde ⇒ 1
2. ecd ⇒ 1
3. dec ⇒ 1
4. db ⇒ becede
5. eb ⇒ bc²d
6. cb ⇒ bd
7. ab ⇒ d
8. da ⇒ ac
9. edea ⇒ adc
10. ca ⇒ deade²
11. ba ⇒ c