The ν-Prime Ideal Sum Graph of a Nearring

技術的要約：ニアリングの $\nu$-素イデアル和グラフ

問題提起
本論文は、グラフ理論的な構成を通じて、ニアリングにおける代数的性質と組合せ論的性質の相互作用を研究する必要性に取り組んでいる。零因子グラフやイデアルに基づくグラフは環論において広く研究されてきたが、ニアリングのイデアル構造はより繊細であり、異なる素性の概念（0-素、3-素、c-素、および等素）を備えている。既存の文献では、ニアリングの零因子グラフや特定の素イデアルに基づくグラフが探索されてきたが、様々な素性の条件に関連してイデアルの和を分析する統一的な枠組みは欠けていた。著者らは、$\nu \in \{0, 3, c, e\}$ に対して、ニアリング $N$ の $\nu$-素イデアル和グラフ ($\nu$-PSG($N$)) を定義し、特徴付けることを目的としている。

手法
著者らは、$\nu$-PSG($N$) を以下のように定義する：

• 頂点集合： ニアリング $N$ のすべての真かつ非自明なイデアルの集合。
• 隣接関係： 異なる二つの頂点（イデアル）$I$ と $J$ が隣接するとは、その和 $I + J$ が $N$ の真な $\nu$-素イデアルであることである。

手法には、これらのグラフの基本的な構造的性質の確立が含まれる。著者らは、連結性のための必要十分条件を導出し、標準的なグラフ不変量、すなわちクリーク数 ($\omega$)、直径、 girth（周回距離）、およびドミネーション数 ($\gamma$) を算出または限定している。この分析は、極大イデアルの存在、準同型によるイデアルの振る舞い、および積の恒等性 (IFP) や右置換性といった特定のニアリングの性質などの、ニアリングの代数的性質に依拠している。理論的結果を例示するために、$\mathbb{Z}_2^3$ や二面体群 $D_8$ 上で定義されたニアリングを用いた具体的な例が含まれている。

主要な貢献と結果

1. 定義と基本性質：
   本論文は、$\nu \in \{0, 3, c, e\}$ に対する $\nu$-PSG($N$) を正式に導入している。ニアリングが単純（simple）であれば、グラフは定義されないことを確立している。また、非自明な $\nu$-素イデアルを含まないニアリングの場合、グラフは完全に離散的（totally disconnected）となる。

2. 連結性と直径：

   • 連結性： 単元（unital）ニアリングにおいて、0-PSG($N$) が非連結であるための必要十分条件は、$N$ が二つの単純ニアリングの直和であることである。
   • 直径： 単元ニアリングにおける連結な 0-PSG($N$) について、直径は 4 以下に抑えられる。
   • スターグラフ： グラフがスターグラフとなるニアリングを特徴付けている。これは、$N$ が唯一の極小イデアルを持ち、かつ他のすべての真な非自明な非極小イデアルが極大かつ $\nu$-素である場合に限られる。

3. 完全グラフとドミネーション：

   • 完全性： $\nu$-PSG($N$) が完全グラフとなるための条件、特に、すべての他の真なイデアルが互いに自明に交差するような、一意の極大 $\nu$-素イデアル $M$ の存在に関する条件が示されている。
   • ドミネーション： 単元ニアリングにおいて、すべての極大イデアルの集合は 0-PSG($N$) の極小ドミネーティング集合を形成し、これはドミネーション数 $\gamma(0\text{-PSG}(N)) \le |M|$ を意味する。

4. グラフ不変量：

   • Girth（周回距離）： $N$ が隣接する二つの比較不能なイデアルを含む場合、グラフの girth は 3 である。
   • クリーク数： $\nu$-素イデアルの鎖によって誘導される部分グラフはクリークを形成することを確立している。さらに、全射的なニアリング準同型 $\phi: N \to N'$ に対して、クリーク数は $\omega(\nu\text{-PSG}(N')) \le \omega(\nu\text{-PSG}(N))$ を満たす。

5. バリアント間の関係：
   本論文は、素イデアルの階層関係に基づく異なるグラフ・バリアント間の関係を明らかにしている。例えば、すべての c-素イデアルは 3-素イデアルであるため、c-PSG($N$) は 3-PSG($N$) の部分グラフとなる。右置換性や IFP などの特定の条件下では、これらのグラフは同一であることが示される。

6. 準同型と同型：
   著者らは、全射的なニアリング準同型が、対応する $\nu$-素イデアル和グラフ間のグラフ準同型を誘導することを示している。また、非同型のニアリングが同型の $\nu$-素イデアル和グラフを与える例を提示しており、これはグラフ構造がニアリングを一意に決定しないことを示唆している。

意義
本論文は、$\nu$-素イデアル和グラフが、複数の素性の概念に対応するイデアル和の相互作用を研究するための統一的な枠組みとして機能すると主張している。代数的性質（一意の極大イデアルの存在や直和分解など）をグラフ理論的性質（連結性、直径、ドミネーションなど）へと翻訳することで、本研究は基礎となるニアリングの構造的特徴を反映し、区別することを可能にしている。これらの結果は、環論からより複雑なニアリングの領域へと、これらの構造の追加的なグラフ不変量の調査を拡張するための基礎的な基盤を提供するものである。