2025-11-14T04:31:11.749988

Central Quasi-Morphicity, Central Morphicity, and Strongly $Ï$-Regularity

Gera, Sharma

This paper refines the relationship between centrally quasi-morphic and centrally morphic modules, correcting earlier equivalences and extending them to a broader module-theoretic framework. We prove that if a module $M$ is image-projective and generates its kernels, then the following are equivalent: $M$ is centrally morphic, $M$ is centrally quasi-morphic, and its endomorphism ring $S=\operatorname{End}_R(M)$ is right centrally morphic. This characterization clarifies the role of image-projectivity and kernel-generation in transferring morphic behavior between a module and its endomorphism ring. Furthermore, if $R$ is a semiprime right centrally quasi-morphic ring with a von Neumann regular center $Z(R)$, then $R$ is strongly $Ï$-regular. In the module setting, when the endocenter $Z(S)$ is von Neumann regular and the kernels and images of powers of endomorphisms are fully invariant, an image-projective module $M$ is strongly $Ï$-endoregular if and only if its endomorphism ring $S$ is semiprime and $M$ is centrally quasi-morphic.

academic

Central Quasi-Morphicity, Central Morphicity, and Strongly π-Regularity

基本信息

论文ID: 2511.10569
标题: Central Quasi-Morphicity, Central Morphicity, and Strongly π-Regularity
作者: Theophilus Gera, Amit Sharma (Sardar Vallabhbhai National Institute of Technology, India)
分类: math.RA (Ring Theory and Algebra)
发表时间: November 14, 2025 (arXiv预印本)
论文链接: https://arxiv.org/abs/2511.10569

摘要

本文精细化了中心拟态射（centrally quasi-morphic）模与中心态射（centrally morphic）模之间的关系，修正了早期文献中的等价性错误，并将其扩展到更广泛的模论框架。主要结果包括：

模论等价性：若模M是像投射的（image-projective）且生成其核（generates its kernels），则以下等价：M是中心态射的、M是中心拟态射的、其自同态环S=End_R(M)是右中心态射的。
环论结果：若R是半素（semiprime）右中心拟态射环且其中心Z(R)是von Neumann正则的，则R是强π-正则的。
模论推广：在适当条件下，像投射模M是强π-自同态正则的当且仅当其自同态环S是半素的且M是中心拟态射的。

研究背景与动机

1. 核心问题

本文要解决的核心问题是修正和完善态射模（morphic modules）理论中的基本等价关系，特别是：

中心拟态射性与中心态射性之间的精确关系
模的态射性质如何与其自同态环的态射性质相互转化
中心拟态射性与强π-正则性之间的结构联系

2. 问题的重要性

态射环和模的理论起源于Nicholson和Campos的工作，作为同构定理的对偶类比。这一理论探索了：

零化子、核和像之间的关系如何刻画环和模的内部结构
可交换性现象（通过要求见证自同态在中心）如何影响态射行为
正则性条件如何通过态射性质体现

3. 现有方法的局限性

文献3 (Dehghani and Sedaghatjoo, 2025)中存在关键错误：

3, Proposition 2.3错误地断言：对任意投射模M，中心态射等价于中心拟态射
反例：M = R = kx/(x²)是中心拟态射但非中心态射的（4, Remark 3.23）
根本原因：缺少确保模与其自同态环之间态射性转移的额外假设

4. 研究动机

本文的出发点是：

纠正错误：识别使等价性成立所需的精确结构假设
统一理论：在模论和环论框架下建立中心拟态射性的完整理论
建立桥梁：连接中心拟态射条件与强π-正则性，扩展Lee-Zhou的经典结果

核心贡献

修正了基本等价性定理（Proposition 2.3）：
- 明确指出像投射性和核生成性是中心态射与中心拟态射等价的必要条件
- 提供了模层面与自同态环层面态射性质相互转化的精确刻画
建立了环论结构定理（Theorem 2.8）：
- 证明半素中心拟态射环若其中心von Neumann正则，则必为强π-正则
- 将Lee-Zhou的7, Proposition 23从态射环推广到中心拟态射环
给出了模论对应结果（Proposition 2.10）：
- 在适当的完全不变性假设下，刻画了强π-自同态正则性
- 修正了3, Proposition 3.11的不完整表述
澄清了半单Artin情形（Corollary 2.4）：
- 对半单Artin模，中心拟态射、中心态射和自同态环中心态射三者等价
- 扩展了4, Corollary 3.21从有限生成情形到任意半单Artin模
提供了反例和边界条件分析（Remark 2.9）：
- 展示了定理条件的必要性
- 说明了逆命题不成立

方法详解

任务定义

本文研究的核心任务是建立模论对象（模M及其子模结构）与代数对象（自同态环S及其理想结构）之间的双向对应关系，具体包括：

