整除性與素理想

1. 整除性與不可約元

1.1 整除關係

設 $R$ 是整環， $a,b\in R$ 。稱 $a$ 整除 $b$ （記作 $a\mid b$ ），如果存在 $c\in R$ 使 $b=ac$ 。 基本性質：

自反性： $a\mid a$ 。
若 $a\mid b$ 且 $b\mid c$ ，則 $a\mid c$ 。
與單位的關係： $u$ 為單位則 $u\mid a$ 且 $a\mid ua$ 。
等價關係（相伴）： $a\sim b$ 若存在單位 $u$ 使 $b=ua$ 。

1.2 不可約元與素元

不可約元： 非零非單位的 $\pi \in R$ 若僅能分解為單位相伴的乘積，則稱為不可約。 素元： 非零非單位的 $p\in R$ 若對任意 $a,b\in R$ 有 $p\mid ab\Rightarrow p\mid a$ 或 $p\mid b$ ，則稱為素元。在 UFD 中：不可約 ⇔ 素元。在一般整環中：不可約不必是素元（例如 $\mathbb {Z} [{\sqrt {-5}}]$ ）。

表1：不可約與素元的對照

環	不可約 ⇒ 素元？	說明
$\mathbb {Z}$	是	UFD，質數即素元
$k[x]$	是	UFD，不可約多項式為素元
$\mathbb {Z} [{\sqrt {-5}}]$	否	$2,3,1\pm {\sqrt {-5}}$ 構成分解反例
$k[x,y]$	是	UFD
一般整環	不定	需額外條件（如GCD、UFD）

2. 素理想與整除

2.1 素理想的定義

設 ${\mathfrak {p}}\subsetneq R$ 是理想。稱 ${\mathfrak {p}}$ 為素理想，如果對任意 $a,b\in R$ ，當 $ab\in {\mathfrak {p}}$ 時， $a\in {\mathfrak {p}}$ 或 $b\in {\mathfrak {p}}$ 。等價刻畫： $R/{\mathfrak {p}}$ 是整環。

2.2 素理想與素元

若 $p\in R$ 為素元，則主理想 $(p)$ 為素理想。反之不一定成立（除非 $R$ 是主理想整環或 UFD 並滿足額外條件）。

表2：素理想與主理想的關係

環	條件	結論
PID	任意非零素理想為主理想	素理想 = 主理想 = $(p)$
UFD	素元存在充足	$(p)$ 為素理想
一般整環	主理想可能非素	需檢驗 $R/(p)$ 是否整環

3. 唯一分解、GCD 與分解理論

3.1 唯一分解整環（UFD）

在 UFD 中，每個非零非單位元可以分解為不可約元的乘積且分解在相伴與順序下唯一。重要性質：

不可約 ⇔ 素元。
質因子唯一性。
$R[x]$ 保持 UFD（當 $R$ 為 UFD）。

3.2 GCD 與整除結構

在 GCD 整環中，任意兩元 $a,b$ 存在最大公因子 $\gcd(a,b)$ ，且滿足：

若 $d\mid a$ 且 $d\mid b$ ，則 $d\mid \gcd(a,b)$ 。
存在 $x,y$ 使 $\gcd(a,b)$ 整除 $ax+by$ （在歐幾里得環中可取等式）。

在 PID/歐幾里得環中可用擴展歐幾里得算法。

表3：UFD/GCD/PID 的對照

類型	定義要點	典型例子	性質
PID	理想主生成	$\mathbb {Z} ,k[x]$	UFD，GCD存在
UFD	唯一分解	$k[x_{1},\dots ,x_{n}]$	不可約=素元
GCD整環	兩元有最大公因子	某些子環	不必是PID

4. 素理想、零因子與整閉

4.1 零因子與素理想

若 ${\mathfrak {p}}$ 為素理想，則 $R/{\mathfrak {p}}$ 無零因子。若 $I$ 非素，則 $R/I$ 可能出現零因子（例如 $k[x,y]/(xy)$ ）。

4.2 根式與素分解

對理想 $I$ ，根式 ${\sqrt {I}}=\{r\in R:r^{n}\in I{\text{ for some }}n\}$ 。在 Noether 環中，每個理想有初等分解，其根式可分解為素理想的交： ${\sqrt {I}}=\bigcap _{j=1}^{m}{\mathfrak {p}}_{j}$ 。

表4：零因子與素理想的對應

