Teorema de Hurewicz

Un teorema que compara homotopía e homología afirmando que para un espacio conexo por caminos X el homomorfismo de Hurewicz desde el primer grupo de homotopía no trivial hacia la homología es un isomorfismo bajo hipótesis de conexidad; en general identifica el primer grupo de homotopía no nulo con el grupo de homología correspondiente cuando las homotopías inferiores se anulan.