[论文解读] Some Remarks on Ideals of Commutative Semirings

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

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

一句话总结

本文研究交换半环中的素理想、原理想和极大理想，建立了局部化和原分解的奠基性结果。证明了在诺特性且可减的半环中，每个理想都存在有限原分解，将经典交换环理论推广至半环范畴，并引入了佐恩引理和理想因子分解的关键类比。

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 的半环中极大理想存在，将其与选择公理联系起来。
• 应用 MC-集（乘法闭集）的概念，定义半环的局部化，并研究局部化环中的素理想。
• 运用理想运算（如和、积、交）分析不可约性与原分解。
• 引入可减理想的观念，并证明在诺特性半环中，不可约理想即为原理想。
• 利用升链与降链条件证明有限性结果，例如诺特性半环中存在有限原分解。
• 应用局部化中素理想的对应定理：$S_U$ 中的素理想与 $S$ 中不与 $U$ 相交的素理想之间存在一一对应。

实验结果

研究问题

• RQ1 在交换半环中，极大理想存在的条件是什么？其与选择公理有何关联？
• RQ2 经典交换环中素理想与局部化的对应关系能否推广至半环？
• RQ3 在何种结构条件下，半环中的理想存在有限原分解？
• RQ4 在诺特性半环中，不可约理想与原理想之间存在何种关系？
• RQ5 属于某理想之极小素理想如何反映该理想及其原分解的结构？

主要发现

• 每个满足 1 ≠ 0 的交换半环至少存在一个极大理想，且该结果在策梅洛-弗兰克尔集合论中逻辑等价于选择公理。
• 在阿廷半环中，极大理想的数量是有限的，推广了交换环理论中的经典结果。
• 对于诺特性半环中的任意理想 $I$，存在有限个不可约理想的交集等于 $I$，从而证明每个理想都是有限个不可约理想的交集。
• 在诺特性半环中，每个可减的不可约理想都是原理想，建立了不可约性与原结构之间的关键联系。
• 在可减的诺特性半环中，每个理想都存在有限原分解，且任何此类分解均可约化为具有不同根且无包含关系的极小形式。
• 局部化 $S_U$ 的素理想与 $S$ 中不与 MC-集 $U$ 相交的素理想之间存在一一对应，将经典局部化定理推广至半环范畴。