笔记2.环论初探

2026/3/19 线代数学

意外在习题课被灌注了环论，那就稍微整整（

我们可以在开篇给出大概的内容，只需要一行：

域 (Field) $\subset$ED$\subset$PID$\subset$UFD$\subset$ 整环 (Integral Domain)

接下来，让我们 $copy$ 上一篇笔记环的定义：

形式定义：

设 $R$是一个非空集合，在其上定义了两个二元运算：加法（记作$+$）和乘法（记作 $\cdot$）。如果满足以下三个条件，则称 $(R, +, \cdot)$ 为一个环：

I. 加法成交换群（阿贝尔群）

结合律：$(a + b) + c = a + (b + c)$
交换律：$a + b = b + a$3. 单位元（零元）：存在$0 \in R$，使得对任何 $a \in R$，有 $0 + a = a$。
逆元（负元）：对任何 $a \in R$，存在 $-a \in R$，使得 $a + (-a) = 0$。

II. 乘法成半群

结合律：$(a \cdot b) \cdot c = a \cdot (b \cdot c)$注意：基础环的定义并不强制要求乘法满足交换律，也不强制要求有乘法单位元（单位元$1$）。

III. 分配律

乘法对加法满足左、右分配律：

$a \cdot (b + c) = (a \cdot b) + (a \cdot c)$2.$(a + b) \cdot c = (a \cdot c) + (b \cdot c)$

我们不难对整数和多项式验证如上的性质。但是我们发现他们有一些更加美妙的性质，例如乘法的交换律，对于这样的环，称为交换环。尽管不知所以然，我们看到加法有单位元，乘法并没有要求，但是整数和多项式都有单位元，这样的环叫做幺环，因为单位元也可以叫幺元。

在整数和多项式环我们还有消去律，如果 $ab=ac$并且大家都非零，那么有$b=c$。但是这并不总是成立，就像矩阵，两个非零的矩阵也可以乘出零。我们定义零因子，如果存在一个非零的$b$使得$ab=0$，则称$a$是一个左零因子，类似有右零因子。在我们通常讨论的交换环中，左零因子和右零因子是一回事，统称为零因子。根据标准定义，零元素$0$ 本身通常不被讨论为零因子（或者在某些体系中被称为“平凡零因子”）。如果没有零因子，那么我们就可以放心地使用消去律。

如果一个环同时是交换环，幺环，并没有非平凡零因子，我们就称是一个整环(Integral Domain),也许正是因为他们拥有类似整数的性质。

那对应的素数呢，我们定义可逆元为有逆元的元素，这也被称为单位(unit)。

Irreducible (不可约元)：

一个非零、非 Unit 的元素 $p$ 被称为不可约元，如果它满足：

如果 $p = ab$，那么 $a$和$b$ 中必有一个是 Unit。

看看多项式环 $F[x]$ 的例子：

$5$(非零常数)：是 Unit（因为在域里有逆元$1/5$）。
$x + 1$：是 不可约元。
$x^2 - 1$：是 可约元，因为它能拆成 $(x+1)(x-1)$，且这两个因子都不是 Unit。

为了处理 Unit 带来的干扰，我们引入了“相伴”：如果 $a = u \cdot b$（$u$是 Unit），我们称$a$和$b$相伴。在不可约分解时，我们认为相伴的元素是“同一种砖块”。比如在$\mathbb{Z}$ 里，$2$和$-2$是一回事；在$\mathbb{Q}[x]$ 里，$x+1$和$2x+2$ 也是一回事。

此外，我们还有素元。

在一个整环 $R$中，一个非零、非 Unit 的元素$p$被称为 素元 (Prime)，如果它满足以下条件： 若$p$整除两个元素的乘积$ab$（即 $p \mid ab$），则必有 $p \mid a$或$p \mid b$

这和不可约元非常像啊，区别在哪呢。

