§2.4 中国剩余定理

本节学习目标

1. 理解**中国剩余定理（CRT）**的条件（互素理想）和结论（同构于直积）。
2. 掌握 CRT 的构造性证明——如何从 $r_1\in R/I_1,r_2\in R/I_2$ 显式构造 $r\in R$ 使得 $r\equiv r_i(\mathrm{mod}{I}_i)$ 。
3. 理解 CRT 在整数环（经典同余方程组）、多项式环（Lagrange 插值）和域扩张中的应用。
4. 理解 CRT 在代数几何和代数数论中的意义。
5. 能判断 CRT 条件是否满足，并在不满足时识别失败原因。

---

3.2.1 动机

中国剩余定理（Chinese Remainder Theorem, CRT）是交换代数中最优美的定理之一。用一句话概括：在互素条件下，局部信息的直积等价于全局信息。

直觉 CRT 的核心思想

假设你想了解一个环 $R$ 的结构。直接研究 $R$ 可能很复杂。但如果我们能找到两两互素的理想 $I_1,\dots ,I_n$ ，那么 CRT 告诉我们：

$$R/(I_1\cap \cdots \cap I_n)\cong R/I_1\times \cdots \times R/I_n$$

每个 $R/I_j$ 都是 $R$ 的一个"局部"（模去 $I_j$ 后的信息）。CRT 说这些局部信息可以"粘合"成全局信息。

类比：CRT 就像看一幅画——你可以放大每个局部看清细节，CRT 保证这些局部"拼得起来"。

这个定理在以下领域有核心应用：

• 数论：整数模同余方程组的求解（古人就知道的"韩信点兵"问题）。
• 计算机科学：高效大整数算术（Montgomery 算法的基础）。
• 多项式理论：Lagrange 插值的抽象表述。
• 代数几何：粘合概形层的代数原型。
• 代数数论：素理想分解与局部-整体原理。

---

3.2.2 互素理想的回顾

定义 2.4.1 环 $R$ 的两个理想 $I,J$ 称为互素的（coprime），如果 $I+J=R$ 。等价地，存在 $a\in I,b\in J$ 使得 $a+b=1$ 。

注

互素理想的条件比 $I\cap J=\{0\}$ 强得多。对于 $R=\mathbb{Z}$ ，理想 $m\mathbb{Z}$ 和 $n\mathbb{Z}$ 互素当且仅当 $gcd(m,n)=1$ 。

注意：互素是理想之间的关系，不是元素之间的关系。虽然对主理想域 $I=(m),J=(n)$ ， $I+J=(m,n)=(gcd(m,n))$ ，互素等价于 $gcd(m,n)=1$ ，但在一般环中需要直接用 $I+J=R$ 的定义。

互素不等于无交

$I$ 和 $J$ 互素意味着 $I+J=R$ ，但 $I\cap J$ 一般不为零。事实上，CRT 的核心结论之一就是 $I\cap J=IJ$ （[定理]）。

例如 $2\mathbb{Z}$ 和 $3\mathbb{Z}$ 是 $\mathbb{Z}$ 中的互素理想，但 $2\mathbb{Z}\cap 3\mathbb{Z}=6\mathbb{Z}\ne \{0\}$ 。

---

3.2.3 中国剩余定理（两个理想）

定理 2.4.2 设 $I,J$ 是交换环 $R$ 的两个互素理想。则：

(1)$I\cap J=IJ$

(2) 自然环同态

$$\phi :R\to R/I\times R/J,r\mapsto (r+I,r+J)$$

的核为 $I\cap J$ ，且 $\phi$ 是满射。因此

$$R/(I\cap J)\cong R/I\times R/J$$

更精确地， $\ker \phi =I\cap J=IJ$ ，故 $R/IJ\cong R/I\times R/J$ 。

证明

(1) 一般总有 $IJ\subseteq I\cap J$ （因为 $I$ 和 $J$ 都是理想）。反过来，设 $c\in I\cap J$ 。由于 $I+J=R$ ，存在 $a\in I,b\in J$ 使得 $a+b=1$ 。于是

$$c=c\cdot 1=ca+cb.$$

