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:
“The wise man regulates his conduct by the theories both of religion and science. But he regards these theories not as statements of ultimate fact but as art-forms.”
—J.B.S. (John Burdon Sanderson)
“Nonwhite and working-class women, if they are ever to identify with the organized women’s movement, must see their own diverse experiences reflected in the practice and policy statements of these predominantly white middle-class groups.”
—Kimberly Crenshaw (b. 1959)
“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)