〈a, b | abbbbaaaab=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: left-to-right b/d/e/ca
• Auxiliary generator bbaaa=c
• Auxiliary generator caba=d
• Auxiliary generator cab=e

Inverses of generators

• a^-1 = b²e
• b^-1 = db
• c^-1 = (b²e)³d
• d^-1 = b²
• e^-1 = be(b²e)³d

Complete rewriting system

1. db² ⇒ 1
2. bd ⇒ db
3. b⁴ede ⇒ (eb)²
4. debe ⇒ b²(ed)²b
5. d(be)² ⇒ b³(ed)²b
6. b⁴eb²ede ⇒ e(beb)²
7. be(b²e)²de ⇒ e(b²e)³d²b
8. b(b²e)⁴ ⇒ e(beb)³b³
9. dbe(b²e)³ ⇒ e(b²e)²deb³
10. ebe(b²e)³ ⇒ b²
11. de²(b²e)³ ⇒ be(b²e)³d³eb³
12. dbe²(b²e)³ ⇒ (b²e)⁴d³eb³
13. c ⇒ ebe
14. a ⇒ be(b²e)³d²