On Modules Whose Pure Submodules Are Essential in Direct Summands
Abstract
We introduce the notion of pure extending modules, a refinement of classical extending modules in which only pure submodules are required to be essential in direct summands. Fundamental properties and characterizations are established, showing that pure extending and extending modules coincide over von Neumann regular rings. As an application, we prove that pure extending modules admit decomposition patterns analogous to those in the classical theory, including a generalization of the Osofsky-Smith theorem: a cyclic module whose proper factor modules are pure extending decomposes into a finite direct sum of pure-uniform submodules. Additionally, we resolve an open problem of Dehghani and Sedaghatjoo by constructing a centrally quasi-morphic module that is not centrally morphic, arising from the link between pure-extending behavior and nonsingularity in finitely generated modules over Noetherian rings.