The group \(\langle G,t\mid e\rangle\) when \(G\) is torsion free (Q5958866)

Let \(G\) be a group. We consider the free product \(G*\langle t\rangle\) where \(\langle t\rangle\) is the infinite cyclic group generated by \(t\). A reduced word \(e=g_1t^{r_1}\cdots g_kt^{r_k}\) is called solvable over \(G\) if the induced homomorphism \(G\to G*\langle t\rangle/N(e)\) is injective. We refer to this factor group as the relative presentation \(\langle G,t\mid e\rangle\). In this paper the authors discuss certain classes of elements in \(\langle G,t\mid e\rangle\) when \(G\) is torsion free and \(e\) is solvable over \(G\).