〈a, b | aaabbabbba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

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

Inverses of generators

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

Complete rewriting system

1. dc ⇒ 1
2. cd ⇒ 1
3. ca ⇒ ac
4. da ⇒ ad
5. a⁴ ⇒ c
6. b³c ⇒ a³b²ab
7. b²abd ⇒ adb³
8. bcb²a ⇒ cb²ab
9. b³ac ⇒ a³b(ba)²
10. b(ba)²d ⇒ adb³a
11. b³a²c ⇒ a³b²aba²
12. b²aba²d ⇒ adb³a²
13. b³a³ ⇒ a³dbcb²
14. b²aba³ ⇒ dbcb²c
15. b²ab²d ⇒ dbab³
16. (b²a)²d ⇒ dbab³a
17. (b²a)²ad ⇒ dbab³a²
18. b²ab²a³ ⇒ d(b²c)²
19. b²ab³ ⇒ d

Other isomorphic instances

Other anti-isomorphic instances