〈a, b | abaabbaba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: left-to-right dc/a/b
• Auxiliary generator aba=c
• Auxiliary generator bbccb=d

Inverses of generators

• a^-1 = (ad)²c²
• b^-1 = adc²a
• c^-1 = dc²
• d^-1 = c³

Complete rewriting system

1. cd ⇒ dc
2. dc³ ⇒ 1
3. dadc²a ⇒ (ad)²c²
4. cada ⇒ a²dc
5. dcadc²a ⇒ a²d
6. c²a² ⇒ adc²ac³
7. (dc²a)² ⇒ ca²d
8. a²da ⇒ c
9. daca² ⇒ (ad)²cac³
10. dadca² ⇒ adad²c²ac²
11. dcaca² ⇒ a²d²c²ac³
12. (dca)²a ⇒ a²d²ac²
13. dc²aca² ⇒ ca²d²c²ac³
14. dc²adca² ⇒ ca²d²ac²
15. b ⇒ ad