Statement
Consider the tensor product of modules Hi(X, Z) ⊗ A.The theorem states that there is an injective group homomorphism ι from this group to Hi(X, A), which has cokernel Tor(Hi-1(X, Z), A). In other words, there is a natural short exact sequence
Furthermore, this is a split sequence (but the splitting is not natural).
The Tor group on the right can be thought of as the obstruction to ι being an isomorphism.
Read more about this topic: Universal Coefficient Theorem
Famous quotes containing the word statement:
“The new statement will comprise the skepticisms, as well as the faiths of society, and out of unbeliefs a creed shall be formed. For, skepticisms are not gratuitous or lawless, but are limitations of the affirmative statement, and the new philosophy must take them in, and make affirmations outside of them, just as much as must include the oldest beliefs.”
—Ralph Waldo Emerson (1803–1882)
“The most distinct and beautiful statement of any truth must take at last the mathematical form.”
—Henry David Thoreau (1817–1862)
“He that writes to himself writes to an eternal public. That statement only is fit to be made public, which you have come at in attempting to satisfy your own curiosity.”
—Ralph Waldo Emerson (1803–1882)