From HandWiki - Reading time: 3 min
This article relies largely or entirely on a single source. (March 2026) |
In algebraic topology, several types of products are defined on homological and cohomological theories.
When X and Y are CW complexes, then the product has a natural CW structure, and the cross product can be understood as induced by the chain map sending a p-cell in X and a q-cell in Y to the product cell in . An equivalent but slightly more complicated definition can be given for singular homology. The cross product is used to prove the Künneth theorem relating the homology of X and Y to the homology of .
This product can be understood as induced by the exterior product of differential forms in de Rham cohomology.[1] It makes the singular cohomology of a connected manifold into a unitary supercommutative ring.