[論文レビュー] Some Remarks on Ideals of Commutative Semirings

Peyman Nasehpour|arXiv (Cornell University)|May 3, 2018

Rings, Modules, and Algebras参考文献 16被引用数 7

ひとこと要約

この論文は、可換半環における素イデアル、準素イデアル、極大イデアルを調査し、局域化および準素分解に関する基礎的結果を確立する。ノーザリアンかつ減法的半環では、任意のイデアルが有限個の準素イデアルへの分解をもつことを示しており、Zornの補題およびイデアルの因数分解の主要な類似定理を用いて、古典的可換環論を半環の文脈に拡張している。

ABSTRACT

The main purpose of this paper is to investigate prime, primary, and maximal ideals of semirings. The localization and primary decomposition of ideals in semirings are also studied.

研究の動機と目的

• 可換環におけるイデアル論的概念—素イデアル、準素イデアル、極大イデアル—を可換半環へと拡張すること。
• イデアルの引き戻しと拡大を用いて、半環における局域化および半モジュールの理論を構築すること。
• 半環におけるイデアルが準素分解をもつための条件を確立すること、特にノーザリアンおよび減法的半環における場合を対象とする。
• 極大イデアルの論理的依存関係を、半環論的同値を用いて選択公理に関連づけて明確化すること。
• 古典的可換代数の結果、例えば最小素イデアルの存在や非可約分解の存在を、半環の文脈に一般化すること。

提案手法

• 1 ≠ 0 である半環において極大イデアルが存在することをZornの補題を用いて証明し、選択公理と関連づける。
• MC-集合（乗法的閉集合）の概念を用いて半環の局域化を定義し、局域化された環における素イデアルを研究する。
• 和、積、共通部分などイデアルの演算を用いて、非可約性および準素分解を分析する。
• 減法的イデアルの概念を導入し、ノーザリアン半環において非可約イデアルが準素イデアルであることを証明する。
• 上昇および下降鎖条件を用いて、有限性に関する結果を証明し、ノーザリアン半環における有限個の準素分解を示す。
• 局域化における素イデアルの対応定理を適用する：$S_U$ の素イデアルは、$U$ と交わらない $S$ の素イデアルと一対一に対応する。

実験結果

リサーチクエスチョン

• RQ1 可換半環において極大イデアルが存在する条件は何か？ これは選択公理とどのように関係するか？
• RQ2 可換環における素イデアルと局域化の古典的対応関係は、半環に対しても拡張可能か？
• RQ3 半環におけるイデアルが有限個の準素イデアルへの分解をもつのはどのような構造的条件のもとでか？
• RQ4 ノーザリアン半環において、非可約イデアルと準素イデアルの関係は何か？
• RQ5 あるイデアルに属する最小素イデアルは、そのイデアルの構造およびその準素分解とどのように関係するか？

主な発見

• 1 ≠ 0 である任意の可換半環は、少なくとも1つの極大イデアルをもつ。この結果は、ゼルメロ＝フラーゼルの集合論において選択公理と論理的に同値である。
• アルチン半環では、極大イデアルの数は有限である。これは可換環論における結果を一般化する。
• ノーザリアン半環における任意のイデアル $I$ に対して、$I$ に等しい非可約イデアルの有限個の共通部分が存在する。これは、すべてのイデアルが有限個の非可約イデアルの共通部分として表せることを示している。
• ノーザリアン半環において、減法的かつ非可約なイデアルは、すべて準素イデアルである。これは非可約性と準素構造との間の重要な関係を確立する。
• 減法的かつノーザリアン半環において、すべてのイデアルは有限個の準素イデアルへの分解をもち、任意のこのような分解は、異なる根基および包含関係を満たさない条件にまで簡約可能である。
• 局域化 $S_U$ の素イデアルは、MC-集合 $U$ と交わらない $S$ の素イデアルと一対一に対応する。これは、半環への古典的局域化定理の拡張である。