[論文レビュー] Prequantales and applications to semistar operations and module systems

Jesse Elliott|arXiv (Cornell University)|Jan 12, 2011

Rings, Modules, and Algebras参考文献 24被引用数 10

ひとこと要約

本稿は、非可換かつ非結合的な理想論の抽象化を可能にする一般化された代数的枠組み—prequantales—を導入する。これは、スター操作、半スター操作、およびモジュール系を統一的に扱うものである。前完備prequantalesおよび乗法的半順序集合に対して表現定理を確立し、最大の有限型および安定的半スター操作といった主要な構成を一般化する。

ABSTRACT

We show that a generalization of quantales and prequantales provides a noncommutative and nonassociative abstract ideal theoretic setting for the theories of star operations, semistar operations, semiprime operations, ideal systems, and module systems, and conversely the latter theories motivate new results on quantales and prequantales. Results include representation theorems for precoherent prequantales and multiplicative semilattices; a characterization of the simple prequantales; and a generalization to the setting of precoherent prequantales of the construction of the largest finite type semistar operation and the largest stable semistar operation smaller than a given semistar operation.

研究の動機と目的

• prequantalesを用いた非可換かつ非結合的代数的枠組みを、抽象的理想論に適用する。
• 単一の順序付きマグマの枠組み内でスター操作、半スター操作、半素操作、理想系、およびモジュール系の理論を統一・一般化する。
• quantalesおよび乗法的ラティスの既知の結果を、前完備prequantalesや乗法的半順序集合といったより一般の構造へと拡張する。
• 与えられた半スター操作の下で最大の有限型および安定的半スター操作を構成する、新たな構成法を提供する。
• 特に非ネーター的状況においても、可換環における整閉包、プラス閉包、タイト閉包といった具体的な代数的演算にこの枠組みを適用する。

提案手法

• prequantalesを、任意の上界に関して閉じており、乗法と整合する順序付きマグマとして定義し、quantalesおよび乗法的ラティスを一般化する。
• prequantalesの緩和版として、near prequantalesおよびsemiprequantalesを定義し、有界でない、または吸収元を持たない構造を許容する。
• 順序付きマグマ上での核およびquantic核の理論を応用し、理想および分数的理想に対する閉包操作を構成する。
• 前完備prequantales上の核を用いて、与えられた半スター操作の下で最大の安定的および有限型半スター操作を一般化する構成を行う。
• この枠組みを用いて、可換環における整閉包、プラス閉包、タイト閉包から導かれる半スター操作を定義・分析する。
• 与えられた理想 $I$ を含むすべてのタイトに閉じた理想の共通部分集合として定義される演算 $*$ が、任意の素数の特徴を持つ可換環 $R$ に対して半素操作であることが示される。

実験結果

リサーチクエスチョン

• RQ1 半スター操作および理想系の理論を、可換的・結合的・ネーター的でない状況を超えて一般化する方法は何か？
• RQ2 前完備prequantalesおよび乗法的半順序集合の構造的性質は何か？ また、それらをどのように表現できるか？
• RQ3 与えられた半スター操作の下で最大の有限型および安定的半スター操作を構成する方法を、quantalesでない状況へ一般化できるか？
• RQ4 整閉包、プラス閉包、タイト閉包といった閉包操作を、prequantale枠組みを用いて統一的かつ一般化できるか？
• RQ5 この枠組みを用いて、素数の特徴を持つ非ネーター的可換環へタイト閉包を意味的に拡張できるか？

主な発見

• 前完備prequantalesに対して表現定理を確立し、それが特定の乗法的ラティスにおける理想と同型であることを示した。
• 乗法的半順序集合は、前完備prequantalesの特別な場合として特徴づけられ、交わりが閉じた部分集合による表現を持つ。
• 単純prequantalesは完全に特徴づけられている：それは唯一の非ゼロ要素を持つ完備ラティスに他ならない。
• 与えられた半スター操作の下で最大の有限型半スター操作および最大の安定的半スター操作を構成する方法が、前完備prequantalesへ一般化された。
• 任意の素数の特徴を持つ可換環 $R$ に対して、$I$ を含むすべてのタイトに閉じた理想の共通部分集合として定義される演算 $*$ は、$ ext{I}(R)$ 上で半素操作であることが示された。
• ネーター環では $*$ は古典的なタイト閉包操作と一致するが、非ネーター的状況では $I^* \neq I^T$ が生じ得る。例14.2（$D = k[X, XY, XY^p, \tilde{ }]$）でその例を示した。