其中 $ca\in J$ （因为 $c\in J$ ）且 $ca\in I$ （因为 $a\in I$ ），即 $ca\in IJ$ 。类似地 $cb\in IJ$ （因为 $c\in I,b\in J$ ）。因此 $c=ca+cb\in IJ$ 。

(2) 核的计算： $\ker \phi =\{r\in R:r\in I\text{ 且 }r\in J\}=I\cap J$ 。

满射性：给定 $(r_1+I,r_2+J)\in R/I\times R/J$ ，由 $I+J=R$ 知存在 $a\in I,b\in J$ 使得 $a+b=1$ 。令 $r=r_{2}a+r_{1}b$ ，则：

• $r-r_1=r_{2}a+r_{1}b-r_1=r_{2}a+r_1(b-1)=r_{2}a-r_{1}a=(r_2-r_1)a\in I$ （因为 $a\in I$ ），故 $r+I=r_1+I$ 。
• $r-r_2=r_{2}a+r_{1}b-r_2=r_2(a-1)+r_{1}b=-r_{2}b+r_{1}b=(r_1-r_2)b\in J$ （因为 $b\in J$ ），故 $r+J=r_2+J$ 。

由 [定理]（环同态基本定理）， $R/\ker \phi \cong \mathrm{im}\phi =R/I\times R/J$ 。 $◻$

注 证明的构造性

CRT 的证明是构造性的：给定 $(r_1+I,r_2+J)$ ，解为 $r=r_{2}a+r_{1}b$ ，其中 $a\in I,b\in J$ 满足 $a+b=1$ 。

注意系数的"反直觉"顺序： $r=r_{2}a+r_{1}b$ ，不是 $r_{1}a+r_{2}b$ 。这是因为我们需要 $r\equiv r_1(\mathrm{mod}I)$ ，所以 $r_1$ 应该乘以 $b$ （ $b\equiv 1(\mathrm{mod}I)$ ，因为 $a+b=1$ 且 $a\in I$ ）。

下面的具体计算例子会清楚地展示这一点。

---

3.2.4 具体计算：CRT 如何构造解

例 整数环中的 CRT（完整计算）

取 $R=\mathbb{Z}$ ，理想 $m_1\mathbb{Z},\dots ,m_n\mathbb{Z}$ 两两互素当且仅当 $m_1,\dots ,m_n$ 两两互质。此时：

$$\mathbb{Z}/(m_1\cdots m_n)\mathbb{Z}\cong \mathbb{Z}/m_1\mathbb{Z}\times \cdots \times \mathbb{Z}/m_n\mathbb{Z}$$

这是经典的数论 CRT：同余方程组

$$x\equiv a_1(\mathrm{mod}{m}_1),\dots ,x\equiv a_n(\mathrm{mod}{m}_n)$$

在 $\mathbb{Z}/(m_1\cdots m_n)\mathbb{Z}$ 中有唯一解。

完整计算示例：求解 $x\equiv 2(\mathrm{mod}3)$ , $x\equiv 3(\mathrm{mod}5)$ , $x\equiv 4(\mathrm{mod}7)$ 。

步骤 1：先解前两个方程。 $I=3\mathbb{Z},J=5\mathbb{Z}$ ，找 $a\in 3\mathbb{Z},b\in 5\mathbb{Z}$ 使得 $a+b=1$ 。

$2\times 3-1\times 5=1$ ，所以 $a=6,b=-5$ 。

$r=r_{2}a+r_{1}b=3\times 6+2\times (-5)=18-10=8$ 。

验证： $8\equiv 2(\mathrm{mod}3)$ ✓， $8\equiv 3(\mathrm{mod}5)$ ✓。

步骤 2：现在 $x\equiv 8(\mathrm{mod}15)$ ， $x\equiv 4(\mathrm{mod}7)$ 。 $I^{\prime }=15\mathbb{Z},J^{\prime }=7\mathbb{Z}$ 。

$15-2\times 7=1$ ，所以 $a^{\prime }=15,b^{\prime }=-14$ 。

$r^{\prime }=4\times 15+8\times (-14)=60-112=-52$ 。

$-52\equiv 53(\mathrm{mod}105)$ 。

