A theorem or spectral-sequence statement that expresses the homology or cohomology of a product space in terms of the homologies or cohomologies of the factors, typically yielding a Künneth isomorphism under suitable flatness or field-coefficient hypotheses and Tor‑term corrections otherwise.

Principle

The organizing mechanism is the tensor product of chain complexes and the Künneth spectral sequence arising from the filtration of the tensor product; when Tor terms vanish (e.g., with field coefficients or flat modules) the spectral sequence collapses to a tensor product formula.

Demonstration

Standard case: for singular homology with coefficients in a field k, H_*(X×Y; k) ≅ H_*(X; k) ⊗_k H_*(Y; k); with integer coefficients one must account for Tor terms leading to short exact sequences rather than naive tensor product equalities.

Misapplication

Writing H_*(X×Y; Z) = H_*(X; Z) ⊗ H_*(Y; Z) without accounting for torsion or Tor contributions, or applying the formula in cohomology theories where the required flatness or Künneth property fails.

Consequence

When applicable, the Künneth Formula reduces computations on product spaces to computations on factors, clarifies how torsion interacts in products, and underwrites multiplicative structures in (co)homology.

Reversal

The reversal is the observation that failure of the simple tensor decomposition (presence of nontrivial Tor or extension terms) indicates torsion or extension phenomena in the factors which must be resolved to reconstruct product (co)homology from factor data.

Boundary

Applies in classical homology/cohomology theories under hypotheses such as field coefficients, flatness, or projectivity of chains; outside these hypotheses one should use the full Künneth spectral sequence and expect Tor and Ext correction terms, and some generalized cohomology theories lack a Künneth theorem altogether.

Semantic Tension

The tension is between the simple 'formula' H(X×Y)=H(X)⊗H(Y) familiar over fields and the more careful spectral-sequence statement that includes Tor/Ext corrections; practitioners must decide whether to emphasize computational convenience or exact homological bookkeeping.

Synthesis

The Künneth Formula asserts that the (co)homology of a product is computed from the (co)homologies of the factors via the tensor product of chain complexes, with the Künneth spectral sequence measuring and resolving Tor/Ext obstructions to a naive tensor decomposition.