〈a, b | abaaababba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

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

Inverses of generators

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

Complete rewriting system

1. bdc ⇒ 1
2. dcb ⇒ 1
3. cbd ⇒ 1
4. ab ⇒ c²b²ac
5. ad ⇒ c²a
6. ac² ⇒ dcdba
7. acb ⇒ (bd)²a
8. acd ⇒ dcdbd²c²b²ac
9. aca ⇒ dcd