We first prove that every countably presented module is a pure epimorphic image of a countably generated pure-projective module, and by using this we prove that if every countably generated pure-projective module is pure-injective then every module is pure-injective, while if in any countably generated pure-projective module every countably generated pure-projective pure submodule is a direct summand then every module is pure-projective.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados