〈a, b | aabaabbaba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: right-to-left dcb/a
• Auxiliary generator abaa=c
• Auxiliary generator bb=d

Inverses of generators

• a^-1 = abadc
• b^-1 = c²b
• c^-1 = dc
• d^-1 = c²

Complete rewriting system

1. dc ⇒ cd
2. db ⇒ bd
3. b² ⇒ d
4. c²d ⇒ 1
5. c²b ⇒ bc²
6. abac ⇒ cba²
7. (ab)² ⇒ cacdad
8. acdab ⇒ cdaba
9. a²cd ⇒ bcaba
10. a²cb ⇒ bc²acda
11. aba² ⇒ c
12. ac(da)²c ⇒ cdabcba²
13. a²dab ⇒ bcabcdaba
14. ac(da)²b ⇒ cdabcacdad
15. acdada² ⇒ cdabc
16. a²(da)²c ⇒ bcabcdabcba²
17. a²(da)²b ⇒ bcabcdabcacdad
18. a(ad)²a² ⇒ bcabcdabc