〈a, b | aaabbbaaab=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: right-to-left d/cba
• Auxiliary generator aaa=c
• Auxiliary generator bcb=d

Inverses of generators

• a^-1 = b²da²
• b^-1 = cdb
• c^-1 = b²d
• d^-1 = cb²

Complete rewriting system

1. cd ⇒ dc
2. dbd ⇒ b
3. cb ⇒ bd²c
4. b²d ⇒ db²
5. ca ⇒ ac
6. db²c ⇒ 1
7. db²a ⇒ adb²
8. a³ ⇒ c
9. b³c ⇒ db
10. b³a ⇒ dbadb²

Other isomorphic instances