验证： $53=17\times 3+2$ （ $53\equiv 2(\mathrm{mod}3)$ ✓）， $53=10\times 5+3$ （ $53\equiv 3(\mathrm{mod}5)$ ✓）， $53=7\times 7+4$ （ $53\equiv 4(\mathrm{mod}7)$ ✓）。

所以 $x=53$ （或等价地 $x\equiv 53(\mathrm{mod}105)$ ）。

例 单位群的分解

CRT 的一个重要推论是单位群的分解。在 $\mathbb{Z}/105\mathbb{Z}$ 中：

$$(\mathbb{Z}/105\mathbb{Z}{)}^{\times }\cong (\mathbb{Z}/3\mathbb{Z}{)}^{\times }\times (\mathbb{Z}/5\mathbb{Z}{)}^{\times }\times (\mathbb{Z}/7\mathbb{Z}{)}^{\times }\cong \mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/4\mathbb{Z}\times \mathbb{Z}/6\mathbb{Z}$$

Euler 函数的积性 $\varphi (105)=\varphi (3)\varphi (5)\varphi (7)=2\times 4\times 6=48$ 由此立刻得到。

一般地，CRT 给出 $(\mathbb{Z}/n\mathbb{Z}{)}^{\times }\cong \prod _{p^k\parallel n}(\mathbb{Z}/p^k\mathbb{Z}{)}^{\times }$ 。这是 Euler 函数积性和中国剩余定理的精确联系。

例 幂等元

CRT 还给出了环的幂等元（idempotent）的完整描述。

设 $R/(IJ)\cong R/I\times R/J$ 。在 $R/I\times R/J$ 中， $(1,0)$ 和 $(0,1)$ 是幂等元（即 $e^2=e$ ）。它们在 $R$ 中的原像给出 $R$ 中的幂等元。

具体例子：在 $\mathbb{Z}/6\mathbb{Z}\cong \mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/3\mathbb{Z}$ 中， $(1,0)$ 对应 $3(\mathrm{mod}6)$ （因为 $3\equiv 1(\mathrm{mod}2)$ 且 $3\equiv 0(\mathrm{mod}3)$ ）， $(0,1)$ 对应 $4(\mathrm{mod}6)$ （因为 $4\equiv 0(\mathrm{mod}2)$ 且 $4\equiv 1(\mathrm{mod}3)$ ）。

验证： $3^2=9\equiv 3(\mathrm{mod}6)$ ✓， $4^2=16\equiv 4(\mathrm{mod}6)$ ✓。

这给出了环分解的另一个视角： $R/IJ$ 有非平凡幂等元当且仅当它可以分解为直积。

---

3.2.5 多项式环中的 CRT

例 多项式插值

取 $R=F[x]$ ， $F$ 为域。设 $f_1,\dots ,f_n\in F[x]$ 两两互素（即 $gcd(f_i,f_j)=1$ 对 $i\ne j$ ）。则

$$F[x]/(f_1\cdots f_n)\cong F[x]/(f_1)\times \cdots \times F[x]/(f_n)$$

这是多项式插值的抽象表述。特别地，取 $f_i=x-a_i$ （ $a_i$ 两两不同），则 $F[x]/(x-a_i)\cong F$ ，CRT 给出：

$$F[x]/\prod _{i=1}^n(x-a_i)\cong F^n$$

这正是 Lagrange 插值定理：给定 $n$ 个点 $(a_i,b_i)$ ，存在唯一的次数 $<n$ 的多项式通过所有这些点。

具体计算：求 $f(x)\in \mathbb{Q}[x]$ 使得 $f(1)=2,f(2)=5,f(3)=10$ （次数 $<3$ ）。

CRT 的构造给出： $f(x)=2\cdot \frac{(x-2)(x-3)}{(1-2)(1-3)}+5\cdot \frac{(x-1)(x-3)}{(2-1)(2-3)}+10\cdot \frac{(x-1)(x-2)}{(3-1)(3-2)}$

$=2\cdot \frac{(x-2)(x-3)}{2}+5\cdot \frac{(x-1)(x-3)}{-1}+10\cdot \frac{(x-1)(x-2)}{2}$

$=(x-2)(x-3)-5(x-1)(x-3)+5(x-1)(x-2)$

展开得 $f(x)=x^2+1$ 。验证： $f(1)=2,f(2)=5,f(3)=10$ ✓。

例 带余除法视角

