 Universal coefficient theorem for cohomology

This is the cohomological form of the universal coefficient theorem, with Ext and Hom terms rather than the homological tensor and Tor terms.

For an abelian coefficient group $G$, cohomology fits into a split short exact sequence