Skip to main content
MathOverflow

Return to Answer

edited body
Source Link
Mariano Suárez-Álvarez
Mariano Suárez-Álvarez
  • 47.3k
  • 14
  • 147
  • 264

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 COurseCourse 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.

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.

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.

deleted 4 characters in body
Source Link
Mariano Suárez-Álvarez
Mariano Suárez-Álvarez
  • 47.3k
  • 14
  • 147
  • 264

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 Introduction toA 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.

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 Introduction to 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.

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.

Source Link
Mariano Suárez-Álvarez
Mariano Suárez-Álvarez
  • 47.3k
  • 14
  • 147
  • 264

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 Introduction to 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.