On the structure of augmentation ideals in group rings (Q801150)

Let G be a group, \(G_ i\) be the ith term of its lower central series, \({\mathbb{Z}}G\) be the integral group ring of G, and \(A_ G\) be the augmentation ideal of \({\mathbb{Z}}G\). If A is an abelian group, let \(S^ 2_{\rho}(A)\) be the second symmetric power of A (meaning: \(S^ 2_{\rho}(A)=(A\otimes_{{\mathbb{Z}}} A)/J\) where J is the subgroup of \(A\otimes_{{\mathbb{Z}}} A\) generated by all elements \(x\otimes y-y\otimes x,\quad x,y\in A).\) \textit{G. Losey} has proved [Can. J. Math. 25, 353-359 (1973; Zbl 0264.20006)] that \(A^ 2_ G\simeq (G_ 2/G_ 3)\oplus S^ 2_{\rho}(G/G_ 2)\) for any finitely generated group. The author extends the result of Losey by considering the following question: ''If H is normal in G what is the structure of \(A_ GA_ H/A^ 2_ GA_ H ?''\) The principal result in this paper is the following. If H is a finitely generated normal subgroup of G such that G is the split extension of H by K, then \[ A_ GA_ H/A^ 2_ GA_ H\simeq (K_{ab}\otimes H_{ab})\oplus [A^ 2_ H/(A^ 3_ H\oplus A_{[H,K]}A_ H)] \] where \(K_{ab}\) denotes the abelianised group of K. Also the following sequence \[ H_ 2/(1+A^ 2_ GA_ H)\cap G\to A^ 2_ H/(A^ 3_ H+A_{[H,K]}A_ H)\twoheadrightarrow S^ 2_{\rho}(H/[H,G]) \] is exact. A sufficient condition for the above sequence to split is given and \((1+A^ 2_ GA_ H)\cap G\) is calculated.