[论文解读] Matlis' semi-regularity in trivial ring extensions issued from integral domains

Khalid Adarbeh, S. Kabbaj|arXiv (Cornell University)|Apr 11, 2016

Rings, Modules, and Algebras参考文献 34被引用 3

一句话总结

本文研究了在 $A \ltimes E$ 这类平凡环扩张中，Matlis 的半正则性（亦稱 IF-环性质）及其相关凝聚性条件的传递性，其中 $A$ 是一个整环，$E$ 是一个 $A$-模。主要贡献是通过 $E$ 上的除子理想条件（DAC）对这类扩张中的半正则性进行了刻画，从而得到了一类新的半正则环，这些环既不是冯·诺依曼正则环，也不是拟弗罗贝尼乌斯环。

ABSTRACT

This paper contributes to the study of homological aspects of trivial ring extensions (also called Nagata idealizations). Namely, we investigate the transfer of the notion of (Matlis') semi-regular ring (also known as IF-ring) along with related concepts, such as coherence, in trivial ring extensions issued from integral domains. All along the paper, we put the new results in use to enrich the literature with new families of examples subject to semi-regularity.

研究动机与目标

• 研究当 $A$ 为整环时，平凡环扩张 $A \ltimes E$ 中 Matlis 半正则性（IF-环性质）的传递性。
• 确定平凡扩张 $A \ltimes E$ 为半正则环的充要条件，特别是当 $A$ 为凝聚环或整闭环时。
• 通过新构造的半正则环家族丰富文献，这些环既非诺特环也非约化环，从而扩展了经典类如冯·诺依曼正则环或拟弗罗贝尼乌斯环的范围。
• 阐明 $E$ 的 fp-内射性与可除性在 $A \ltimes E$ 半正则性中的必要条件作用。
• 利用普吕弗环、除子环以及非标准单模，提供构造性半正则平凡扩张的示例。

提出的方法

• 采用平凡环扩张构造 $R = A \ltimes E$，其中 $A$ 为整环，$E$ 为 $A$-模，以研究其同调性质。
• 应用半正则环的刻画：即为自身 fp-内射的凝聚环（亦即 $R$ 作为 $R$-模是 fp-内射的）。
• 采用除子理想条件（DAC）：对 $A$ 的每个有限生成理想 $I$，有 $(I : (I : J)) = J_v$ 对所有有限生成理想 $J$ 成立，以此刻画半正则性。
• 利用关于凝聚环、普吕弗环及赋值环的已知结果，构造 $A \ltimes \frac{Q(A)}{I}$ 为半正则环的示例。
• 分析模 $E$ 的结构，如 $\frac{Q(A)}{I}$ 和赋值环上的非标准单模，以验证半正则性。
• 使用同调工具，包括 $\operatorname{Ext}^1_R(M, E) = 0$ 对所有有限表示模 $M$ 成立，以验证 fp-内射性，从而确认半正则性。

实验结果

研究问题

• RQ1 当 $A$ 为整环时，平凡环扩张 $A \ltimes E$ 在何种条件下是半正则的？
• RQ2 除子理想条件（DAC）在确定 $A \ltimes E$ 半正则性中起什么作用？
• RQ3 能否构造出既非冯·诺依曼正则环也非诺特环的半正则平凡扩张？
• RQ4 $E$ 的 fp-内射性或可除性与 $A \ltimes E$ 的半正则性有何关联？
• RQ5 哪些类型的模 $E$（如 $Q(A)/I$、非标准单模）能产生半正则平凡扩张？

主要发现

• 平凡扩张 $A \ltimes \frac{Q(A)}{I}$ 是半正则的，当且仅当 $\frac{Q(A)}{I}$ 满足除子理想条件（DAC）。
• 若 $A$ 是非域的凝聚整环，且 $I$ 是非零有限生成分式理想，则当 $A$ 为普吕弗环或除子环时，$A \ltimes \frac{Q(A)}{I}$ 是半正则的。
• 对于整闭的凝聚整环 $A$，$A \ltimes \frac{Q(A)}{A}$ 是半正则的，当且仅当 $A$ 是普吕弗环。
• 存在非整闭、非除子的凝聚整环 $A$，使得 $A \ltimes \frac{Q(A)}{I}$ 是半正则的，前提是 $A$ 的所有有限生成理想均为除子理想。
• 在赋值环上，非标准单模 $E$ 可产生半正则平凡扩张 $A \ltimes E$，即使 $E$ 不同构于某个商模 $J/I$。
• 该构造产生了新的半正则环示例，这些环既非冯·诺依曼正则环（因存在零因子），也非拟弗罗贝尼乌斯环（因非诺特结构）。