Statements
Consider the following commutative diagram in any abelian category (such as the category of abelian groups or the category of vector spaces over a given field) or in the category of groups.
The five lemma states that, if the rows are exact, m and p are isomorphisms, l is an epimorphism, and q is a monomorphism, then n is also an isomorphism.
The two four-lemmas state:
(1) If the rows in the commutative diagram
are exact and m and p are epimorphisms and q is a monomorphism, then n is an epimorphism.
(2) If the rows in the commutative diagram
are exact and m and p are monomorphisms and l is an epimorphism, then n is a monomorphism.
Read more about this topic: Five Lemma
Famous quotes containing the word statements:
“Science is a system of statements based on direct experience, and controlled by experimental verification. Verification in science is not, however, of single statements but of the entire system or a sub-system of such statements.”
—Rudolf Carnap (1891–1970)
“Is it true or false that Belfast is north of London? That the galaxy is the shape of a fried egg? That Beethoven was a drunkard? That Wellington won the battle of Waterloo? There are various degrees and dimensions of success in making statements: the statements fit the facts always more or less loosely, in different ways on different occasions for different intents and purposes.”
—J.L. (John Langshaw)
“There was books too.... One was “Pilgrim’s Progress,” about a man that left his family it didn’t say why. I read considerable in it now and then. The statements was interesting, but tough.”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)