[論文レビュー] 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 algebras along an ideal）の文脈において、半ヒルベルティアン性、算術的環、ガウス環、プリューファー環といったプリューファーに類似した性質—(P1) から (P5) まで—の伝播を調査する。特に、理想 $ \frak{b} $ と準同型 $ f $ についての整合性および局所化の仮定の下で、これらの性質が $ A \bowtie^f \frak{b} $ で成立するための必要十分条件を確立する。主な結果として、$ A $, $ B $, および $ \frak{b} $ の性質が結合環の性質にどのように伝わるかを明示する。

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.

研究の動機と目的

• 結合代数 $ A \bowtie^f \frak{b} $ へのプリューファーに類似した性質—(P1) から (P5) まで—の伝播を調査すること。これは、環の複製や $ A+XB[X] $ 型の古典的構成を一般化する構成である。
• 結合環 $ A \bowtie^f \frak{b} $ が半ヒルベルティアン環、算術的環、ガウス環、またはプリューファー環の性質を満たす条件を特定すること。特に、導出理想に正則性の仮定がない場合の挙動を対象とする。
• 結合環 $ A \bowtie^f \frak{b} $ が $ A $, $ B $, および $ \frak{b} $ からプリューファーに類似した性質をどのように引き継ぐかを、局所化および $ \frak{b} $ が $ A $-加群としての整合性の観点から、十分かつ必要条件を確立すること。
• 結合における導出理想の役割を明確にし、正則でない導出理想が非自明なプリューファーに類似した挙動を許容することを示す。正則性の下では自明なケースと対照的である。

提案手法

• 本稿は、$ 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})) $ における極大イデアルでの局所化技術を適用し、$ S_\mathfrak{m} $ を $ A \setminus \mathfrak{m} $ とする乗法的集合を用いて $ \frak{b}_{S_\mathfrak{m}} $ の挙動を分析する。
• 整合性理論に依拠する：$ A $ が整合的で、$ \frak{b} $ が $ A $-加群として整合的であるとき、$ A \bowtie^f \frak{b} $ が整合的であることが示され、[7] および [27] の結果を用いる。
• 自然埋め込み $ A \hookrightarrow A \bowtie^f \frak{b} $ を通じた性質の伝播を用い、結合環における $ A $ が再統合可能であるという事実を活用して、加群論的性質を分析する。
• 特に、全商環が絶対的平坦である場合に、(P_n) と (P_{n+1}) の同値性が成り立つという、局所化および可逆性によるプリューファーに類似した性質の特徴付けを用いる。
• 零因子を含む環におけるプリューファーに類似した性質の階層に関する Bazzoni および Glaz の結果を応用し、特に $ (P_1) \Rightarrow \cdots \Rightarrow (P_5) $ の含意鎖を用いて結合環の性質を分析する。

実験結果

リサーチクエスチョン

• RQ1 結合代数 $ A \bowtie^f \frak{b} $ が半ヒルベルティアン性 (P1) を満たすのはどのような条件下か？
• RQ2 いつ $ A \bowtie^f \frak{b} $ は算術的環 (P3) になるか、すなわち任意の有限生成イデアルが局所的に主イデアルになるか？
• RQ3 結合環 $ A \bowtie^f \frak{b} $ のプリューファーに類似した性質と、関連する素イデアルにおける $ A $, $ B $, および $ \frak{b} $ の局所化との間の正確な関係は何か？
• RQ4 $ \frak{b} $ が $ A $-加群としての整合性および、$ \mathfrak{m} \in V(f^{-1}(\frak{b})) $ における $ \frak{b}_{S_\mathfrak{m}} $ の消滅が、$ A \bowtie^f \frak{b} $ のプリューファーに類似した構造にどのように影響するか？
• RQ5 導出理想が正則でない場合でも、$ A \bowtie^f \frak{b} $ がプリューファー環 (P5) になり得るか？そのような状況を保証する条件は何か？

主な発見

• 結合環 $ 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 \bowtie^f \frak{b} $ は、$ A $ が整合的で、$ \frak{b} $ が $ A $-加群として整合的であれば、整合的である。これは半ヒルベルティアン性を確立する上で重要なステップである。
• すべての $ \mathfrak{m} \in \text{Max}(A) \cap V(f^{-1}(\frak{b})) $ に対して $ \frak{b}_{S_\mathfrak{m}} = \{0\} $ が成り立つ場合、$ A \bowtie^f \frak{b} $ の構造はプリューファーに類似した性質の伝播に対してより扱いやすくなる。
• 本稿は、非正則な導出理想がプリューファーに類似した性質に自明性を強いるわけではないことを示し、非自明な例（例えば $ \mathbf{Z} + T\mathbf{Q}[T] $）が存在することを示している。この例では $ \frak{b} $ が $ A $-加群として有限生成でなくても、$ A \bowtie^f \frak{b} $ はプリューファー整域である。
• 結合環 $ A \bowtie^f \frak{b} $ において、全商環が絶対的平坦であれば、$ (P_1) \Leftrightarrow \cdots \Leftrightarrow (P_5) $ の同値性が成り立つ。これは Bazzoni および Glaz の結果を一般化する。