〈a, b | aabbabbba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: right-to-left cda/b
• Auxiliary generator aaa=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² ⇒ a²dbcb²
12. b²aba² ⇒ dbcb²c
13. b²ab²d ⇒ dbab³
14. (b²a)²d ⇒ dbab³a
15. (b²a)²a ⇒ d(b²c)²
16. b²ab³ ⇒ d

Other anti-isomorphic instances