[論文レビュー] On 1-absorbing primary ideal of a commutative ring (Correction to Theorem 17 is added)

Ayman Badawı, Ece Yetki̇n Çeli̇kel|arXiv (Cornell University)|Aug 1, 2020

Rings, Modules, and Algebras参考文献 4被引用数 5

ひとこと要約

この論文は、非単元の元 $a,b,c$ に対して $abc \in I$ ならば $ab \in I$ または $c \in \sqrt{I}$ を満たすという条件によって定義される、可換環における一次元吸収的素イデアルの新しい一般化、1-absorbing primaryイデアルを導入し、その性質を調査する。主な貢献は、環 $R$ が一次元吸収的素イデアルをもち、かつそれが素イデアルでないようなものが存在するための必要十分条件が $R$ が準局域的であることであることを示し、3つのイデアルの積に関する同値な特徴づけを確立することにある。

ABSTRACT

Let R be a commutative ring with identity. In this paper, we introduce the concept 1-absrbing primary ideal of R.

研究の動機と目的

• 可換環における一次元吸収的素イデアルという概念を導入し、素イデアルの一般化として研究すること。
• 特に、その根イデアルや素イデアルとの関係を含めた、1-absorbing primaryイデアルの構造的性質を調査すること。
• 1-absorbing primaryイデアルが素イデアルでない場合の条件を特定すること。
• 1-absorbing primaryイデアルと素イデアルが一致する環を特徴づけること。
• 特に3つのイデアルの積の観点から、真のイデアルが1-absorbing primaryであるための同値なイデアル論的条件を確立すること。

提案手法

• 非単元の元 $a,b,c$ に対して、$abc \in I$ ならば $ab \in I$ または $c \in \sqrt{I}$ を満たす真のイデアル $I$ を1-absorbing primaryイデアルと定義する。
• イデアルの挙動と包含関係を分析するために、根 $\sqrt{I}$ と零因子集合 $Z_I(R)$ を用いる。
• 局域化や商環を用いて、非素イデアルである1-absorbing primaryイデアルの例を構成する。
• 非単元の性質と対偶法を用いて、任意の1-absorbing primaryイデアル $I$ に対して $\sqrt{I}$ が素イデアルであることを証明する。
• 1-absorbing primary条件と積条件の同値性を確立する：真のイデアル $I_1,I_2,I_3$ に対して、$I_1I_2I_3 \subseteq I$ ならば $I_1I_2 \subseteq I$ または $I_3 \subseteq \sqrt{I}$ が成り立つ。
• 環準同型と局域化ファンクターを用いて、特に商環や局域化の設定において、1-absorbing primary性が環の間で保存されることを示す。

実験結果

リサーチクエスチョン

• RQ1 1-absorbing primaryイデアルが素イデアルでないのはいつか？ そして、このような状況を引き起こす環の構造的条件は何か？
• RQ2 1-absorbing primaryイデアルの根と素イデアルとの関係は何か？
• RQ3 1-absorbing primary性と素性が一致するのはどのような条件の下か？
• RQ4 1-absorbing primary条件は、要素ではなく3つのイデアルの積を用いて特徴づけられるか？
• RQ5 1-absorbing primary性は、環準同型や局域化の下でどのように振る舞うか？

主な発見

• 可換環 $R$ の真のイデアル $I$ が1-absorbing primaryであるための必要十分条件は、任意の真のイデアル $I_1, I_2, I_3$ に対して $I_1I_2I_3 \subseteq I$ ならば $I_1I_2 \subseteq I$ または $I_3 \subseteq \sqrt{I}$ が成り立つことである。
• 1-absorbing primaryイデアル $I$ の根 $\sqrt{I}$ は素イデアルである。
• 環 $R$ が1-absorbing primaryイデアルをもち、かつそれが素イデアルでないようなものが存在するならば、$R$ は準局域的でなければならない。
• 非準局域的環では、真のイデアル $I$ が1-absorbing primaryであるための必要十分条件が、$I$ が素イデアルであることである。
• ネーター整域 $R$ に対して、$R$ がデデキンド整域であるための必要十分条件は、任意の非ゼロの真の1-absorbing primaryイデアルが、ある非ゼロの素イデアル $P$ と整数 $n \geq 1$ に対して $P^n$ の形に書けることである。
• 全射環準同型の下で、核がイデアルに含まれておき、かつ像の環が準局域的条件を満たす限り、1-absorbing primaryイデアルの逆像および像も1-absorbing primaryである。