Intersections of Magnus subgroups and embedding theorems for cyclically presented groups. (Q2456383)

The authors study one-relator groups \(G=\langle Y\mid r\rangle\) where \(r\) is cyclically reduced. A subgroup \(M_1<G\) is called a Magnus subgroup if \(M_1\) is generated by \(Y_1\subseteq Y\), where \(Y_1\) omits a generator which appears in \(r\). The Magnus Freiheitssatz implies that \(M_1\) is free of rank \(|Y_1|\). It is known that the intersection of two Magnus subgroups \(M_i=\langle Y_i\rangle\) (\(1\leq i\leq 2\)) is either the free group \(F(Y_1\cap Y_2)\) or the free product of \(F(Y_1\cap Y_2)\) together with an infinite cyclic group (the so called `exceptional intersection'). The authors show that certain one-relator groups embed under certain circumstances into a cyclically presented group. They obtain the following Corollary 1.2. If the Magnus subgroups \(\langle x_0,\dots,x_{k-1}\rangle\) and \(\langle x_1,\dots,x_k\rangle\) do not have exceptional intersection in the one-relator group \(\langle x_0,\dots,x_k\mid w\rangle\), where \(w=w(x_0,\dots,x_k)\) involves both \(x_0\) and \(x_k\), then \(G_n(w)\) is infinite for \(n\geq 4k\). -- \(G_n(w)\) is the cyclically presented group with generating set \(\{x_0,\dots,x_n\}\) and \(n\) relators cyclically built out of \(w\). There is another embedding result which leads to the following Corollary 1.4. If the Magnus subgroups \(\langle x_0,\dots,x_{k-1}\rangle\) and \(\langle x_1,\dots,x_k\rangle\) do not have exceptional intersection in the one-relator group \(\langle x_0,\dots,x_k\mid w\rangle\), where \(w=w(x_0,\dots,x_k)\) involves \(x_i\) for \(0\leq i\leq k\), then \(G_n(w)\) is infinite for \(n\geq 2(k+1)\).