不可约元 关注的是 “能不能拆分”（原子的视角）。
素元关注的是 “能不能整除”（传播的视角）。
在任何整环里：素元 $\implies$ 不可约元。
- 证明思路：如果素元 $p=ab$，那么根据定义 $p \mid ab \implies p \mid a$或$p \mid b$。假设 $p \mid a$，由于 $a$也是$p$ 的因子（$a \mid p$），你会发现 $a$和$p$只能是相伴关系，这意味着$b$必须是个 Unit。所以$p$ 不可约。
反之不然！ 存在某些诡异的整环，里面的元素不可约，但不是素元。

考虑 $\mathbb{Z}[\sqrt{-5}]$，即整数加上$\sqrt{-5}$ 。

在这个环里，数字 $6$ 有两种分解方式：

$$ 6 = 2 \times 3 = (1 + \sqrt{-5})(1 - \sqrt{-5}) $$

这里 $2$ 是不可约的（你没法把它拆成更小的“整数”）。
但 $2$ 不是素元！
为什么？因为 $2 \mid (1 + \sqrt{-5})(1 - \sqrt{-5})$，但你会发现 $2$既不能整除$1 + \sqrt{-5}$，也不能整除 $1 - \sqrt{-5}$。

那能不能进一步构造出我们熟悉的有理数，实数呢，这对应分式域和数域。

域

A. 加法群结构

$(F, +)$ 是一个阿贝尔群。也就是说：

加法结合律、交换律成立。
存在单位元 $0$。
每个元素 $a$都有负元素$-a$。

B. 乘法群结构（关键区别！）

_去掉零元素后的集合 $F = F \setminus {0}$ 对乘法构成一个阿贝尔群*。

这意味着：

乘法结合律、交换律成立。
存在单位元 $1$ ($1 \neq 0$)。
核心： 每个非零元 $a$都有逆元$a^{-1}$，使得 $a \cdot a^{-1} = 1$。

C. 分配律

乘法对加法满足分配律：$a(b+c) = ab + ac$。

简洁定义：域就是一个每一个非零元都可逆的交换环。或者说，域是一个非平凡的整环，且每个非零元都有逆元。

可以看到，域就和实数很像了。对于中间的有理数，我们定义分式域。

想要把整环 $D$变成域$F$，本质上是要给每一个非零元素 $a \in D$强行定义一个逆元$a^{-1}$。

分式域

第一步：定义集合

我们考虑所有形如 $(a, b)$的二元组，其中$a, b \in D$且$b \neq 0$。你可以把它直观地理解为分数 $\frac{a}{b}$。

第二步：定义等价关系

为什么 $\frac{1}{2}$和$\frac{2}{4}$是同一个数？因为$1 \times 4 = 2 \times 2$。

所以在整环里，我们规定：$(a, b) \sim (c, d)$ 当且仅当 $ad = bc$。

注意：这里必须是整环！如果是普通交换环，这个等价关系可能不满足传递性。

第三步：定义运算

加法：$\frac{a}{b} + \frac{c}{d} = \frac{ad + bc}{bd}$
乘法：$\frac{a}{b} \cdot \frac{c}{d} = \frac{ac}{bd}$由于整环没有零因子，所以$b \neq 0, d \neq 0 \implies bd \neq 0$，这保证了运算是封闭且良定义的。

那接下来，无理数怎么办，我们从环开始扩张，加入无理数。

扩环

设 $R$是一个环。如果存在另一个环$S$，满足以下两个条件，我们就称 $S$是$R$的一个扩环（或者说$R$是$S$ 的一个子环）：

包含关系：$R$作为集合是$S$的一个子集（即$R \subseteq S$）。
运算一致性：$R$里的加法和乘法运算，必须和$S$ 里的加法和乘法运算完全一致。
单位元一致性（通常要求）：如果 $R$有单位元$1_R$，那么 $S$的单位元$1_S$必须满足$1_S = 1_R$。

通常我们将这种扩张关系记作 $S/R$ 。
扩环常见的有下面三种情况。

A. 伴随扩张 (Adjunction)

