交换代数/极大理想与局部化初步

交换代数/极大理想与局部化初步

前言

本章介绍交换代数中的两块基础主题：极大理想与局部化。它们是现代代数与代数几何的基本工具，贯穿于环与模的结构分析、谱空间的拓扑描述以及“在点附近”的局部研究方法。

预备

1. 本章中的“环”默认指含单位元的交换环。
2. 理想均指环的双边理想（在交换情形下与左、右理想一致）。
3. 记 ${\mathcal {M}}(R)$ 为环 $R$ 的极大理想集合，$\operatorname {Spec} (R)$ 为素理想集合。

极大理想的基本性质

1. 定义：若 $R$ 的真理想 ${\mathfrak {m}}$ 满足对任一理想 $I$，有 ${\mathfrak {m}}\subsetneq I\subseteq R$ 蕴含 $I=R$，则称 ${\mathfrak {m}}$ 为极大理想。
2. 等价刻画：${\mathfrak {m}}$ 是极大理想当且仅当商环 $R/{\mathfrak {m}}$ 是域。
3. 存在性：若 $R\neq 0$，则至少存在一个极大理想。常用的证明依赖于归纳或选择公理相关的佐恩引理。
4. 单位与极大理想：元素 $u\in R$ 是单位当且仅当 $u$ 不属于任一极大理想。这一性质将“可逆性”与“在所有点处不消失”联系起来。
5. 局部环：若 $R$ 仅有唯一的极大理想 ${\mathfrak {m}}$，则称 $R$ 为局部环。其非单位元恰为 ${\mathfrak {m}}$ 的元素。

局部化的构造

1. 设 $S\subseteq R$ 为乘法子集（$1\in S$，且对 $s_{1},s_{2}\in S$ 有 $s_{1}s_{2}\in S$），定义 $R$ 在 $S$ 处的局部化 $R_{S}$。
2. 直观理解：在 $R_{S}$ 中宣告 $S$ 的元素皆可逆，用形式分式 $r/s$ 表示元素，并以分式等价关系识别。
3. 基本态射：有自然映射 $\varphi :R\to R_{S}$，$r\mapsto r/1$。若 $S$ 不包含 $0$，则 $\varphi$ 是单射。
4. 通用性质：任一将 $S$ 的元素送为单位的环同态 $f:R\to T$ 唯一地因子分解为 $R\xrightarrow {\varphi } R_{S}\xrightarrow {\tilde {f}} T$。
5. 理想的延拓与收缩：$R$ 中理想 $I$ 在局部化中的延拓为 $IR_{S}$；其与 $R_{S}$ 的理想之间存在收缩对应，反映“在 $S$ 处的局部信息”。

在极大理想处的局部化

1. 点的局部：对极大理想 ${\mathfrak {m}}$，取 $S=R\setminus {\mathfrak {m}}$，得到局部化 $R_{\mathfrak {m}}$。这是一个局部环，其极大理想为 ${\mathfrak {m}}R_{\mathfrak {m}}$。
2. 几何直觉：将 $\operatorname {Spec} (R)$ 视为“空间”，在点 ${\mathfrak {m}}$ 处的局部化对应“在该点附近”的代数信息。
3. 元素的可逆性：在 $R_{\mathfrak {m}}$ 中，恰有不属于 ${\mathfrak {m}}$ 的元素成为单位；属于 ${\mathfrak {m}}$ 的元素在局部中“不可逆”。

与素理想、谱拓扑的关系

1. 素理想局部化：对素理想 ${\mathfrak {p}}$，同样取 $S=R\setminus {\mathfrak {p}}$，得 $R_{\mathfrak {p}}$，它是以 ${\mathfrak {p}}$ 为唯一非零素理想的局部环。
2. 基本开集：谱拓扑中，$D(f)=\{{\mathfrak {p}}\mid f\notin {\mathfrak {p}}\}$ 对应在 $f$ 非零处的“局部化”，与 $R_{f}$ 的构造密切相关。
3. 局部性质：许多环与模的性质是“局部”的，即可在所有 $R_{\mathfrak {p}}$ 上检验后再推回到 $R$。

模的局部化

1. 设 $M$ 为 $R$-模，其在 $S$ 处的局部化定义为 $M_{S}$，元素形式为 $m/s$，与环局部化类似。
2. 正合性：局部化是正合函子，保持短正合列，对核与像的行为良好。
3. 张量描述：$M_{S}\cong M\otimes _{R}R_{S}$，自然性清晰且便于计算。
4. 零化判断：若 $M_{S}=0$，则存在 $s\in S$ 使得 $s\cdot M=0$；这用于刻画“在 $S$ 处消失”的模。

典型例子

1. 整数环：$R=\mathbb {Z}$，取 $S=\{1,p,p^{2},\dots \}$，得到 $\mathbb {Z} _{(p)}$，其极大理想由 $p$ 生成，是算术中的 $p$-进局部。
2. 多项式环：$R=k[x]$，取 $S=k[x]\setminus {\mathfrak {m}}$，在点 $x-a$ 的极大理想处局部化得到 $k[x]_{(x-a)}$，其商与导出结构便于研究函数在点 $a$ 附近的行为。
3. 代数几何：坐标环在点的极大理想处局部化给出局部环，其极大理想刻画该点的“消失阶”，与切空间的定义相关。

小结

1. 极大理想刻画“点”，局部化提供“在点附近”的代数工具。
2. 在实践中，局部化将全局问题转化为局部问题，常使论证与计算更为简洁。
3. 与谱拓扑、模论结合，局部化成为交换代数与代数几何的核心方法之一。