Une technique de suites exactes en algèbre homologique qui, à partir d'un diagramme commutatif de suites exactes courtes, produit une longue suite exacte reliant noyaux et conoyaux (ou groupes d'homologie) par un morphisme de connexion construit par poursuite de diagramme.

Principe

À partir d'un carré commutatif de modules (ou d'objets dans une catégorie abélienne) avec des lignes exactes, on effectue une poursuite de diagramme pour définir un morphisme de connexion allant du noyau de la flèche verticale de droite vers le conoyau de la flèche verticale de gauche ; l'assemblage de ces morphismes donne une suite exacte longue reliant noyaux et conoyaux.

Démonstration

Appliqué à une suite exacte courte de complexes de chaînes, le lemme du serpent fournit la suite exacte longue en homologie : les noyaux deviennent des cycles, les conoyaux deviennent des bordes modulo images, et le morphisme de connexion identifie les classes qui empêchent de relever des cycles à travers la suite exacte courte.

Mauvaise application

Utiliser le lemme lorsque les lignes ne sont pas exactes, le diagramme n'est pas commutatif ou la catégorie ambiante ne possède pas de noyaux et de conoyaux (c.-à-d. n'est pas abélienne) invalide la construction ; des erreurs de signe ou une poursuite négligente peuvent aussi produire des morphismes de connexion incorrects.

Conséquence

Fournit une méthode systématique pour relier des informations algébriques locales (noyaux et conoyaux) à travers des diagrammes exacts, fondant de nombreuses constructions en algèbre homologique telles que la suite exacte longue en homologie et les preuves de types lemme des cinq.

Inversion

L'énoncé dual échange noyaux et conoyaux et s'applique dans la catégorie abélienne duale, produisant des suites exactes longues analogues pour la cohomologie ; penser en duals clarifie que le lemme est symétrique par dualité catégorique.

Limite

Nécessite un diagramme commutatif avec des lignes exactes dans une catégorie abélienne (modules, groupes abéliens, faisceaux, etc.) ; il ne tient pas littéralement dans des contextes non abéliens sans modifications et échoue si l'exactitude ou la commutativité manque.

Tension sémantique

La tension existe avec des lemmes de diagramme plus simples (par ex. lemme des cinq ou lemme des neuf) : le lemme du serpent construit des morphismes de connexion et des suites exactes longues, tandis que le lemme des cinq donne des critères d'isomorphisme une fois les suites longues établies—ce sont des outils complémentaires aux domaines qui se chevauchent.

Synthèse

Le lemme du serpent est un instrument de poursuite de diagramme qui transforme un carré commutatif de suites exactes courtes en une suite exacte longue reliant noyaux et conoyaux via un morphisme de connexion canonique, permettant de transférer des invariants algébriques à travers des diagrammes exacts.