[论文解读] t-Class semigroups of Noetherian domains

S. Kabbaj, A. Mimouni|arXiv (Cornell University)|Nov 28, 2008

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

一句话总结

本文研究诺特域的t-类半群，证明诺特域为强t-稳定当且仅当其为布尔t-正则且t-维数为1。该研究将此刻画推广至强莫里域，表明布尔t-正则性结合t-维数1可推出强t-稳定性，而克利福德t-正则性本身不足以保证t-维数1或t-稳定性。

ABSTRACT

The t-class semigroup of an integral domain is the semigroup of fractional t-ideals modulo its subsemigroup of nonzero principal ideals with the operation induced by ideal t-multiplication. This paper investigates ring-theoretic properties of a Noetherian domain that reflect reciprocally in the Clifford or Boolean property of its t-class semigroup.

研究动机与目标

• 研究诺特域的环论性质，这些性质反映在其t-类半群的克利福德或布尔结构中。
• 确定t-稳定性是否由诺特域中的t-正则性条件所刻画。
• 将强t-稳定性的刻画从诺特域推广至更广泛的强莫里域类。
• 阐明t-维数在t-正则性与t-稳定性中的作用，特别是与t-理想结构的关系。
• 考察非诺特强莫里域中t-正则性的局限性，以及积分闭包在t-正则性下的行为。

提出的方法

• 使用t-类半群S_t(R)，定义为在t-乘法下模非零主理想的分式t-理想构成的半群。
• 应用t-运算：I_t = ∪(J_v) 对所有有限生成子理想J ⊆ I，定义t-理想为满足I = I_t的那些理想。
• 采用如下刻画：R为布尔t-正则当且仅当对每个t-理想I，存在c ≠ 0在qf(R)中，使得I = c(I²)_t。
• 应用局部化技术，特别是t-局部化于t-极大理想，将问题约化为局部诺特域。
• 利用强莫里域中v-理想为v-有限的性质，以及对乘法集S有(I_S)_v = (I_v)_S。
• 应用恒等式(I:I)_S = (I_S:I_S)于v-理想I与乘法集S，以比较理想及其稳定化子的局部化。

实验结果

研究问题

• RQ1 在何种条件下，诺特域中的布尔t-正则性可推出强t-稳定性？
• RQ2 强t-稳定性与（布尔t-正则性与t-维数1）之间的等价性能否超越诺特域成立？
• RQ3 诺特域中的克利福德t-正则性是否蕴含t-维数1或t-稳定性？
• RQ4 t-维数在强莫里域中刻画t-正则性与t-稳定性时起何作用？
• RQ5 一个布尔t-正则诺特域的完全积分闭包在成为UFD或PID方面表现如何？

主要发现

• 诺特域R为强t-稳定当且仅当其为布尔t-正则且t-dimension(R) = 1。
• 存在诺特域为布尔t-正则但t-维数为2，表明t-维数1并非由布尔t-正则性单独推出。
• 在诺特域中，蕴含链(1) 克利福德t-正则 ⇒ (2) (I:I) 的t-可逆性 ⇒ (3) L-稳定成立，且(3) ⇒ (1) 仅在t-dimension(R) = 1时成立。
• 对于强莫里域，强t-稳定性和（布尔t-正则性与t-维数1）之间的等价性成立，推广了诺特域的结果。
• 一个诺特布尔t-正则域若其非零余因子(R:R̄)存在，则其完全积分闭包R̄为UFD。
• 取R[[X]]其中R为诺特UFD的例子表明，诺特域可为克利福德t-正则且t-维数1，但非伪戴德金环，故非t-稳定。