〈a, b | abaaaaaaba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: left-to-right cda/b
• Auxiliary generator aaaaaa=c
• Auxiliary generator baab=d

Inverses of generators

• a^-1 = da⁵
• b^-1 = cba²
• c^-1 = d
• d^-1 = c

Complete rewriting system

1. cd ⇒ 1
2. dc ⇒ 1
3. ac ⇒ ca
4. ad ⇒ da
5. a⁶ ⇒ c
6. db ⇒ cbd²
7. c²b ⇒ bc²
8. dab ⇒ cabd²
9. a²b ⇒ cbda²
10. c²ab ⇒ abc²
11. bcb ⇒ da⁴