---
title: Pure Extending Modules
url: https://www.emergentmind.com/topics/pure-extending-modules
type: topic
---

# Pure Extending Modules

Searching arXiv for the cited papers to ground the article and confirm metadata.
Searching arXiv for "2510.27450".
Pure extending modules are modules in which the extending condition is imposed only on pure submodules rather than on all submodules. For a right $R$-module $M$, this means that every pure submodule $N \leq_p M$ is essential in a direct summand of $M$; equivalently, there exist submodules $D,D'$ with $M \cong D \oplus D'$ and $N \leq_e D$ [2510.27450]. The notion refines the classical CS, or extending, condition by incorporating purity—understood through tensor exactness, finite systems of linear equations, or tests against finitely presented modules—into the framework of essential extensions and summand decompositions [2510.27450]. Recent work establishes permanence properties, ring-theoretic characterizations, decomposition theorems, and links with nonsingularity, Rickart-type conditions, and morphic phenomena; it also clarifies the relation of the concept to earlier formulations and to lattice-theoretic relative extending notions [2510.27450], [2209.04176], [2509.22903].

## 1. Definition and foundational notions

Let $R$ be a ring and $M$ a right $R$-module. A submodule $N \leq M$ is pure in $M$, written $N \leq_p M$, when any of the standard equivalent conditions holds: tensor-exactness, solvability of finite systems of linear equations in $N$ whenever they are solvable in $M$, or injectivity of the induced map on $\Hom_R(F,-)$ for every finitely presented module $F$ [2510.27450]. In the tensor formulation,
\[
N \leq_p M \iff \forall X\ \text{right }R\text{-module},\quad 0 \to X\otimes_R N \to X\otimes_R M\ \text{is exact}.
\]
Equivalently,
\[
N \leq_p M \iff \forall F\ \text{finitely presented},\quad \Hom_R(F,N) \hookrightarrow \Hom_R(F,M)\ \text{is injective}
\]
[2510.27450].

Essentiality is the classical condition
\[
N \leq_e M \iff \forall\, 0\neq L \le M,\quad N \cap L \neq 0.
\]
A module is extending if every submodule is essential in a direct summand; it is pure extending if the same requirement is imposed only for pure submodules [2510.27450], [2209.04176]. Thus pure extending modules form a proper generalization of extending modules [2209.04176].

The same framework introduces several associated notions. The pure closure, or purification, of a submodule $K \le M$ is denoted $\pur(K)$ and is the smallest pure submodule containing $K$ [2510.27450]. A pure submodule $N \leq_p M$ is pure-essential if every pure submodule $P \leq_p M$ with $P \cap N = 0$ is zero. A module $U$ is pure-uniform if every nonzero pure submodule of $U$ is pure-essential; equivalently, any two nonzero pure submodules intersect nontrivially [2510.27450].

The conceptual shift from extending to pure extending imports homological control into decomposition theory. Purity reflects exactness under tensor and compatibility with finite presentation, while essentiality and direct summands encode internal structure. This combination is central to the later decomposition theorems and ring characterizations [2510.27450].

## 2. Permanence properties and comparison with extending modules

Pure extending modules enjoy several closure properties. Direct summands inherit the property: if $M$ is pure extending and $M=N\oplus N'$, then $N$ is pure extending [2510.27450]. The same phenomenon was already established in the earlier treatment of the subject [2209.04176]. The mechanism is that pure submodules of a direct summand remain pure in the ambient module, and essentiality inside a summand restricts through intersection with that summand.

Finite direct sums are also stable. If $M=M_1\oplus M_2$, then $M$ is pure extending if and only if both $M_1$ and $M_2$ are pure extending [2510.27450]. The 2022 account states the same equivalence in the form that $\bigoplus_i M_i$ is pure extending iff each $M_i$ is pure extending, relying on decomposition of pure submodules across direct sums [2209.04176]. By contrast, infinite sums need not be pure extending; a standard counterexample is $\bigoplus_{i=1}^{\infty}\mathbb{Z}$ [2510.27450].

Morita invariance is another structural feature. If $\mathcal{F}\colon \mathrm{Mod}\text{-}R \to \mathrm{Mod}\text{-}S$ is an equivalence, then $M$ is pure extending if and only if $\mathcal{F}(M)$ is pure extending [2510.27450], [2209.04176]. This depends on preservation of exactness, purity, essentiality, and direct summands under equivalences of module categories.

The relationship with classical extending modules is delicate. Every extending module is pure extending, but the converse fails [2209.04176]. Over von Neumann regular rings, however, the two notions coincide because every submodule is pure. If
\[
\forall a\in R\ \exists b\in R:\quad a = a b a,
\]
then every module is flat and hence every submodule is pure; therefore $M$ is pure extending if and only if $M$ is extending [2510.27450]. A consequence is that finite direct sums of extending modules are extending over von Neumann regular rings [2510.27450].

