[论文解读] Semistar linkedness and flatness, Prüfer semistar multiplication domains

Saı̈d El Baghdadi, Marco Fontana|ArXiv.org|May 23, 2003

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

一句话总结

本文引入并研究了半星关联性与半星平坦性，作为乘法理想理论中经典概念的推广，将戴维斯与里奇曼对普吕弗域的环论表征推广至普吕弗半星乘法域（P⋆MDs）的框架。关键贡献是里奇曼平坦定理的半星类比，证明了当满足适当的关联性条件时，一个域是P⋆MD当且仅当其每个上域关于它都是半星平坦的。

ABSTRACT

In 1994, Matsuda and Okabe introduced the notion of semistar operation, extending the "classical" concept of star operation. In this paper, we introduce and study the notions of semistar linkedness and semistar flatness which are natural generalizations, to the semistar setting, of their corresponding "classical" concepts. As an application, among other results, we obtain a semistar version of Davis' and Richman's overring-theoretical theorems of characterization of Prüfer domains for Prüfer semistar multiplication domains.

研究动机与目标

• 将经典关联性与平坦性的概念推广至半星运算框架。
• 将普吕弗域的上域理论表征推广至普吕弗半星乘法域（P⋆MDs）的语境。
• 建立里奇曼定理的半星类比，通过半星关联性下的上域平坦性来表征P⋆MDs。
• 为研究半星乘法理想理论中的平坦性与关联性提供统一框架。

提出的方法

• 通过上域T上的诱导半星运算ℓ⋆,T定义半星关联上域。
• 将半星平坦性引入为经典平坦上域理论的推广，保持素理想行为的保全性。
• 利用有限型半星运算⋆f与准⋆f-素理想分析局部行为。
• 应用赋值上域与局部化技术，将问题约化至局部情形。
• 利用最小半星运算ℓ⋆,T在所有上域间建立平坦性与关联性条件的等价性。
• 借助关于P⋆MDs与赋值域的已知结果，证明主要表征定理。

实验结果

研究问题

• RQ1 经典t-关联上域的概念如何推广至半星框架？
• RQ2 在给定半星运算⋆下，何种条件可确保上域T关于域D是半星平坦的？
• RQ3 戴维斯与里奇曼对普吕弗域的表征能否推广至普吕弗半星乘法域？
• RQ4 最小半星运算ℓ⋆,T在表征平坦性与关联性中起何作用？
• RQ5 当每个上域关于D都是半星平坦时，D在何种条件下是P⋆MD？

主要发现

• 域D是P⋆MD当且仅当对每个T的半星运算⋆′，T是(D,⋆)与(T,⋆′)关联的(D,⋆)上域，且T是(⋆,⋆′)-平坦的。
• 半星运算ℓ⋆,T是使T关于D满足(⋆,⋆′)-关联的T上最小半星运算，其在表征中起核心作用。
• 每个T是(D,⋆)与(T,ℓ⋆,T)关联的上域当且仅当D是P⋆MD。
• 若T关于(D,⋆)是t-关联的，则T是(D,⋆)的t-平坦的，且这等价于D是P⋆MD。
• 若D是P⋆MD，则对D的每个准⋆f-素理想P，其局部化DP是赋值域。
• 即使将条件限制于关于D满足(⋆,dT)-关联的上域T，该表征仍成立，表明平坦性条件具有强鲁棒性。