理想与商环

本节围绕理想的定义、类型与运算，以及商环的构造与性质，建立与谱、极大/素理想的联系。

定义：理想 $I \subseteq R$ 是加法子群，且对任意 $a \in I$ 与 $r \in R$ 有 $r a, a r \in I$ （交换环下等价）。

主理想：由单个元素生成的理想 $(a) = {r a ∣ r \in R}$ 。

理想运算：和 $I + J$ 、交 $I \cap J$ 、积 $I J$ 、包含与链。

商环：对理想 $I$ ，商集 $R / I$ 在自然运算下成为环；典元 $\overline{r} = r + I$ 。

商映射：自然满射 $π : R \to R / I$ ， $π (r) = \overline{r}$ 。

同态第一定理：任意同态 $φ : R \to S$ 因子化为 $R \overset{π}{\to} R / \ker φ \overset{\tilde{φ}}{\to} Im φ$ 。

素理想：真理想 $𝔭$ 满足 $a b \in 𝔭 \Rightarrow a \in 𝔭 或 b \in 𝔭$ 。

极大理想：不包含于任何更大的真理想；商 $R / 𝔪$ 为域。

极大蕴含素：在交换环中，极大理想必素；反之不成立。

根式： $\sqrt{I} = {r \in R ∣ \exists n \geq 1, r^{n} \in I}$ ；闭集由根式稳定。

初等分解：在诺特环上，理想可表为若干初等理想的交；描述零化与支撑。

理想生成： $(S)$ 为由子集 $S$ 生成的最小理想；诺特环中有限生成。

中国剩余定理：若 $I + J = R$ ，则 $R / (I \cap J) ≅ R / I \times R / J$ ；推广到两两互素族。

升链条件（ACC）：理想升链稳定 ⇔ 诺特性； $R [x]$ 的诺特性由 Hilbert 基本定理给出。

降链条件（DCC）：阿廷环中理想链降链稳定；与有限长度理论相关。

局部化与理想： $S^{- 1} I$ 是 $S^{- 1} R$ 的理想；并有 $S^{- 1} (R / I) ≅ S^{- 1} R / S^{- 1} I$ 。

原像与像：同态 $φ : R \to S$ 下，素理想的原像仍素；满射下极大理想的像是极大理想。

零化子： ${Ann}_{R} (M) = {r \in R ∣ r M = 0}$ 是理想；刻画模块结构的支撑。

饱和： $I : J = {r \in R ∣ r J \subseteq I}$ ；与整闭、主分解相关。

整闭：元素在分式环中满足整式方程则属于整闭；归一化消除不可分支。

分式环：整环 $R$ 的分式域 $Frac (R)$ ；理想延拓与收缩对比。

幂等分解：若 $e^{2} = e$ ，则 $R ≅ R e \times R (1 - e)$ ；与理想分块紧密相关。

核即理想：同态的核 $\ker φ$ 总是理想；商环通过“按核粘点”实现。

例子： $ℤ / n ℤ$ ；当 $n = 6$ 时， $ℤ / 6 ≅ ℤ / 2 \times ℤ / 3$ 。

例子： $ℂ [x] / (x^{2})$ 的幂零元： $\overline{x} \neq 0$ 且 ${\overline{x}}^{2} = 0$ 。

例子： $𝕜 [x_{1}, \dots, x_{n}]$ 的极大理想与点的对应在代数闭域成立。

素谱： $Spec (R)$ 的点是素理想；闭集由 $V (I) = {𝔭 ∣ I \subseteq 𝔭}$ 给出。

包含与拓扑： $I \subseteq J \Rightarrow V (J) \subseteq V (I)$ ；且 $\sqrt{I} = ⋂_{𝔭 \in V (I)} 𝔭$ 。

初等理想支撑：模块的支撑集由其零化子与相关素理想描述。

张量与商的兼容： $(R / I) \otimes_{R} M ≅ M / I M$ ；与模块化商对应。

Ext 与 Tor 预告：理想与商与导出函子联系，刻画正合与障碍。

局部环中的理想：在局部环 $(R, 𝔪)$ 中，极大理想 $𝔪$ 控制点态。

值群视角：赋值环的主理想由值的阈值描述； $𝔪 = (t)$ 在 $𝕜 [[t]]$ 。

幂零与根式关系：理想的根式捕捉幂零现象的“极限闭包”。

支撑与闭包： $Supp (M)$ 与 $V (Ann (M))$ 的关系。

小结：理想组织“被乘吸收”的方向，商环将等价元粘合；素与极大理想连通代数与几何的桥梁。

表格