〈a, b | ababbbaab=1〉

Properties

• Infinite non-Abelian group

Completion parameters

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

Inverses of generators

• a^-1 = ac(ab)²
• b^-1 = db²
• c^-1 = d
• d^-1 = c

Complete rewriting system

1. dc ⇒ 1
2. cd ⇒ 1
3. cb ⇒ bc
4. db ⇒ bd
5. b³ ⇒ c
6. a²b ⇒ bdaca
7. acab² ⇒ b²a²c
8. a(ba)²c ⇒ (ba)²ca
9. abacad ⇒ b²da(ba)²
10. (ab)³c ⇒ (ba)²cab
11. abacabd ⇒ b²d(ab)³
12. (ab)³b ⇒ baca²
13. abaca² ⇒ b²d
14. (aca)²d ⇒ b²ab²da(ba)²
15. (aca)²bd ⇒ b²ab²d(ab)³
16. a(ca²)² ⇒ b²ab²d