Una técnica de secuencias exactas en álgebra homológica que, dada un diagrama conmutativo de secuencias exactas cortas, produce una secuencia exacta larga que relaciona núcleos y conúcleos (o grupos de homología) mediante un homomorfismo de conexión construido por rastreo del diagrama.

Principio

A partir de un cuadrado conmutativo de módulos (u objetos en una categoría abeliana) con filas exactas, se realiza un rastreo del diagrama para definir una aplicación de conexión desde el núcleo de la flecha vertical derecha hacia el conúcleo de la flecha vertical izquierda; ensamblando estas aplicaciones se obtiene una secuencia exacta larga que enlaza núcleos y conúcleos.

Demostración

Aplicado a una secuencia exacta corta de complejos de cadenas, el lema de la serpiente produce la secuencia exacta larga en homología: los núcleos se convierten en ciclos, los conúcleos en bordes modulo imágenes, y el homomorfismo de conexión identifica clases que obstruyen levantar ciclos a través de la secuencia exacta corta.

Aplicación incorrecta

Usar el lema cuando las filas no son exactas, el diagrama no conmuta o la categoría ambiente carece de núcleos y conúcleos (es decir, no es abeliana) invalida la construcción; errores de signo o un rastreo descuidado también pueden producir mapas de conexión incorrectos.

Consecuencia

Proporciona una forma sistemática de relacionar información algebraica local (núcleos y conúcleos) a través de diagramas exactos, sustentando muchas construcciones en álgebra homológica como la secuencia exacta larga en homología y demostraciones de tipo lema de las cinco.

Inversión

La afirmación dual intercambia núcleos y conúcleos y se aplica en la categoría abeliana dual, produciendo secuencias exactas largas análogas para cohomología; pensar en duales aclara que el lema es simétrico bajo dualidad categórica.

Límite

Requiere un diagrama conmutativo con filas exactas en una categoría abeliana (módulos, grupos abelianos, haces, etc.); no se cumple literalmente en contextos no abelianos sin modificaciones y falla si se omiten las hipótesis de exactitud o conmutatividad.

Tensión semántica

Existe tensión con lemas de diagramas más simples (por ejemplo, el lema de las cinco o el lema de las nueve): el lema de la serpiente construye homomorfismos de conexión y secuencias exactas largas, mientras que el lema de las cinco da criterios de isomorfismo una vez establecidas las secuencias largas—son herramientas complementarias con dominios que se solapan.

Síntesis

El lema de la serpiente es un aparato de rastreo de diagramas que convierte un cuadrado conmutativo de secuencias exactas cortas en una secuencia exacta larga que conecta núcleos y conúcleos mediante un homomorfismo de conexión canónico, permitiendo transferir invariantes algebraicos a través de diagramas exactos.