universal coefficient theorem
The Universal Coefficient Theorem for homology expresses the homology groups with coefficients in an arbitrary abelian group in terms of the homology groups with coefficients in .
Theorem (Universal Coefficients for Homology)
Let be a chain complex of free abelian groups, and let any abelian group. Then there exists a split short exact sequence