[論文レビュー] Structure on the set of closure operations of a commutative ring

Janet Vassilev|ArXiv.org|Sep 11, 2008

Commutative Algebra and Its Applications参考文献 7被引用数 3

ひとこと要約

この論文は、可換環のイデアルにおける閉包作用素——特に閉包、半素、および素作用素——の代数的構造を調査する。離散値環（DVR）における閉包作用素の集合は合成に関してモノイドでないことが示されるが、半素作用素の集合は、片方の作用素がもう片方の左作用素ではあるが右作用素ではない二つの部分モノイドの和集合をなす。論文は、環 $K[[t^2,t^3]]$ におけるすべての半素作用素を完全に分類し、この環における唯一の素作用素は恒等写像であることを証明する。

ABSTRACT

We investigate the algebraic structure on the set of closure operations of a ring. We show the set of closure operations is not a monoid under composition for a discrete valuation ring. Even the set of semiprime operations over a DVR is not a monoid; however, it is the union of two monoids, one being the left but not right act of the other. We also determine all semiprime operations over the ring $K[[t^2, t^3]]$.

研究の動機と目的

• 可換環のイデアルにおける閉包作用素の代数的構造を理解すること。
• 閉包作用素の集合が合成に関してモノイドをなすかどうかを特定すること。
• 1次元特異点 $K[[t^2,t^3]]$ におけるすべての半素作用素を分類すること。
• 素作用素の役割と、低次元環におけるその挙動を調査すること。
• 非ネーター的および特異的状況における閉包作用素とモノイド構造との関係を探索すること。

提案手法

• 論文は、冪等性、単調性、乗法および正則元との適合性を含む公理 (a)–(e) を用いて、閉包、半素、素作用素を定義する。
• イデアルの集合から自身への写像のモノイドを合成に関して用い、部分構造 $C_R$、$S_R$、$P_R$ を分析する。
• 離散値環において、$C_R$ および $S_R$ がモノイドでないことを示す明示的な反例を構成するが、$S_R$ は、片方がもう片方の左作用素ではあるが右作用素ではない二つの部分モノイドの和集合である。
• 図式的およびイデアル論的技法を用いて、$K[[t^2,t^3]]$ におけるイデアルの順序集合を分析し、イデアルの生成と包含関係を通じて、すべての可能な半素作用素を同定する。
• 任意の非恒等写像の半素作用素が正則元適合性条件を満たさないことを背理法を用いて証明し、$K[[t^2,t^3]]$ における唯一の素作用素は恒等写像であることを示す。
• 結果をデデキンド整域へ拡張し、高次元または非正規環における構造的類似性を予想する。

実験結果

リサーチクエスチョン

• RQ1 離散値環における閉包作用素の集合は、合成に関してモノイドか？
• RQ2 DVRにおける半素作用素の集合は、左作用構造を持つ二つの部分モノイドの和集合に分解可能か？
• RQ3 $K[[t^2,t^3]]$ におけるすべての半素作用素の完全な集合は何か？
• RQ4 $K[[t^2,t^3]]$ のような1次元特異環において、非自明な素作用素は存在するか？
• RQ5 非正規または非ネーター環において、合成に関して閉包作用素はどのように振る舞うか？

主な発見

• 離散値環における閉包作用素の集合は、合成に関してモノイドでない。
• DVRにおける半素作用素の集合はモノイドでないが、片方がもう片方の左作用素ではあるが右作用素ではない二つの部分モノイドの和集合である。
• $K[[t^2,t^3]]$ におけるすべての半素作用素は明示的に分類され、合成に関して有限で構造的な集合をなす。
• $K[[t^2,t^3]]$ における唯一の素作用素は恒等写像である。非恒等な半素作用素は正則元適合性条件を満たさないため。
• 1次元半群環における半素作用素の構造は、DVRの場合の一般化として左作用モノイド構造に分解されると予想される。
• 次元2以上である正規整域では、整閉包は非自明な素作用素であるため、高次元では素作用素が非自明であることが示唆される。