〈a, b | abbbabbbba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: left-to-right cdb/a
• Auxiliary generator bbbb=c
• Auxiliary generator aabbba=d

Inverses of generators

• a^-1 = ab³ac
• b^-1 = db³
• c^-1 = d
• d^-1 = c

Complete rewriting system

1. cd ⇒ 1
2. dc ⇒ 1
3. bc ⇒ cb
4. bd ⇒ db
5. b⁴ ⇒ c
6. ca² ⇒ ab³ab
7. dab³a ⇒ a²db³
8. ba² ⇒ acadb
9. bab³a ⇒ (ca)²d
10. b³aca ⇒ ab³ac
11. a²b³a ⇒ d
12. dab²aca ⇒ a²db³ab³
13. dacb²aca ⇒ a²b²ac
14. bab²aca ⇒ (ca)²dab³
15. bacb²aca ⇒ (ca)²db³ac
16. a²b²aca ⇒ dab³
17. a²cb²aca ⇒ db³ac