〈a, b | abaaabbaab=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: right-to-left ad/bc
• Auxiliary generator bbaab=c
• Auxiliary generator baaac=d

Inverses of generators

• a^-1 = d
• b^-1 = aca³
• c^-1 = a³ba
• d^-1 = a

Complete rewriting system

1. da ⇒ 1
2. ad ⇒ 1
3. cab ⇒ d³
4. ba³c ⇒ d
5. cac ⇒ d³ba²b
6. ca²c ⇒ d²ba³bd
7. ca³c ⇒ b²a
8. ca⁴c ⇒ dbaba²
9. ba³b² ⇒ a²cd
10. ba(ab)² ⇒ a³cd²
11. b²a²b ⇒ c
12. baba³b ⇒ aca
13. ba³bc ⇒ a²cdba²b
14. ba²bac ⇒ a³cd²ba²b
15. ba³bac ⇒ a²cba³bd
16. b²a²c ⇒ cba²b
17. (ba²)²c ⇒ a³cdba³bd
18. ba³ba²c ⇒ a²ca²b²a
19. b²a⁴c ⇒ ca³b²a
20. baba⁴c ⇒ aca²ba³bd
21. ba²ba⁴c ⇒ a³cbaba²
22. b²a⁵c ⇒ ca(ab)²a²
23. baba⁵c ⇒ aca⁴b²a
24. baba⁶c ⇒ aca³baba²

Other anti-isomorphic instances