##  [Hurewicz Theorem](/hurewicz-theorem-0) 

 Definition

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

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

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

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

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

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

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

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

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.