[論文レビュー] Semistar linkedness and flatness, Prüfer semistar multiplication domains

Saı̈d El Baghdadi, Marco Fontana|ArXiv.org|May 23, 2003

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

ひとこと要約

本稿では、乗法的イデアル論における古典的概念の一般化として、semistar連結性（semistar linkedness）とsemistar平坦性（semistar flatness）を導入し、研究する。これは、Davis および Richman の Prüfer 領域の overring 理論的特徴づけを、Prüfer semistar 乗法的マニュピュレーション領域（P⋆MDs）の文脈へと拡張するものである。主な貢献は、Richman の平坦性定理の semistar 形式を示すことであり、D が P⋆MD であることと、適切な連結性条件の下で、すべての overring が D に対して semistar 平坦であることとは同値であることを証明する。

ABSTRACT

In 1994, Matsuda and Okabe introduced the notion of semistar operation, extending the "classical" concept of star operation. In this paper, we introduce and study the notions of semistar linkedness and semistar flatness which are natural generalizations, to the semistar setting, of their corresponding "classical" concepts. As an application, among other results, we obtain a semistar version of Davis' and Richman's overring-theoretical theorems of characterization of Prüfer domains for Prüfer semistar multiplication domains.

研究の動機と目的

• 古典的連結性と平坦性の概念を semistar 操作フレームワークへ一般化すること。
• Prüfer 領域の overring 理論的特徴づけを、Prüfer semistar 乗法的マニュピュレーション領域（P⋆MDs）の文脈へ拡張すること。
• Richman の定理の semistar 形式を確立し、semistar 連結性の下での overring の平坦性による P⋆MD の特徴づけを示すこと。
• semistar 乗法的イデアル論における平坦性と連結性を統一的に扱うフレームワークを提供すること。

提案手法

• D の overring T における誘導された semistar 操作 ℓ⋆,T を用いて、semistar 連結 overring を定義する。
• 古典的平坦 overring 理論の一般化として、semistar 平坦性を導入し、素イデアルの性質を保つようにする。
• 有限型 semistar 操作 ⋆f と quasi-⋆f-素イデアルを用いて局所的性質を分析する。
• 価値環 overring と局所化技術を用いて、問題を局所的状況へ還元する。
• 最小 semistar 操作 ℓ⋆,T を用いて、overring 全体における平坦性と連結性条件の同値性を確立する。
• 既知の P⋆MD や価値環に関する結果を活用して、主要な特徴づけ定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的 t-連結 overring の概念を、semistar の文脈へどのように一般化できるか？
• RQ2 与えられた semistar 操作 ⋆ の下で、どのような条件下で overring が領域 D に対して semistar 平坦になるか？
• RQ3 Davis および Richman の Prüfer 領域の特徴づけを、Prüfer semistar 乗法的マニュピュレーション領域へ拡張できるか？
• RQ4 最小 semistar 操作 ℓ⋆,T が平坦性と連結性を特徴づける際に果たす役割は何か？
• RQ5 すべての overring が D に対して semistar 平坦であるとき、どのような条件下で領域 D が P⋆MD となるか？

主な発見

• 領域 D が P⋆MD であることと、任意の semistar 操作 ⋆′ について、T が (⋆,⋆′)-連結であるような D のすべての overring T が (⋆,⋆′)-平坦であることとは同値である。
• semistar 操作 ℓ⋆,T は、T が D に対して (⋆,⋆′)-連結であるような T 上の最小 semistar 操作であり、特徴づけにおいて中心的な役割を果たす。
• すべての overring T が D に対して (⋆,ℓ⋆,T)-平坦であることと、D が P⋆MD であることとは同値である。
• T が (D,⋆) に対して t-連結であるという条件は、T が (D,⋆) に対して t-平坦であることと同値であり、これは D が P⋆MD であることと同値である。
• D が P⋆MD であるならば、D の任意の quasi-⋆f-素イデアル P に対して、局所化 DP は価値環である。
• この特徴づけは、T が (⋆,dT)-連結である overring に制限しても成り立つため、平坦性条件の強さが裏付けられる。