在 $R$里随便找个它原本没有的元素$\alpha$（比如在 $\mathbb{Z}$里加个$\sqrt{2}$），然后构造包含 $R$和$\alpha$ 的最小的环，记作 $R[\alpha]$。

例子：$\mathbb{Z}[\sqrt{2}] = { a + b\sqrt{2} \mid a, b \in \mathbb{Z} }$。

B. 多项式扩张

给环 $R$加上一个不确定变元$x$，构造多项式环 $R[x]$。这是一个巨大的扩环，里面装满了所有以 $R$ 为系数的多项式，喵。

C. 商扩环

先构造一个多项式环 $R[x]$，然后再商掉一个理想 $I$。至于什么是商、理想，一会说。

现在我们准备开始做一些研究了，正如笔记1所言，大概的主线是因数分解，Bezout定理，带余除法。

先定义一些东西（

理想

记 $R$ 是一个整环。
称 $J\in R$是一个理想(ideal)，若$J$是$R$的子环，且$\forall a \in R, b\in J, ab\in J$。也就是$J$有吸收性，$R$的元素和$J$的元素一乘就进$J$了，同时$J$的元素运算封闭在$J$中。$J$ 像个黑洞（

也有一个集合生成的理想。 $S\in R$是一个集合，称$(S)$为$S$ 生成的理想，这里

$$ (S)=\bigcap_{J是理想，S\subset J} J $$

可以把它想象成一个以 $S$ 为“种子”进行扩张，直到满足理想所有封闭性条件的最小容器。

命题

如果 $R$ 是一个交换环，$S$是$R$的一个子集，那么由$S$生成的理想$\langle S \rangle$ 定义为：

$$ \langle S \rangle = \left\{ \sum_{i=1}^{n} r_i s_i \mid n \in \mathbb{N}, r_i \in R, s_i \in S \right\} $$

也就是说，它是 $S$中元素的有限线性组合，其中系数$r_i$来自环$R$。
为什么？

逻辑推演：为了“理想化”我们必须做什么？

第一步：为了满足“吸入性”

既然 $I$要包含$S$里的每个元素$s_i$，那么根据理想的乘法吸入性，对于任何 $r \in R$，产品 $r \cdot s_i$ 就必须也在这个理想里。

这一步产生了所有形如 $rs$ 的项。

第二步：为了满足“加法封闭性”

既然所有的 $r_i s_i$ 都已经被迫进到理想里了，那么根据加法封闭性，把它们加起来的结果也必须在里面。

于是，所有的有限和 $\sum r_i s_i$ 就被强行纳入了范围。

第三步：验证完备性

你会发现，如果你把两个这样的线性组合加起来，结果还是这种形式；如果你拿一个 $r \in R$ 去乘这样一个线性组合，结果（根据分配律）依然是这种形式。

这说明，这个集合已经自洽了。它就是包含 $S$ 的那个“最小黑洞”。

特殊情况：主理想

如果集合 $S$只有一个元素${a}$，那么生成的理想就变成了：

$$ \langle a \rangle = \{ r \cdot a \mid r \in R \} $$

商环

设 $R$ 是一个环，$I$是$R$的一个理想 (Ideal)。我们定义$R$对$I$的商环，记作$R/I$，它是满足以下条件的代数结构：

A. 集合构成

$R/I$作为集合，是$R$关于加法子群$I$ 的所有陪集 (Coset) 的集合：

$$ R/I = \{ a + I \mid a \in R \} $$

这里 $a+I$表示集合${ a + i \mid i \in I }$。可以把它理解为：在 $R/I$的世界里，所有和$a$ 相差一个理想元素的数，都被看作是同一个点。

B. 运算定义

为了让这个集合也变成一个“环”，我们必须定义它的加法和乘法：

加法：$(a + I) + (b + I) = (a + b) + I$
乘法：$(a + I) \cdot (b + I) = (ab) + I$> 核心逻辑：之所以这两个运算是“良定义的”（Well-defined），完全是因为$I$ 是一个理想。无论你选谁当代表元，算出来的余数类都是唯一的。

