Extensions of Centrally Essential Rings

技術的要約：中心本質的環の拡張

問題提起
本論文は、中心本質的環（centrally essential rings）の構造的性質およびその拡張について調査している。非零の単位的環 $R$ は、任意の非零元 $a \in R$ に対して、非零の中心元 $x, y \in Z(R)$ が存在して $ax = y$ を満たすとき、中心本質的であると定義される。このクラスの環は可換環を一般化したものである。特に、先行研究（具体的には [5, Proposition 2.8]）において、半素中心本質的環は必ず可換であることが確立されている。したがって、著者らは非可換な中心本質的環、特に**ほぼ完全素（almost fully prime）**環（すべての非零な真のイデアルが素イデアルである環）のサブクラスにおける非可換な構造の記述に焦点を当てている。中心的な問題は、これらの非可明な構造を、イデアルの拡張、ドロー拡張（Dorroh extensions）、および自明な拡張（trivial extensions）を用いて記述することである。

手法
著者らは、以下の定義およびツールを用いた構造代数的アプローチを採用している：

1. イデアルの拡張： 環 $I$ に同型なイデアル $I'$ を含む環 $R$（ここで $R/I' \cong Q$）を分析する。
2. 導関数（Derivations）： 非可換な例を構成するために、非比較的な導関数 $d_1, d_2: F \to M$（核が比較不能であるもの）を利用する。
3. 環の拡張：
   • ドロー拡張 ($D(R, S)$): 環 $R$ と $(R, R)$-両側加群 $S$ から、積 $(r_1, s_1)(r_2, s_2) = (r_1r_2, r_1s_2 + s_1r_2 + s_1s_2)$ を用いて構成される。
   • 自明な拡張 ($T(R, M)$): 両側加群の積がゼロである特定のケースであり、$(r_1, m_1)(r_2, m_2) = (r_1r_2, r_1m_2 + m_1r_2)$ となる。
4. 中心的部分集合： 要素を中心へと写す、あるいは中心的部分加群へと写す非零の中心元の存在に基づく、特定の集合 $T \subseteq R$ および $N \subseteq M$ の定義。

証明は、イデアルの束（lattice of ideals）、零因子の性質、および環の中心とそのイデアルの間の相互作用の分析に基づいている。著者らは、部分直和既約環、一様加群、および完全冪等環に関する既往の研究（例：[1], [2], [4], [5], [7]）を活用している。

主要な貢献および結果

1. 非可換なほぼ完全素中心本質的環の特性付け
本論文は、非可換なほぼ完全素環 $R$ に関する包括的な同値定理（Theorem 1.2）を提供している。以下の条件は同値であると証明されている：

• $R$ は中心本質的環である。
• $R$ は唯一の非零な真のイデアル $P$ を持ち（$P$ は中心 $Z(R)$ に含まれる）、商環 $R/P$ は体である。
• $R$ は、中心イデアル $I$ による体 $F$ の拡張である。
• $R$ は、ある拡大体への2つの非比較的な導関数を許容する中心イデアル $I$ による体 $F$ の拡張である。

この結果は、そのような環が構造的に非常に特殊であることを示唆している。すなわち、それらは部分直和既約であり、零因子の集合は唯一の極小イデアル $P$ と一致し、その加法群は $\mathbb{Q}$ または $\mathbb{Z}_p$ のコピーの直和と同型である（Proposition 4.2）。

2. 中心本質的拡張の条件
著者らは、ドロー拡張および自明な拡張が中心本質的性質を保持するための必要十分条件を確立している（Theorem 1.3）：

• ドロー拡張： $R$ が可換である場合、ドロー拡張 $D(R, S)$ が中心本質的であるための必要十分条件は、両側加群 $S$ が中心本質的であることである。
• 自明な拡張： 自明な拡張 $T(R, M)$ が中心本質的であるための必要十分条件は、以下の2つの条件が成り立つことである：
  1. $N = M$ （加群のすべての要素が、中心的な環の要素によって中心的な要素へと写され得ること）。
  2. $T = R$ （環のすべての要素が、中心的な環の要素によって中心的な要素へと写され得ること）。

3. 埋め込みおよび非単位的ケース
本論文は定義を非単位的環へと拡張し、任意の中心本質的環は、整数上のドロー拡張 $D(\mathbb{Z}, R)$ を通じて中心本質的な単位的環へと埋め込めることを証明している（Corollary 3.1）。

4. 反例および構造的ニュアンス
著者らは、これらの定義の境界を示すための明示的な例を提供している：

• Example 1.1: 非比較的な導関数を用いた体上の行列環を用いて、非可換なほぼ完全素中心本質的環を構成している。
• Example 4.5: 自明な拡張 $T(R, M)$ が中心本質的ではない例を示し、Theorem 1.3 の条件が厳密であることを示している。
• Example 4.6: 左および右の両側加群作用が異なる（$RM \neq MR$）中心本質的な自明な拡張を構成しており、加群の作用の可換性が拡張が中心本質的であるための前提条件ではないことを強調している。

意義および主張
本論文は、非可換なほぼ完全素中心本質的環の精密な構造的記述を提供し、それらを非比較的な導関数を持つ体拡大に直接結びつけていると主張している。また、標準的な環論的構成（ドロー拡張および自明な拡張）における中心本質的性質の振る舞いを明確にしている。本研究は、中心性と本質性が非可換な設定においてどのように相互作用するか（特に、中心イデアルを通じて可換に近い環とそうでない環を区別すること）についての理解を深めるものである。著者らは、これらが環論の範囲外での広範な応用を主張しているのではなく、これらの特定の代数構造の分類のための基礎的なステップとして位置づけている。