〈a, b | aababaabba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: right-to-left da/bc
• Auxiliary generator baabb=c
• Auxiliary generator bac=d

Inverses of generators

• a^-1 = da²
• b^-1 = a³ca
• c^-1 = aba³
• d^-1 = a³

Complete rewriting system

1. da ⇒ ad
2. a³d ⇒ 1
3. ca³b ⇒ a²d
4. bac ⇒ d
5. cac ⇒ ba²bd
6. ca²c ⇒ a²dba³bad
7. ca³c ⇒ ab²
8. ca⁴c ⇒ a(ab)²a²d
9. ba²b² ⇒ c
10. ba³bab ⇒ aca
11. baba²b ⇒ adca³
12. b²a³b ⇒ a²dca²
13. babc ⇒ adca⁴ba²bd
14. ba²bc ⇒ ca²b²
15. ba³bc ⇒ acaba³bad
16. ba²badc ⇒ caba²bd
17. b²a²c ⇒ a²dc(a²ba)²d
18. baba²c ⇒ adca⁵b²
19. ba³ba²c ⇒ aca⁴baba²d
20. (ba²)²dc ⇒ cba³bad
21. ba³ba²dc ⇒ ac(a²b)²d
22. b²a³c ⇒ a²dca⁴b²
23. baba³c ⇒ adca⁶baba²d
24. b²a⁴c ⇒ a²dca⁵baba²d