整除性与素理想

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 域	复杂	通过高度一素理想	更一般的整环