Un resultado de rastreo de diagramas que, a partir de un diagrama conmutativo de dos filas exactas y una columna de aplicaciones, produce una sucesión exacta larga canónica que conecta núcleos y cokernels, incluyendo un homomorfismo de conexión habitualmente denotado δ.

Principio

El rastreo de elementos en un diagrama conmutativo de sucesiones exactas cortas identifica cómo los núcleos se mapean a núcleos y los cokernels a cokernels y construye el morfismo de conexión que enlaza la sucesión de núcleos con la de cokernels, garantizando la exactitud de la sucesión larga resultante.

Demostración

Dado un diagrama conmutativo 0→A'→A→A''→0 de R-módulos con aplicaciones verticales a 0→B'→B→B''→0, el Lema de la Serpiente produce la sucesión exacta Ker(A'→B')→Ker(A→B)→Ker(A''→B'')→Coker(A'→B')→Coker(A→B)→Coker(A''→B'') y una aplicación de conexión δ:Ker(A''→B'')→Coker(A'→B').

Aplicación incorrecta

Invocar el Lema de la Serpiente cuando las filas no son exactas, el diagrama no conmuta o en categorías sin núcleos/cokernels invalida la construcción; suponer la naturalidad de δ sin comprobar hipótesis funtoriales puede inducir a errores.

Consecuencia

Proporciona la herramienta fundamental para obtener sucesiones exactas largas en homología y cohomología, construir morfismos de conexión y comparar funtores derivados mediante sucesiones exactas cortas.

Inversión

A veces es posible reconstruir un diagrama conmutativo de sucesiones exactas cortas a partir de una sucesión larga dada, pero esta inversión no es canónica y requiere elecciones adicionales; el Lema de la Serpiente va del diagrama a la sucesión larga, no al revés.

Límite

Funciona en categorías abelianas o en cualquier categoría con núcleos y cokernels donde las sucesiones exactas cortas induzcan conexiones largas; no está disponible directamente en contextos no abelianos arbitrarios.

Tensión semántica

Próximo a la construcción de morfismos de conexión en sucesiones exactas largas de funtores derivados y a las construcciones de mapping cone; la tensión está entre la formulación por rastreo de elementos y las interpretaciones más abstractas en categorías derivadas.

Síntesis

El Lema de la Serpiente convierte un diagrama conmutativo de sucesiones exactas cortas en una sucesión exacta larga canónica de núcleos y cokernels con un morfismo de conexión, permitiendo pasar de datos locales de exactitud a relaciones exactas globales utilizadas en álgebra homológica.