[论文解读] 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) 的极大商环。
• 将 Q(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 的商框架应用于实值连续函数的环。
• 本文在完全正则空间的设定下，对这些环进行了长篇且自洽的探究。