No label defined (Q4664541)

Let \(G=\langle X\mid R\rangle\) be a one-relator group with \(R\) a cyclically reduced word in \(X\). A subset \(Y\subset X\) is a Magnus subset if \(Y\) omits an essential generator, and a Magnus subgroup of \(G\) is a subgroup generated by a Magnus subset \(Y\subset X\). By the well known Freiheitssatz, \(M\) is a free group with \(Y\) a basis of \(M\), that is \(M=F(Y)\). The intersection \(F(Y)\cap F(Z)\) of two Magnus subgroups of \(G\) is either \(F(Y\cap Z)\) or \(F(Y\cap Z)*C\) for an infinite cyclic group \(C\). Moreover, let \(M\) and \(N\) be Magnus subgroups of \(G\). For any \(G\), either \(gMg^{-1}\cap N\) is cyclic (possibly trivial) or \(g\in NM\). For the entire collection see [Zbl 1051.20002].