Homology comparison proof of Freudenthal suspension

ID: homology-comparison-proof-of-freudenthal-suspension

The integral homology of the loop space of a sphere implies that the unit has vanishing relative homology through degree . Both spaces are simply connected for . The absolute Hurewicz theorem first identifies their degree-two homotopy groups with homology; the relative Hurewicz theorem then rules out a first nonzero relative homotopy group in degrees three through . The relative homotopy sequence makes the unit an isomorphism on through degree . Loop-suspension adjunction identifies this map with suspension, yielding in that range.

New to topics? Read the docs here!