The cyclically presented groups with relators \(x_ix_{i+k}x_{i+l}\). (Q531912): Difference between revisions

The authors consider the cyclic presentations \[ P_n(k,l)=\langle x_1,\dots,x_n\mid x_ix_{i+k}x_{i+l}\;(1\leq i\leq n)\rangle \] and the groups \(G_n(k,l)\) they define where \(1\leq k,l\leq n-1\) and subscripts are taken mod \(n\). In each case it is determined whether \(G_n(k,l)\) is finite or not and in the finite case the groups are determined. The authors also determine which of the presentations \(P_n(k,l)\) are aspherical (that is \(\pi_2(K)=0\) where \(K\) is the standard 2-complex associated to \(P_n(k,l)\)). In many cases it is shown that if \(G_n(k,l)\) is infinite then it contains a non-Abelian free subgroup.