Un lema de rastreo de diagramas que establece que en un diagrama conmutativo formado por dos filas exactas de cinco objetos cada una, si cuatro de las cinco flechas verticales son isomorfismos (o bajo las hipótesis estándar mono/epi) entonces la flecha vertical central también es un isomorfismo.

Principio

La exactitud en las filas y la conmutatividad obligan a que núcleos y cokernels se correspondan; cuando suficientes flechas verticales adyacentes son isomorfismos, las aplicaciones inducidas en núcleos y cokernels son isomorfismos y, por tanto, la aplicación central debe ser un isomorfismo por el rastreo del diagrama en cinco términos.

Demostración

En la categoría de grupos abelianos considere un diagrama conmutativo A1→A2→A3→A4→A5 con filas exactas y mapas verticales f_i. Si f1,f2,f4,f5 son isomorfismos, entonces, trazando núcleos y cokernels a lo largo de las filas, f3 resulta ser un isomorfismo. Una variante común presupone que f1 y f5 son isomorfismos, f2 es suprayectiva y f4 inyectiva para concluir que f3 es un isomorfismo.

Aplicación incorrecta

Usar el Lema de los Cinco cuando las filas no son exactas, el diagrama no conmuta o en categorías sin núcleos/cokernels puede llevar a conclusiones erróneas; tratar el lema como algo puramente formal sin verificar las hipótesis mono/epi en contextos no abelianos es un error frecuente.

Consecuencia

Permite transferir información de isomorfismo a través de un diagrama exacto y es una herramienta clave para demostrar que las aplicaciones inducidas entre objetos derivados son isomorfismos cuando la mayoría de las flechas circundantes lo son.

Inversión

La inversa — inferir isomorfismos en mapas adyacentes a partir de un isomorfismo central — no se sigue sin información adicional; la falta de exactitud o de algún isomorfismo puede romper la cadena.

Límite

Requiere dos filas conmutativas y exactas y una categoría con núcleos y cokernels bien definidos (normalmente categorías abelianas). No se aplica literalmente en contextos puramente no abelianos sin reinterpretación.

Tensión semántica

Resultados cercanos incluyen el Lema de los Cuatro y el Lema de los Nueve; la tensión está entre variantes que exigen condiciones mono/epi explícitas y la afirmación simplificada de que «cuatro isomorfismos implican el quinto», que en algunos textos puede ocultar hipótesis necesarias.

Síntesis

El Lema de los Cinco es un criterio de rastreo de diagramas para sucesiones exactas: cuando un diagrama conmutativo tiene filas exactas y las flechas circundantes son suficientes isomorfismos (o cumplen las variantes mono/epi), la flecha central queda forzada a ser un isomorfismo, permitiendo transferir información de isomorfismo a lo largo del diagrama.