[论文解读] Prüfer-like conditions on an amalgamated algebra along an ideal

Carmelo Antonio Finocchiaro|arXiv (Cornell University)|Sep 20, 2013

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

一句话总结

本文研究了在 D'Anna、Finocchiaro 和 Fontana 引入的沿理想 amalgamated algebra 构造背景下，类似 Prüfer 的性质——如半遗传性、阿基米德环、高斯环和 Prüfer 环——的性质。文章建立了这些性质在 amalgamated ring $ A \bowtie^f \frak{b} $ 中成立的必要与充分条件，尤其在理想 $ \frak{b} $ 和同态 $ f $ 具有凝聚性与局部化性质的假设下，关键结果将 $ A $、$ B $ 和 $ \frak{b} $ 的性质与 amalgamated ring 的性质联系起来。

ABSTRACT

Let $f:A\longrightarrow B$ be a ring homomorphism and let $\mathfrak b$ be an ideal of $B$. In this paper we study Prüfer like conditions in the amalgamation of $A$ with $B$ along $\mathfrak b$, with respect to $f$, a ring construction introduced in 2009 by D'Anna, Finocchiaro and Fontana.

研究动机与目标

• 研究类似 Prüfer 的性质 (P1) 到 (P5) 在 amalgamated 代数 $ A \bowtie^f \frak{b} $ 中的传递性，该构造推广了环复制与经典的 $ A+XB[X] $ 类型构造。
• 确定在导出理想无正则性假设下，amalgamated 环满足半遗传性、阿基米德性、高斯性或 Prüfer 环性质的条件。
• 在 $ \frak{b} $ 作为 $ A $-模的局部化与凝聚性条件下，建立 $ A \bowtie^f \frak{b} $ 从 $ A $、$ B $ 和 $ \frak{b} $ 继承类似 Prüfer 性质的充分必要条件。
• 阐明导出理想在 amalgamation 中的作用，并表明非正则导出理想可导致非平凡的类似 Prüfer 行为，与正则性下平凡情况形成对比。

提出的方法

• 论文使用 amalgamation 构造 $ A \bowtie^f \frak{b} := \{(a, f(a)+b) \mid a \in A, b \in \frak{b}\} \subseteq A \times B $，该构造推广了环复制与 $ A+XB[X] $ 类型构造。
• 应用局部化技术，特别是在极大理想 $ \mathfrak{m} \in \text{Max}(A) \cap V(f^{-1}(\frak{b})) $ 处，分析 $ \frak{b}_{S_\mathfrak{m}} $，其中 $ S_\mathfrak{m} $ 是乘法集 $ A \setminus \mathfrak{m} $。
• 研究依赖于凝聚性理论：证明若 $ A $ 是凝聚环且 $ \frak{b} $ 是 $ A $-模的凝聚模，则 $ A \bowtie^f \frak{b} $ 是凝聚环，使用了 [7] 和 [27] 的结果。
• 利用自然嵌入 $ A \hookrightarrow A \bowtie^f \frak{b} $ 传递性质，并利用 $ A $ 是 amalgamated ring 的收缩这一事实，分析模论性质。
• 使用通过局部化与可逆性表征类似 Prüfer 性质的方法，特别是当总分式环为绝对平坦时，(P_n) 与 (P_{n+1}) 的等价性。
• 应用 Bazzoni 与 Glaz 关于含零因子环中类似 Prüfer 性质层次结构的结果，特别是蕴含链 $ (P_1) \Rightarrow \cdots \Rightarrow (P_5) $，并利用此分析 amalgamated ring 的性质。

实验结果

研究问题

• RQ1 在何种条件下，amalgamated 代数 $ A \bowtie^f \frak{b} $ 满足半遗传性条件 (P1)？
• RQ2 在何种情况下 $ A \bowtie^f \frak{b} $ 是阿基米德环 (P3)，即每个有限生成理想局部主理想？
• RQ3 $ A \bowtie^f \frak{b} $ 的类似 Prüfer 性质与 $ A $、$ B $ 和 $ \frak{b} $ 在相关素理想处的局部化之间的精确关系为何？
• RQ4 $ \frak{b} $ 作为 $ A $-模的凝聚性以及 $ \frak{b}_{S_\mathfrak{m}} $ 在 $ \mathfrak{m} \in V(f^{-1}(\frak{b})) $ 的极大理想处消失，如何影响 $ A \bowtie^f \frak{b} $ 的类似 Prüfer 结构？
• RQ5 即使导出理想不正则，$ A \bowtie^f \frak{b} $ 是否仍可为 Prüfer 环 (P5)？在何种条件下可确保这一点？

主要发现

• amalgamated ring $ A \bowtie^f \frak{b} $ 是半遗传环当且仅当 $ A $ 是半遗传环，对所有 $ \mathfrak{n} \in \text{Max}(B) \setminus V(\frak{b}) $，有 $ B_{\mathfrak{n}} $ 是估值域，$ \frak{b} $ 是 $ A $-模的凝聚模，且对所有 $ \mathfrak{m} \in \text{Max}(A) \cap V(f^{-1}(\frak{b})) $，有 $ \frak{b}_{S_\mathfrak{m}} = \{0\} $。
• 若 $ A $ 是半遗传环，$ \frak{b} $ 是 $ A $-模的有限生成模，且对所有 $ \mathfrak{m} \in \text{Max}(A) \cap V(f^{-1}(\frak{b})) $，有 $ \frak{b}_{S_\mathfrak{m}} = \{0\} $，且对所有 $ \mathfrak{n} \in \text{Max}(B) \setminus V(\frak{b}) $，有 $ B_{\mathfrak{n}} $ 是估值域，则 $ A \bowtie^f \frak{b} $ 是半遗传环。
• 若 $ A $ 是凝聚环且 $ \frak{b} $ 是 $ A $-模的凝聚模，则 $ A \bowtie^f \frak{b} $ 是凝聚环，这是建立半遗传性的关键步骤。
• 当 $ \frak{b}_{S_\mathfrak{m}} = \{0\} $ 对所有 $ \mathfrak{m} \in \text{Max}(A) \cap V(f^{-1}(\frak{b})) $ 成立时，$ A \bowtie^f \frak{b} $ 的结构更易于实现类似 Prüfer 性质的传递。
• 论文表明，非正则导出理想不会导致类似 Prüfer 性质的平凡化，且存在非平凡例子（如 $ \mathbf{Z} + T\mathbf{Q}[T] $），其中即使 $ \frak{b} $ 不是 $ A $-模的有限生成模，$ A \bowtie^f \frak{b} $ 仍是 Prüfer 域。
• 若 $ A \bowtie^f \frak{b} $ 的总分式环为绝对平坦，则等价关系 $ (P_1) \Leftrightarrow \cdots \Leftrightarrow (P_5) $ 在 $ A \bowtie^f \frak{b} $ 上成立，推广了 Bazzoni 与 Glaz 的一个结果。