[論文レビュー] Rings of Quotients of Rings of Functions

N. J. Fine, Leonard Gillman+1 more|arXiv (Cornell University)|Mar 6, 2024

Rings, Modules, and Algebras被引用数 92

ひとこと要約

本論文は、完全正規空間 X 上の実数値連続関数の環 C(X) の商環の最大環について研究し、Q(X) が密な開集合上の連続関数として同値類で構成される形として実現できること、一般に古典的な商環が Q(X) の適切な部分環であることを示す。

ABSTRACT

From the original PREFACE: The rings of quotients recently introduced by Johnson and Utumi are applied to the ring $C(X)$ of all continuous real-valued functions on a completely regular space $X$. Let $Q(X)$ denote the maximal ring of quotients of $C(X)$; then $Q(X)$ may be realized as the ring of all continuous functions on the dense open sets of $X$ (modulo an obvious equivalence relation). In special cases (e.g., for metric $X$), $Q(X)$ reduces to the classical ring of quotients of $C(X)$ (formed with respect to the regular elements), but in general, the classical ring is only a proper sub-ring of $Q(X)$.

研究の動機と目的

• C(X) に関連して商環の最大環の研究を動機づける。
• 計量空間から完全正規空間へ商の構成を一般化する。
• Q(X) が X の稠密な開集合上の関数として実現できる方法を説明する。
• 一般的な場合と特別な場合で Q(X) を古典的な商環と比較する。
• X の位相と C(X) の代数との関係を強調する。

提案手法

• Johnson と Utumi によって最近導入された商環の理論を C(X) に適用する。
• Q(X) を C(X) の最大商環として定義する。
• X の稠密な開集合上の全ての連続関数の環として、自然な同値関係でモジュロ化する形で実現する。
• 特別な場合（例えば X が計量空間）において Q(X) が正規元に基づいて形成される古典的な商環と一致することを示す。
• 一般に古典的な商環が Q(X) の適切な部分環として埋め込まれることを示す。

実験結果

リサーチクエスチョン

• RQ1 完全正規空間 X に対して C(X) の最大商環とは何か？
• RQ2 Q(X) は密な開集合上の連続関数として具体的にどのように実現できるか？
• RQ3 Q(X) が古典的な商環と一致するのはいつであり、一般にはどうなるか？
• RQ4 X の計量的性質と商環の構造との関係は何か？
• RQ5 この設定における古典的な商環は最大商環とどのように関連するか？

主な発見

• Q(X) は X の稠密な開集合上のすべての連続関数の環として、同値関係でモジュロした形として実現できる。
• 計量空間 X では、Q(X) は正則元に基づいて形成される古典的な商環に簡約される。
• 一般に古典的な商環は Q(X) の適切な部分環に過ぎない。
• 最大商環はトポロジカルな文脈で古典的な構成を超えて拡張される。
• 本研究は Johnson と Utumi の商環フレームワークを実数値連続関数の環に適用する。
• 本論文は完全正規空間の設定におけるこれらの環について長く自己完結的な探究を提供する。