输入：

模M及其自同态环S = End_R(M)
模的结构性质（像投射性、核生成性）
环的正则性条件（中心的von Neumann正则性、半素性）

输出：

态射性质的等价刻画
强π-正则性的充要条件

约束条件：

所有环都是有单位元的结合环
所有模都是右模（除非另有说明）
自同态环左作用于模

核心概念与定义

1. 像投射性（Image-Projectivity）

模M称为像投射的，若对任意f, g ∈ S，包含关系im(f) ⊆ im(g)蕴含存在s ∈ S使得f = gs。

几何意义：像的包含关系在自同态环中有代数反映。

2. 核生成性（Kernel-Generation）

模M生成其核，若对每个f ∈ S，有 $\ker f = \sum\{\text{im}(\gamma) \mid \gamma \in S, \text{im}(\gamma) \subseteq \ker f\}$

意义：核可以由包含在其中的自同态的像生成。

3. 中心拟态射性

模：M是中心拟态射的，若对每个f ∈ S，存在g, h ∈ Z(S)（中心）使得ker f = im g且im f = ker h
环：R是右中心拟态射的，若对每个a ∈ R，存在中心元b, c ∈ Z(R)使得r.ann_R(a) = bR且aR = r.ann_R(c)

4. 中心态射性

若上述g, h可取为相同元素（或等价地，为幂等元），则称为中心态射的。

关键引理与技术工具

Lemma 2.1（像投射模的性质）

对像投射模M：

若ker f = im g，则M生成ker f
若M生成其核且r.ann_S(f) = eS（e幂等），则ker f = eM

证明思路：利用像投射性将子模包含关系转化为理想包含关系。

Lemma 2.2（中心正则性的对称化）

若R是右中心拟态射的且Z(R)是von Neumann正则的，则R也是左中心拟态射的。

证明核心：

von Neumann正则性允许将中心元替换为中心幂等元
对中心幂等元e，有r.ann_R(e) = (1-e)R且l.ann_R((1-e)R) = eR
利用分解R = eR ⊕ (1-e)R实现左右对称

主要定理的证明架构

Proposition 2.3（核心等价性定理）

陈述：设M是右R-模，S = End_R(M)。

(1) 若M是中心拟态射且像投射的 ⇒ S是右中心拟态射的，且M生成其核

(2) 若M是像投射且生成其核，且S是右中心拟态射的 ⇒ M是中心拟态射的

(3) 若M是像投射且生成其核，则等价：

(a) M是中心态射的
(b) M是中心拟态射的
(c) S是右中心态射的

证明思路：

(1)的证明：

设ker f = im g, im f = ker h（g, h ∈ Z(S)）
对任意φ满足im φ ⊆ im g = ker f
由像投射性 ⇒ φ ∈ gS
故r.ann_S(f) = gS
对称地，fS = r.ann_S(h)

(2)的证明：

设r.ann_S(f) = gS, fS = r.ann_S(h)（g, h ∈ Z(S)）
则g ∈ r.ann_S(f) ⇒ im g ⊆ ker f
对x ∈ ker f，由核生成性：
  x ∈ Σ im γ_i，其中γ_i ∈ r.ann_S(f) = gS
  ⇒ im γ_i ⊆ im g
  ⇒ ker f = im g
对称地得im f = ker h

(3)的证明：

(a)⇒(b)：定义显然
(b)⇒(c)：由(1)，且生成元是幂等的
(c)⇒(a)：由(2)

技术创新点

1. 条件的精确化

创新：明确指出像投射性和核生成性是不可或缺的条件，而不是对所有投射模自动成立。

为什么有效：

像投射性确保子模包含⇔理想包含
核生成性确保核可由中心元素的像表示
两者共同保证模与环之间的双向转化

2. von Neumann正则性的利用

创新：利用中心的von Neumann正则性实现幂等元替换，从而建立左右对称性。

技术细节：

对中心元c，存在中心幂等元e使得cZ(R) = eZ(R)
幂等元的零化子具有简洁形式：r.ann(e) = (1-e)R
这使得链条件的分析大大简化

3. 链稳定性论证

创新（Theorem 2.8的核心）：通过构造正交幂等元序列，利用半素性排除无限上升链。

证明框架：

假设链g₁R ⊆ g₂R ⊆ ... 不稳定
构造e_k = g_k(1 - g_{k-1})（正交幂等元）
则(ae_k)^k = 0对所有k
考虑J = ⊕ Re_k（非零理想的直和）
J是幂零理想 ⇒ 与半素性矛盾
故链必稳定

实验设置

注：本文是纯理论数学论文，不包含实验部分。以下内容为理论验证和例子分析。

理论验证方法

1. 反例构造

目的：验证定理条件的必要性

