〈a, b | aabbabba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: left-to-right d/cab
• Auxiliary generator bb=c
• Auxiliary generator aca=d

Inverses of generators

• a^-1 = cda
• b^-1 = a²db
• c^-1 = a²d
• d^-1 = ca²

Complete rewriting system

1. dc ⇒ cd
2. dad ⇒ a
3. ac ⇒ cd²a
4. da² ⇒ a²d
5. bc ⇒ cb
6. b² ⇒ c
7. ca²d ⇒ 1
8. ba²d ⇒ a²db
9. ca³ ⇒ ad
10. ba³ ⇒ a²dbad

Other anti-isomorphic instances