Demostrar que cada módulo $M$ es la imagen épica de un módulo proyectivo.

Question

Mi prueba: Sabíamos que cada módulo $M$ es imagen épica de un módulo libre y un módulo libre es un módulo proyectivo, por lo que todo módulo $M$ es la imagen épica de un módulo proyectivo.

¿Es eso cierto? Si es falso, por favor dame una pista.

Answer 1

Esta respuesta CW pretende eliminar la pregunta de la cola de las no contestadas.

---

Como ya se ha señalado en los comentarios, su prueba es correcta.