On Fox and augmentation quotients of semidirect products. (Q627967)

Let \(\mathbb Z[G]\) denote the integral group ring of the group \(G\), and \(\mathfrak g\) its augmentation ideal. This paper is devoted to the study of the augmentation quotients \(Q_n(G):=\mathfrak g^n/\mathfrak g^{n+1}\) and the Fox quotients \(Q_n(G,H):=\mathfrak g^{n-1}\mathfrak h/\mathfrak g^n\mathfrak h\), where \(H\) is a subgroup of \(G\). The main results consider the case when \(G=N\rtimes T\) is the semidirect product of a normal subgroup \(N\) and some subgroup \(T\). The methods used are homological, the descriptions given for the quotients are functorial and in terms of enveloping algebras of certain Lie rings associated with the subgroups \(N\) and \(T\). Specifically, a complete description is given for the quotients \(Q_n(G)\), \(Q_n(G,T)\) and \(Q_n(G,N)\) for \(n\leq 3\) and certain direct factors of \(Q_4(G)\), \(Q_4(G,T)\) and \(Q_4(G,N)\). Let \(\{\gamma_i(G)\}_{i\geq 1}\) denote the lower central series of \(G\), and \(\{N_{(i)}\}_{i\geq 1}\) the series defined inductively by setting \(N_{(1)}=N\), \(N_{(i)}=[N_{(i-1)},G]\). Under the assumptions that \(n\geq 2\), there exists \(k\), \(0\leq k\leq n-2\), such that \(\gamma_s(T)/\gamma_{s+1}(T)\) is torsion-free for \(0\leq s\leq k\) and that \(N_{(t)}/N_{(t+1)}\) is torsion-free for \(0\leq t\leq n-k-2\), a description of \(Q_n(G)\) and \(Q_n(G,T)\) is given.