〈a, b | aaabababba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: right-to-left cda/b
• Auxiliary generator aaaa=c
• Auxiliary generator bababb=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. bcba ⇒ ab²c
7. b²a³ ⇒ a³dbcb
8. bab²c ⇒ a²(ab)³
9. b(ab)²d ⇒ adbab²
10. bab²ac ⇒ a³(ba)³
11. (ba)³d ⇒ adbab²a
12. bab²a²c ⇒ a³(ba)³a
13. (ba)³ad ⇒ adbab²a²
14. (ba)³a² ⇒ adb(bc)²
15. (ba)²b² ⇒ d
16. (b²c)² ⇒ a³dba³cb(ab)²
17. b²cb²ac ⇒ a³dba³c(ba)³
18. b²cb²a²c ⇒ a³dba³c(ba)³a

Other isomorphic instances

Other anti-isomorphic instances