Lemme des cinq

En algèbre homologique, le lemme des cinq permet d'établir l'injectivité et la surjectivité des flèches dans les diagrammes commutatifs.


Précisément : en supposant

1) que le diagramme ci-dessous est commutatif

2) que les deux lignes du diagramme sont exactes

3) que et sont des isomorphismes

4) que est un épimorphisme et un monomorphisme

alors est un isomorphisme.

Ceci vaut non seulement dans une catégorie abélienne (comme celle des groupes abéliens, ou celle des espaces vectoriels sur un corps fixé) mais aussi, par exemple, dans la catégorie des groupes.

Articles connexes

  • Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.