〈a, b | aaabbaabba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: left-to-right d/ac/b
• Auxiliary generator aaaa=c
• Auxiliary generator bbaabb=d

Inverses of generators

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

Complete rewriting system

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