Abstract
The Kunneth 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 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) ; $$ ; (for the precise definition of the tensor product of two chain complexes, see Section 1, Example (a)). Thus the problem is reduced to the purely algebraic problem of relating the homology groups of the tensor product of C(X) and C(Y) to the homology groups of C(X) and C(Y). This relation is furnished by the Kunneth 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 C, D of Λ-modules, where Λ is any p.i.d., provided only that one of C, D is flat. This generality allows us then to subsume under the same theory not only the Kunneth formula in its original context but also another important result drawn from algebraic topology, the universal coefficient theorem in homology.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.