〈a, b | aababbbaab=1〉

Properties

• Infinite non-Abelian group

Completion parameters

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

Inverses of generators

• a^-1 = bdc
• b^-1 = aed
• c^-1 = ed
• d^-1 = ce
• e^-1 = dc

Complete rewriting system

1. dec ⇒ 1
2. ecd ⇒ 1
3. cde ⇒ 1
4. bd ⇒ ec²b
5. be ⇒ dedcdb
6. bc ⇒ eb
7. ae ⇒ ca
8. aded ⇒ cea
9. ac ⇒ d²eade
10. ab ⇒ c
11. ba ⇒ e