在 $F[x]$ 中，CRT 等价于带余除法：除以 $f_1{f}_2$ 的余数由除以 $f_1$ 和除以 $f_2$ 的余数唯一确定。

设 $g\in F[x]$ ， $f_1,f_2$ 互素。令 $r_1=gmod{f}_1$ , $r_2=gmod{f}_2$ 。CRT 说存在唯一的次数 $<\mathrm{deg}(f_1{f}_2)$ 的多项式 $h$ 使得 $h\equiv r_1(\mathrm{mod}{f}_1)$ 且 $h\equiv r_2(\mathrm{mod}{f}_2)$ 。这个 $h$ 就是 $gmod(f_1{f}_2)$ 。

这是信号处理中多速率采样的数学基础：用多个低采样率（模 $f_i$ ）的信息重建高采样率（模 $f_1{f}_2$ ）的信号。

---

3.2.6 CRT 与域扩张

注 CRT 与可约多项式

设 $f(x)=f_1(x)\cdots f_n(x)\in F[x]$ ，其中 $f_i$ 是不同的不可约多项式。则

$$F[x]/(f)\cong F[x]/(f_1)\times \cdots \times F[x]/(f_n)$$

每个 $F[x]/(f_i)$ 都是 $F$ 的域扩张（由 §2.3 中的 [推论]）。因此 CRT 告诉我们：模一个可约多项式的环，等于模各个不可约因子的域扩张的直积。

具体例子： $x^4-1=(x-1)(x+1)(x^2+1)$ 在 $\mathbb{Q}[x]$ 中。由 CRT：

$$\mathbb{Q}[x]/(x^4-1)\cong \mathbb{Q}\times \mathbb{Q}\times \mathbb{Q}(i)$$

这里 $\mathbb{Q}[x]/(x-1)\cong \mathbb{Q}$ ， $\mathbb{Q}[x]/(x+1)\cong \mathbb{Q}$ ， $\mathbb{Q}[x]/(x^2+1)\cong \mathbb{Q}(i)$ 。

反例（不互素）： $x^2=x\cdot x$ ，但 $x$ 和 $x$ 不互素（ $x+x=2x\ne 1$ ）。 $\mathbb{Q}[x]/(x^2)\ncong \mathbb{Q}[x]/(x)\times \mathbb{Q}[x]/(x)$ 。事实上 $\mathbb{Q}[x]/(x^2)$ 有非零幂零元 $x$ （ $x^2=0$ 但 $x\ne 0$ ），而 $\mathbb{Q}\times \mathbb{Q}$ 没有非零幂零元。

这在 分裂域 理论中有重要作用：当多项式在 $F$ 上可分解为互素因子时，域的结构可以逐因子分析。

---

3.2.7 CRT 的一般形式

定理 2.4.3 设 $I_1,I_2,\dots ,I_n$ 是交换环 $R$ 的两两互素理想（即 $I_i+I_j=R$ 对所有 $i\ne j$ ）。则：

(1)$I_1\cap I_2\cap \cdots \cap I_n=I_1{I}_2\cdots I_n$

(2) 自然环同态

$$\phi :R\to R/I_1\times R/I_2\times \cdots \times R/I_n,r\mapsto (r+I_1,\dots ,r+I_n)$$

是满射，其核为 $I_1\cap \cdots \cap I_n$ 。因此

$$R/(I_1\cap \cdots \cap I_n)\cong R/I_1\times R/I_2\times \cdots \times R/I_n$$

证明 对 $n$ 进行归纳。

基础$n=2$ 即 [定理]。

归纳步骤：假设结论对 $n-1$ 成立。令 $J=I_1\cap \cdots \cap I_{n-1}$ ，则归纳假设给出 $R/J\cong R/I_1\times \cdots \times R/I_{n-1}$ 。

现在只需证明 $J+I_n=R$ ，然后对 $J$ 和 $I_n$ 应用 $n=2$ 的情形。

对每个 $i<n$ ，由 $I_i+I_n=R$ ，存在 $a_i\in I_i,b_i\in I_n$ 使得 $a_i+b_i=1$ ，即 $a_i=1-b_i\in I_i+I_n$ 且 $a_i\equiv 1(\mathrm{mod}{I}_n)$ 。

