Théorème d'Eilenberg-Zilber

En mathématiques, le théorème d'Eilenberg-Zilber est un résultat de topologie algébrique qui établit une équivalence d'homotopie entre le complexe de chaînes du produit de deux espaces et le produit tensoriel des complexes de chaînes de chacun d'eux. Le calcul de l'homologie de l'espace produit en fonction de celles des deux facteurs est ainsi réduit à un pur problème d'algèbre homologique, traité par le théorème de Künneth.