商环在干什么？

商环 = 原环 + “强行规定 $I$ 里的东西都是零”。

在 $R/I$ 中：

零元是 $0 + I$（也就是理想 $I$ 本身）。
单位元是 $1 + I$。
如果 $a \in I$，那么在商环里 $a + I = 0 + I$。也就是说，$I$ 里的所有元素都在商环里坍缩成了一个点——零点，喵。

一个类比是模运算，商环就是代数里的 “模运算”高级版。它把一个无限的、复杂的环，按照理想 $I$ 的规则进行分类，最后剩下的就是这个环最核心的骨架。

想象你在处理小时钟（模 12 运算）。

在整数环 $\mathbb{Z}$里，如果我们取理想$I = 12\mathbb{Z}$（所有 12 的倍数）。

那么 $1 + I$是什么？$1 + I = { \dots, -11, 1, 13, 25, \dots }$

在这个集合里，装的都是“除以 12 余 1”的数。

在商环 $\mathbb{Z}/12\mathbb{Z}$ 里：

我们不再关心 1 和 13 是不同的数。
我们直接把这整个集合 $1 + I$ 叫做“1”。
如果你拿 $13$去算，它属于$13 + I$。但你会发现 $13+I$和$1 + I$ 其实是同一个集合。

商环能干什么

例如

构造域：

如果你想要一个有 $\sqrt{-1}$的域，你只需要拿多项式环$\mathbb{R}[x]$商掉理想$\langle x^2+1 \rangle$。

$$ \mathbb{C} \cong \mathbb{R}[x] / \langle x^2+1 \rangle $$

在这个商环里，$x^2+1$变成了零，所以$x^2 = -1$，虚数 $i$ 就这样诞生了（
类似地可以扩张环。

唯一分解整环(UFD)——因数分解

UFD 的定义

一个整环 $R$ 被称为 唯一分解整环，如果它满足以下两个条件：

分解存在性：

每一个非零、非可逆元（non-unit）的元素 $a$，都可以写成有限个不可约元（irreducible）的乘积：

$$ a = p_1 p_2 \dots p_n $$

**分解唯一性：

如果同一个元素有另一种分解方式 $a = q_1 q_2 \dots q_m$，那么必有 $n = m$，且经过适当的重排后，每一个 $p_i$都与对应的$q_i$ 相伴 (Associate)。

所谓“相伴”，就是差一个 Unit（比如 1 或 -1）。在 UFD 里，$6 = 2 \times 3$和$6 = (-2) \times (-3)$ 被视为同一种分解。

性质

不可约元推导素元 (Irreducible $\implies$ Prime)

在一般的整环中，“素元 $\implies$不可约元”始终成立，但反之（不可约元$\implies$ 素元）通常不成立。但在 UFD 中，这两者是等价的。

证明思路

设 $p \in R$是一个不可约元。我们要证明：若$p \mid ab$，则 $p \mid a$或$p \mid b$。

假设 $p \mid ab$，则存在 $c \in R$使得$ab = pc$。
由于 $R$是 UFD，我们可以将$a, b, c$ 分别写成不可约元的乘积形式：
- $a = a_1 a_2 \dots a_n$-$b = b_1 b_2 \dots b_m$-$c = c_1 c_2 \dots c_k$
代入等式得：$(a_1 \dots a_n)(b_1 \dots b_m) = p(c_1 \dots c_k)$。
根据 UFD 的唯一性，等式左侧的所有不可约因子在相伴（associate）意义下必须等于等号右侧的因子。
由于 $p$是右侧的一个不可约因子，它必然与左侧的某个$a_i$或$b_j$ 相伴。
如果 $p \sim a_i$，则 $p \mid a$；如果 $p \sim b_j$，则 $p \mid b$。
因此，$p$ 是素元。

结论： 在 UFD 中，元素是否能被分解只取决于它是否为素元，这消除了不可约元与素元之间的界限。

