Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Lemme des cinq
Résumé
In mathematics, especially homological algebra and other applications of theory, the five lemma is an important and widely used lemma about commutative diagrams.
The five lemma is not only valid for abelian categories but also works in the , for example.
The five lemma can be thought of as a combination of two other theorems, the four lemmas, which are to each other.
Consider the following commutative diagram in any (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:
The method of proof we shall use is commonly referred to as diagram chasing. We shall prove the five lemma by individually proving each of the two four lemmas.
To perform diagram chasing, we assume that we are in a category of modules over some ring, so that we may speak of elements of the objects in the diagram and think of the morphisms of the diagram as functions (in fact, homomorphisms) acting on those elements.
Then a morphism is a monomorphism if and only if it is injective, and it is an epimorphism if and only if it is surjective.
Similarly, to deal with exactness, we can think of kernels and s in a function-theoretic sense.
The proof will still apply to any (small) abelian category because of Mitchell's embedding theorem, which states that any small abelian category can be represented as a category of modules over some ring.
For the category of groups, just turn all additive notation below into multiplicative notation, and note that commutativity of abelian group is never used.
So, to prove (1), assume that m and p are surjective and q is injective.
Let c′ be an element of C′.
Since p is surjective, there exists an element d in D with p(d) = t(c′).
By commutativity of the diagram, u(p(d)) = q(j(d)).
Since im t = ker u by exactness, 0 = u(t(c′)) = u(p(d)) = q(j(d)).
Since q is injective, j(d) = 0, so d is in ker j = im h.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.