#3139 ⟨a, b | aabbbaabaab=1⟩
Quick links
- Properties
- Rewriting system
- Presentation has sum-of-sides 11
- Infinite non-Abelian group
- Inverses of generators:
- a-1 = acbd2
- b-1 = d3b
- c-1 = d3
- d-1 = cd2
- Reduction order:
- Right-to-left recursive path with deg(d) = deg(c) = 0, d < c; deg(b) = deg(a) = 1, b < a
- Auxiliary generators:
- bb=c
- aab=d
- Certificate: derivations of all rewriting rules from the defining relations.
- Morphocompletion: how the auxiliary generators were found.
# ab:aabbbaabaab=1 reversed:dc/ba bb=c,aab=d morph:2/0,3/0
dc=cd
cddd=1
bc=cb
bddd=dddb
bb=c
ba=ccddaddddb
bdda=dddacbdd
aa=ddddb