On Modules Whose Pure Submodules Are Essential in Direct Summands

基本信息

• 论文ID: 2510.27450
• 标题: On Modules Whose Pure Submodules Are Essential in Direct Summands
• 作者: Kaushal Gupta, Theophilus Gera, Amit Sharma, Ashok Ji Gupta
• 分类: math.RA (环与代数)
• 发表时间: 2025年10月31日 (arXiv预印本)
• 论文链接: https://arxiv.org/abs/2510.27450

摘要

本文引入了纯扩张模(pure extending modules)的概念，这是经典扩张模的一个精细化版本，仅要求纯子模在直和项中本质。文章建立了基本性质和刻画，证明了在von Neumann正则环上，纯扩张模与扩张模重合。作为应用，证明了纯扩张模具有类似于经典理论的分解模式，包括Osofsky-Smith定理的推广：真商模都是纯扩张的循环模可分解为有限多个纯一致子模的直和。此外，通过构造一个中心拟态射模但非中心态射模的例子，解决了Dehghani和Sedaghatjoo提出的开放问题。

研究背景与动机

要解决的问题

本文旨在解决模论中的三个核心问题：

1. 扩张模的结构刚性问题：经典扩张模要求所有子模在直和项中本质，这一条件在涉及平坦性、可除性或张量下保持正合性的同调纯性设置中过于严格。
2. 直和封闭性问题：长期未解决的问题是扩张模的有限直和是否仍是扩张模(Question 1.1(1))，以及所有商模都是扩张的模是否能分解为有限多个一致模的直和(Question 1.1(2))。
3. 态射模的中心性问题：Dehghani和Sedaghatjoo 8提出的开放问题：每个中心拟态射模是否必然是中心态射模？

问题的重要性

1. 理论意义：扩张模理论是模分解理论的基础，与挠理论、纯性和同调代数密切相关。纯化这一概念使其更适应同调框架。
2. 结构分析：von Neumann的连续几何基础工作和Utumi对环的分析表明，本质嵌入和直和项结构的研究具有深远影响。
3. 应用价值：态射模与Rickart模的联系为理解自同态环的正则性提供了工具。

现有方法的局限性

1. 经典扩张模过于严格：在许多代数设置中，特别是涉及同调纯性的情况下，要求所有子模本质地嵌入直和项是不现实的。
2. 直和不封闭：虽然Birkenmeier等人证明了扩张模的有限直和是FI-扩张的，但一般情况下不是扩张的。
3. 缺乏纯性视角：现有理论未充分利用纯子模(在张量积下保持正合性的子模)的特殊性质。

研究动机

本文的核心动机是通过纯性概念弱化经典C1条件，从而：

• 在保持分解性的同时扩大可研究的模类
• 建立纯正合分解的同调类比
• 利用纯性的良好性质(如在直和项下的行为)解决经典问题

核心贡献

1. 引入纯扩张模概念：定义了纯扩张模(pure extending modules)，要求仅纯子模在直和项中本质，这是对经典扩张模的自然弱化。
2. 建立基本理论：
   • 证明纯扩张模在von Neumann正则环上与扩张模重合(Proposition 2.8)
   • 证明纯扩张模类在有限直和下封闭(Theorem 2.10)
   • 给出多个刻画定理(Propositions 2.7, 2.14, Theorem 2.15)
3. 引入RD-纯扩张模：定义了基于元素可除性的RD-纯扩张模，严格包含纯扩张模类，提供了更灵活的框架(Example A.1)。
4. 推广Osofsky-Smith定理：证明真商模都是纯扩张的循环模分解为有限多个纯一致子模的直和(Theorem 3.2)，部分回答了Question 1.1(2)。
5. 解决开放问题：
   • 构造反例证明中心拟态射模不一定是中心态射模(Example 3.22)
   • 指出8中若干命题的错误(Remark 3.23)
   • 在有限生成、非奇异、纯扩张模的情形下证明两者等价(Proposition 3.20)
6. 建立与Σ-Rickart模的联系：证明Noetherian环上有限生成非奇异纯扩张模是Σ-Rickart的(Theorem 3.19)。

方法详解

核心概念定义

定义2.1 (纯扩张模)：模$M$称为纯扩张的，如果$M$的每个纯子模在$M$的某个直和项中本质。

