〈a, b | aababbaab=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: left-to-right dc/a/b
• Auxiliary generator aab=c
• Auxiliary generator cabb=d

Inverses of generators

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

Complete rewriting system

1. dc ⇒ 1
2. cd ⇒ 1
3. dad³a ⇒ adad³
4. cada ⇒ ad³ac³
5. cad³a ⇒ da²d
6. d²a² ⇒ ad³ac
7. a²da ⇒ c³
8. (dad)²a ⇒ adad⁶ac³
9. cad(da)² ⇒ da²d⁴ac³
10. b ⇒ dad²

Other isomorphic instances

Other anti-isomorphic instances