For , the path-loop Serre fibration has contractible total space. The relative homology of a fibration over a sphere gives for , with negative homology zero and . This proves the displayed groups. The unit map , adjoint to the identity of , represents the generator of the first nonzero homotopy group. Naturality of the Hurewicz theorem shows that it induces an integral homology isomorphism in all degrees through .
Articles by others on the same topic
There are currently no matching articles.