Rings with Clean-Like Properties: Endomorphism, Matrix and Structural Theorems

技術要約：「クリーン的な性質を持つ環：自己同型環、行列、および構造定理」

問題提起
本論文は、3つの異なる代数構造（任意の環、アーベル群の自己同型環、および有限体上の行列環）における3つの特定の「クリーン的な」性質を調査している。著者らは、以下の条件において、いつ次が成立するかを特徴付けることを目的としている：

1. 任意の環が弱強 $k$-nil-clean である（固定された自然数 $k \geq 2$ に対して）。
2. 有限体上の行列環が quasi 2-nil-clean または quasi 3-nil-clean である。
3. アーベル群の自己同型環が weakly clean である。

これらの性質は、古典的なクリーン環（単元とべき等元の和）や nil-clean 環（単元とべき零元、またはべき等元とべき零元の和）の概念を一般化したものである。本研究は、Goldsmith-Vámos、Breazら、Koşan-Zhou、およびSuらによる既存の文献に見られる特徴付けを精緻化し、特に捩れ自由群や特定の行列次数に関する分類のギャップに対処することを目的としている。

手法
著者らは、環論的手法、アーベル群の構造解析、および有限体上の線形代数の組み合わせを採用している。

• 構造分解： アーベル群に対して、著者らは群を巡回成分と捩れ完全成分の直和へと分解する手法を用いる。彼らは、ヤコブソン根基 $J(E(G))$、ピアス根基 $H(G)$、および直和の下での単元とべき等元の挙動を検討することで、自己同型環 $E(G)$ を分析する。
• 行列解析： 行列環 $M_n(F)$ に対して、著者らの手法は行列の有理標準形の分析を含む。彼らは、行列 $A$ とその準べき等成分または三冪成分との間の固有値、トレース、および共通固有ベクトルの存在を調査する。また、特性 $p$ のパーフェクト体および特性 $p$ の性質を利用して、体 $F$ と行列のサイズ $n$ に対する制約を導出する。
• 可換代数とべき等元： 弱強 $k$-nil-clean 環の研究は、べき等元とべき零元の可換性に依存している。著者らは、環を単純な成分の有限直積へと分解するために、中国剰余定理と強 $\pi$-正則環の性質を用いる。

主要な貢献と結果

1. アーベル群の弱クリーン自己同型環（セクション 2）

• 直和： 著者らは、弱クリーンな群とクリーンな群の直和は弱クリーンであることを確立している。しかし、2つの弱クリーンな群の直和は、必ずしも弱クリーンではない。
• 捩れ群： 可算な弱クリーン $p$ 群は有界であることが証明されている。さらに、全射的（totally projective）な弱クリーン $p$ 群は有界である。捩れ完全 $p$ 群の直和が弱クリーンであるための必要十分条件は、それが捩れ完全であることである。
• 捩れ自由群： 著者らは、簡約された完全分解可能な捩れ自由群に対する特徴付けを提供している。群 $G$ が弱クリーンであるための必要十分条件は、$G = G_1 \oplus G_2$ であり、$G_1$ が完全分解可能なクリーン群であり、$G_2$ がランク $\leq 1$ の弱クリーン群であることである。
• 2-剰余の場合： 重要な結果として、弱クリーンな 2-群は必然的にクリーンであるという証明がある。著者らは、$p \neq 2$（具体的には $p=3$）の場合の $p$ 群においてもこれが成立しない可能性があると予想しているが、正式な構成は依然として困難である。

2. 有限体上の準 nil-clean 行列環（セクション 3）
著者らは quasi $q$-nil-clean 環（準 $q$-冪元とべき零元の和）および $\lambda$-$q$-nil-clean 環を導入し、分析している。

• 次数 2 の行列：
  • 奇数 $q \geq 3$ に対して、$M_2(F)$ は常に $\lambda$-$q$-nil-clean である。
  • 偶数 $q \geq 2$ に対して、$M_2(F)$ が quasi $q$-nil-clean であるための必要十分条件は、$F$ が特性 2 のパーフェクト体であることである。
• 次数 $n > 2$ の行列：
  • Quasi 2-nil-clean： $M_n(F)$ が quasi 2-nil-clean であるための必要十分条件は、$F \cong \mathbb{F}_2$ であることである。
  • Quasi 3-nil-clean： $M_n(F)$ が quasi 3-nil-clean であるための必要十分条件は、$F \cong \mathbb{F}_2$ または $F \cong \mathbb{F}_3$ であることである。
• 一般の $q > 3$： 著者らは、十分大きな $n$ に対して $M_n(F)$ が quasi $q$-nil-clean であるならば、$F$ は有限体でなければならないことを証明している。具体的には、$q=4$ かつ $n \geq 7$ の場合、$M_n(F)$ が quasi 4-nil-clean であるための必要十分条件は、$F \cong \mathbb{F}_2$ または $F \cong \mathbb{F}_4$ であることである。

3. 弱強 $k$-Nil-Clean 環（セクション 4）
著者らは、環 $R$ が弱強 $k$-nil-clean であるとは、すべての元がべき零元と、$k$ 個の可換なべき等元の符号付き和の和として表されることであると定義している。

• 構造定理： $R$ が弱強 $k$-nil-clean であるならば、$R$ は強 $\pi$-正則であり、環 $S$ の有限直積に同型である。各 $S$ について：
  • $J(S)$ は nil-イデアルである。
  • すべての右原始イデアルは極大であり、その商は $\mathbb{F}_p$（ただし $p \leq 2k + 1$）と同型である。
  • $S/J(S)$ は $\mathbb{F}_p$ の部分直積である。
• 具体的なケース：
  • $k=2$： $R$ が弱強 2-nil-clean であるための必要十分条件は、$R \cong R_1$、$R_2$、または $R_1 \times R_2$ であることである。ここで $R_1$ は強 2-nil-clean であり、$R_2/J(R_2) \cong \mathbb{F}_5$（nil なヤコブソン根基を持つ）である。
  • $k=3$： その構造は、$\mathbb{F}_5$（ランク $\leq 3$ を持つ）および $\mathbb{F}_7$ に関連する成分を含む。
• 根基の性質： このような任意の環に対して、$J(R) = \text{nil}(R)$ である。

意義と主張
本論文は、クリーン的な環の分野における既存の結果を大幅に改善することを主張している。

• 既知の結果の精緻化： 著者らは、既知の結果（例：$M_n(F)$ の quasi 2-nil-clean 条件）に対して、より単純で直接的な証明を提供し、それらをより広い文脈（例：quasi 3-nil-clean および一般の $k$）へと拡張している。
• 新しい特徴付け： 著者らは、簡約された完全分解可能な捩れ自由群に対する弱クリーン自己同型環の初めての包括的な特徴付けを提供しており、「非クリーン」な部分の構造を解決している。
• 統一： 弱強 $k$-nil-clean 環を導入することにより、著者らは、強 nil-clean、弱 nil-clean、および関連する性質の研究を統一し、$k=2$ および $k=3$ の場合の以前の特徴付けを一般化する構造的枠組みを提供している。
• 今後の方向性： 著者らは、構造的分解（必要条件）は確立したが、これらの条件が一般の場合において十分であるか（構造定理の逆）という問いは未解決のままであることを述べている。また、$p \neq 2$ の場合の弱クリーン $p$ 群の未解決な性質についても指摘している。

本研究は、元が単元、べき等元、およびべき零元の和であり、特定の可換性と係数の制約を持つ、そのような環の統一理論に向けた基礎的な一歩として提示されている。