Universal coefficient theorem for cohomology (source code)

= Universal coefficient theorem for cohomology
{wiki=Universal_coefficient_theorem}

For an abelian coefficient group $G$, cohomology fits into a split short exact sequence
$$
0\to\operatorname{Ext}(H_{n-1}(X;\mathbb Z),G)
\to H^n(X;G)
\to\operatorname{Hom}(H_n(X;\mathbb Z),G)\to0.
$$