〈a, b | aabaaaaaba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: right-to-left dca/b
• Auxiliary generator aaaaa=c
• Auxiliary generator baaab=d

Inverses of generators

• a^-1 = da⁴
• b^-1 = dbc²a³
• c^-1 = d
• d^-1 = c

Complete rewriting system

1. cd ⇒ 1
2. dc ⇒ 1
3. da ⇒ ad
4. ca ⇒ ac
5. a⁵ ⇒ c
6. bc ⇒ c²bd
7. ba ⇒ acbd
8. bd² ⇒ d²b
9. bdb ⇒ a²d³