〈a, b | abaaabaab=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: right-to-left ac/b
• Auxiliary generator aab=c

Inverses of generators

• a^-1 = bac²
• b^-1 = ac²a
• c^-1 = bac⁴a

Complete rewriting system

1. a²c² ⇒ (ca)²
2. cac² ⇒ a
3. a²b ⇒ c
4. ac²ab ⇒ 1
5. ba ⇒ c⁶ab
6. bc ⇒ c⁴b

Other anti-isomorphic instances