交換代數/極大理想與局部化初步

交換代數/極大理想與局部化初步

前言

本章介紹交換代數中的兩塊基礎主題：極大理想與局部化。它們是現代代數與代數幾何的基本工具，貫穿於環與模的結構分析、譜空間的拓撲描述以及「在點附近」的局部研究方法。

預備

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. 與譜拓撲、模論結合，局部化成為交換代數與代數幾何的核心方法之一。