Hola. Sé como demostrar que la implicación directa de:
Sean M, \( M_1 \) y \( M_2 \) módulos sobre un anillo A.
Demostrar que M es isomorfo a la suma directa \( M_1\oplus{M_2} \) si y solo si existen homomorfismos \( f_i: M_i\longrightarrow{M} \) y \( g_i:M\longrightarrow{M_i} \) i=1,2 tales que:
a) \( g_if_i = 1_{M_i} \) para i=1,2
b) \( g_if_j=0 \) si \( i\neq{j} \)
c) \( f_1g_1+ f_2g_2 = 1_{M} \)
Pero no sé como demostrar que si existen los homomorfismos que cumplen a),b) y c) entonces M es isomorfo a la suma directa \( M_1\oplus{M_2} \).
En la "ayuda" dice que se usan las propiedades de la suma directa pero... no sé como hacerlo formal.
¿Me echan una mano?
¿Saben donde puedo encontrar esta demostración??
Muchísimas gracias!!