Estoy tratando de resolver estos dos problemas en diagramas de morfismos de módulos:
1) Deja
un diagrama conmutativo de -módulos con líneas exactas horizontales y inyectable Demostrar que existe un único morfismo que completa el diagrama.
2) Deja
un diagrama conmutativo de -módulos con líneas horizontales exactas. Demostrar que existe un único morfismo que completa el diagrama.
En 1) tengo la siguiente duda: supongamos que la imagen de es "más grande" que la imagen de . Entonces, no importa cómo defina , no voy a conseguir .
En 2), si existe entonces , y desde es sobreyectiva, entonces para todo , hay con . Estoy confundido sobre cómo definir explícitamente en cada , quiero decir, por la condición anterior, veo que solo hay una forma de definirlo, pero no sé cómo mostrar explícitamente el morfismo.
Cualquier ayuda con el problema sería muy apreciada.
Considerar
La segunda declaración es dual.
usuario156441
egreg