A limit approach to group homology. (Q2482066)

\textit{I. Emmanouil} and \textit{I. B. S. Passi}, [Homology Homotopy Appl. 10, No. 1, 237-257 (2008; Zbl 1154.19001)], have shown that for any group \(G\), the homology groups \(H_n(G,\mathbb{Q})\) can be described as the limits of certain functors over the category of group extensions \(G=K/H\) by using Quillen's description of the cyclic homology of an algebra over a field of characteristic 0 as the limit of a suitable functor over the category of extensions of the algebra [cf. \textit{D. Quillen}, K-Theory 3, No. 3, 205-246 (1989; Zbl 0696.16021)]. Working in the same direction the authors here obtain a description of the even homology of \(G\) with coefficients in an arbitrary \(\mathbb{Z} G\)-module \(M\) as the limit of a functor over the category \(\mathfrak B\) of all free presentations \(G=F/R\). More precisely, they use the associated relation module \(R_{ab}=R/[R,R]\) and prove that there is an isomorphism \[ H_{2n}(G,M)\simeq\varprojlim H_0(G,M\otimes R^{\otimes n}_{ab}), \] where the limit is taken over \(\mathfrak B\). They also consider the free Lie ring on the relation module \(R_{ab}\) and relate the limit of the quotients \(\gamma_nR/[\gamma_nR,F]\) to the \(n\)-torsion subgroup of \(H_{2n}(G,\mathbb{Z})\).