〈a, b | aababbaaab=1〉

Properties

• Infinite non-Abelian group

Completion parameters

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

Inverses of generators

• a^-1 = abcdb
• b^-1 = cdbd
• c^-1 = (db)²
• d^-1 = bcdb

Complete rewriting system

1. dbc ⇒ cdb
2. bcdbd ⇒ 1
3. c(db)² ⇒ 1
4. ca ⇒ ab²d
5. da ⇒ ad
6. b²a ⇒ abc²db
7. cba ⇒ badbdb³dc
8. dba ⇒ badbdb²(cd)²bd
9. a² ⇒ d