Modern reference for integral homology of a finitely generated abelian group - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T22:36:52Z http://mathoverflow.net/feeds/question/50417 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/50417/modern-reference-for-integral-homology-of-a-finitely-generated-abelian-group Modern reference for integral homology of a finitely generated abelian group Daniel Moskovich 2010-12-26T12:27:53Z 2010-12-26T15:32:44Z <p>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&eacute;minaire Henri Cartan, titled "Alg&egrave;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. </p> <blockquote> 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? </blockquote> <p><b>EDIT</b>: 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.</p> http://mathoverflow.net/questions/50417/modern-reference-for-integral-homology-of-a-finitely-generated-abelian-group/50419#50419 Answer by Francesco Polizzi for Modern reference for integral homology of a finitely generated abelian group Francesco Polizzi 2010-12-26T12:40:05Z 2010-12-26T15:32:44Z <p>You can try with Brown's book</p> <p><a href="http://books.google.it/books?id=6x0mfOUFYgsC&amp;printsec=frontcover&amp;dq=brown+cohomology+of+groups&amp;source=bl&amp;ots=uwgXotQ-Vr&amp;sig=dJ7UqQ1VGs00bMbb6MJB1i_xnk8&amp;hl=it&amp;ei=Kj4XTZbLMMmo8QPynrWFBw&amp;sa=X&amp;oi=book_result&amp;ct=result&amp;resnum=1&amp;ved=0CCwQ6AEwAA#v=onepage&amp;q&amp;f=false" rel="nofollow">Cohomology of groups</a>,</p> <p>Chapter V, Section 6, p. 121 ("Application: calculation of the homology of an abelian group").</p> <p>Maybe take also a look at the following papers by Baumslag, Dyer and Groves:</p> <p><a href="http://www.jstor.org/pss/2374072" rel="nofollow">The integral homology of finitely presented metabelian groups I</a></p> <p>Amer. Journal of Math. 104 (1982), 173-182</p> <p><a href="http://www.jstor.org/pss/2374555" rel="nofollow">The integral homology of finitely presented metabelian groups II</a></p> <p>Amer. Journal of Math. 109 (1987), 133-156</p> <p>and at the references therin.</p> <p><strong>EDIT.</strong> J. Schafer's thesis</p> <p>J. Schafer, On the homology ring of an abelian group, Dissertation, University of Chicago, Chicago, Ill., 1965</p> <p>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</p> <p><a href="http://math.ca/cjm/v21/cjm1969v21.0406-0409.pdf" rel="nofollow">J. Schafer: Abelian groups with a vanishing homology group</a></p> <p>Canad. J. Math. 21(1969), 406-409. </p> http://mathoverflow.net/questions/50417/modern-reference-for-integral-homology-of-a-finitely-generated-abelian-group/50424#50424 Answer by Mariano Suárez-Alvarez for Modern reference for integral homology of a finitely generated abelian group Mariano Suárez-Alvarez 2010-12-26T13:54:24Z 2010-12-26T14:11:26Z <p>I don't know exactly what information you need, but if that includes the actual calculation of the homology:</p> <p>Look at Hilton and Stammbach's <em>A Course in Homological Algebra</em>. 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.</p>