〈a, b | aaabaababa=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: right-to-left da/c/b
• Auxiliary generator ba=c
• Auxiliary generator cacc=d

Inverses of generators

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

Complete rewriting system

1. da ⇒ ad
2. a³d ⇒ 1
3. cacd ⇒ adc²
4. ca³ca ⇒ a³cac
5. (ca)²d ⇒ adc²a
6. c²a² ⇒ a²dca³c
7. caca²d ⇒ dca³c
8. cac² ⇒ d
9. c(aca)² ⇒ dca⁶cac
10. b ⇒ ca²d

Other isomorphic instances

Other anti-isomorphic instances