[論文レビュー] 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) という2つの特定の集合が再帰的であるとき、かつそのときに限る。一般の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)| の決定可能性に加群理論の決定可能性を還元する。
• 2つの主要な再帰的集合を導入する：DPR(R) は素根基関係を一般化し、PP(R) は正則環に関するPointおよびPrestの研究にインspiredされている。
• 局所化を用いて分解不能な純的インジェクティブ加群を分析し、値群の稠密性を活用して有限Baur-Monk不変量を制御する。
• Ziegler基本開集合への包含関係と有限不変量のチェックに帰着することで、一般の決定可能性問題を解消し、DPR(R) および PP(R) の再帰的アルゴリズムを用いる。
• クルール次元1のBézout環に関する構造的結果を応用し、ジャコブソン根基および極大イデアルへの属する関係の再帰性を示す。
• 文の論理的分解を不変量成分に分け、成分固有の論理式に対するアルゴリズム的チェックを適用して充足可能性を決定する。

実験結果

リサーチクエスチョン

• RQ1 有効的に与えられたBézout環 R に対して、すべての極大イデアルにおける局所化が稠密な値群を持つとき、加群理論が決定可能となる代数的条件は何か？
• RQ2 このようなBézout環上での加群理論の決定可能性は、DPR(R) および PP(R) の再帰性と同値であるか？
• RQ3 Bézout環に対する決定性基準は、同じ値群の仮定の下で、一般のPrüfer環へと拡張可能か？
• RQ4 局所化における値群の稠密性は、有限Baur-Monk不変量の解析をどのように簡素化するか？
• RQ5 クルール次元1のBézout環で、残渣体がすべて同じ有限サイズ qt をもつ場合、PP(R) の再帰性はどのように確立できるか？

主な発見

• 有効的に与えられたBézout環 R に対して、加群理論が決定可能であるのは、DPR(R) と PP(R) がともに再帰的集合であるとき、かつそのときに限る。
• クルール次元1で、すべての残渣体が同じ有限サイズをもつBézout環では、すべての局所化が稠密な値群を持つ場合、加群理論は決定可能である。
• すべての残渣体が同じ有限サイズ qt をもつ場合、素根基関係が再帰的で、ジャコブソン根基が再帰的であれば、集合 PP(R) は再帰的である。
• クルール次元1のBézout環では、ジャコブソン根基 Jac(R) は再帰的であり、それは0であるか、非ゼロの a に対して rad(aR) に等しい。
• Prüfer環の場合、DPRₗ(R) および PPₗ(R) がすべての l ∈ ℕ に対して再帰的であることが、決定性の十分条件である。
• 本稿は、付値環に対する決定性基準が、稠密な値群をもつBézout環へと一般化されることを確認し、完全な特徴づけを提供する。