理想与商环

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

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

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

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

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

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

同态第一定理：任意同态 $\varphi :R\to S$ 因子化为 $R\xrightarrow {\pi } R/\ker \varphi \xrightarrow {\tilde {\varphi }} \operatorname {Im} \varphi$ 。

素理想：真理想 ${\mathfrak {p}}$ 满足 $ab\in {\mathfrak {p}}\Rightarrow a\in {\mathfrak {p}}\ {\text{或}}\ b\in {\mathfrak {p}}$ 。

极大理想：不包含于任何更大的真理想；商 $R/{\mathfrak {m}}$ 为域。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

例子： $\mathbb {Z} /n\mathbb {Z}$ ；当 $n=6$ 时， $\mathbb {Z} /6\cong \mathbb {Z} /2\times \mathbb {Z} /3$ 。

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

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

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

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

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

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

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

局部环中的理想：在局部环 $(R,{\mathfrak {m}})$ 中，极大理想 ${\mathfrak {m}}$ 控制点态。

值群视角：赋值环的主理想由值的阈值描述； ${\mathfrak {m}}=(t)$ 在 $\mathbb {k} [[t]]$ 。

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

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

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

表格

商环结构	元表示	公理
商元	${\overline {r}}=r+I$	等价类
自然映射	$\pi :R\to R/I$	满射
基本定理	$R/\ker \varphi \cong \operatorname {Im} \varphi$	因子化

素谱拓扑	记号	对应
点	${\mathfrak {p}}\in \operatorname {Spec} (R)$	素理想
闭集	$V(I)$	原像包含
包含	$I\subseteq J$	$V(J)\subseteq V(I)$