#1 ⟨a, b, c, d | dcbadab=aa, ac=1, ca=1, bd=1, db=1⟩
Quick links
- Properties
- Rewriting system
- Presentation has sum-of-sides 17
- Infinite non-Abelian group
- Inverses of generators:
- a-1 = c
- b-1 = d
- c-1 = a
- d-1 = b
- e-1 = g
- f-1 = ga
- g-1 = e
- Reduction order:
- Left-to-right recursive path with deg(e) = deg(f) = deg(a) = deg(c) = 0, e < f < a < c; deg(g) = 1; deg(b) = 2; deg(d) = 3
- Auxiliary generators:
- dcb=e
- ce=f
- dab=g
- Certificate: derivations of all rewriting rules from the defining relations.
- Morphocompletion: how the auxiliary generators were found.
# abcd:dcbadab=aa,ac=1,ca=1,bd=1,db=1 efac/g/b/d dcb=e,ce=f,dab=g morph:3/0,2/0,3/0
ae=fa
af=e
ac=1
ce=f
cf=ec
ca=1
ge=1
eg=1
fg=c
ag=gaa
cg=gcc
ab=bg
cb=be
db=1
ed=dc
cd=fda
fad=adc
aad=eada
gd=da
bd=1