〈a, b | ababababba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: left-to-right cbd/a
• Auxiliary generator ab=c
• Auxiliary generator ccba=d

Inverses of generators

• a^-1 = bcd
• b^-1 = ac⁴
• c^-1 = cd
• d^-1 = c²

Complete rewriting system

1. dc ⇒ cd
2. c²d ⇒ 1
3. d²b ⇒ bc
4. c²bc ⇒ db
5. dbcd ⇒ c²b
6. c⁴b ⇒ bcd
7. d(bc)² ⇒ c²bdb
8. dbc³b ⇒ c²b²cd
9. ab ⇒ c
10. ca ⇒ ad²
11. ba ⇒ d²
12. da ⇒ ac⁸