2. 最大公因数 (GCD) 的存在性

在 UFD 中，任意两个非零元素 $a, b$ 的 GCD 总是存在的（在相伴意义下唯一）。

构造方法

利用 UFD 的分解特性，我们可以通过“指数取极小值”的方法找到 GCD：

列出 $a$和$b$分解式中出现的所有非相伴的素元（不可约元）集合${p_1, p_2, \dots, p_k}$。
将 $a$和$b$ 写成统一形式：

$$ a = u \cdot p_1^{e_1} p_2^{e_2} \dots p_k^{e_k} $$

$$ b = v \cdot p_1^{f_1} p_2^{f_2} \dots p_k^{f_k} $$

（其中 $u, v$ 是单位，$e_i, f_i \ge 0$）

定义 $d = p_1^{\min(e_1, f_1)} p_2^{\min(e_2, f_2)} \dots p_k^{\min(e_k, f_k)}$。
这个 $d$即为$a$和$b$的最大公因数，记作$\gcd(a, b)$。

注意事项

不一定能写成线性组合： 虽然 GCD 在 UFD 中存在，但裴蜀等式（即存在 $x, y$使得$ax + by = d$）在 UFD 中不一定成立。
裴蜀等式成立的充要条件是该环为 PID（主理想整环）。例如在 UFD $\mathbb{Z}[x]$ 中，$\gcd(2, x) = 1$，但你找不到多项式 $f(x), g(x)$满足$2f(x) + xg(x) = 1$。

3.高斯引理

若 $R$是一个唯一分解整环（UFD），则其多项式环$R[x]$ 也是一个 UFD。
这需要用到笔记1末尾证明的高斯引理：两个本原多项式的积还是本原多项式。

1. 分式域 $F$ 的介入

我们要证明 $R[x]$是 UFD，但直接在$R[x]$ 里搞很难受。

设 $F$是$R$的分式域（比如$\mathbb{Z}$对应的$\mathbb{Q}$）。
我们知道 $F$是一个域，从而$F[x]$ 必然是 UFD。
核心思路：把 $R[x]$里的多项式丢到$F[x]$里去分解，然后再利用高斯引理拉回到$R[x]$ 里！

2. 分解的存在性

我们要证明 $R[x]$里的任何非零、非可逆元$f(x)$ 都能拆成不可约元的积。

提取内容 (Content)：$f(x) = c \cdot f_1(x)$，其中 $c \in R$ 是系数的最大公约数，$f_1(x)$ 是本原多项式。
分解 $c$：因为 $R$是 UFD，所以常数$c$可以唯一分解为$R$ 里的不可约元乘积。
分解 $f_1(x)$：
- 把 $f_1(x)$看作$F[x]$里的元素。因为$F[x]$是 UFD，它能分解成$F[x]$ 里的不可约元：$f_1(x) = q_1(x) \dots q_k(x)$。
- 通过清理分母和提取常数，我们可以把每个 $q_i(x)$变成$R[x]$里的本原多项式$p_i(x)$。
- 此时 $f_1(x) = u \cdot p_1(x) \dots p_k(x)$，其中 $u \in F$。
- 关键点：由于 $f_1$和所有$p_i$都是本原的，根据高斯引理，它们的积也是本原的。这意味着那个系数$u$必须是$R$ 里的一个 Unit。
结论：存在性得证！

3. 分解的唯一性

这是最体现“素元”价值的地方。在 UFD 里，证明唯一性的等价条件是证明：“不可约元一定是素元”。

我们需要证明 $R[x]$中的不可约元$p(x)$ 是素元。分两种情况：

情况 A：$p(x) = p$是$R$ 中的不可约元。

利用商环法：$R[x] / \langle p \rangle \cong (R/\langle p \rangle)[x]$。因为 $R$是 UFD，所以$p$在$R$里是素元，从而$R/\langle p \rangle$是整环，进一步多项式环也是整环。所以$p$在$R[x]$ 里是素元。
情况 B：$p(x)$是次数$\ge 1$ 的本原不可约多项式。

