Subgroups induced by ideals of a free group ring (Q750577)

Let F be an acyclic free group, Z(F) is its integral group ring, \(\omega\) is the kernel of the natural homomorphism \(\sigma\) : Z(F)\(\to F\). Let \(R\triangleleft F\) and \({\mathfrak r}\) be the kernel of the natural homomorphism \(\sigma_ R: Z(F)\to Z(F/R)\). By \(I_ G(H)\) we will denote the isolator of the subgroup \(H\leq G\) in an arbitrary group G and \(\gamma_ n(G)\) is the n-th term of the lower central series of G. If \(I\leq \omega\) is a given ideal of Z(F) then \(F(I)=(I+1)\cap F\) is a normal subgroup of the group F. \textit{R. Stöhr} [Math. Z. 187, No.2, 259-267 (1984; Zbl 0526.20022)] has proved that F(\(\omega\) \({\mathfrak r}^ n\omega)=I_ R([\gamma_{n+1}(R),F])\). The author proves that F(\({\mathfrak r}^ m\omega {\mathfrak r}^ n)=\gamma_{n+m+1}(R)\) where \(n+m\geq 1\). If \(R\leq \gamma_ 2(F)\) then F(\(\omega\) \({\mathfrak r}^ n\omega^ 2)=F(\omega^ 2{\mathfrak r}^ n\omega)=I_ R([\gamma_{n-1}(R),F,F])\). Furthermore, \(F(\omega^ 2{\mathfrak r}^ n\omega^ 2)=I_ R([\gamma_{n+1}(S),F,F,F])\).