[論文レビュー] Prime and primary ideals in characteristic one

Paul Lescot|Osaka City University (Osaka City University)|Oct 31, 2013

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

ひとこと要約

本稿は、特性1の半環における素イデアルおよび準素イデアルを調査し、最小素イデアルの基礎的性質を確立するとともに、標準的なラスカー・ノイザー準素分解がこの設定では成立しないことを示している。しかし、弱い形の準素分解は成り立つことが示され、ラスカー的および弱ノネリアン $B_1$-代数においてエヴァンズ条件が証明された。これは、可換代数の主要な概念が特性1の幾何学へと拡張されたことを示している。

ABSTRACT

We study zero divisors and minimal prime ideals in semirings of characteristic one. Thereafter we find a counterexample to the most obvious version of primary decomposition, but are able to establish a weaker version. Lastly, we study Evans'condition in this context.

研究の動機と目的

• 可換代数の基礎的概念である素イデアルおよび準素イデアルを、『特性1における代数幾何学』の中心的役割を果たす特性1の半環へと拡張すること。
• ユニタリ半環で $1+1=1$ を満たす $B_1$-代数において、古典的なラスカー・ノイザー準素分解定理が成立するか否かを調査すること。
• ある自然な有限性条件のもとで、イデアルを零化する元の集合における素イデアルの有限和としてのエヴァンズ条件が、$B_1$-代数で成立するかを特定すること。
• $B_1$-代数における飽和イデアル、素イデアル、および同値関係の関係を明らかにし、特に最大同値関係およびザリスキ位相ととの関係を明確にすること。

提案手法

• 偏順序集合としての素イデアルの集合の逆包含順序における帰納的構造を活用し、ゾルンの補題を用いて $B_1$-代数における最小素イデアルの存在を証明する。
• イデアルおよび同値関係の飽和の概念を適用し、優れた同値関係が飽和イデアルと一対一に対応することを示し、ザリスキ型位相を通じた幾何的解釈を可能にする。
• 導出イデアル $\mathcal{C}_y(I) = \{x \in A \mid xy \in I\}$ を導入し、特に $y \notin I$ の場合に $\mathcal{D}_A(I)$、つまりある非イデアル元を零化する元の集合の構造を分析する。
• 標準的な準素分解が一般には成り立たないが、ある条件下で $B_1$-代数の任意のイデアルが有限個の準素イデアルの共通部分として表せることを示し、弱い形の準素分解を確立する。
• 最小準素分解と導出イデアルの極大性に関する議論を用いて、$A$ がラスカー的または弱ノネリアンである場合に、$\mathcal{D}_A(I)$ が飽和素イデアルの有限個の和集合であることを証明し、エヴァンズ条件を確立する。
• ラジカル写像 $r(\overline{I})$ および annihilator $\mathrm{Ann}_A(s)$ の性質を用いて、イデアル構造を分析し、ラジカルおよび共通部分集合に関する閉包性質を証明する。

実験結果

リサーチクエスチョン

• RQ1 ユニタリ半環で $1+1=1$ を満たす $B_1$-代数において、古典的なラスカー・ノイザー準素分解定理は成立するか？
• RQ2 ノネリアン型の有限性条件のもとで、$B_1$-代数のすべての最小素イデアルは、必ず飽和イデアルであるか？
• RQ3 イデアルを零化する非イデアル元をもつ元の集合 $\mathcal{D}_A(I)$ が、素イデアルの有限個の和集合として表されるというエヴァンズ条件は、$B_1$-代数で成立するか？
• RQ4 飽和イデアルと最大同値関係の間にはどのような関係があるか？この対応は、ザリスキ位相のような位相的性質を保存するか？
• RQ5 $B_1$-代数におけるイデアル $I$ に対して、集合 $\mathcal{D}_A(I)$ の構造はどのようなものか？また、それが素イデアルの有限個の和集合であるための条件は何か？

主な発見

• ノネリアン型の条件を満たす $B_1$-代数において、最小素イデアルの集合 $\mathrm{MinPr}(A)$ は有限であり、かつすべての最小素イデアルは飽和である。
• 反例により、標準的なラスカー・ノイザー準素分解は一般に $B_1$-代数で成立しないことが示されたが、有限個の準素イデアルの共通部分としての弱い形の分解は確立された。
• ラスカー的 $B_1$-代数では、エヴァンズ条件が成立する：任意の飽和イデアル $I$ に対して $\mathcal{D}_A(I)$ は飽和素イデアルの有限個の和集合である。
• 弱ノネリアン $B_1$-代数では、$\mathcal{D}_A(I)$ もまた飽和素イデアルの有限個の和集合である。これは、最大の $I$-導出イデアルが有限個であり、それらが有限個の素イデアルをなすからである。
• 飽和素イデアルの集合 $\mathrm{Pr}_s(A)$ と最大同値関係の集合 $\mathrm{MaxSpec}(A)$ の間には自然な全単射が存在し、この対応はザリスキ型位相に関して位相同相である。
• 有限個のイデアルの共通部分の閉包のラジカルは、$r(\overline{I \cap J}) = r(\overline{I}) \cap r(\overline{J})$ を満たす。これは、準素イデアルおよびそのラジカルに関する性質の証明に不可欠である。