Lemme du serpent
Le lemme du serpent, en mathématiques, et en particulier en homologie et cohomologie, est un énoncé valide dans toute catégorie abélienne ; c'est un outil des plus importants pour la construction de suites exactes, objets omniprésents en homologie et ses applications, par exemple en topologie algébrique. Les morphismes ainsi construits sont généralement appelés « morphismes connectants ».
Énoncé
[modifier | modifier le code]Dans une catégorie abélienne (par exemple la catégorie des groupes abéliens ou celle des espaces vectoriels sur un corps), considérons le diagramme commutatif suivant :
où les lignes sont des suites exactes et 0 est l'objet nul de la catégorie 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.
Par le théorème de plongement de Mitchell, il est suffisant de prouver le résultat sur les catégories de modules pour l'étendre à toutes les petites catégories abéliennes. On se contente donc de prouver le résultat pour toute catégorie de modules.
Soit alors par exactitude de la première ligne, on a un tel que . Ensuite par commutativité du diagramme, on a car on choisi dans le noyau de . Ainsi, par exactitude de la seconde ligne. Enfin par injectivité de (qui découle de l'exactitude de la seconde ligne), on a un unique tel que . Ce est envoyé sur .
On définit alors le morphisme de bord par .
Il reste à montrer que cette définition ne dépend pas du choisi. Si on prend un autre qui convient, nommons et la valeur associé à dans . Alors par définition, donc il existe un tel que . Par commutativité, on a . Par injectivité, .
Ainsi la différence entre , associé à , et , associé à , est dans l'image de et donc, au quotient, .