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.

Principle

When a space is sufficiently connected (π_i(X)=0 for i < n), the Hurewicz map π_n(X) → H_n(X) captures the primary obstruction to nullhomotopy and becomes an isomorphism (and higher Hurewicz maps are controlled by Whitehead products and higher operations).

Demonstration

For the n-sphere S^n the Hurewicz map π_n(S^n) ≅ Z → H_n(S^n) ≅ Z is an isomorphism; for a simply connected CW complex obtained by attaching cells above dimension n the first nontrivial homotopy group equals the corresponding homology group by Hurewicz.

Misapplication

Assuming the Hurewicz isomorphism without checking connectivity (for example for spaces with low-dimensional nontrivial homotopy) can lead to incorrect identifications between homotopy and homology groups.

Consequence

Proper use provides a bridge from homotopy (hard to compute) to homology (often computable), giving concrete algebraic invariants for the first nontrivial homotopy group and enabling computations in obstruction theory and homotopical classification.

Reversal

Reversing the concept would assert homology always determines homotopy groups in all degrees; failure of that assertion in higher degrees demonstrates the role of nontrivial Whitehead products and higher structures not visible in homology.

Boundary

Applies under connectivity hypotheses (vanishing of lower homotopy groups) and for path-connected spaces; it does not generally identify higher homotopy groups with homology except for the first nontrivial degree and must be used with caution for non-CW or badly behaved spaces.

Semantic Tension

Tension exists between Hurewicz's identification of the first nontrivial homotopy with homology and broader expectations that homology determines homotopy; the competing meanings are 'primary' (Hurewicz) versus 'secondary/higher' (Whitehead products, homotopy operations).

Synthesis

Hurewicz theorem asserts that under appropriate connectivity the first nonzero homotopy group maps isomorphically to homology, providing a calculable link from homotopy to homology while delimiting where purely homological information suffices.