利用高斯引理：如果 $p(x) \mid g(x)h(x)$，通过高斯引理可以推导出在 $F[x]$中$p(x)$也是不可约的（也就是素元）。那么在$F[x]$中$p(x)$必整除$g(x)$或$h(x)$。再利用一次高斯引理拉回 $R[x]$，证明它在 $R[x]$ 里也整除其中之一。

主理想整环(PID)——Bezout定理

PID 的定义

一个整环 $R$ 被称为主理想整环，如果它满足：

$R$中的每一个理想$I$ 都是主理想。

也就是说，对于任何理想 $I \subseteq R$，你总能找到一个元素 $a \in I$，使得：

$$ I = \langle a \rangle = \{ ra \mid r \in R \} $$

AI的神秘比喻：想象一下，一个理想本来可以包含奇奇怪怪的一大堆生成元，但在 PID 里，这些乌合之众总能被一个“带头大哥”给代表了。这种极其简约的结构，让很多复杂的命题变得易如反掌，喵！

环 R	是否为 PID	理由
整数环 $\mathbb{Z}$	是	每个理想都是 $n\mathbb{Z}$ 这种形式。
域上的多项式环 $F[x]$	是	只要系数在域里，你可以用带余除法找到那个唯一的生成元。
高斯整数 $\mathbb{Z}[i]$	是	它是 ED，而 ED 必然是 PID。
多项式环 $\mathbb{Z}[x]$	不是！	理想 $\langle 2, x \rangle$需要两个生成元，你找不到一个多项式能同时生成 2 和$x$

性质

Bezout定理

证明步骤：构造理想

我们要证明：对于 $R \in \text{PID}$中的任意非零元素$a, b$，存在 $u, v \in R$使得$ua + vb = \gcd(a, b)$。

第一步：构造一个理想 $I$考虑集合$I = { ra + sb \mid r, s \in R }$。

验证理想性质：
1. 加法封闭：$(r_1 a + s_1 b) + (r_2 a + s_2 b) = (r_1+r_2)a + (s_1+s_2)b$，仍在 $I$ 中。
2. 乘法吸入：对于任何 $k \in R$，$k(ra + sb) = (kr)a + (ks)b$，也在 $I$ 中。
所以，$I$是环$R$ 的一个理想，喵。

第二步：利用 PID 的定义

因为 $R$是 PID，所以理想$I$ 必须是由单个元素生成的。

这意味着存在某个 $d \in R$，使得：

$$ I = \langle d \rangle $$

既然 $d \in I$，根据 $I$的构造定义，它一定可以写成$a$和$b$ 的某种线性组合：

$$ d = ua + vb \quad (\text{对于某些 } u, v \in R) $$

第三步：证明这个 $d$ 就是 GCD

$d$ 是公约数：

由于 $a = 1 \cdot a + 0 \cdot b \in I$且$b = 0 \cdot a + 1 \cdot b \in I$，而 $I = \langle d \rangle$，这意味着 $a$和$b$都是$d$ 的倍数。即 $d \mid a$ 且 $d \mid b$。
$d$ 是“最大”的：

设 $c$是$a, b$的任意一个公约数（即$c \mid a$且$c \mid b$）。

那么 $c$必然能整除它们的任何线性组合。既然$d = ua + vb$，那么 $c \mid d$。

在代数里，能被所有公约数整除的那个公约数，就是最大公约数 (GCD)！

欧几里得整环(ED)

并不是那个ED（

习题课飞快地告诉了我们结论，并证明了0件事，所以整篇笔记可以说骨架由助教给出，但它的血肉基本都约等于我自己看的(和AI交互所得)，但是功利地，感觉没什么用，主要是而且还有其他ddl，故不多花时间在ED。

以下几乎纯AI，但我感觉质量还行。

ED 的定义

