〈a, b | aaaababba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

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

Inverses of generators

• a^-1 = da⁴
• b^-1 = babc
• 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⁴bab
7. babd ⇒ adb²
8. bcba ⇒ cbab
9. b²ac ⇒ a⁴(ba)²
10. (ba)²d ⇒ adb²a
11. b²a²c ⇒ a⁴baba²
12. baba²d ⇒ adb²a²
13. b²a³c ⇒ a⁴baba³
14. baba³d ⇒ adb²a³
15. b²a⁴ ⇒ a⁴dbcb
16. baba⁴ ⇒ d(bc)²
17. bab² ⇒ d

Other isomorphic instances

Other anti-isomorphic instances