Universal coefficient theorem (source code)

= Universal coefficient theorem
{wiki}

The <universal coefficient theorem> relates homology or cohomology with different coefficient groups through tensor and Tor, or Hom and Ext, respectively. The <universal coefficient theorem for homology> is its tensor-Tor sequence; the <universal coefficient theorem for cohomology> is its Hom-Ext sequence.