这里纯子模$P \leq M$是指对所有理想$I \subseteq R$，有$IP = IM \cap P$。子模$N$在$M$中本质(记作$N \leq_e M$)是指$M$的每个非零子模都与$N$非平凡相交。

定义2.16 (RD-纯扩张模)：子模$P \leq M$称为相对可除的(RD-pure)，如果对每个$r \in R$，有$rP = rM \cap P$。模$M$称为RD-纯扩张的，如果每个RD-纯子模在直和项中本质。

理论框架

1. 层次结构

论文建立了以下蕴含关系：

内射 ⟹ 拟内射 ⟹ 扩张
 ⇓         ⇓         ⇓
纯内射 ⟹ 拟纯内射 ⟹ 纯扩张

一般情况下这些蕴含都不可逆(Example 2.2)。

2. 基本性质

命题2.3：纯扩张模的直和项是纯扩张的。

证明思路：设$M = N \oplus N'$，$P \leq N$是$N$中的纯子模。因分裂包含是纯的，$P$在$M$中纯。由纯扩张性，存在$D \leq^{\oplus} M$使$P \leq_e D$。通过模论标准论证，$D \cap N$是$N$的直和项且$P \leq_e (D \cap N)$。

定理2.10 (有限直和封闭性)：$M = M_1 \oplus M_2$是纯扩张的当且仅当$M_1$和$M_2$都是纯扩张的。

证明要点：

• (⇒) 由Proposition 2.3立即得到
• (⇐) 设$P \leq M$纯，则$\pi_i(P)$在$M_i$中纯。存在$D_i \leq^{\oplus} M_i$使$\pi_i(P) \leq_e D_i$。令$D = D_1 \oplus D_2$，验证$P \leq_e D$：对任意$0 \neq (d_1, d_2) \in D$，若$d_1 \neq 0$，由$\pi_1(P) \leq_e D_1$存在$r$使$0 \neq d_1r \in \pi_1(P)$，通过精细分析证明$P \cap (d_1, d_2)R \neq 0$。

注：此结果不能推广到无限直和(Example 2.11)。

3. 环论刻画

命题2.8：设$R$是von Neumann正则环，则右$R$-模$M$是纯扩张的当且仅当它是扩张的。

理由：在von Neumann正则环上，每个模都是平坦的，因此每个子模都是纯的。

命题2.14：以下等价：

1. $R$是von Neumann正则的
2. 每个纯扩张右$R$-模都是平坦的

定理2.15：以下等价：

1. $R$是半单的
2. 每个纯C3模是投射的
3. 每个纯C2模是投射的
4. 每个拟纯内射模是投射的
5. 每个纯内射模是投射的
6. 每个纯扩张模是投射的

技术创新点

1. 纯性的精确使用：通过区分理想纯性($IP = IM \cap P$)和元素纯性($rP = rM \cap P$)，建立了两层理论体系。
2. Fieldhouse结果的应用：利用平坦模上纯性与RD-纯性重合的经典结果(Proposition 2.19, Corollary 2.20)。
3. 纯化算子的单调性：在分解定理证明中，利用纯化算子$\text{Pur}(-)$的单调性控制下降链(Proposition 3.7)。
4. 自同态环条件：通过强$\pi$-自同态正则性(Proposition 3.12)连接态射性质与分解性质。

应用：分解理论

Osofsky-Smith定理的推广

历史背景：Osofsky和Smith 31证明：

定理3.1：设$M$是循环模，若$M$的每个循环子模都是完全扩张的，则$M$是有限多个一致模的直和。

这里完全扩张是指所有商模都是扩张的，比纯性强得多。

主要结果

定理3.2：设$M$是循环模，若$M$的每个循环商模都是纯扩张的，则$M$是有限多个纯一致子模的直和。

证明策略：

1. 自同态Artinian性 (Theorem 3.3)：证明若循环模的所有商模都是自同态Artinian的，则模本身是自同态Artinian的。
   证明：假设$M$不是自同态Artinian的，存在严格下降链$M = f_0(M) \supsetneq f_1(M) \supsetneq \cdots$。令$N = \bigcap_i f_i(M)$，则$M/N$继承对应的下降链，矛盾。
