〈a, b | abaaaababa=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: right-to-left ad/cb
• Auxiliary generator aabab=c
• Auxiliary generator baac=d

Inverses of generators

• a^-1 = ad
• b^-1 = a²ca²
• c^-1 = a²ba²
• d^-1 = a²

Complete rewriting system

1. ad ⇒ da
2. da² ⇒ 1
3. c² ⇒ dab
4. ca²c ⇒ a²bda
5. ca³c ⇒ ba²
6. ba²c ⇒ d
7. cb ⇒ daba³cd
8. cab ⇒ a²bdac
9. ca²b ⇒ d
10. cdab ⇒ dabc
11. ca³b ⇒ ba⁵cd
12. ca⁴b ⇒ a²baca
13. ca⁵b ⇒ ba⁴ca
14. bab ⇒ dc
15. ba²b ⇒ acd
16. ba⁴b ⇒ ca