A Course in Homological Algebra pp 166-183 | Cite as

# The Künneth Formula

Chapter

## Abstract

The Künneth formula has its historic origin in algebraic topology. Given two topological spaces X and Y, we may ask how the (singular) homology groups of their topological product (fo

*X × Y*is related to the homology groups of*X*and*Y*. This question may be answered by separating the problem into two parts. If C(X), C(Y), C(X × Y) stand for the singular chain complexes of*X, Y, X × Y*respectively, then a theorem due to Eilenberg-Zilber establishes that the chain complex*C(X × Y)*is canonically homotopy-equivalent to the*tensor product*of the chain complexes*C(X)*and*C(Y)*,$$
C(X \times Y) \simeq C(X) \otimes C(Y)
$$

*C(X)*and*C(Y)*to the homology groups of*C(X)*and*C(Y)*. This relation is furnished by the*Künneth formula*, whose validity we establish under much more general circumstances than would be required by the topological situation. For, in that case, we are concerned with free chain complexes of ℤ-modules; the argument we give permits arbitrary chain complexes*of***C, D***Λ*-modules, where Λ is any p.i.d., provided only that one of*is flat.***C, D**## Keywords

Abelian Group Tensor Product Chain Complex Homology Group Natural Isomorphism
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

## Preview

Unable to display preview. Download preview PDF.

## Copyright information

© Springer Science+Business Media New York 1971