交换代数/绪论

交换代数导论：研究对象、历史、核心概念与工具总览

研究对象

交换代数研究交换环及其模的结构与性质，典型对象包括：

• 交换环：例如 $\mathbb {Z}$、多项式环 $\mathbb {K} [x_{1},\dots ,x_{n}]$、坐标环等
• 理想：素理想、极大理想、初等理想与分解
• 模与同态：有限生成模、自由模、投射模、内射模
• 谱与拓扑：$\mathrm {Spec} (R)$ 及其 Zariski 拓扑
• 维数理论：Krull 维数、高度、深度
• 正规性与同调条件：正则序列、Cohen–Macaulay、Gorenstein 等

历史脉络（极简时间线）

• 19世纪：理想与整除理论（Kummer、Dedekind）
• 20世纪上半：Noether 抽象化理想理论；Krull 维数；Hilbert 基本定理
• Grothendieck 时代：谱、层与概形语言将交换代数与代数几何深度融合
• 现代发展：同调方法、完备化与变形、tight closure 等

交换代数主题之间的联系（示意图）

表1：常见环的示例

类型	示例	关键性质
主理想整环（PID）	$\mathbb {Z}$, $\mathbb {k} [x]$	每个理想主生成；UFD
唯一分解整环（UFD）	$\mathbb {Z} [x]$	因子分解唯一性
赋值环	DVR，如 $\mathbb {k} [[t]]$	高度1，离散赋值
阿廷环	有限长度环	$\mathrm {Spec}$ 有限离散

表2：理想运算速览

运算	记号	性质
求和	$I+J$	包含最小的包含二者的理想
交	$I\cap J$	最大的同时包含于二者的理想
乘积	$IJ$	由 $\{\sum a_{i}b_{i}\}$ 生成，$V(IJ)=V(I)\cup V(J)$
根式	${\sqrt {I}}$	$\{r:r^{n}\in I\}$，对应闭包

表3：素理想与极大理想对照

概念	定义片语化	在 $\mathbb {k} [x_{1},\dots ,x_{n}]$ 中的直觉
素理想	$ab\in {\mathfrak {p}}\Rightarrow a\in {\mathfrak {p}}$ 或 $b\in {\mathfrak {p}}$	不可分的几何子集
极大理想	真理想中极大	闭点（坐标点）

Spec(k[x,y])中的点与闭集示意（概念插图）

表4：局部化的常见场景

对象	操作	读法/直觉
环 $R$ 在乘法集 $S$	$S^{-1}R$	放大可逆元的视角
模 $M$ 在 $S$	$S^{-1}M$	只看“远离零因子”的行为
在 ${\mathfrak {p}}$ 处局部化	$R_{\mathfrak {p}}$	放大与 ${\mathfrak {p}}$ 相关的邻域

表5：Krull 维数、高度与深度

概念	记号/定义	直觉
Krull 维数	$\dim R$ 链长上确界	“几何维数”
高度	$\operatorname {ht} ({\mathfrak {p}})$	从最小素到 ${\mathfrak {p}}$ 的链长
深度	$\operatorname {depth} M$	最长正则序列长度

表6：同调函子与确切性

函子	性质	导出
张量 $-\otimes _{R}-$	左正合	$\operatorname {Tor} _{i}^{R}(-,-)$
$\operatorname {Hom} _{R}(-,-)$	右正合	$\operatorname {Ext} _{R}^{i}(-,-)$
全局截面 $\Gamma$	左正合	$R^{i}\Gamma$（上同调）

表7：平坦、投射、内射、正则的关系

性质	特征片语	典型识别
平坦	张量保正合	$\operatorname {Tor} _{1}(-,M)=0$
投射	直和加项	正合列分裂的上升性
内射	$\operatorname {Ext} ^{1}(-,E)=0$	扩张可填充
正则局部环	$\dim =$ 最小生成元数	同调维数有限

表8：分解与整闭

主题	结论/关键词	用途
初等分解	与 ${\sqrt {I}}$ 的素分解相关	描述闭集的分解
整闭/归一化	消灭不可分支	控制分式扩张与奇异
UFD 条件	每个非零非单位唯一分解	因子理论与除法

Tor、Ext与谱序列在交换代数中的位置（示意图）

核心概念串线

1. 从理想出发，$\mathrm {Spec} (R)$ 将代数对象转化为拓扑空间，闭集由理想给出。

2. 局部化让我们“放大”某点附近的现象；Krull 维数衡量“几何维度”。

3. 同调工具（Tor/Ext、谱序列）将复杂构造的性质分解为可计算的片段。

4. 正则序列、深度、Cohen–Macaulay 与 Gorenstein 刻画“好环”和“好模”。

常见工具与套路

• 常把短正合列送入张量或 Hom 以产生长正合序列，提取障碍信息。
• 用局部化把全局问题变为点态问题，再通过粘合回到整体。
• 用 Krull 维数与高度控制链长，用深度衡量“非零因子序列”的长度。
• 通过完备化和 I-adic 拓扑分析极限与逼近性质。

进一步阅读与路线建议

• 先熟悉 PID、UFD、多项式环与理想运算，再进入谱与 Zariski 拓扑。
• 学会用局部化与完备化做“放大镜”和“放大镜+显微镜”的分析。
• 用 Tor/Ext 与正则序列建立同调感知，理解何为“平坦”“正则”。