〈a, b | abbabbba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: left-to-right cdb/a
• Auxiliary generator bbb=c
• Auxiliary generator aabba=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. dabaca ⇒ a²db²ab²
13. dacbaca ⇒ a²bac
14. (ba)²ca ⇒ (ca)²dab²
15. (bac)²a ⇒ (ca)²db²ac
16. a²baca ⇒ dab²
17. a²cbaca ⇒ db²ac