〈a, b | aabbbbaab=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: left-to-right cd/ba
• Auxiliary generator aab=c
• Auxiliary generator bbb=d

Inverses of generators

• a^-1 = bcda
• b^-1 = b²c²
• c^-1 = cd
• d^-1 = c²

Complete rewriting system

1. dc ⇒ cd
2. c²d ⇒ 1
3. db ⇒ bd
4. c²b ⇒ bc²
5. ab ⇒ bcdac
6. a² ⇒ cb²c²
7. b³ ⇒ d
8. acb² ⇒ cb²c²ad