[论文解读] Coherence in amalgamated algebra along an ideal

Karima Alaoui Ismaili, Najib Mahdou|arXiv (Cornell University)|Jan 12, 2013

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

一句话总结

本文研究沿理想之合并代数的一致性，提供了合并环 $A\bowtie^fJ$ 为一致环的必要与充分条件。研究结果表明，$A\bowtie^fJ$ 一致当且仅当 $A$ 与 $f(A)+J$ 均为一致环，且 $f^{-1}(J)$ 与 $J$ 满足额外的有限性条件，从而构造出新的非诺特一致环家族。

ABSTRACT

Let $f: A ightarrow B$ be a ring homomorphism and let $J$ be an ideal of $B$. In this paper, we investigate the transfert of the property of coherence to the amalgamation $A\bowtie^{f}J$. We provide necessary and sufficient conditions for $A\bowtie^{f}J$ to be a coherent ring.

研究动机与目标

• 确定合并代数 $A\bowtie^fJ$ 为一致环的必要与充分条件。
• 通过合并构造扩展一致环理论，特别构造新的非诺特一致环例子。
• 分析从基环 $A$ 与目标环 $f(A)+J$ 到合并环的一致性性质的传递性。
• 阐明预像理想 $f^{-1}(J)$ 与理想 $J$ 在决定 $A\bowtie^fJ$ 一致性中的作用。
• 在合并复制与 $A+XB[X]$ 构造的背景下，推广已知的一致环结果。

提出的方法

• 利用合并构造 $A\bowtie^fJ = \{(a, f(a)+j) \mid a \in A, j \in J\}$ 作为 $A \times B$ 的子环。
• 通过 $(A\bowtie^fJ)^n$ 与 $A^n \bowtie^{f^n}J^n$ 之间的环同构，研究有限生成模。
• 应用模论工具，特别是 $n$-展现模的概念，以刻画一致性。
• 使用上拉构造与理想提升技术，将 $A\bowtie^fJ$ 的性质与 $A$ 及 $f(A)+J$ 的性质关联。
• 应用交换代数中的已知结果，如 [15, 定理 4.1.5] 与 [15, 定理 2.4.1]，以推导一致性传递性。
• 利用同构关系如 $\frac{A\bowtie^fJ}{f^{-1}(J)\times\{0\}} \cong f(A)+J$，将一致性问题约化为更简单的环。

实验结果

研究问题

• RQ1 在何种条件下，合并代数 $A\bowtie^fJ$ 是一致的？
• RQ2 $A\bowtie^fJ$ 的一致性如何与 $A$ 和 $f(A)+J$ 的一致性相关？
• RQ3 有限生成的预像 $f^{-1}(J)$ 在 $A\bowtie^fJ$ 的一致性中起什么作用？
• RQ4 合并构造能否生成新的非诺特一致环？
• RQ5 $J$ 的正则性与有限生成性如何影响 $A\bowtie^fJ$ 的一致性？

主要发现

• 若 $A\bowtie^fJ$ 一致，则 $A$ 必须一致，因为 $A$ 是 $A\bowtie^fJ$ 的模重言。
• $A\bowtie^fJ$ 一致当且仅当 $A$ 与 $f(A)+J$ 均为一致环，前提是 $J$ 与 $f^{-1}(J)$ 为有限生成理想。
• 当 $J$ 是 $f(A)+J$ 的正则有限生成理想时，$A\bowtie^fJ$ 一致当且仅当 $A$、$f(A)+J$ 与 $f^{-1}(J)$ 均一致且有限生成。
• 若 $I$ 有限生成，则合并复制 $A\bowtie I$ 一致当且仅当 $A$ 一致。
• 对于典范同态 $f: A \to A/I$，$A\bowtie^f\overline{J}$ 一致当且仅当 $A$ 与 $A/I$ 一致且 $f^{-1}(J)$ 有限生成。
• 例如 $A = K[[X_1, X_2, \dots]]$，$I = X_1A + X_2A$，以及 $A\bowtie I$ 可生成非诺特一致环，证明该构造的实用性。