Hurewicz Theorem

A theorem that compares homotopy and homology by stating that for a path-connected space X the Hurewicz homomorphism from the first nontrivial homotopy group to homology is an isomorphism under connectivity hypotheses; more generally it identifies the first nonzero homotopy group with the corresponding homology group when lower homotopy vanishes.