〈a, b | aaababbaba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

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

Inverses of generators

• a^-1 = da³
• b^-1 = babcba
• c^-1 = d
• d^-1 = c

Complete rewriting system

1. ca ⇒ ac
2. a⁴ ⇒ c
3. dc ⇒ 1
4. dac ⇒ a
5. da²c ⇒ a²
6. da³c ⇒ a³
7. ad ⇒ da
8. cd ⇒ 1
9. cbab ⇒ babc
10. dbab ⇒ babd
11. d(ab)² ⇒ (ab)²d
12. da(ab)² ⇒ a(ab)²d
13. da³bab ⇒ a³babd
14. ab²ab ⇒ babcbda
15. acb²ab ⇒ babc²bda
16. a³bab² ⇒ b²aba³
17. a³babcb ⇒ cb²aba³
18. a³babc²b ⇒ c²b²aba³
19. ac²b²ab ⇒ babc³bda
20. c³b²ab ⇒ a³babc³bda
21. db²ab ⇒ a³ba(bd)²a
22. b²abcb ⇒ da³

Other isomorphic instances