Dejar sea un homomorfismo de sucesiones exactas cortas, en ese orden. Entonces sí son inyectivos, entonces también lo es .
Sean las sucesiones:
Entonces desde son inyectables y , tenemos eso es inyectable en .
Me resistí a usar el libro, pero terminé recurriendo a él. Aquí está mi comprensión de la prueba.
Suponer . Entonces , entonces por inyectividad de . Entonces . Entonces nuestro para algunos . Conmutando diagramas de nuevo , y por inyectividad , entonces . hemos terminado
¡Había más utilidad para el diagrama que no vi!
Mente vacía
Mente vacía
matemáticas de la jungla