Lemme du serpent

Cet article est une ébauche concernant les mathématiques. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

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 .

Énoncé

Dans une catégorie abélienne (par exemple la catégorie des groupes abéliens ou celle des espaces vectoriels sur un corps commutatif), 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.

Sources

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Snake lemma » (voir la liste des auteurs)