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

中心準態射性、中心態射性、および強π-正則性

基本情報

論文ID: 2511.10569
タイトル: Central Quasi-Morphicity, Central Morphicity, and Strongly π-Regularity
著者: Theophilus Gera、Amit Sharma（インド、Sardar Vallabhbhai National Institute of Technology）
分類: math.RA（環論と代数）
発表日: 2025年11月14日（arXiv プレプリント）
論文リンク: https://arxiv.org/abs/2511.10569

要約

本論文は、中心準態射（centrally quasi-morphic）加群と中心態射（centrally morphic）加群の関係を精密化し、先行文献における等価性の誤りを修正し、より広範な加群論の枠組みへ拡張している。主要な結果は以下の通りである：

加群論的等価性：加群Mが像射影的（image-projective）であり、その核を生成する場合、以下は等価である：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が同じ元素として選択できる場合（または同等に、べき等元として）、中心態射的と呼ぶ。

主要補題と技術的ツール

補題2.1（像射影加群の性質）

像射影加群Mに対して：

ker f = im gならば、Mはker fを生成する
Mが核を生成し、r.ann_S(f) = eS（eはべき等元）ならば、ker f = eM

証明の思路：像射影性を用いて部分加群の包含関係を理想の包含関係に転化する。

補題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に対して、cZ(R) = eZ(R)を満たす中心べき等元eが存在する
べき等元の零化子は簡潔な形式を持つ：r.ann(e) = (1-e)R
これにより連鎖条件の分析が大幅に簡潔化される

3. 連鎖安定性論証

革新（Theorem 2.8の核心）：直交べき等元列の構成を通じて、半素性を利用して無限上昇連鎖を排除。

証明の枠組み：

連鎖g₁R ⊆ g₂R ⊆ ... が安定しないと仮定
e_k = g_k(1 - g_{k-1})（直交べき等元）を構成
すべてのkに対して(ae_k)^k = 0
J = ⊕ Re_k（非ゼロ理想の直和）を考察
Jは冪零理想 ⇒ 半素性と矛盾
したがって連鎖は安定する

実験設定

注：本論文は純粋な理論数学論文であり、実験部分を含まない。以下の内容は理論的検証と例の分析である。

理論的検証方法

1. 反例の構成

目的：定理条件の必要性を検証する

方法：

部分的な条件を満たすが結論を満たさない例を構成する
具体的な計算を通じて性質の失効を検証する

2. 特殊情形の検証

目的：既知の構造上で一般定理を検証する

方法：

半単Artin加群上で検証する（Corollary 2.4）
射影加群上で検証する（Corollary 2.5）

主要な例

例（Note 2.6）：射影加群の反例

構成：M = R = kx/(x²)

検証：

Mは射影加群である（R-加群として自由）
Mは中心準態射的である
Mは中心態射的ではない

意義：3, Proposition 2.3の誤りを示す。射影性は等価性を保証するのに不十分である

例（Remark 2.9(1)）：von Neumann正則性の必要性

構成：R = Zx

検証：

Rは可換である（したがって中心準態射的）
Rは半素である
Z(R) = Rはvon Neumann正則ではない
Rは強π-正則ではない（xは条件を満たさない）

意義：Theorem 2.8のvon Neumann正則性仮定は削除不可能である

例（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の逆命題は成立しない

実験結果

主要な理論的結果

結果1：修正された等価性定理（Proposition 2.3）

結果：像射影+核生成条件の下で：

M中心態射的 ⇔ M中心準態射的 ⇔ S右中心態射的

文献3との比較：

3の誤った主張：射影加群に対して、中心態射的⇔中心準態射的
本論文の修正：追加条件が必要である（像射影+核生成）
反例による検証：kx/(x²)は射影的だが等価性を満たさない

結果2：強π-正則性定理（Theorem 2.8）

結果：半素+右中心準態射的+中心von Neumann正則 ⇒ 強π-正則

推広の意義：

Lee-Zhou 7, Prop 23：態射環 ⇒ 強π-正則
本論文の推広：中心準態射環（より弱い条件）⇒ 強π-正則

技術的改善：

中心正則性を利用してべき等元置き換えを実現
連鎖安定性を通じて複雑な冪零理想分析を回避

結果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正則な中心はべき等元の置き換えを許可し、左右対称性を実現する。

重要性：

右中心準態射性を双辺性質に昇華させる（補題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正則性を利用して左右対称性を実現（補題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