[论文解读] Decidability of the theory of modules over Pr\"ufer domains with dense value groups

Lorna Gregory, Sonia L’Innocente+1 more|arXiv (Cornell University)|Jun 10, 2019

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

一句话总结

本文建立了在极大理想局部化中具有稠密值群的有效给出的Bézout域和Prüfer域上模理论可判定性的必要且充分的代数条件。证明表明，对于Bézout域，可判定性当且仅当两个特定集合——DPR(R) 和 PP(R)——是递归的；对于一般的Prüfer域，DPRₗ(R) 和 PPₗ(R) 的类似条件是充分的。该结果扩展了对赋值域的先前工作，并在稠密性假设下提供了完整的递归刻画。

ABSTRACT

We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Pr\"ufer (in particular B\'ezout) domains whose localizations at maximal ideals have dense value groups. For B\'ezout domains, these conditions are also necessary.

研究动机与目标

• 在极大理想局部化具有稠密值群的假设下，刻画有效给出的Bézout域上模理论可判定性的条件。
• 将赋值域上的可判定性准则扩展到更广泛的Prüfer域类。
• 基于DPR(R) 和 PP(R) 等代数关系的递归性，提供可判定性的必要且充分条件。
• 将先前关于具有无限剩余域的Bézout域的结果推广到剩余域有限但大小一致的情形。
• 建立一个结合模型论不变量与环及其局部化的代数性质的可判定性框架。

提出的方法

• 利用Baur-Monk定理，将模理论的可判定性问题约化为对pp-对 |ϕ(M)/ψ(M)| 的Baur-Monk不变量的算法可判定性。
• 引入两个关键递归集合：DPR(R)，其推广了素根基关系；PP(R)，受点与Prest关于正则环工作的启发。
• 通过局部化分析不可约纯内射模，利用值群的稠密性来控制有限Baur-Monk不变量。
• 通过DPR(R) 和 PP(R) 的递归算法，将一般可判定性问题约化为Ziegler基本开集的包含关系和有限不变量的检查。
• 应用Krull维数1的Bézout域的结构性结果，证明雅可比根和极大理想成员关系的递归性。
• 将句子进行逻辑分解为不变量成分，并对各成分的公式应用算法检查以确定可满足性。

实验结果

研究问题

• RQ1 在所有极大理想局部化具有稠密值群的假设下，有效给出的Bézout域上模理论可判定性的代数条件是什么？
• RQ2 在这些Bézout域上，模理论的可判定性是否等价于集合DPR(R) 和 PP(R) 的递归性？
• RQ3 在相同的值群假设下，Bézout域的可判定性准则能否推广到一般Prüfer域？
• RQ4 局部化中值群的稠密性在简化有限Baur-Monk不变量分析中起到什么作用？
• RQ5 在Krull维数1且剩余域大小一致的Bézout域中，如何建立PP(R)的递归性？

主要发现

• 对于有效给出的Bézout域R，其模理论可判定当且仅当DPR(R) 和 PP(R) 都是递归集合。
• 在Krull维数1且剩余域大小一致的Bézout域情况下，若所有局部化具有稠密值群，则其模理论可判定。
• 当所有剩余域大小相同为qt时，若素根基关系递归且雅可比根递归，则集合PP(R) 是递归的。
• 在Krull维数1的Bézout域中，雅可比根Jac(R) 是递归的，原因在于其为零或等于某个非零a的rad(aR)。
• 对于Prüfer域，可判定性的充分条件是：对所有l ∈ ℕ，DPRₗ(R) 和 PPₗ(R) 均为递归集合。
• 本文确认，赋值域的可判定性准则可推广至具有稠密值群的Bézout域，并提供了完整的刻画。