At the same time, submodule closure is limited. Pure submodules of a pure extending module need not be direct summands in general, and arbitrary submodules of a pure extending module need not themselves be pure extending [2510.27450], [2209.04176]. The 2022 paper gives a general counterexample via pure-injective hulls: a non-pure-extending module can sit as a submodule of a pure-injective, hence pure extending, module [2209.04176]. This marks a significant distinction from stronger decomposition classes.

## 3. Sufficient conditions and ring-theoretic characterizations

Several broad classes of modules are pure extending. A module $M$ is pure extending if it is fully invariant in its pure-injective envelope, quasi-pure-injective, pure-split, or flat and cotorsion [2510.27450]. The earlier paper also records that pure-injective modules and pure quasi-injective modules are pure extending, and that flat cotorsion modules are pure extending via quasi pure-injectivity [2209.04176]. For $\mathbb{Z}$-modules, finitely generated modules and divisible modules are pure extending [2510.27450]; similarly, every finitely generated module over a Noetherian ring is pure extending because its pure submodules split [2209.04176].

Ring classes admit precise characterizations through pure extending modules. One such result states that $R$ is von Neumann regular if and only if every pure extending right $R$-module is flat [2510.27450], [2209.04176]. The proof uses the pure exact sequence
\[
0 \longrightarrow M \longrightarrow PE(M) \longrightarrow PE(M)/M \longrightarrow 0
\]
and the fact that pure-injective envelopes are pure extending [2510.27450].

Another major characterization concerns semisimplicity. For a ring $R$, the following are equivalent: $R$ is semisimple; every pure $C_3$ module is projective; every pure $C_2$ module is projective; every quasi-pure-injective module is projective; every pure-injective module is projective; and every pure extending module is projective [2510.27450]. This theorem appears in essentially the same form in the 2022 paper [2209.04176]. The significance is that pure extending modules sit inside a hierarchy of purity-sensitive analogues of classical summand conditions, and projectivity of the whole class forces semisimplicity.

Local and PDS rings provide further extremal cases. If $R$ is local, then $R_R$ is pure extending and its only pure submodules are $0$ and $R$ [2510.27450], [2209.04176]. If $R$ is a PDS ring, so that every pure submodule of every module splits, then every $R$-module is pure extending [2510.27450], [2209.04176]. These examples show that pure extending ranges from a mild condition in some settings to a universal one in others.

A related enlargement is RD-pure extending. RD-purity imposes only the elementwise conditions $rP=rM\cap P$ for all $r\in R$; every pure submodule is RD-pure, but not conversely [2510.27450]. The 2025 paper states that the class of RD-pure extending modules properly contains pure extending modules [2510.27450], while the 2022 paper phrases the relation differently, asserting that every RD-pure extending module is pure extending and that the two notions coincide on flat modules [2209.04176]. This suggests a terminological or convention-sensitive subtlety in the literature around the relative strength of the two conditions. What is unambiguous is the flat case: for projective modules, and more generally flat modules, RD-purity coincides with purity [2510.27450], [2209.04176].

## 4. Decomposition theory and the generalized Osofsky–Smith theorem

A central development is the extension of classical uniform decomposition results to the pure setting. The paper "On Modules Whose Pure Submodules Are Essential in Direct Summands" proves a pure analogue of the Osofsky–Smith theorem: if $M$ is a cyclic right $R$-module such that every proper cyclic factor module of $M$ is pure extending, then
\[
M \cong \bigoplus_{i=1}^n U_i,
\qquad U_i\ \text{pure-uniform}
\]
[2510.27450].

The proof combines several structural ingredients. First, an indecomposable pure extending module is pure-uniform: if $P\leq_p M$ is nonzero and essential in a direct summand $D$, then indecomposability forces $D=M$, so $P$ is pure-essential in $M$ [2510.27450]. Second, from the hypothesis on cyclic factors, one derives that every cyclic factor is artinian. The argument passes to descending chains, replaces the terms by their purifications $\pur(N_j)$, and uses stabilization of uniform dimension among summands in which these purifications are essential [2510.27450]. Third, if every factor of a cyclic module is endoartinian, then the module itself is endoartinian; endoartinian modules then decompose into finitely many indecomposable summands, each of which is pure-uniform in the pure extending setting [2510.27450].

This theorem is formally parallel to the classical Osofsky–Smith result, where one concludes finite direct sums of uniform modules under extending-type hypotheses on cyclic factors. Over von Neumann regular rings, where pure extending and extending coincide, the pure theorem recovers a direct sum of uniform submodules and therefore reproduces a version of the classical conclusion [2510.27450].

The importance of this result lies in showing that restricting the extending condition to pure submodules still preserves significant decomposition power. The passage from uniform to pure-uniform reflects the replacement of arbitrary submodules by pure ones throughout the theory, but the finite direct-sum structure survives.

## 5. Nonsingularity, Noetherian hypotheses, and endomorphism-theoretic consequences

