〈a, b | aababbaaba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: right-to-left bcd/a
• Auxiliary generator aba=c
• Auxiliary generator baca=d

Inverses of generators

• a^-1 = badb
• b^-1 = cd
• c^-1 = db
• d^-1 = bc

Complete rewriting system

1. dcb ⇒ 1
2. bdc ⇒ 1
3. cbd ⇒ 1
4. ac ⇒ dcdbdab
5. ad ⇒ c²a
6. ab² ⇒ c²b³dbda
7. abc ⇒ cba
8. abd ⇒ dab
9. aba ⇒ c