Los cinco lema es muy útil resultado de la topología algebraica y álgebra homológica (y tal vez en otros lugares). La prueba no es difícil - es esencialmente un diagrama de chase.
Ejercicio 1.1 en McCleary de la "Guía de Usuarios para Espectral de Secuencias" tiene el problema de la prueba de la cinco-lexema mediante una secuencia espectral.
Ahora sé que esto se puede hacer mediante una secuencia espectral de un doble complejo, pero esto aún no se ha introducido todavía. De hecho, realmente no sé mucho acerca de la espectral secuencias después del Capítulo 1. Sabemos sobre la filtración en un gradual espacio, lo espectral de la secuencia es, y cómo configurarlo. Hemos demostrado que se colapsa en ciertas páginas bajo las condiciones apropiadas. Hay una gran sección sobre bigraded álgebras/espectral de secuencias y sabemos acerca de reconstucting $H^*$ de knownledge de $E^{\ast,\ast}_\infty$
Pero no inmediatamente cuerda me cómo utilizar sólo este conocimiento para probar los cinco lema. Tal vez McClearly es justo presumir que sus lectores son lo suficientemente inteligentes como para averiguar para la construcción de un complejo total (es decir, sumando a lo largo de la diagonal)?
O me estoy perdiendo algo que es obvio?