Lema de los Cinco

Un resultado de seguimiento de diagramas en álgebra homológica: dado un diagrama conmutativo formado por dos sucesiones exactas A1→A2→A3→A4→A5 y B1→B2→B3→B4→B5 y flechas verticales f_i: A_i→B_i, si f1, f2, f4 y f5 son isomorfismos y se cumplen las hipótesis apropiadas de sobreyectividad/inyectividad, entonces f3 es un isomorfismo.

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.