在群论中，正规子群是商群得以良好定义的关键。在环论里，承担同样角色的就是理想（Ideal）。理想是环的一种特殊子集——它对加法是子群，对环乘法"吸收"任何外来元素——正因为这种"黑洞效应"，把理想模掉之后的商环 $R/I$ 仍是一个环。
本章是迈向代数几何的关键一步：理想最终将与几何中的"曲线、曲面"一一对应（下一章多项式环会正式打开这本"代数 ↔ 几何字典"）。本章先把代数引擎装好。
"理想之于环，犹如正规子群之于群。"——Emmy Noether
1. 理想：环里的"黑洞"
（双侧）理想（Two-sided Ideal）
设 $R$ 是环。子集 $I\subseteq R$ 称为 $R$ 的双侧理想（记作 $I\trianglelefteq R$），若：
- 加法子群：$(I, +)\le (R, +)$。
- 左吸收：$\forall r\in R, i\in I,\ r\cdot i\in I$。
- 右吸收：$\forall r\in R, i\in I,\ i\cdot r\in I$。
在交换环中，左、右吸收等价，故只需"$R\cdot I\subseteq I$"一条。本课程默认交换环，"理想"即指此意。
例 1：第一批理想
- 平凡理想：$\{0\}$ 和 $R$ 本身。前者称作零理想。
- $n\mathbb{Z}\trianglelefteq\mathbb{Z}$：所有 $n$ 的倍数。事实上 $\mathbb{Z}$ 的所有理想都是这种形式。
- $(x)\trianglelefteq k[x]$：所有以 $x$ 为因子的多项式，即所有常数项为 $0$ 的多项式。
- $(x, y)\trianglelefteq k[x, y]$：所有无常数项的二元多项式。它不是主理想（不能由单一元素生成）。
主理想（Principal Ideal）
由单一元素 $a\in R$ 生成的理想：
$$ (a) = aR = \{a\cdot r : r\in R\}. $$
若环 $R$ 的每一个理想都是主理想，则称 $R$ 为主理想整环 PID（如 $\mathbb{Z}$ 和 $k[x]$）。
图解 1：理想的"黑洞效应"——吸收性质
2. 素理想 与 极大理想
素理想（Prime Ideal）
交换环 $R$ 的真理想 $\mathfrak{p}\subsetneq R$ 称为素理想，若：
$$ ab\in\mathfrak{p}\ \Longrightarrow\ a\in\mathfrak{p}\ \text{或}\ b\in\mathfrak{p}. $$
等价条件：$R/\mathfrak{p}$ 是整环。
直觉：$\mathfrak{p}$ "感受到"乘积的素性——若乘积进入它，则至少一个因子进入它。
极大理想（Maximal Ideal）
真理想 $\mathfrak{m}\subsetneq R$ 称为极大理想，若不存在真理想 $J$ 严格包含 $\mathfrak{m}$（即 $\mathfrak{m}\subsetneq J\subsetneq R$ 不可能）。
等价条件：
$$ \mathfrak{m}\ \text{极大}\ \iff\ R/\mathfrak{m}\ \text{是域}. $$
极大理想 ⇒ 素理想
因为域是整环。但反之不真：$(0)\trianglelefteq\mathbb{Z}$ 是素理想（$\mathbb{Z}$ 本身是整环），却不是极大理想（$\mathbb{Z}$ 不是域）。
例 2：$\mathbb{Z}$ 中的素 & 极大理想
- $(0)$：素，不极大。$\mathbb{Z}/(0) = \mathbb{Z}$ 是整环。
- $(p)$（$p$ 素数）：既素又极大。$\mathbb{Z}/(p) = \mathbb{F}_p$ 是域。
- $(n)$（$n$ 合数）：既不素也不极大。$(6) = (2)\cap(3) \subsetneq (2) \subsetneq\mathbb{Z}$。
故 $\mathbb{Z}$ 的非零素理想 = 极大理想 = $\{(p) : p\text{ 素}\}$。这就是 $\mathrm{Spec}\,\mathbb{Z}$ 的"点"。
图解 2：$\mathbb{Z}$ 的理想格图（Lattice）
关键观察：在 PID 里，非零素理想 = 极大理想；这与"点"的几何对应紧密相关。
3. 商环 $R/I$ 的构造
商环（Quotient Ring）
设 $I\trianglelefteq R$。定义等价关系 $a\sim b\iff a - b\in I$，等价类记作 $a + I$，称作陪集。所有陪集之集合
$$ R/I = \{a + I : a\in R\} $$
在以下运算下成为环：
$$ (a + I) + (b + I) = (a+b) + I,\qquad (a + I)\cdot (b + I) = (ab) + I. $$
"吸收公理"恰好保证乘法的良定性。商环也叫因子环。
例 3：商环的"现身"
- $\mathbb{Z}/n\mathbb{Z}$ 就是 $\mathbb{Z}$ 模理想 $n\mathbb{Z}$。
- $\mathbb{R}[x]/(x^2 + 1)\cong \mathbb{C}$（用代数构造复数！）。
- $k[x, y]/(y - x^2)\cong k[x]$（抛物线上的多项式恰好是单变量的）。
4. 环同态基本定理
环同态（Ring Homomorphism）
$\varphi: R\to S$ 是环同态，若：
- $\varphi(a + b) = \varphi(a) + \varphi(b)$。
- $\varphi(a\cdot b) = \varphi(a)\cdot\varphi(b)$。
- $\varphi(1_R) = 1_S$。
其核 $\ker\varphi = \{a : \varphi(a) = 0\}$ 是 $R$ 的理想；其像 $\mathrm{Im}\,\varphi$ 是 $S$ 的子环。
环同态基本定理（First Isomorphism Theorem for Rings）
设 $\varphi: R\to S$ 是环同态，则存在唯一同构
$$ \bar\varphi: R/\ker\varphi \;\xrightarrow{\sim}\; \mathrm{Im}\,\varphi,\qquad a + \ker\varphi\mapsto \varphi(a). $$
一切环同态都"长这样"：先模掉核，再嵌入像。
图解 3：环同态基本定理（交换图）
例 4：复数的代数构造
定义 $\varphi: \mathbb{R}[x]\to\mathbb{C}$，$x\mapsto i$。这是满同态。
核：$\ker\varphi = (x^2 + 1)$（在 $\mathbb{R}[x]$ 中，所有满足 $f(i) = 0$ 的多项式都被 $x^2 + 1$ 整除）。
由同态基本定理：$\mathbb{R}[x]/(x^2 + 1) \cong \mathbb{C}$。
这是代数地定义复数的方式——不必假定"$i$ 凭空存在"，而是商出来的。
与群论第一同构定理对比：群版本 $G/\ker f\cong \mathrm{Im}\,f$ 完全是同一句话的"加性"翻版——这是抽象代数"统一感"的最佳例证。
5. 练习
练习 1（$\mathbb{Z}$ 的理想）
证明：$\mathbb{Z}$ 的所有理想都形如 $n\mathbb{Z}$（$n\ge 0$）。
提示
设 $I\trianglelefteq\mathbb{Z}$。若 $I = \{0\}$，取 $n = 0$。否则取 $I$ 中最小正整数 $n$，由带余除法证 $I = n\mathbb{Z}$。
练习 2（极大理想等价条件）
证明：$\mathfrak{m}\trianglelefteq R$ 极大 $\iff$ $R/\mathfrak{m}$ 是域（$R$ 交换）。
提示
$R/\mathfrak{m}$ 是域 $\iff$ 它的非平凡理想只有 $\{0\}, R/\mathfrak{m}$；由理想对应定理（$R/\mathfrak{m}$ 的理想 ↔ 包含 $\mathfrak{m}$ 的 $R$ 的理想），这等价于 $\mathfrak{m}$ 之上没有真理想。
练习 3（多项式商环）
描述 $\mathbb{R}[x]/(x^2 - 1)$ 的结构。它是域吗？整环吗？
提示
$x^2 - 1 = (x - 1)(x + 1)$。由 CRT（中国剩余定理）： $\mathbb{R}[x]/(x^2 - 1)\cong \mathbb{R}[x]/(x-1)\times \mathbb{R}[x]/(x+1)\cong\mathbb{R}\times\mathbb{R}$。是交换环，但有零因子 $(1,0)\cdot(0,1) = 0$，故非整环。
练习 4（核的计算）
定义 $\mathrm{ev}_2: \mathbb{Z}[x]\to\mathbb{Z}$，$f\mapsto f(2)$。证明这是环同态并求 $\ker\mathrm{ev}_2$。
提示
$\ker = (x - 2) = \{f\in\mathbb{Z}[x] : f(2) = 0\}$（用带余除法）。由基本定理 $\mathbb{Z}[x]/(x-2)\cong\mathbb{Z}$。
练习 5（理想的运算）
在 $\mathbb{Z}$ 中：$(6) + (10) = (2)$，$(6)\cap(10) = (30)$。一般地，证明 $(m) + (n) = (\gcd(m,n))$，$(m)\cap(n) = (\mathrm{lcm}(m,n))$。
提示
用裴蜀定理：$\gcd(m,n) = sm + tn$ 表示 $(m)+(n)\supseteq(\gcd)$。$(\gcd)\supseteq (m) + (n)$ 因 $\gcd$ 整除 $m, n$。lcm 部分类似。