Fórmula de Künneth

Un teorema o enunciado por espectro‑secuencia que expresa la homología o cohomología de un producto en términos de las homologías o cohomologías de los factores, dando típicamente un isomorfismo de Künneth bajo hipótesis de planitud o coeficientes en cuerpo y términos Tor de corrección en caso contrario.