方法：

构造满足部分条件但不满足结论的例子
通过具体计算验证性质的失效

2. 特殊情形验证

目的：在已知结构上验证一般定理

方法：

在半单Artin模上验证（Corollary 2.4）
在投射模上验证（Corollary 2.5）

关键例子

Example（Note 2.6）：投射模的反例

构造：M = R = kx/(x²)

验证：

M是投射模（作为R-模自由）
M是中心拟态射的
M不是中心态射的

意义：说明3, Proposition 2.3的错误，投射性不足以保证等价性

Example（Remark 2.9(1)）：von Neumann正则性的必要性

构造：R = Zx

验证：

R是交换的（故中心拟态射的）
R是半素的
Z(R) = R不是von Neumann正则的
R不是强π-正则的（x不满足条件）

意义：Theorem 2.8的von Neumann正则性假设不可去除

Example（Remark 2.9(2)）：逆命题失效

构造：R = (k k) (0 k)（2×2上三角矩阵）

验证：

Z(R) ≅ k是von Neumann正则的
R是Artin的（故强π-正则）
R不是半素的：I = (0 k)满足I² = 0 (0 0)
R不是中心拟态射的

意义：Theorem 2.8的逆命题不成立

实验结果

主要理论结果

Result 1：修正的等价性定理（Proposition 2.3）

结果：在像投射+核生成条件下：

M中心态射 ⇔ M中心拟态射 ⇔ S右中心态射

与文献3的对比：

3的错误断言：对投射模，中心态射⇔中心拟态射
本文修正：需要额外条件（像投射+核生成）
反例验证：kx/(x²)满足投射但不满足等价性

Result 2：强π-正则性定理（Theorem 2.8）

结果：半素+右中心拟态射+中心von Neumann正则 ⇒ 强π-正则

推广意义：

Lee-Zhou 7, Prop 23：态射环 ⇒ 强π-正则
本文推广：中心拟态射环（更弱条件）⇒ 强π-正则

技术改进：

利用中心正则性实现幂等元替换
通过链稳定性避免复杂的幂零理想分析

Result 3：半单情形的完全刻画（Corollary 2.4）

结果：对半单Artin模M：

M中心拟态射 ⇔ M中心态射 ⇔ S中心态射

原因：

半单模自动满足像投射性和核生成性
中心Z(S)是有限多个域的直积（von Neumann正则）
任何中心元生成的主理想由中心幂等元生成

理论发现

发现1：像投射性的关键作用

像投射性将几何条件（子模包含）转化为代数条件（理想包含），这是模与环之间转化的桥梁。

具体体现：

im f ⊆ im g ⇔ f ∈ gS
使得r.ann_S(f) = gS的验证成为可能

发现2：核生成性的对偶作用

核生成性确保核可以由自同态的像表示，是从环回到模的关键。

具体体现：

ker f可由{im γ | γ ∈ r.ann_S(f)}生成
结合r.ann_S(f) = gS得到ker f = im g

发现3：中心正则性的对称化效应

von Neumann正则的中心允许幂等元替换，从而实现左右对称性。

重要性：

将右中心拟态射性提升为双边性质（Lemma 2.2）
简化链条件分析（Theorem 2.8）

结论与讨论

主要结论

1. 态射性等价的精确条件

核心结论：中心态射与中心拟态射的等价需要：

像投射性（image-projectivity）
核生成性（kernel-generation）

这两个条件共同确保模与自同态环之间态射性质的双向转化。

2. 中心拟态射性与强π-正则性的联系

核心结论：对半素环，中心拟态射性+中心von Neumann正则性 ⇒ 强π-正则性

这建立了态射条件与正则性条件之间的结构桥梁。

3. 模论对应

核心结论：在适当的完全不变性假设下：

M强π-自同态正则 ⇔ S半素 + M中心拟态射

局限性

1. 条件的限制性

局限：像投射性和核生成性是较强的条件，不是所有投射模都满足。

影响：理论的适用范围受限于这些结构性假设。

2. 完全不变性假设

局限：Proposition 2.10要求"ker(f^n)和im(f^n)是完全不变的"。

问题：

这个条件在一般情形下不易验证
需要额外的技术工具来确保满足

3. 逆命题的失效

局限：Theorem 2.8的逆命题不成立（Remark 2.9(2)）。

意义：强π-正则性不能反推中心拟态射性，即使在中心von Neumann正则的情况下。

4. 非交换情形的复杂性

局限：许多结果依赖于中心的正则性，对非交换环的推广需要更精细的分析。

未来方向

1. 弱化条件

方向：寻找比像投射性和核生成性更弱的充分条件。

可能途径：

研究局部条件（如有限生成子模上的性质）
探索拓扑或范畴论方法

2. 推广到其他正则性