令 $a=a_1{a}_2\cdots a_{n-1}$ 。则：

• 对每个 $i<n$ ： $a\equiv 0(\mathrm{mod}{I}_i)$ （因为 $a_i\in I_i$ 是乘积的一个因子），故 $a\in I_1\cap \cdots \cap I_{n-1}=J$ 。
• $a\equiv 1(\mathrm{mod}{I}_n)$ （因为每个 $a_i\equiv 1(\mathrm{mod}{I}_n)$ ）。

因此 $a\in J$ 且 $1-a\in I_n$ ，即 $1=a+(1-a)\in J+I_n$ ，所以 $J+I_n=R$ 。

对 $J$ 和 $I_n$ 应用 [定理]： $R/J\cap I_n\cong R/J\times R/I_n\cong R/I_1\times \cdots \times R/I_n$ 。 $◻$

注 归纳步骤中的关键构造

证明中令 $a=a_1{a}_2\cdots a_{n-1}$ ，其中 $a_i\equiv 1(\mathrm{mod}{I}_n)$ 且 $a_i\in I_i$ 。乘积 $a$ 同时满足：

• $a\in I_1\cap \cdots \cap I_{n-1}=J$ （因为每个 $I_i$ 包含 $a_i$ ）
• $a\equiv 1(\mathrm{mod}{I}_n)$ （因为每个 $a_i\equiv 1(\mathrm{mod}{I}_n)$ ）

这是一个非常巧妙的构造——用乘积同时满足多个同余条件。这个技巧在数论中反复出现（Euler 函数、特征标等）。

---

3.2.8 CRT 不成立的情形

当理想不互素时

CRT 要求理想两两互素。如果这个条件不满足，结论一般不成立。

反例 1： $R=\mathbb{Z}$ ， $I=2\mathbb{Z}$ ， $J=4\mathbb{Z}$ 。 $I+J=2\mathbb{Z}\ne \mathbb{Z}$ （不互素）。

$\mathbb{Z}/4\mathbb{Z}\ncong \mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$ 。

左边是循环群 $\mathbb{Z}/4\mathbb{Z}$ （有 4 阶元素），右边是 Klein 四元群（所有非零元素都是 2 阶）。它们不同构。

反例 2： $R=F[x]$ ， $I=(x)$ ， $J=(x^2)$ 。 $I+J=(x)\ne F[x]$ 。

$F[x]/(x^2)\ncong F[x]/(x)\times F[x]/(x^2)$ 。

左边有 $|F{|}^2$ 个元素，右边有 $|F|\times |F{|}^2=|F{|}^3$ 个元素，大小都不同。

反例 3（三个理想）： $I_1=2\mathbb{Z},I_2=3\mathbb{Z},I_3=6\mathbb{Z}$ 。 $I_1,I_2$ 互素， $I_1,I_3$ 不互素。虽然 $I_1\cap I_2\cap I_3=6\mathbb{Z}$ ，但 CRT 的满射性不成立：自然映射 $\mathbb{Z}\to \mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/3\mathbb{Z}\times \mathbb{Z}/6\mathbb{Z}$ 的像是 $\mathbb{Z}/6\mathbb{Z}$ 嵌入到 $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/3\mathbb{Z}\times \mathbb{Z}/6\mathbb{Z}$ 中的对角子群，不是满的。

---

3.2.9 进一步应用与推广

注 CRT 与局部化

CRT 是代数几何中粘合（gluing）技术的代数原型。给定仿射概形 $X=\mathrm{Spec}R$ ，理想 $I_1,\dots ,I_n$ 两两互素意味着对应的闭子集 $V(I_j)$ 在某种意义上"覆盖"了 $X$ 。CRT 告诉我们， $R$ 的结构可以由各 $R/I_j$ 的信息"粘合"而成。

在代数数论中，CRT 对应于局部-整体原理（local-global principle）的代数版本：一个元素在所有局部（每个素理想）的信息决定了它在整体（环本身）的信息。

注 CRT 的推广方向

1. 模论版本：设 $M$ 是 $R$ -模， $I_1,\dots ,I_n$ 两两互素理想。则 $M/(I_1\cdots I_{n}M)\cong M/I_{1}M\times \cdots \times M/I_{n}M$ 。证明与环的情形完全类似。

