〈a, b | abaaabbbba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

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

Inverses of generators

• a^-1 = a²ca²b
• 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²ba ⇒ aca²b
7. daca² ⇒ a²badb³
8. ba³ ⇒ aca²db
9. cba²ba ⇒ baca²b
10. dbaca² ⇒ ba²badb³
11. cb²a²ba ⇒ b²aca²b
12. db²aca² ⇒ b²a²badb³
13. b³a²ba ⇒ a³c
14. b³aca² ⇒ ca³b³
15. da²ca² ⇒ a²ba²db³
16. dba²ca² ⇒ (ba²)²db³
17. db²a²ca² ⇒ b(ba²)²db³
18. b³a²ca² ⇒ ca³cadb³
19. a³ca² ⇒ db³