2. 纯一致性 (Proposition 3.4)：不可分解纯扩张模的每个非零纯子模都是纯本质的。
   证明：设$P \leq M$非零纯，$X \leq P$非零纯。由纯扩张性，存在$D \leq^{\oplus} M$使$X \leq_e D$。由不可分解性，$D = M$，故$X \leq_e M$。
3. 有限分解 (Theorem 3.6)：纯扩张自同态Artinian模分解为有限多个纯一致子模的直和。
4. 商模Artinian性 (Proposition 3.7)：证明循环纯扩张模的每个循环商模都是Artinian的，关键使用一致维数的有限性和纯化算子的性质。

推论3.8：在von Neumann正则环上，若循环模的所有循环商模都是扩张的，则该模是有限多个一致模的直和。

应用：态射模理论

背景概念

Rickart模：$M$称为Rickart的，如果对每个$f \in \text{End}(M)$，$\ker(f) = eM$对某幂等元$e^2 = e$。

Σ-Rickart模：$M$称为Σ-Rickart的，如果$M$的任意直和都是Rickart的；等价地，对任意集合$I$和$f \in \text{End}(M^I)$，存在有限$J \subseteq I$使$\ker(f) \leq^{\oplus} M^J$。

中心拟态射模：$M$称为中心拟态射的，如果对每个$f \in \text{End}(M)$，存在中心元$g, h \in \text{Cent}(\text{End}(M))$使$\ker(f) = \text{Im}(g)$且$\text{Im}(f) = \ker(h)$。若可取$g = h$，则称为中心态射的。

核心结果

定理3.19：设$R$是右Noetherian环，$M$是有限生成、非奇异、纯扩张右$R$-模，则$M$是Σ-Rickart的。

证明要点：

1. 设$X = M^{(I)}$，$f \in \text{End}(X)$，$K = \ker f$
2. 令$\overline{K} = \text{Pur}(K)$是$K$的纯化
3. 由纯扩张性，$\overline{K} \leq_e D$对某$D \leq^{\oplus} X$
4. 证明$K = \overline{K}$：若不然，存在有限生成子模$F$使$(F \cap \overline{K})/(F \cap K)$非零且有限表现，但$X/K$非奇异，矛盾
5. 证明$D = K$：对$y \in D$，选有限生成$F \leq D$含$y$。$F \cap K$在$F$中纯且本质，由有限表现性知$F \cap K = F$

命题3.20：设$R$是Noetherian环，$M$是有限生成、非奇异、纯扩张模，则$M$是中心拟态射的当且仅当它是中心态射的。

证明思路：

1. 由Theorem 3.19，$M$是Σ-Rickart的
2. 由22, Proposition 4.3，$\text{End}(M)$是右半遗传的
3. 证明$\text{End}(M)$是von Neumann正则的：每个主右理想$fS$投射，故由幂等元生成
4. 因此$M$是自同态正则的
5. 由8的结果，自同态正则且中心拟态射蕴含强自同态正则，进而蕴含中心态射

反例构造

例3.22：令$k$是域，$R = k[x]/(x^2)$，$M = R$作为右$R$-模。

• $\text{End}_R(M) \cong R$（通过$r \mapsto (s \mapsto sr)$），且$R$交换，故每个自同态都是中心的
• $R$的理想为$\{0, \overline{x}R, R\}$
• 对乘以$a \in R$的自同态$f$：
  • 若$a$是单位：$(\text{Im}(f), \ker(f)) = (R, 0)$
  • 若$a = 0$：$(0, R)$
  • 若$a = \lambda\overline{x}$，$\lambda \neq 0$：$(\overline{x}R, \overline{x}R)$

因此$M$是中心拟态射的。

但$M$不是中心态射的：$R$的唯一幂等元是0和1，对应的中心幂等自同态只能给出$eM \in \{0, M\}$，不能给出$\overline{x}R$。

重要性：此例证明8, Proposition 2.2, Corollary 2.3, Proposition 3.11中的若干断言在一般情形下不成立。

实验结果（理论验证）

由于这是纯数学理论论文，没有传统意义上的"实验"，但通过大量例子验证了理论：

主要验证

1. 纯扩张严格包含扩张 (Example 2.2)：
   • $M = \mathbb{Z}_2 \oplus \mathbb{Z}_8$是纯扩张但非扩张
   • 矩阵环上的模例子
