〈a, b | aabaababa=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: left-to-right c/d/ba
• Auxiliary generator aba=c
• Auxiliary generator cbaa=d

Inverses of generators

• a^-1 = bad
• b^-1 = a²c²
• c^-1 = d
• d^-1 = c

Complete rewriting system

1. dc ⇒ 1
2. cd ⇒ 1
3. c⁴b ⇒ bc
4. db ⇒ c³bd
5. ca ⇒ ad²
6. da ⇒ ac²
7. c²ba ⇒ bad
8. ab ⇒ cbad
9. ac²b ⇒ bad
10. bacb ⇒ c²b²ad
11. bac³b ⇒ c(cb)²a
12. ba² ⇒ d²