[论文解读] 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]]$.

研究动机与目标

• 理解交换环的理想上闭包运算的代数结构。
• 确定闭包运算集合在复合运算下是否构成幺半群。
• 完全分类一维奇点环 $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 离散赋值环上的半素运算集合能否分解为具有左作用结构的两个子幺半群的并集？
• RQ3 环 $K[[t^2,t^3]]$ 上所有半素运算的完整集合是什么？
• RQ4 在一维奇异环如 $K[[t^2,t^3]]$ 上是否存在非平凡的素运算？
• RQ5 在非正则或非诺特环中，闭包运算在复合运算下的行为如何？

主要发现

• 离散赋值环上的闭包运算集合在复合运算下不是幺半群。
• 离散赋值环上的半素运算集合不是幺半群，但它是两个子幺半群的并集，其中一个子幺半群是另一个的左作用但非右作用。
• 所有 $K[[t^2,t^3]]$ 上的半素运算均被显式分类，且在复合运算下构成一个有限且结构清晰的集合。
• 在 $K[[t^2,t^3]]$ 上唯一的素运算即为恒等映射，因为任何非恒等的半素运算均不满足正则元相容性条件。
• 推测一维半群环中半素运算的结构可分解为左作用幺半群结构，推广了离散赋值环的情形。
• 在二维或更高维的正规整环中，整闭包是一个非平凡的素运算，表明素运算在高维情形下是非平凡的。