Lema de los cinco
En matemáticas, en particular en álgebra homológica y otras aplicaciones de la teoría de categorías abelianas, el lema de los cinco es un lema importante y ampliamente usado dentro de la teoría de diagramas conmutativos. Es válido no solamente para categorías abelianas sino que también funciona en la categoría de grupos, por ejemplo.
El lema de los cinco puede pensarse como una combinación de otros dos lemas, los llamados lemas de los cuatro, que son duales uno del otro.
Considérese el siguiente diagrama conmutativo dentro de una categoría abeliana (como por ejemplo la de los grupos abelianos o la de los espacios vectoriales sobre un cuerpo dado) o en la categoría de grupos.
El lema de los cinco afirma que, si las filas son secuencias exactas, m y p son isomorfismos, l es un epimorfismo y q es un monomorfismo, entonces n es también un isomorfismo.
Los dos lemas de los cuatro afirman:
(1) Si las filas del diagrama conmutativo
son secuencias exactas y m y p son epimorfismos y además q es un monomorfismo, entonces n es un epimorfismo.
(2) Si las filas del diagrama conmutativo
son exactas y m y p son monomorfismos y además l es un epimorfismo, entonces n es un monomorfismo.
el método usado en la demostración se denomina comúnmente persecución de diagramas. Se demostrará el lema de los cinco provando separadamente cada uno de los dos lemas de los cuatro.
Para la persecución de diagramas, se asumirá que existe una categoría de módulos sobre un cierto anillo, de tal manera que puede hablarse de elementos de los objetos en l diagrama y considerar que los morfismos del diagrama son funciones (de hecho, homomorfismos) que actúan sobre esos elementos.
En ese caso un morfismo es un monomorfismo si y solo si es inyectivo y es un epimorfismo si y solo si es suprayectivo. De manera similar, para tratar con la condición de exactitud, puede pensarse que en núcleo y la imagen en el sentido de la teoría de funciones. La demostración se aplicaría a cualquier categoría abeliana debido al teorema del encaje de Mitchell, que afirma que cualquier categoría abeliana pequeña puede representarse como una categoría de módulos sobre cierto anillo. Para la categoría de grupos, conviértase toda la notación aditiva en una notación que involucre el producto del grupo, y nótese que la conmutatividad del grupo abeliano no se usa explícitamente nunca.
Así, para probar (1), asúmase que m y p son suprayectivos y q es inyectivo.
Entonces, para demostrar (2), asúmase que m y p son inyectivos y que l es suprayectivo.
Combinando los dos lemas de los cuatro se tiene que el homomorfismo n es tanto epimorfismo como monomorfismo y, por tanto, es un isomorfismo.
El lema de los cinco se usa aplica frecuentemente a secuencias exactas largas, cuando se calcula la homología o la cohomología de un cierto objeto. Así se uno emplea un subojeto más simple cuya homología o cohomología sea conocida y llega a una secuencia exacta que involucre los grupos de homología desconocidos, pero si uno puede comparar el objeto original y el sub-objeto con algunos bien conocidos mediante morfismos, entonces se induce un morfismo entre las respectivas secuencias largas y el lema de los cinco puede usarse para determinar los grupos de homología desconocidos.