[論文レビュー] Commutative rings in which every finitely generated ideal is a star-module

Jawad Abuhlail, M. Jarrar+1 more|arXiv (Cornell University)|Oct 2, 2008

Rings, Modules, and Algebras被引用数 1

ひとこと要約

本稿は、すべての有限生成イデアルが準射影的である可換環を調査し、このクラスが算術的環とガウス環の間 strictly に位置することを確立している。これは、オスフスキーの弱全次元に関する定理を一般化し、バゾニ＝グレイズの予想を部分的に解決するとともに、全商環に関するプファーラ条件の類似結果を示している。

ABSTRACT

This paper studies the multiplicative ideal structure of commutative rings in which every finitely generated ideal is quasi-projective. Section 2 provides some preliminaries on quasi-projective modules over commutative rings. Section 3 investigates the correlation with well-known Prufer conditions; namely, we prove that this class of rings stands strictly between the two classes of arithmetical rings and Gaussian rings. Thereby, we generalize Osofsky's theorem on the weak global dimension of arithmetical rings and partially resolve Bazzoni-Glaz's related conjecture on Gaussian rings. We also establish an analogue of Bazzoni-Glaz results on the transfer of Prufer conditions between a ring and its total ring of quotients. Section 4 examines various contexts of trivial ring extensions in order to build new and original examples of rings where all finitely generated ideals are subject to quasi-projectivity, marking their distinction from related classes of Prufer rings.

研究の動機と目的

• すべての有限生成イデアルが準射影的である可換環を特徴づけること。
• この環のクラスと、よく知られたプファーラ条件（特に算術的環とガウス環）との関係を明確にすること。
• 算術的環の弱全次元に関するオスフスキーの結果を、このより広いクラスに一般化すること。
• バゾニ＝グレイズのガウス環に関する予想を、この文脈で部分的に解決すること。
• この新しい文脈において、環とその全商環との間でのプファーラ条件の転送に関する、バゾニ＝グレイズの結果の類似を拡張すること。

提案手法

• 第2節における可換環上の準射影的加群に関する基礎的結果を用いる。
• 可換環における有限生成イデアルの準射影性がもたらす構造的意味を分析する。
• イデアル論的技法を用いて、準射影的有限生成イデアルをもつ環のクラスを算術的環とガウス環と比較する。
• 既知の弱全次元およびプファーラ条件に関する結果を応用し、新しい転送性質を導出する。
• 自明な環拡大を用いて、このクラスが関連するプファーラ環のクラスとは明確に異なることを示す新しい例を構成する。
• 環とその全商環との間で、バゾニ＝グレイズの結果の類似を確立する。

実験結果

リサーチクエスチョン

• RQ1 すべての有限生成イデアルが準射影的である可換環のクラスは、算術的環とガウス環のクラスとどのように関係しているか？
• RQ2 算術的環の弱全次元に関するオスフスキーの定理は、このより広いクラスに一般化可能か？
• RQ3 すべての有限生成イデアルが準射影的であるという性質は、全商環へどの程度転送されるか？
• RQ4 このクラスの環は、ガウス環に関するバゾニ＝グレイズの予想の一般化形を満たすか？
• RQ5 自明な環拡大を用いて、どのような新しい例がこの性質を満たす環として構成可能か？

主な発見

• すべての有限生成イデアルが準射影的である可換環のクラスは、算術的環のクラスとガウス環のクラスの間 strictly に位置する。
• 本稿では、算術的環の弱全次元に関するオスフスキーの定理が、このより広いクラスへ一般化された。
• バゾニ＝グレイズのガウス環に関する予想について、この文脈で部分的な解決が達成された。
• 環とその全商環との間で、バゾニ＝グレイズの結果の類似が確立された。
• 自明な環拡大を用いて、準射影性条件を満たすが、既知のプファーラ環のクラスとは明確に異なる、新しいオリジナルの例が構成された。