¿Puede decirme qué hay de malo en mi prueba?
Prueba:
Sea f un homomorfismo suryectivo de módulo R de M a N.
Por cada $x\in N$ lo permitimos:
$A_{x}=\lbrace y \in M \mid f(y)=x \rbrace$ entonces $A_{x}$ no está vacío.
Así que $\prod A_{ x }$ , $x\in M$ es no vacío, lo que significa que hay un elemento $(y_{ x })_{ x\in M }$ (Axioma de elección)
Ahora, definimos $f_{1}$ de N a M como sigue:
para cada $x \in M$ deje $f_{1}(x)=y_{x}$ .
Entonces $f\circ f_{1}=Id_{N}$