Pure extending modules interact strongly with nonsingularity in finitely generated Noetherian contexts. For a module $M$, the singular submodule is
\[
Z(M) = \{ m \in M \mid \Ann_R(m)\ \text{is essential in } R_R\}.
\]
A module is nonsingular when $Z(M)=0$ [2510.27450].

Under these hypotheses, pure extending yields a Rickart-type regularity property. If $R$ is right Noetherian and $M$ is a finitely generated, nonsingular, pure extending right $R$-module, then $M$ is $\Sigma$-Rickart [2510.27450]. Here Rickart means that for every endomorphism $f$, the kernel has the form $eM$ for some idempotent $e$ in $\End_R(M)$; $\Sigma$-Rickart means that all direct sums $M^I$ are Rickart [2510.27450].

The proof uses purification of kernels in arbitrary direct sums. For $X=M^{(I)}$ and $f\in \End_R(X)$, one sets $K=\ker f$ and $\overline{K}=\pur(K)$. Because $M$ is Noetherian and pure extending, $X$ inherits purity and pure extending, so $\overline{K}$ is essential in a summand $D\leq X$ [2510.27450]. If $K\neq \overline{K}$, then local finite presentability and nonsingularity of $X/K$ yield a contradiction via a nonzero finitely presented singular submodule. Hence $K$ is pure and essential in $D$; Noetherianity then forces $K=D$, so kernels are direct summands [2510.27450].

These arguments link purity and nonsingularity to endomorphism-ring regularity. The paper further notes that in centrally quasi-morphic modules, $\Sigma$-Rickart and $\Sigma$-d-Rickart coincide, and under finite uniform dimension, $\Sigma$-Rickart together with $\Sigma$-d-Rickart is equivalent to strong $\pi$-endoregularity [2510.27450]. The latter is expressed by
\[
\exists n\ge 1:\quad M = \ker(f^n)\oplus \im(f^n)\ \text{for all}\ f\in \End_R(M).
\]
This places pure extending modules within a larger endomorphism-theoretic framework.

A plausible implication is that pure extending modules serve as a structural intermediary between homological purity conditions and strong internal regularity conditions on endomorphism rings. That interpretation is directly supported by the way purity, essentiality, and kernel-splitting interact in the Noetherian nonsingular regime [2510.27450].

## 6. Examples, counterexamples, and lattice-theoretic interpretation

Examples separate pure extending sharply from classical extending. Over $\mathbb{Z}$, the module $\mathbb{Z}_2\oplus \mathbb{Z}_8$ is pure extending because over the Noetherian ring $\mathbb{Z}$ every pure submodule of a finitely generated module splits, but it is not extending: the submodule generated by $(\bar 1,\bar 2)$ is not essential in any summand [2510.27450]. The 2022 paper records the analogous example $\mathbb{Z}_p\oplus \mathbb{Z}_{p^3}$ [2209.04176]. There is also an upper triangular matrix example producing a module that is pure extending but not extending [2510.27450], [2209.04176].

Nonexamples are equally important. The product $\prod_p \mathbb{Z}/p\mathbb{Z}$ is not pure extending because the direct sum $\bigoplus_p \mathbb{Z}/p\mathbb{Z}$ is pure in it but not essential in any direct summand [2209.04176]. Infinite direct sums may fail as well; $\bigoplus_{i=1}^\infty \mathbb{Z}$ is not pure extending [2510.27450]. For RD-pure extending, the module $\mathbb{Z}(p^\infty)\oplus \mathbb{Z}/p\mathbb{Z}$ distinguishes the RD-pure and pure theories [2510.27450].

The lattice-theoretic reformulation clarifies the underlying geometry. The submodule lattice $L(M)$ is bounded, complete, and modular, with meet given by intersection and join by sum [2509.22903]. When $\chi$ is instantiated as the class of pure submodules, pure-extending means precisely that $L(M)$ is weakly type-2 $\chi$-extending: for each pure submodule $N$, there exists a closed element $c$ with $N\leq_e c$ and $c$ a direct summand element [2509.22903]. Under idiom hypotheses—completeness, modularity, and upper continuity—this implies a weak type-1 formulation in terms of pseudo-complements [2509.22903].

This lattice perspective does not change the module-theoretic definition, but it places pure extending modules within a general theory of extending lattices relative to a distinguished class $\chi$ [2509.22903]. It also isolates the role of essential closures and pseudo-complements in controlling decompositions of pure submodules. This suggests that pure extending modules are one instance of a broader relative extending paradigm rather than an isolated module-theoretic curiosity.

In summary, pure extending modules preserve much of the decomposition-theoretic content of extending modules while replacing the ambient category of all submodules by the homologically significant class of pure submodules. Their theory is Morita invariant, stable under finite direct sums, aligned with classical extending over von Neumann regular rings, and rich enough to support uniform-type decomposition theorems, Rickart consequences, and counterexamples distinguishing centrally quasi-morphic from centrally morphic behavior [2510.27450].

Source: https://www.emergentmind.com/topics/pure-extending-modules