商環	零因子出現？	素理想條件
$R/{\mathfrak {p}}$	否	${\mathfrak {p}}$ 素
$R/I$	可能	$I$ 非素
$k[x,y]/(xy)$	是	$(x),(y)$ 為極大/素理想的提升

5. 幾何視角：素譜與閉集

5.1 Zariski 拓撲與閉集

在 $\mathrm {Spec} (R)$ 上定義閉集為 $V(I)=\{{\mathfrak {p}}:I\subseteq {\mathfrak {p}}\}$ 。重要等式： $V(IJ)=V(I)\cup V(J)$ ， $V(I\cap J)=V(I)\cup V(J)$ ， $V({\sqrt {I}})=V(I)$ 。

5.2 一般點與閉點

在 $k[x,y]$ 的譜中：

閉點對應極大理想 $(x-a,y-b)$ 。
一般點對應 $\{0\}$ 。
余維 1 的素理想對應不可約多項式的主理想 $(f)$ 。

表5： $\mathrm {Spec} (R)$ 的基本閉集運算

運算	理想層面	譜層面
並	$I\cap J$	$V(I\cap J)=V(I)\cup V(J)$
積	$IJ$	$V(IJ)=V(I)\cup V(J)$
根式	${\sqrt {I}}$	$V({\sqrt {I}})=V(I)$

6. 局部化下的整除與素性

6.1 局部化與素理想的像

對乘法集 $S\subseteq R$ ，局部化 $S^{-1}R$ 中的素理想與滿足 ${\mathfrak {p}}\cap S=\varnothing$ 的 ${\mathfrak {p}}\subseteq R$ 一一對應。映射： ${\mathfrak {p}}\mapsto S^{-1}{\mathfrak {p}}$ ，其逆為 ${\mathfrak {q}}\mapsto \{r\in R:r/1\in {\mathfrak {q}}\}$ 。

6.2 整除關係的保持

在局部化中：若 $a\mid b$ 於 $R$ ，則 $a/1\mid b/1$ 於 $S^{-1}R$ 。反之不一定成立，除非 $a$ 的某個因子在 $S$ 中成為單位。

表6：局部化下的性質保持

性質	在 $R$ 中成立？	在 $S^{-1}R$ 中保持？
整除關係	是	是
素理想與閉集對應	是	條件對應（需 ${\mathfrak {p}}\cap S=\varnothing$ ）
UFD 性質	可能	不總保持（視 $S$ ）
零因子消失	否	可能消失（若零因子被倒數化）

7. 中國剩餘與整除結構

7.1 互素理想與分解

若 $I+J=R$ ，則 $I\cap J=IJ$ ，且有同構 $R/(I\cap J)\cong R/I\times R/J$ 。整除層面：對 $a\in R$ ，在互素分量上的像獨立決定 $a$ 的整除性質。

表7：互素理想分解的整除性解讀

情形	結論	直覺
$I+J=R$	$V(IJ)=V(I)\cup V(J)$	零點集並
商到積	$R/(I\cap J)\cong R/I\times R/J$	分量獨立
主理想分解	$(ab)=(a)(b)$	因子分解對應理想乘積

8. 例子與對照

8.1 經典反例： $\mathbb {Z} [{\sqrt {-5}}]$

在環 $\mathbb {Z} [{\sqrt {-5}}]$ 中，存在分解非唯一： $6=2\cdot 3=(1+{\sqrt {-5}})(1-{\sqrt {-5}})$ 。其中 $2,3,1\pm {\sqrt {-5}}$ 均不可約，但不可約≠素元。理想層面的補救：使用理想的素分解而非元素分解。

表8：反例中的理想視角

元素層面	問題	理想層面修正
不可約不素	分解不唯一	使用素理想分解
GCD 不穩定	無統一最大公因子	用理想和包含格
乘法複雜	元素級乘法不適合	過渡到理想乘積與根式

9. 進一步方向

9.1 Dedekind 域與理想唯一分解

在 Dedekind 域中，每個非零理想唯一分解為素理想的乘積，彌補元素分解失敗的缺陷。應用：代數數論中的素理想分解、分歧與慣性。

9.2 Krull 域與估值

Krull 域提供一般化的唯一分解理論，通過高度一素理想與估值來刻畫分解結構。

表9：域類型與分解性質總覽

類型	元素分解	理想分解	代表例子
UFD	唯一	簡單	$\mathbb {Z} ,k[x]$
Dedekind 域	可能失敗	唯一（理想）	代數數域整數環
Krull 域	複雜	通過高度一素理想	更一般的整環