#6270 ⟨a, b, c | aa=1, bcbccb=1⟩
Contents
- Properties
- Rewriting system
- Sum of relation sides is 8
- Infinite non-Abelian group
- Element ba has infinite order
- Inverses of generators:
- a-1 = a
- b-1 = ec
- c-1 = be
- d-1 = e
- e-1 = d
- Auxiliary generators:
- d = cb
- e = bdc
- Reduction order:
- Left-to-right recursive path with deg(a) = deg(d) = deg(c) = deg(e) = 0, a < d < c < e; deg(b) = 1
- Certificate: derivations of all rewriting rules from the defining relations.
- Morphocompletion: how the auxiliary generators were found.
# abc:aa=1,bcbccb=1 adce/b cb=d,bdc=e morph:2/0,3/0
aa=1
de=1
ed=1
ddc=ce
dcd=ec
ece=dc
eec=cd
ecdc=dcce
eccd=dcec
bdc=e
bec=1
db=bee
cb=d
eb=bdd