〈a, b | aababaaaab=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: left-to-right dca/b
• Auxiliary generator aa=c
• Auxiliary generator bcbab=d

Inverses of generators

• a^-1 = dca
• b^-1 = cbabc²
• c^-1 = dc
• d^-1 = c²

Complete rewriting system

1. cd ⇒ dc
2. ad ⇒ da
3. ac ⇒ ca
4. a² ⇒ c
5. dc² ⇒ 1
6. (cb)² ⇒ babca
7. (ab)² ⇒ bc²bdc
8. abc²b ⇒ cbabc
9. dcbab ⇒ bcbda
10. dcbc²b ⇒ abcbdca
11. cabcb ⇒ bc²ba
12. bcbab ⇒ d
13. cb²ab ⇒ babc²abda
14. ab²c²b ⇒ bc²bdcabc
15. dcb²c²b ⇒ bcbdcbc
16. cab²ab ⇒ bc²bcabda
17. bcb²c²b ⇒ dabc
18. cb³c²b ⇒ babc²abdcbc
19. cab³c²b ⇒ bc²bcabdcbc