2. 非遗传性 (Example 2.5)：
   • $A = \bigoplus_{n \geq 1} \mathbb{Z}/p^n\mathbb{Z}$有纯子群$U$非直和项，故非纯扩张
   • 但$E(A)$（内射包络）是纯扩张的
3. 无限直和失败 (Example 2.11)：
   • $M = \bigoplus_{i=1}^{\infty} \mathbb{Z}$
   • $P = \{(n_i) \mid \sum n_i = 0\}$是纯的但不在任何直和项中本质
4. RD-纯严格包含纯 (Example A.1)：
   • $M = \mathbb{Z}(p^{\infty}) \oplus \mathbb{Z}/p\mathbb{Z}$
   • $U = \langle(y, x)\rangle$是纯的但非RD-纯扩张所需
   • 详细验证三种情形证明$M$是RD-纯扩张的

反例的意义

Example 3.22的构造精妙之处：

• 选择$R = k[x]/(x^2)$使得环是局部的但非半单、非von Neumann正则
• 利用$\overline{x}R$既是核又是像但不能由中心幂等元生成
• 这说明Corollary 3.21中"有限生成"假设的必要性

相关工作

历史发展

1. 扩张模的起源：
   • von Neumann的连续几何基础工作
   • Utumi 32：左理想本质地包含在投射直和项中的环
   • Jeremy 17和Chatters-Hajarnavis 7：CS-模（"补是直和项"）
   • Harada：引入"extending module"术语
   • Müller 28：系统化C1、C2、C3条件
2. 纯性理论：
   • Fieldhouse 11, 12：纯理论、PDS环
   • Azumaya-Facchini 4：纯内射包络
   • Harmanci等人15：纯内射轮廓
3. Rickart模：
   • Lee-Rizvi-Roman 24-26：Rickart和对偶Rickart模
   • Lee-Bárcenas 22：Σ-Rickart模
4. 态射模：
   • Nicholson-Campos 29, 30：态射模
   • Camillo-Nicholson 6：拟态射环
   • Dehghani-Sedaghatjoo 8：中心态射模（本文指出其中的错误）

本文的创新

1. 概念创新：首次系统研究纯扩张模，填补了扩张模与纯内射模之间的空白。
2. 方法创新：
   • 结合纯性与本质性的精细分析
   • 利用自同态环的Artinian条件控制分解
   • 通过纯化算子的单调性处理下降链
3. 结果创新：
   • 在更弱假设下推广Osofsky-Smith定理
   • 建立纯扩张与Σ-Rickart的深刻联系
   • 解决8中的开放问题并纠正错误

结论与讨论

主要结论

1. 纯扩张模是扩张模的自然推广：在保持核心分解性质的同时，适应同调纯性框架。
2. von Neumann正则环的特殊性：在此类环上，纯扩张与扩张重合，有限直和封闭性问题得到肯定回答。
3. 分解定理：在纯性假设下，循环模的分解行为类似于经典情形。
4. 态射性质的精细区分：中心拟态射与中心态射的区别依赖于有限性、非奇异性和纯扩张性的微妙相互作用。

局限性

1. 无限直和：纯扩张性不在无限直和下保持（Example 2.11），这限制了理论在无限维情形的应用。
2. von Neumann正则性的必要性：Corollary 3.8中von Neumann正则性假设是否必要尚未完全明确（Note 3.9）。
3. 有限生成假设：Corollary 3.21中"有限生成"假设能否去掉尚不清楚（Remark 3.23(1)）。
4. 反向蕴含：Theorem 3.19的逆命题（Noetherian环上有限生成Σ-Rickart模是否纯扩张）仍是开放的。
5. 构造性：许多存在性结果（如Example 2.13(2)）缺乏显式构造。

未来方向

论文隐含提出的研究方向：

1. 无限直和的条件：寻找纯扩张性在无限直和下保持的充要条件。
2. 完全刻画：在何种环类上纯扩张与扩张重合？
3. RD-纯理论：进一步研究RD-纯扩张模，特别是在非平坦情形。
4. 态射模的完整图景：明确8中哪些结果可以修正，哪些本质上错误。
5. 计算方法：发展判定给定模是否纯扩张的算法。
6. 范畴论推广：将纯扩张概念推广到Grothendieck范畴。

