Dejemos que $R$ sea un anillo con identidad y $A,B,C$ sea $R-$ módulos. Dejemos que $f:A\rightarrow C, g:B\rightarrow C$ sea $R$ -homomorfismos de módulos tales que $g$ es suryente. ¿Existe un $R-$ homomorfismo de módulo $h:A\rightarrow B$ tal que el siguiente diagrama es conmutativo:
Gracias