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

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

前言

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

预备

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

极大理想的基本性质

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

局部化的构造

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. 基本态射：有自然映射 $\phi :R\to R_S$，$r\mapsto r/1$。若 $S$ 不包含 $0$，则 $\phi$ 是单射。
4. 通用性质：任一将 $S$ 的元素送为单位的环同态 $f:R\to T$ 唯一地因子分解为 $R\stackrel{\phi }{\to }{R}_S\stackrel{\tilde{f}}{\to }T$。
5. 理想的延拓与收缩：$R$ 中理想 $I$ 在局部化中的延拓为 $I{R}_S$；其与 $R_S$ 的理想之间存在收缩对应，反映“在 $S$ 处的局部信息”。

在极大理想处的局部化

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

与素理想、谱拓扑的关系

1. 素理想局部化：对素理想 $𝔭$，同样取 $S=R\setminus 𝔭$，得 $R_{𝔭}$，它是以 $𝔭$ 为唯一非零素理想的局部环。
2. 基本开集：谱拓扑中，$D(f)=\{𝔭\mid f\notin 𝔭\}$ 对应在 $f$ 非零处的“局部化”，与 $R_f$ 的构造密切相关。
3. 局部性质：许多环与模的性质是“局部”的，即可在所有 $R_{𝔭}$ 上检验后再推回到 $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 𝔪$，在点 $x-a$ 的极大理想处局部化得到 $k[x{]}_{(x-a)}$，其商与导出结构便于研究函数在点 $a$ 附近的行为。
3. 代数几何：坐标环在点的极大理想处局部化给出局部环，其极大理想刻画该点的“消失阶”，与切空间的定义相关。

小结

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