#6271 ⟨a, b, c | aa=1, bccbbc=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 = ce
- c-1 = bd2
- d-1 = e
- e-1 = d
- Auxiliary generators:
- d = bc
- e = cbd
- Reduction order:
- Left-to-right recursive path with deg(a) = deg(d) = deg(e) = 0, a < d < e; deg(b) = deg(c) = 1, b < c
- Certificate: derivations of all rewriting rules from the defining relations.
- Morphocompletion: how the auxiliary generators were found.
# abc:aa=1,bccbbc=1 ade/bc bc=d,cbd=e morph:2/0,3/0
aa=1
de=1
ed=1
db=bee
eb=bdd
ec=dcd
ddc=ce
bc=d
cb=ee