理想與商環

本節圍繞理想的定義、類型與運算，以及商環的構造與性質，建立與譜、極大/素理想的聯繫。

定義：理想 $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)$