Lemme du serpent
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
Le lemme du serpent, en mathématiques, et en particulier en homologie, est un énoncé valide dans toute catégorie abélienne ; c'est un outil des plus important pour la construction de suites exactes, objets omniprésents en homologie et ses applications, par exemple en topologie algébrique. Les homomorphismes ainsi construits sont généralement appelés homomorphismes connectants .
[modifier] Énoncé
Dans une catégorie abélienne (par exemple la catégorie d'un groupe abélien ou celle d'un espace vectoriel sur un corps), considérons le diagramme commutatif suivant:
où les ligne sont des suites exactes et 0 est le zéro de la structure concernée. Alors il existe une suite exacte liant les noyaux et les conoyaux de a, b, et c:
De plus, si le morphisme f est un monomorphisme, alors le morphisme ker a → ker b l'est aussi, et si g' est un épimorphisme, alors coker b → coker c l'est aussi.
[modifier] Sources
- (en) Cet article est partiellement ou en totalité issu d’une traduction de l’article de Wikipédia en anglais intitulé « Snake lemma ».
