〈a, b | abbbabaaab=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: left-to-right dec/a/b
• Auxiliary generator ab=c
• Auxiliary generator bbc=d
• Auxiliary generator daa=e

Inverses of generators

• a^-1 = ac²d
• b^-1 = eca
• c^-1 = ec
• d^-1 = a²c²
• e^-1 = c²

Complete rewriting system

1. ce ⇒ ec
2. ec² ⇒ 1
3. eac²d ⇒ da
4. cac²d ⇒ ade
5. d²a ⇒ ac²dc³d
6. dea ⇒ ac²dc
7. ecad ⇒ ac²dc²
8. cda ⇒ eade
9. a²c²d ⇒ 1
10. da² ⇒ e
11. (ea)²d ⇒ a²c⁴dc²
12. eacad ⇒ daeac
13. eaeca ⇒ a²c²
14. (ca)²d ⇒ ade²ac
15. ecaead ⇒ ca²c⁴dc²
16. (eca)² ⇒ ca²c²
17. c²a² ⇒ aecae
18. a²cad ⇒ eac
19. eaca² ⇒ a²cae
20. ecaca² ⇒ ca²cae
21. b ⇒ ac²dc