Relative Hurewicz theorem

ID: relative-hurewicz-theorem

If and are simply connected and the pair is -connected, with , its first possible nonzero relative homotopy group maps isomorphically to relative integral homology. This lets a basis of a free relative homology group be realized by attaching disks.

New to topics? Read the docs here!