Théorème de Hurewicz
Définition
Un théorème comparant homotopie et homologie en affirmant que pour un espace connexe par arcs X l'homomorphisme de Hurewicz de premier groupe d'homotopie non trivial vers l'homologie est un isomorphisme sous des hypothèses de connexité ; plus généralement il identifie le premier groupe d'homotopie non nul avec le groupe d'homologie correspondant lorsque les homotopies inférieures s'annulent.