本册定位。 《孙子算经》（约公元 4 世纪）「物不知数」问：「今有物不知其数，三三数之剩二，五五数之剩三，七七数之剩二，问物几何？」答曰二十三。这条一千五百年的算题，在本册里将升格为一条环论定理：§2.4「环的直和」的巅峰应用——中国剩余定理（CRT）。它说：只要两个理想「互素」（I + J = R），商环 R/(I∩J) 就同构于乘积 R/I × R/J。在 ℤ 上它给出 ℤ/60 ≅ ℤ/3 × ℤ/4 × ℤ/5；在多项式环上它给出插值理论；在一般交换环上它是「把环沿素理想切开」的手术刀——其五结构定理「阿廷环 = 局部块之积」正是它的推论，RSA 密码学的解密加速是它的工业应用。
一从算题到定理：一个例子先行
物不知数的现代表述是求同余方程组的公共解：
x ≡ 2 (mod 3)， x ≡ 3 (mod 5)， x ≡ 2 (mod 7)。
程大位《算法统宗》（1592）把这口诀押成诗：「三人同行七十稀，五树梅花廿一支，七子团圆正半月，除百零五便得知。」——70、21、15、105 四个数就是全部算法：解 = 2·70 + 3·21 + 2·15 − 105k。这三个「魔数」各有来历：70 = 5·7·(2·5·7 ≡ 1 mod 3)，21 = 3·7·(3-1 ≡ 1 mod 5)，15 = 3·5·(15 ≡ 1 mod 7)——每个都是「被另外两个模整除、在自己模下等于 1」的元，即模逆的化身（「大衍求一术」，秦九韶 1247《数书九章》把它系统化为求逆算法）。
数值注记（A 组）。 脚本用逐步合并法（每次两个方程）解出 x = 23、模 105，并核对 23 满足全部三条同余（A1）；又对 (3,7)、(5,12)、(7,26)、(11,30) 四组算出模逆 5、5、11、11，全部 a·a-1 ≡ 1（A2）——口诀背后的机器，就是扩展欧几里得（其一）。
环论化。 把「mod 3、mod 5、mod 7」读作「在商环 ℤ/3、ℤ/5、ℤ/7 里取像」，方程组说的是：找 x ∈ ℤ，使它在三个商环里的像分别是 2、3、2。定理将断言：这样的 x 存在（对任意三组余数都存在，不止这一组！），且在 mod 105 下唯一。存在性是代数奇迹，唯一性是商环定义的直接推论。
二互素理想：CRT 的正确开度
定义 2.1（互素理想）。 理想 I、J 称为互素（comaximal），若 I + J = R。
在 ℤ 中：(m) + (n) = (gcd(m, n))——故「互素理想」恰是「互素整数」（gcd = 1）的理想化身。在 F[x] 中同理。注意互素是比「I ∩ J = 0」更弱也更常用的条件：(2) 与 (3) 互素但交不零，(2)∩(3) = (6)。
定理 2.2（中国剩余定理，环版）。 设 R 交换含幺，I、J 互素。则
① 存在 c ∈ I、d ∈ J 使 c + d = 1；
② 商环 R/(I∩J) ≅ R/I × R/J（把 r 送到 (r + I, r + J)）；
③ I ∩ J = IJ。
证明. ① 由 I + J = R，1 = c + d 某种写法。② 映射 φ : R → R/I × R/J，r ↦ (r+I, r+J) 是环同态（逐分量），核 = {r : r ∈ I 且 r ∈ J} = I∩J。满射性：任给 (a+I, b+J)，取 e = a·d + b·c（c、d 同①），则 e + I = a·d + b·c + I ≡ a·d（c ∈ I）≡ a·(d + I) ≡ a·1 = a（d ≡ 1 mod I，因 c+d=1 给 d ≡ 1 mod I）；同理 e + J = b。故 φ 满，第一同构定理给 ②。③：由 c + d = 1，任一 x ∈ I∩J 满足 x = x·1 = xc + xd ∈ IJ + JI = IJ；反向 IJ ⊆ I∩J 恒真。□
③ 的高频用途：互素时「交」可以用「积」算——ℤ 中 (m)∩(n) = (lcm(m,n))，而互素时 lcm = mn，与 ③ 一致。
多重版。 递归应用得：I1, …, It 两两互素时 R/(I1∩⋯∩It) ≅ R/I1 × ⋯ × R/It，且交 = 积。ℤ 的素幂分解由此给出标准形态：
ℤ/n ≅ ∏p^k ∥ n ℤ/pk
数值注记（B 组）。 脚本对 n = 2..60 全体验证 CRT 映射 r ↦ (r mod pk) 的双射性（B1）；对 ℤ/60 ≅ ℤ/3 × ℤ/4 × ℤ/5 做了 60×60 = 3600 对乘法的逐对核对（B2）——商环的乘法表与乘积环的乘法表逐格相等，同构不是抽象口号。
三幂等元：切开环的「缝隙标记」
定义 3.1（幂等元）。 e ∈ R 称为幂等元，若 e2 = e。
0 与 1 总是幂等的；有趣的是中间那些。ℤ/15 的幂等元是 {0, 1, 6, 10}（脚本引用数字）：62 = 36 ≡ 6 (mod 15)，102 = 100 ≡ 10。它们是什么？
命题 3.2。 设 n 分解为互素部分 n = n1n2（gcd = 1），CRT 给 ℤ/n ≅ ℤ/n1 × ℤ/n2。乘积环的幂等元恰是 (0,0)、(1,0)、(0,1)、(1,1)——即 ℤ/n 的幂等元个数 = 2素幂成分个数。
读法：(1, 0) 这个元「在第一块里是 1、第二块里是 0」——它是块与块之间的开关。在 ℤ/15 中 (1,0) 的原像正是 6（6 ≡ 1 mod 3、6 ≡ 0 mod 5），(0,1) 的原像是 10。幂等元是 CRT 切开的「焊缝」上能摸到的痕迹：能找到非平凡幂等元，恰说明环是乘积。
数值注记（C 组）。 脚本对 n = 2..60 全验幂等元个数 = 2ω(n)（ω = 不同素因子个数）（C1）。联锁推论：ℤ/pk 是「拆不开」的——幂等元只有 0、1，没有缝隙；这正是其五「局部环」的幂等特征（命题：局部环的幂等元只有 0 与 1，因为 e = 1−e 二者必有其一可逆）。
幂等元不只是一枚标记，它自带一套运算学，让「拆环」变成可以计算的代数：
- 正交性。 e、f 幂等且 ef = 0 时，e + f 仍幂等（(e + f)2 = e + f + 2ef = e + f）；此时 (e) 与 (f) 两个理想「互不看见」，R = (e) ⊕ (f) ⊕ (1 − e − f)。
- 取补。 e 幂等 ⟹ 1 − e 幂等，且 e(1 − e) = 0——每枚开关自带另一枚。
- 连续分解。 每多一个非平凡正交幂等元对，分解就多一层。ℤ/30 = ℤ/2 × ℤ/3 × ℤ/5 有 23 = 8 个幂等元（剧本 F3 验证），对应 8 种「0/1 选通」组合——每一支路是一个模 2、3、5 的余数选择。
反过来看，幂等元的贫富就是环的「可拆性刻度」：域与局部环只有 0、1 两枚（不可拆）；ℤ/n 有 2ω(n) 枚；而布尔环（每个元素都幂等）则每个元素都是开关——它一定是 𝔽2 上某个空间的对偶，乘法 = 交、加法 = 对称差。本册的 ℤ/12 样本（4 与 9 正交、和为 1）是这套运算学的最小完整展览。
四非互素时：三种失效与一条相容判据
CRT 要求互素，不互素时会发生什么？三种失效方式，全部可以在 ℤ 上程序演示（D 组）：
① 数量对不上：|ℤ/4 × ℤ/8| = 32 = |ℤ/32|，但两者不同构——ℤ/32（加法）有 32 阶元 1，乘积环的最大阶只有 lcm(4, 8) = 8（D1：程序算出全部元素阶的最大值恰为 8）。乘积「变大变松」，商环「保持循环」，形状分道扬镳。
② 方程组无解：x ≡ 1 (mod 4) 与 x ≡ 3 (mod 8) 无解——第一条要求 x ≡ 1 (mod 4)，第二条要求 x ≡ 3 (mod 4)，矛盾（D2）。
③ 一般判据：x ≡ a (mod 4)、x ≡ b (mod 8) 有解 ⟺ a ≡ b (mod 4)；有解时 mod 8 下唯一（D3：40 组全验）。一般地，x ≡ a (mod m)、x ≡ b (mod n) 有解 ⟺ a ≡ b (mod gcd(m, n))，解在 mod lcm(m, n) 下唯一。
③ 是「中国剩余定理的非互素推广」，它在应用里同样重要（历法换算、信号处理的采样率合并都是它的影子）。但环论版本（②③ 的一般化 = 定理 2.2 的互素前提）之所以干净漂亮，正因为互素让「余数自由指定」——互素 = 各商环互不过问。
五多项式与插值：CRT 的第二舞台
把 ℤ 换成 F[x]，互素理想换成「互素多项式」，CRT 立刻变形为插值定理：
定理 5.1（Lagrange 插值 = F[x] 的 CRT）。 设 F 是域，a1, …, at ∈ F 两两不同，b1, …, bt ∈ F 任意。则存在唯一的次数 < t 的多项式 f 使 f(ai) = bi。
翻译：理想 (x − ai) 两两互素（x − ai 与 x − aj 的公因子是 1，因 ai ≠ aj），CRT 给
F[x]/∏(x − ai) ≅ F[x]/(x − a1) × ⋯ × F[x]/(x − at) ≅ Ft。
左边是「次数 < t 的多项式」（带余除法），右边是「t 个值」——同构的两侧正是「多项式 ⟷ 它在 t 个点的取值」，而取值可以自由指定就是 CRT 的「余数自由」。Lagrange 公式 f(x) = Σ bi·Πj≠i(x−aj)/(ai−aj) 是构造性证明（每个基函数在 i 点为 1、其余点为 0——又是幂等元的思路）。其一 F 组已在 𝔽7 上验证过三点插值（f = 1 + x 过 (0,1), (2,3), (5,6)）。
这个同构还解释了 Reed–Solomon 纠错码为何存在：把消息当作多项式的系数，传输它的 t 个取值；丢失若干个取值后，只要剩下的够多，CRT/插值就把多项式完整恢复——「余数定形」的通信工程版。
六大衍求一术与 RSA：古老定理的现代两班岗
历史线。 CRT 的中国谱系：孙子算经（约 400 年）给出特例与口诀雏形；宋代秦九韶《数书九章》（1247）「大衍求一术」把一般算法（含模数不互素的处理）完整化，比高斯 1801 年《Disquisitiones》的西方一般证明早五百五十年。19 世纪西方文献开始称这条定理为 Chinese Remainder Theorem——数学史上少数以地域命名的定理，得名原因正是这条独立而完整的传承。
应用线（RSA）。 RSA 解密要算 cd mod n，其中 n = pq 两个大素数。d 很大，直接算指数昂贵；CRT 加速：先分别算 cd mod p 与 cd mod q（指数可以用 d mod (p−1) 与 d mod (q−1) 缩短），再合并回 mod n——两个小模的快速运算换掉一个大模，工程上大约快 2–4 倍。脚本 F1 用 toy 参数 n = 55 = 5×11 演示：x3 mod 55 先拆成 mod 5 与 mod 11 再重构，样本全部还原（F1）。这里的关键机制仍是定理 2.2 的②：同态可以逐分量算，结果逐分量合并。
同一机制在密码学与计算的其它岗位上：快速傅里叶变换是「多项式在单位根处的取值」的 CRT 分解；某些并行算法按模互素的一组素数拆分整数运算（Residue Number System）；纠错码的 Reed–Solomon 译码（第五节）。「拆成互素的小问题，各自解决，再合并」——CRT 把这条工程哲学做成了代数定理。
数值注记（D 组）。 互素条件的边界值得一记：ℤ/4 × ℤ/8 有 4 × 8 = 32 个元素，但它不是 ℤ/32——加法结构就不同（前者的最大元素阶是 lcm(4, 8) = 8，后者是 32）。剧本 D1 把两群逐项比对。「阶数相乘对得上」不等于「环同构」，CRT 要求的是理想互素，不是元素个数拼凑。
数值注记（E 组）。 CRT 也在多项式环里营业：ℤ[x] 中 (x2) 与 (1 − x2) 互素（x2 + (1 − x2) = 1），故 ℤ[x]/(x2(1 − x2)) ≅ ℤ[x]/(x2) × ℤ[x]/(1 − x2)；而 (1 + x)(1 − x) = 1 − x2 ≡ 1（mod x2）说明商环 ℤ[x]/(x2) 里 1 + x 自动可逆、逆是 1 − x——互素的多项式在商环里互为倒数，幂等元技巧的又一次上岗。
数值注记（F 组）。 CRT 的现代值场在密码学：算 x3 mod 55 这类幂，先在 mod 5 与 mod 11 两条「小通道」里各算一遍（指数小、数字小），再用 CRT 把两个余数拼回 mod 55——这正是 RSA 解密的标准加速手段，5 个样本全对（F1）。物不知数的答案 23 与模逆表（A1/A2）也在同一组断言里复核。
七CRT 的三个等价表述：一条定理的三张面孔
本册反复使用的事实，可以并排写成三种表述——它们互相等价，各自照亮的侧面不同：
表述 | 内容 | 最小样本 |
|---|---|---|
理想版 | A + B = R ⟹ R/(A ∩ B) ≅ R/A × R/B | (3) + (4) = ℤ/12 |
幂等元版 | R ≅ R/A × R/B ⟺ 存在幂等元 e：e ≡ 1 (A)、e ≡ 0 (B) | ℤ/12 的 4、9 |
同态版 | φ : R → R/A × R/B 是满射 ⟺ A + B = R（核 = A ∩ B） | 3600 对全验（B2） |
理想版是「解方程组有解」的存在性语言；幂等元版把解的组装过程显式化——e 与 1 − e 是两只开关，x ↦ (xe, x(1 − e)) 就是拆环；同态版则是范畴论的口吻：CRT 是关于「同态拼合」的定理，理想与幂等元只是它在具体环里的实现。三者等价的枢纽是「互素」：A + B = R ⟺ 存在 a ∈ A, b ∈ B 使 a + b = 1，而这一个等式同时制造了满射性与幂等元。其九会指出：同态版正是「环范畴里积的万有性质」的初等影子——CRT 说 ℤ/n 「是」它的素幂成分的乘积，说的就是「到各因子的同态可以随便拼合」。
推广的边界也值得记录：两个理想不够用时，互素条件要对每一对成立（ℤ/30 = ℤ/2 × ℤ/3 × ℤ/5，2、3、5 两两互素）；非互素时退回第四节的相容判据。多元多项式的插值（第五节）与 RSA 的双通道加速（第六节）分别展示了这一定理在「代数」与「算法」两端的穿透力。
八术语考古、三句话与阅读指引
8.1 名词与历史的来路
- Chinese Remainder Theorem（中国剩余定理）。 名称定型于 19–20 世纪的西方文献（L. E. Dickson《History of the Theory of Numbers》收录「Chinese problem」条目）；对应的中国谱系见第一节。德文曾称「中国留数定理」（Chinesischer Restsatz）——「Rest」即「余」。
- comaximal（互素/共极大）。 co-（共同）+ maximal（极大）：两个理想「合起来达到极大」即生成全环。这个比「coprime」更准确的词强调它定义在理想层面——理想无需「是素数」，只需「合作出 1」。
- idempotent（幂等元）。 希腊 ισοδύναμος（isos dunamis，等幂）：e2 = e，「自己的幂等于自己」。布尔代数里它是真值的代数化身（0/1）；环论里它是「分解的焊缝标记」（第三节）。中心幂等元（commute with everything）在非交换环论里担当直和分解的坐标函数。
- direct product（直积/直和）。 环的直积 R × S 是「并排两个环、逐分量运算」。代数里「积」与「和」的措辞（直积/直和）取决于范畴（积 vs 余积）；有限个交换环上两者重合，故 §2.4 称「直和」、多数英文教材称「direct product」——同一件事的两个名字。
- Dayan qiushu（大衍求一术）。 秦九韶 1247《数书九章》的求逆算法：「求一」指求出「乘后余一」的那个数（模逆）。它与 CRT 的西方高斯版本（1801）独立而等价；现代文献把扩展欧几里得求逆直接称「大衍求一术的中国对应」。
8.2 三句话总结
① CRT 的环论形式：I + J = R 时 R/(I∩J) ≅ R/I × R/J（且交 = 积）——「互素」让余数可以自由指定，ℤ/60 ≅ ℤ/3×ℤ/4×ℤ/5 的 3600 对乘法逐格验证了同构。
② 幂等元是切开的焊缝：ℤ/n 的幂等元个数 = 2ω(n)（60 以内全验；ℤ/15 有 {0, 1, 6, 10}），非平凡幂等元的存在 ⟺ 环可分解为乘积——其五「局部环幂等元只有 0、1」是它的逆读。
③ 非互素时 CRT 失效得有规律（数量同、最大阶不同：ℤ/4×ℤ/8 vs ℤ/32；相容判据 a ≡ b mod gcd）——而互素版的应用横跨插值（F[x] 的 CRT = Lagrange 插值）、纠错码、RSA 的 CRT 加速与大衍求一术，古老定理在计算时代持续上岗。
8.3 阅读指引
- 教材：张英伯、王恺顺《代数学基础（下·第 2 版）》§2.4（环的直和）、§2.3（环的理想）、§2.5（素理想与极大理想）——本册是 §2.4 的展开与 §2.5 的应用。
- 原典与中国谱系：《孙子算经》卷下第 26 问；秦九韶《数书九章》卷一、二（大衍求一术，含非互素模数的完整算法）；现代整理见李继闵《大衍求一术衍》与吴文俊主编《秦九韶与〈数书九章〉》。
- CRT 的环论与推广：D. S. Dummit & R. M. Foote, Abstract Algebra, 3rd ed. §7.6（中国剩余定理的一般形式）；M. F. Atiyah & I. G. MacDonald, Introduction to Commutative Algebra 命题 1.10（comaximal ideals 的乘积分解）。
- 幂等元与分解：T. Y. Lam, A First Course in Noncommutative Rings §21–22（中心幂等元与直和分解的一一对应，进阶）。
- 插值与纠错码：J. H. van Lint, Introduction to Coding Theory, 3rd ed.（Springer）第 6 章（Reed–Solomon 码）；本册第五节的同构观点见任何「多项式码」章节。
- RSA 的 CRT 加速：A. J. Menezes, P. van Oorschot, S. Vanstone, Handbook of Applied Cryptography §14.5（快速模指数与 CRT）；秦九韶算法在其中的地位见 D. E. Knuth, TAOCP Vol. 2 §4.5.2。
《代数学基础（下·第 2 版）》第二章补充读物 · 环论专题读本其六 ｜ 九章格数学 ｜ 第 2 版 · 2026