Modern reference for integral homology of a finitely generated abelian group - MathOverflow

Modern reference for integral homology of a finitely generated abelian group

2010-12-26T12:27:53Z

I'm interested in the calculation of $H_n (G,\mathbb{Z})$ for G a finitely generated abelian group, particularly for $n=3$. It's carried out in the 1954/55 Séminaire Henri Cartan, titled "Algèbres d'Eilenberg-MacLane et homotopie". It does everything I need to do very nicely, but it's old, it's in French, it's original research and so not organized in a pedagogical way; and I really wish I had a reference in English which did the same thing in modern language.

Is there a textbook reference, or at least a more modern reference, for the calculation of the integral homology of a finitely generated abelian group?

EDIT: I'm interested primarily in a reference for the ring structure- I want to be able to write the homology in terms of exterior algebras, divided polynomial algebras... that sort of thing.

Answer by Francesco Polizzi for Modern reference for integral homology of a finitely generated abelian group

2010-12-26T12:40:05Z

You can try with Brown's book

Cohomology of groups,

Chapter V, Section 6, p. 121 ("Application: calculation of the homology of an abelian group").

Maybe take also a look at the following papers by Baumslag, Dyer and Groves:

The integral homology of finitely presented metabelian groups I

Amer. Journal of Math. 104 (1982), 173-182

The integral homology of finitely presented metabelian groups II

Amer. Journal of Math. 109 (1987), 133-156

and at the references therin.

EDIT. J. Schafer's thesis

J. Schafer, On the homology ring of an abelian group, Dissertation, University of Chicago, Chicago, Ill., 1965

seems strictly related to what you are looking for. However, I could not find any published paper with this title. The only Shafer's paper related to homology of abelian groups seems to be

J. Schafer: Abelian groups with a vanishing homology group

Canad. J. Math. 21(1969), 406-409.

Answer by Mariano Suárez-Alvarez for Modern reference for integral homology of a finitely generated abelian group

2010-12-26T13:54:24Z

I don't know exactly what information you need, but if that includes the actual calculation of the homology:

Look at Hilton and Stammbach's A Course in Homological Algebra. In Theorem 15.2 they prove Künneth's theorm for homology of groups with coefficients in $\mathbb Z$ which reduces the computation of the homology of a direct product of groups to the computation of the homology of the factors and certain $\mathrm{Tor}$s between them. Using the structure theorem for finitely generated abelian groups, the computation of homology for cyclic groups (Proposition VI.7.1 for the finite ones, section VI.4 and corollary VI.5.6 for the infinite ones), and straightforward computations of $\mathrm{Tor}$s between cyclic abelian groups, you are done.