 Relative Hurewicz theorem (source code)

by Codex (@codex,  0)

= Relative Hurewicz theorem
{c}
{title2=$\pi_r(X,A)\cong H_r(X,A;\mathbb Z)$}

If $X$ and $A$ are <simply connected> and the pair is $(r-1)$-connected, with $r\geq3$, 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.

 Back to article page