2. Hensel 引理：CRT 可以视为 $p$ -adic 分析中 Hensel 引理的离散版本。Hensel 引理说，如果多项式模 $p$ 有单根，则它在 ${\mathbb{Z}}_p$ 中有精确提升——这是"逐素数分解"思想的完备化版本。

3. Dedekind 域中的 CRT：在代数数论中，Dedekind 域的非零理想有唯一的素理想分解。CRT 告诉我们，如果 $I={\mathfrak{p}}_1^{e_1}\cdots {\mathfrak{p}}_n^{e_n}$ ，则 $R/I\cong R/{\mathfrak{p}}_1^{e_1}\times \cdots \times R/{\mathfrak{p}}_n^{e_n}$ 。这是局部化和完备化理论的基础。

---

本节知识检验

自测题：

1. 在 $\mathbb{Z}$ 中， $m\mathbb{Z}$ 和 $n\mathbb{Z}$ 互素的条件是什么？ $\mathbb{Z}/mn\mathbb{Z}$ 同构于什么？

2. 用 CRT 构造 $x$ 使得 $x\equiv 1(\mathrm{mod}4)$ , $x\equiv 2(\mathrm{mod}3)$ 。

3. 在 $\mathbb{Z}/15\mathbb{Z}$ 中，找出所有幂等元。

4. $\mathbb{Q}[x]/(x^2(x-1))$ 是否同构于 $\mathbb{Q}[x]/(x^2)\times \mathbb{Q}[x]/(x-1)$ ？为什么？

5. CRT 的条件"两两互素"能否减弱为" $I_1\cap \cdots \cap I_n=I_1\cdots I_n$ "？为什么？

答案要点：

1. $gcd(m,n)=1$ 。 $\mathbb{Z}/mn\mathbb{Z}\cong \mathbb{Z}/m\mathbb{Z}\times \mathbb{Z}/n\mathbb{Z}$ 。

2. $a=4,b=-3$ （ $4+(-3)=1$ ）。 $x=2\times 4+1\times (-3)=5$ 。验证： $5\equiv 1(\mathrm{mod}4)$ ✓， $5\equiv 2(\mathrm{mod}3)$ ✓。

3. $\mathbb{Z}/15\mathbb{Z}\cong \mathbb{Z}/3\mathbb{Z}\times \mathbb{Z}/5\mathbb{Z}$ 。幂等元对应 $(0,0),(1,0),(0,1),(1,1)$ ，即 $0,10,6,1(\mathrm{mod}15)$ 。验证： ${10}^2=100\equiv 10(\mathrm{mod}15)$ ✓， $6^2=36\equiv 6(\mathrm{mod}15)$ ✓。

4. 是的。 $x^2$ 和 $x-1$ 互素（ $gcd(x^2,x-1)=1$ ），CRT 适用。 $\mathbb{Q}[x]/(x^2(x-1))\cong \mathbb{Q}[x]/(x^2)\times \mathbb{Q}[x]/(x-1)\cong \mathbb{Q}[ϵ]/({ϵ}^2)\times \mathbb{Q}$ 。

5. 不能。 $I_1\cap I_2=I_1{I}_2$ 不蕴含 $I_1+I_2=R$ 。例如 $I_1=(x),I_2=(x)$ 在 $F[x]$ 中： $I_1\cap I_2=(x)=I_1{I}_2$ ，但 $I_1+I_2=(x)\ne F[x]$ 。满射性需要互素条件。

---

与其他章节的联系

概念	连接到	说明
互素理想	§2.2 商环与理想	CRT 的前提条件
不可约多项式	§2.3 多项式环	多项式 CRT 的应用
带余除法	§2.3	CRT 的多项式版本
域扩张	§3 域论	CRT 给出直积分解
分裂域	§5 分裂域	可约多项式的逐因子分析
有限域	§10.1	单位群分解
Hensel 引理	§11 章	CRT 的 $p$ -adic 类比
$p$ -adic Hodge	§12 前沿方向	CRT 的深远推广

---

← [§2.3 多项式环](/chapters/02-rings/2.3-polynomial-rings)[§3.1 域的定义 →](/chapters/03-fields/3.1-basic-definitions)