方向：研究中心拟态射性与其他正则性概念的关系。

候选概念：

弱正则性（weakly regular）
交换子正则性（commutator regular）
Π-正则性的其他变种

3. 范畴论视角

方向：从范畴论角度理解态射性。

可能框架：

态射范畴的性质
函子性质的刻画
自然变换的作用

4. 计算方法

方向：发展算法判定给定模或环是否满足中心拟态射性。

挑战：

中心元素的计算
零化子和核的有效表示

深度评价

优点

1. 理论上的严谨性

亮点：

精确识别错误：明确指出3, Prop 2.3的问题所在
完整的修正：不仅指出错误，还给出正确的充要条件
反例支持：每个条件的必要性都有反例验证

学术价值：为该领域提供了可靠的理论基础。

2. 证明的技术深度

亮点：

Theorem 2.8的证明：正交幂等元构造+半素性论证，技术精巧
对称化技巧：利用von Neumann正则性实现左右对称（Lemma 2.2）
链稳定性分析：通过理想论方法建立存在性结果

技术贡献：展示了代数结构理论的强大工具。

3. 结果的系统性

亮点：

模论-环论对应：建立了完整的双向转化框架
特殊情形验证：半单、投射等情形都有明确刻画
推广经典结果：Lee-Zhou定理的自然扩展

理论意义：形成了统一的理论体系。

4. 写作的清晰度

亮点：

动机明确：在引言中清楚说明研究背景和问题来源
结构合理：从基本概念→引理→主要定理，逻辑清晰
例子丰富：每个抽象结果都有具体例子支持

不足

1. 应用场景不明确

问题：论文主要是理论性的，缺少具体应用实例。

改进建议：

提供代数几何或表示论中的应用
讨论在具体环类（如群环、路代数）上的应用

2. 计算复杂性未讨论

问题：没有讨论如何在实践中验证像投射性和核生成性。

改进建议：

提供算法判定条件
讨论计算复杂性

3. 与其他理论的联系不够

问题：与同调代数、K-理论等相关领域的联系较少。

改进建议：

探索与Ext、Tor函子的关系
讨论K₀群的性质

4. 开放问题不充分

问题：论文末尾没有明确列出开放问题。

改进建议：

列出具体的猜想
提出可能的研究方向

影响力

1. 对领域的贡献

短期影响：

修正错误：避免后续研究基于错误结论
提供工具：像投射性+核生成性成为标准条件
建立基准：Theorem 2.8成为强π-正则性的判定准则

长期影响：

理论基础：为态射模理论提供坚实基础
研究方向：开启中心拟态射性的系统研究
方法论：展示如何精确化模论-环论对应

2. 实用价值

理论价值：★★★★★

为纯数学研究提供重要工具

应用价值：★★★☆☆

目前主要是理论性的
潜在应用于表示论、代数几何

3. 可复现性

理论可复现性：★★★★★

所有证明完整且严格
反例具体可验证

计算可复现性：★★★☆☆

缺少算法和实现
需要符号计算系统支持

适用场景

1. 直接适用场景

模论研究：研究特殊类型模的结构
环论研究：研究非交换环的正则性
同态理论：研究自同态环的性质

2. 潜在应用领域

表示论：研究代数表示的态射性
代数几何：研究层的自同态
算子代数：研究算子环的结构

3. 理论推广方向

范畴论：推广到Abel范畴
同调代数：与导出范畴的联系
非交换几何：与谱理论的联系

参考文献（关键文献）

3 Dehghani-Sedaghatjoo (2025)：引入中心态射模，本文修正其错误
4 Gupta-Gera-Sharma-Gupta (2025)：指出3的反例
7 Lee-Zhou (2009)：态射性与强π-正则性，本文推广其结果
8 Nicholson-Campos (2004)：态射环的起源
9 Nicholson-Campos (2005)：态射模，引入像投射性

总体评价

本文是一篇高质量的纯数学理论论文，在环论和模论领域做出了重要贡献：

✅ 严格修正了文献错误，提供了精确的充要条件
✅ 推广了经典结果，将Lee-Zhou定理扩展到中心拟态射情形
✅ 建立了系统理论，完整刻画了模论-环论对应关系
✅ 证明技术精巧，展示了深刻的代数洞察

⚠️ 应用场景需加强，理论性较强但实际应用不明显
⚠️ 计算方法缺失，缺少算法和复杂性分析

推荐阅读对象：环论、模论、非交换代数研究者；对态射结构和正则性理论感兴趣的数学家。

Central Quasi-Morphicity, Central Morphicity, and Strongly $Ï$-Regularity

Central Quasi-Morphicity, Central Morphicity, and Strongly π-Regularity

Central Quasi-Morphicity, Central Morphicity, and Strongly $Ï$-Regularity