一个整环 $R$被称为欧几里得整环，如果它上面定义了一个“规模函数”$d: R \setminus {0} \to \mathbb{N}$（通常称为欧几里得范数），且满足以下两个硬指标：

单调性：对于任意非零 $a, b \in R$，有 $d(a) \le d(ab)$。
带余除法：对于 $R$中的任何$a$和非零$b$，一定存在 $q, r \in R$（商和余数），使得：

$$ a = bq + r $$

其中，要么 $r = 0$，要么 $d(r) < d(b)$。

ED 的灵魂就在于这个 $d(r) < d(b)$。它保证了当你不断做除法时，余数的“规模”会不断减小，最终必然会停在零上。这就是为什么在 ED 里我们可以玩辗转相除法。

环的级别	核心能力	缺失的遗憾
UFD	分解唯一性	理想可能很杂乱，没有 Bezout 定理。
PID	UFD + Bezout	虽然理想整齐，但做除法不一定有余数。
ED	PID + 带余除法	几乎完美，是计算代数的顶峰。

ED推PID

ED ⇒ PID 的本质：用“最小余数”选出理想生成元。

证明

设 $R$是一个 ED，取任意一个非零理想$I \subseteq R$。

我们要证明：$I$ 是主理想。

第一步：选“最小元素”

由于 $I \neq {0}$，且欧几里得函数 $d$取值在$\mathbb{N}$，可以在 $I \setminus {0}$中选一个元素$a$，使得：

$$ d(a)=min⁡\{d(x)∣x∈I,x≠0\} $$

👉 这是整个证明的核心：用“大小”把理想钉住。

第二步：证明 $I = \langle a \rangle$

我们要证明两个包含：

(1) $\langle a \rangle \subseteq I$显然成立，因为$a \in I$，而理想对乘法吸收。

(2) $I \subseteq \langle a \rangle$任取$b \in I$，用 ED 的带余除法：

$b=aq+r$,其中$r=0$或$d(r)<d(a)b = aq + r$,

注意：

$b \in I$-$aq \in I$（理想吸收）

所以：

$r=b−aq∈I$

第三步：用“最小性”杀掉余数

如果 $r \neq 0$，那么：

$d(r)<d(a)$但这和$a$ 的最小性矛盾。

所以只能有：

$r=0$也就是说：$b=aq∈⟨a⟩$

结论

$I=⟨a⟩$

一句话总结

ED 之所以强，是因为它允许你对理想做“辗转相除”，最终压缩成一个生成元。

中国剩余定理（CRT）

现在我们进入一个非常漂亮的结构性结果：

CRT = 把一个环拆成若干“互不干扰”的部分。

基本版本（两个理想）

设 $R$ 是一个交换环，$I, J$是两个理想，且满足：$I+J=R$

（称为互素理想）

那么有：

$R/(I∩J)≅R/I×R/J$

在整数里的直观版本

取 $R = \mathbb{Z}$，$I = (m)$，$J = (n)$。

若 $\gcd(m,n)=1$，那么：

$Z/mnZ≅Z/mZ×Z/nZ$

映射是怎么来的？

定义：

$φ:R→R/I×R/J$

$φ(a)=(amodI, amodJ)$

👉 就是“同时看两个模”。

核心问题：它为什么是同构？

我们分三步看：

1. 同态性（显然）

加法、乘法都逐分量成立。

2. 核（kernel）

$kerφ={a∣a∈I 且 a∈J}=I∩J$

3. 满射（最关键）

我们要证明：

给定 $(a \bmod I,\ b \bmod J)$，存在 $x \in R$ 同时满足：

$x≡a (modI),x≡b (modJ)$

构造解（灵魂步骤）

因为 $I + J = R$，存在：

$u∈I, v∈J,u+v=1$构造：$x=av+bu$

检查：

模 $I$：
$u \in I \Rightarrow bu \equiv 0$，
$v \equiv 1$⇒$x \equiv a$- 模$J$：
同理 $x \equiv b$

结论