In mathematics, the universal coefficient theorem in algebraic topology establishes the relationship in homology theory between the integral homology of a topological space X, and its homology with coefficients in any abelian group A. It states that the integral homology groups
- Hi(X, Z)
completely determine the groups
- Hi(X, A)
Here Hi might be the simplicial homology or more general singular homology theory: the result itself is a pure piece of homological algebra about chain complexes of free abelian groups. The form of the result is that other coefficients A may be used, at the cost of using a Tor functor.
For example it is common to take A to be Z/2Z, so that coefficients are modulo 2. This becomes straightforward in the absence of 2-torsion in the homology. Quite generally, the result indicates the relationship that holds between the Betti numbers bi of X and the Betti numbers bi,F with coefficients in a field F. These can differ, but only when the characteristic of F is a prime number p for which there is some p-torsion in the homology.
Read more about Universal Coefficient Theorem: Statement, Universal Coefficient Theorem For Cohomology, Example: mod 2 Cohomology of The Real Projective Space, Corollaries
Famous quotes containing the words universal and/or theorem:
“A princely marriage is the brilliant edition of a universal fact, and, as such, it rivets mankind.”
—Walter Bagehot (18261877)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (19131960)