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:
“Eroticism has its own moral justification because it says that pleasure is enough for me; it is a statement of the individual’s sovereignty.”
—Mario Vargas Llosa (b. 1936)
“One is apt to be discouraged by the frequency with which Mr. Hardy has persuaded himself that a macabre subject is a poem in itself; that, if there be enough of death and the tomb in one’s theme, it needs no translation into art, the bold statement of it being sufficient.”
—Rebecca West (1892–1983)
“If we do take statements to be the primary bearers of truth, there seems to be a very simple answer to the question, what is it for them to be true: for a statement to be true is for things to be as they are stated to be.”
—J.L. (John Langshaw)