〈a, b | aabbbaaaab=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: right-to-left cdb/a
• Auxiliary generator bbb=c
• Auxiliary generator aaaabaa=d

Inverses of generators

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

Complete rewriting system

1. dc ⇒ 1
2. cd ⇒ 1
3. cb ⇒ bc
4. db ⇒ bd
5. b³ ⇒ c
6. aba²c ⇒ ba²ca
7. a²cad ⇒ b²daba²
8. aba²bc ⇒ ba²cab
9. a²cabd ⇒ b²daba²b
10. aba²b²c ⇒ ba²cab²
11. a²cab²d ⇒ b²daba²b²
12. a²ca²d ⇒ b²da²ba²
13. a⁴b ⇒ bda²ca²
14. a²ca²bd ⇒ b²d(a²b)²
15. a²ca²b² ⇒ b²a⁴c
16. (a²b)²b ⇒ ca⁴
17. a²ca³d ⇒ b²da³ba²
18. a²ca³bd ⇒ b²da(a²b)²
19. a²ca³b² ⇒ b²daca⁴c
20. a²ca⁴ ⇒ b²d

Other anti-isomorphic instances