深度评价

优点

1. 概念自然性：纯扩张模的定义自然地结合了两个基本概念（纯性和本质性），在同调代数框架下具有内在合理性。
2. 理论完整性：
   • 系统建立了基本性质（Propositions 2.3-2.7）
   • 给出多个等价刻画（Propositions 2.8, 2.14, Theorem 2.15）
   • 引入RD-纯变体增强灵活性
3. 证明严谨性：
   • 每个定理都有完整证明
   • 反例构造精确（Examples 2.2, 2.5, 2.11, 3.22, A.1）
   • 对8中错误的指出有充分论证（Remark 3.23）
4. 应用价值：
   • 推广经典分解定理（Theorem 3.2）
   • 解决开放问题（Example 3.22回答Question 2.14）
   • 建立新联系（纯扩张↔Σ-Rickart，Theorem 3.19）
5. 写作清晰：
   • 结构合理（性质→刻画→应用）
   • 动机明确（Introduction详细说明背景）
   • 例子丰富（13个例子/反例）

不足

1. 技术难度：
   • 需要深厚的模论背景才能完全理解
   • 某些证明（如Theorem 3.19）技术性很强，可读性有限
2. 应用范围：
   • 主要结果集中在Noetherian环和von Neumann正则环
   • 对一般环的结果较少
3. 开放问题：
   • 留下多个未解决问题（如Note 3.9, Remark 3.23(1)）
   • 某些结果的必要性未明确
4. 计算方面：
   • 缺乏判定算法或有效判据
   • 难以在具体例子中验证纯扩张性
5. 与其他理论的联系：
   • 与倾斜理论、导出范畴的联系未探讨
   • 与表示论的关系可以更深入

影响力

对领域的贡献：

1. 概念贡献：纯扩张模可能成为模论的标准概念，就像扩张模一样。
2. 方法贡献：纯化算子在分解理论中的应用（Proposition 3.7）提供了新工具。
3. 纠错贡献：指出8中的错误对该领域的健康发展很重要。

实用价值：

1. 理论工具：为研究模分解提供了新视角，特别是在涉及纯性的情形。
2. 判定准则：Theorem 2.15等结果提供了判定环性质的模论刻画。
3. 反例库：构造的反例（特别是Example 3.22）对未来研究有参考价值。

可复现性：

• 高：所有结果都有完整证明，基于标准模论知识
• 反例构造明确，可以验证
• 引用文献充分，便于追溯

适用场景

1. 理论研究：
   • 模分解理论
   • 同调代数中的纯性研究
   • 自同态环的结构理论
2. 环论分类：
   • 通过模性质刻画环（如Propositions 2.8, 2.14, Theorem 2.15）
   • 研究特殊环类（von Neumann正则环、PDS环、右perfect环）
3. 表示论：
   • 研究代数的模范畴结构
   • 倾斜理论中的纯性条件
4. 范畴论：
   • Grothendieck范畴中的纯性
   • Morita等价下的不变量（Proposition 2.9）
5. 交换代数：
   • 虽然论文主要考虑非交换情形，但Example 3.22等交换例子表明理论在交换情形也有应用

参考文献（精选）

关键引用：

• 7 Chatters & Hajarnavis (1977): CS-模的原始定义
• 8 Dehghani & Sedaghatjoo (2025): 中心态射模（本文指出其错误）
• 11, 12 Fieldhouse (1969, 1970): 纯理论基础
• 20, 21 Lam (1999, 2001): 标准模论教材
• 22 Lee & Bárcenas (2020): Σ-Rickart模
• 28 Mohamed & Müller (1990): C条件的系统化
• 31 Osofsky & Smith (1991): 原始分解定理
• 33 Wisbauer (1991): 模与环理论手册

总体评价：这是一篇高质量的纯数学理论论文，在模论的经典领域做出了实质性贡献。通过引入纯扩张模概念，作者成功地在扩张模理论与纯性理论之间建立了桥梁，推广了经典结果，解决了开放问题，并纠正了文献中的错误。论文的理论深度、证明严谨性和应用价值都达到了高水平学术期刊的标准。尽管存在一些技术难度和未解决问题，但这些恰恰为未来研究提供了方向。对于模论和环论研究者，这是一篇值得仔细研读的重要文献。