全书以「页」为基本节奏（每章 40 页），共八种页面：讲义（概念与定理，慢慢读，读两遍）、例题（完整解答的示范，先自己想十分钟再看解）、习题课（自己做，提示在看不出来时才用）、格物札记（数学史的格物时刻）、小结（知识图谱与定理清单）、思想卡（一页只说一个思想）、挑战（选做，难题分层给提示）、测试（闭卷自测，附评讲要点）。
记号约定：ℕ ℤ ℚ ℝ ℂ 依次为自然数（含 0）、整数、有理数、实数、复数；∅ 空集；|A| 集合的基数；f ∘ g 复合；⟺ 当且仅当；⟹ ⇒ 蕴含；□ 表示证明结束。定义、定理、例按「章．序号」编号。
1.1 理想 · 1.2 商环与同态定理 · 1.3 素理想与极大理想 · 1.4 中国剩余定理与构造
p.1–40 · 讲义 14 · 例题 10 · 习题课 10 · 札记 2 · 收束 4
上册第 5 章结尾我们说：环同态的核「是理想的胚胎，第 6 章挂号」——今天兑现承诺。群论里，商群能造出来的前提是子群正规；环论里，商环能造出来的前提是子环吸收。这个吸收性的子环，叫理想。
两条拆开看：①说理想对减法封闭（a − b ∈ I）；②说理想不但自己封闭，还「吞得下」任何外面元素与它的乘积。吸收律是环版「正规性」：正规子群用共轭 ghg−1 保持内部稳定，理想用乘法 ra 保持内部稳定——都是「外来作用不逃逸」。
先验一个最小例子：上册反复使用的 nℤ = {…, −2n, −n, 0, n, 2n, …}。kn − jn = (k−j)n ∈ nℤ，减法封闭 ✓；r·(kn) = (rk)n ∈ nℤ，吸收 ✓。所以 nℤ ◁ ℤ。再看一个不是理想的子环：ℤ 是 ℚ 的子环，但取 a = 1 ∈ ℤ、r = ½ ∈ ℚ，r·a = ½ ∉ ℤ——吸收律破裂。含幺交换环的子环几乎从来不是理想：理想往往比子环「胖」，胖到吸收一切乘法。
①的推论值得一记：域的理想只有两个。若 F 是域、I ◁ F 且 I ≠ {0}，取 a ∈ I, a ≠ 0，则 1 = a−1·a ∈ I（吸收律！），故 I = F。域是最「无缝」的环——它的理想格只有底和顶两层。这个事实反过来用（第 5 页）就是「极大理想判域」的钥匙。
注意 (a) 的两种读法：a = 2 时 (2) = 2ℤ，全体偶数；a = 0 时 (0) = {0}，零理想；a = 1 时 (1) = R，全环——速检①的「1 ∈ I」等价于 (1) = I。理想是「一个元素膨胀成的乘法晕圈」：起点一个数，晕圈吞并它与全环的乘积。
把上册的伏笔接上：商群的分母是正规子群，商环的分母是理想。本章的任务就是把这对偶做成一台精确的机器——第 3、4 页造商环与同态定理，第 5、6 页用「商的相貌」反推理想的类型（素、极大），第 9 页用中国剩余定理把商环装成直积。
概念的生命力在例子。本页建一座「理想动物园」，逐一登记、检验吸收律。
反面教材一个：I = ℚ 的子集 {a/2k : a ∈ ℤ, k ≥ 0}（分母是 2 的幂）。它是子环、对乘 ℚ 中元素……取 r = 1/3，r·(1/2) = 1/6，6 = 2·3 有 3 的因子——不在 I 里。吸收破裂，I 只是子环。理想要吞得下一切分母，它比子环苛刻得多。
动物园导览图：ℤ 里的理想全是主的（一个生成元管全部）；ℤ[x] 里出现双主不肯合并的 (2,x)；矩阵环里左理想与理想分家；域里只有两层楼。下一页：拿理想当分母做除法——商环。
上册第 1 章，我们用等价关系「折叠」集合得到商集；第 3 章，正规子群让陪集乘法良定义，折叠出商群。现在轮到环：用理想当分母，折叠出商环。
对照表（本章的宪法）：
三个热身商环：① ℤ/6ℤ = ℤ6——上册用了整整一章的六元环，原来它天生就是商环；② ℤ/4ℤ = ℤ4，其中理想 {0, 2} 还可以再商：ℤ4/{0,2} ≅ ℤ2（第三同构定理的味道）；③ ℝ[x]/(x2+1)：陪集 f + (x2+1) 里，x2 永远可以换成 −1（因为 x2+1 被折叠为零），于是每个陪集唯一化成 a + bx——这就是复数！ℂ = ℝ[x]/(x2+1)。上册第 5 章的三手算，今天正式验钞通过。
「商 = 选择性失明」（上册札记的口号）在环里更锋利：商掉 (x2+1)，眼睛只看「多项式在 i 处的表现」；商掉 (2, x)，只看「常数项的奇偶」。每商一次，就选一副新的眼镜看旧世界。
商环造好了，第一件事是给它发「身份证」——同态定理。它是上册第一同构定理（G/ker ≅ im）的环版镜像，也是整个下册用得最频繁的工具。
三件套（环版全家福，证明与群版逐行平行）：① 第一：R/ker ≅ im；② 第三：若 J ⊇ I 都是理想，(R/I)/(J/I) ≅ R/J——「先商 I 再商 J/I = 直接商 J」，上册 ℤ4/{0,2} ≅ ℤ2 就是实例；③ 对应定理：R/I 的理想与 R 中包含 I 的理想一一对应——商环的理想格是原理想格的「切顶」。
上册金句回收：「同态定理是代数的汇率制度」——把复杂的环按核折算成商环，汇率表就是同构。下册每一章开头都先挂这张表。
理想分「品种」。第一个品种：素理想——它让商环保持「整环」的纯洁。名字里的「素」，直接继承自素数。
用 ℤ 检验：P = (p)，p 素数。ab ≡ 0 (mod p) ⟹ p | ab ⟹ p | a 或 p | b——欧几里得引理（上册第 1 章定理）！素理想 = 素数的理想化，一点不含糊。反例：P = (6)。2·3 = 6 ∈ (6) 但 2, 3 ∉ (6)——合数 6 的理想不素，商 ℤ6 有零因子 2̄·3̄ = 0̄，判据两头咬合。
素理想在更大的环里：ℤ[x] 中 (x) 是素的——商 ℤ[x]/(x) ≅ ℤ（折叠掉 x，只剩常数项）是整环 ✓。而 (6) 在 ℤ[x] 里仍不素（同上反例直接搬进来）。再看 (2, x)：商 ℤ[x]/(2,x) ≅ ℤ2（上页例②的环折叠后只剩常数项的奇偶）是域，域是整环——素 ✓，而且比素更强（下一页的主角）。
零理想也算素理想：(0) ◁ R 素 ⟺ ab = 0 ⟹ a = 0 或 b = 0 ⟺ R 是整环。「整环」和「(0) 是素理想」是同一句话的两种口音。
记忆锚点：素理想 = 商是整环。整环是「无零因子的乘法世界」，素理想是「商掉后不产生零因子的分母」。下一个品种更进一步：商掉后连逆元都齐——那是域，分母叫极大理想。
存在性需要一点集合论：真理想 I ≠ R 总能扩张成极大理想（Zorn 引理，1935）——本册陈述不证，但它保证「每个真理想都踩在一层极大楼板上」，是交换代数的地基。有限环不用 Zorn：理想只有有限多个，往上爬总会到顶。
F[x] 那条下章展开——它就是「用不可约多项式造域」的引擎。先记结论：域 = 顶楼理想商出来的世界。ℚ = ℤ/(0)？不对——(0) 在 ℤ 里极大吗？商是 ℚ，是域，但按定义验证：(0) ⊊ (p) ⊊ ℤ，(0) 不极大！症结：ℚ 不长这样。其实 ℚ ≠ ℤ/(0)——商环 ℤ/(0) ≅ ℤ 本身。ℚ 是 ℤ 的「分式化」（下一页局部化一瞥），不是商。边界要划清：商环只折叠，不添分母。
素理想与极大理想的图像：素理想是「商完无零因子」，极大理想是「商完无不可逆元」。一素一极大，对应商世界的一整一域——这两个判据把「理想长什么样」翻译成「商世界好不好」，是本章最锋利的一对工具。
两页判据在手，现在把 ℤ、ℤn、F[x]、ℤ[x] 四个家族的理想逐层扫描，做成一张对照总表——这张表就是下册前三章的路标。
一个实用的快检：交换含幺环中，理想 P 素 ⟺ 商世界无零因子；M 极大 ⟺ 商世界非零元皆单位。以后拿到理想，第一反应永远是「先算商环，再看商环相貌」。
本页技术总结：理想结构 = 原环的 X 光片。ℤ 的 X 光片是自然数整除图；ℤn 的 X 光片是因子格；多项式环的 X 光片是不可约多项式织成的网。读环先读理想格，读人先读心电图——同一门手艺。
前七页是「解剖」：把环拆成理想与商。本页换方向——「建造」：用旧环合法地造新环。下册此后每遇新对象，都是这几种造法里的一种。
四造法合观：ℂ = ℝ[x]/(x2+1) 用了 ③+②；ℤ6 ≅ ℤ2 × ℤ3 用了 ②+①（中国剩余，下一页）；ℤ(5) 用了 ④。下册的旅程就是不断把这几副积木搭向更高的塔：多项式环（第 2 章）→ 扩域（第 3 章）→ 伽罗瓦对应（第 4 章）→ 模（第 5 章）。
「环的构造」这个标题藏着一句方法论：数学的新对象很少凭空捏造，几乎总是旧对象的商、积、扩张、分式。会造还不够，要会问「造出来的东西的 ideals 长什么样」——因为理想格才是身份证明。
上册第 5 章用 CRT 做过「具体版」的验算；现在有了理想语言，可以给出真身——而且真身比具体版更简洁、更普适。
互素条件 I + J = R 的直白读法：两个理想「合作能凑出 1」。ℤ 里 (m) + (n) = ℤ ⟺ gcd(m,n) = 1——回对接上「互素」的初等义。且互素时 I ∩ J = IJ（乘积理想），于是得到最常用的形状：
中国剩余的三重身份：① 算法身份——解同余方程组（例 6、札记②）；② 结构身份——把大环拆成小环直积（本页）；③ 哲学身份——「互素的分母商出来的世界互不干扰，可独立装配」（思想卡 38 展开）。
注意 CRT 与上册「直积造法①」的方向差：造法①说 R×S 的理想全部分量化，CRT 说合适的商环恰好就是直积——同一个直积，一个从上往下拆，一个从下往上装。
造法④本页兑现。局部化是商环的孪生兄弟：商环折叠旧元素除掉，局部化添进分母解锁。本页只求「一瞥」——看清动机与 ℤ 上的最小例子。
它是环（分母互乘仍不被 p 整除 ✓）。谁是它的单位？a/b 可逆 ⟺ a/b 的倒数 b/a 也在环里 ⟺ p ∤ a。于是：非单位恰是 p 的倍数，它们组成理想 pℤ(p)——而且这是唯一的极大理想（一切真理想都由非单位组成，全被它吞下）。这类「只有一层顶楼」的环叫局部环。
局部环的价值一句话：在它的世界里「可逆性」看得一清二楚——1 − x 型元素全是单位（若 x 在极大理想里，则 1−x 不可能也在，否则 1 ∈ 极大理想）。这是几何与代数几何里「逐点研究」的代数化身：每个素点安一个局部环，只看那一点附近的行为。
商环 vs 局部化：ℤ/(5) 把 5 咬死为零（只留 mod 5 的影子，5 个元素）；ℤ(5) 让 5 以外的分母全部解锁（无穷多个元素）。前者「近视」，后者「清创」。二者以后在几何里分别对应「过一点的商对象」与「该点的局部邻域」——本页记住 existence 与那个唯一的极大理想即可。
理想会不会无穷无尽地往上爬？(4) ⊊ (2)——小心方向：4 的倍数都是 2 的倍数，理想随生成元变小而变大：… ⊂ (8) ⊂ (4) ⊂ (2) ⊂ (1) = ℤ。往「大」的方向爬，想再造一层也没有素材——ℤ 里任何上升链都会停：ℤ 是 Noether 的。
两个等价条件的直觉：上升链不停 ⟺ 能无限造出越来越大的理想 ⟺ 有理想「胖得没有有限骨架」。Noether 条件封死的是后者。ℤ 是 Noether 的：任何理想 = (d)，一个生成元就够。域更是：只有两层楼。
反复使用：ℤ ⟹ ℤ[x] ⟹ ℤ[x,y] ⟹ ℤ[x,y,z]… 全部 Noether；ℚ[x1,…,xn] 全族 Noether——多元多项式环虽然理想千姿百态（回想 (2,x) 那种不肯合并的双主），但每个理想都有有限生成元组，上升链必然断头。
本页是「一瞥」：记住三条——Noether = 上升链必稳 = 理想皆有限生成；ℤ 与 ℚ[x1,…,xn] 都是；Hilbert 基定理是传递引擎。第 12 页它立刻派上用场：唯一分解的全局保证。
上册我们已在 ℤ 与 ℤ[i] 里验钞过唯一分解（算术基本定理、高斯素数拆分）。本页把它升格为「对一整类环成立的定理」，并揭开它与理想的血缘。
「不可约 ⟹ 素」为什么这么要紧？看反例 ℤ[√−5]：2 不可约但 (2) 不素（3·(1+√−5) = 6 ∈ (2) 而两因子都不在）。分解唯一性损坏的病灶总在「不可约但不素」——Kummer 的「理想数」就是给这些坏元素配的理想代打（札记①）。
整除理论的「鄙视链」：欧氏域 ⊃ PID ⊃ UFD ⊃ 整环。每一级都用「除法的好程度」划分：欧氏环有带余除法，PID 的理想一个生成元管到底，UFD 保分解唯一，整环只保无零因子。本章把这条链立起来，第 2 章在 F[x] 里重走一遍。
理想与商环不是书斋清谈——RSA 的解密加速就跑在 CRT 的轨道上。本页把上册第 5 章 RSA 玩具版升级为「工程版」。
工程上 n 是 2048 比特的数，直接算 cd mod n 要做约 2048 次大数平方乘。CRT 加速：先算 mp = cd mod p、mq = cd mod q（数只有一半长，四次方复杂度省成 2×(1/8)=1/4 再加 CRT 合并），再用 CRT 把两个小结果装回 mod n——这一步只需一次 q−1 mod p 预存。实际 RSA 解密几乎全部跑在 ℤp × ℤq 里，ℤn 只是入口和出口。
再看一眼椭圆曲线签名或 Diffie–Hellman？那些基于 ℤp 上的乘法群或曲线群——商环、扩域（第 3 章）、群作用（上册第 4 章）同台。下册学的每个结构，都是某台密码机器里的一个零件。
本页只需带走一个印象：理想、商环、CRT 在工业界的用法与课本一模一样——拆模、并行、合体。第 2 章的纠错码会再给一个同款的工业故事。
全章收束。十四页走来，本章其实只做了一件事：把「商」从直觉升级为技术。
三条主线请归拢：① 对偶主线——群论与环论逐条镜像（正规子群↔理想，商群↔商环，同态定理同构句式）；学到环论的任何新定理，第一反应应是把群版找出来对照。② 判据主线——「理想长什么样」永不如「商世界长什么样」好回答：素、极大两判据 + 第一同构定理构成万能三件套。③ 构造主线——商、积、扩张、分式四造法，下册的高塔全是它们的复合。
与上册的接口回望：上册第 5 章挂号的「理想」已挂号销账；上册第 6 章「商 = 选择性失明」的哲学，本章给了它法律条文（良定义定理）与判例库（ℤn、ℂ = ℝ[x]/(x2+1)）。
下一章预告：环（二）解剖了环，下一个解剖对象是多项式环——它同时是 PID、欧氏环、UFD 的优等生，还身兼「造域的发动机」。ℂ = ℝ[x]/(x2+1) 只是第一件作品；第 2 章要把「F[x]/(f) 造域」做成流水线。
解 ① (I,+) 是子群 ✓。右吸收：(a,0)·(r,s) = (ar, 0) ✓；左吸收同理 ✓。I ◁ ℤ×ℤ，且 I = ℤ×(0)，主理想形状（分量理想）。（a,0)·(r,s)：直积逐分量，第二分量恒 0，吸收天然成立。
② (J,+) 子群 ✓（同余类之差仍同余）。吸收：(a,b)(r,s) = (ar, bs)，需验 ar ≡ bs (mod 2)。a ≡ b，r, s 任意——取 a = b = 1, r = 1, s = 0：ar = 1, bs = 0，1 ≢ 0。吸收破裂，J 不是理想（它只是子环——甚至含 (1,1) 这个单位元，含单位的真理想必全环，速检①一票否决更快：J 含 (1,1) 而 J ≠ ℤ×ℤ）。
③ a, b 均偶 ⟺ (a,b) ∈ K = 2ℤ × 2ℤ——分量理想之交，且 K = ((2,0), (0,2)) 双生成理想：任意 (2m, 2n) = (2m, 0) + (0, 2n)，其中 (2,0)·(m, s) = (2m, 0)、(0,2)·(t, n) = (0, 2n)。K ◁ ℤ×ℤ，K = ((2,0), (0,2))。
方法论：理想判定三板斧——①含幺速检（真理想不得含 1）；②减法封闭；③双吸收。直积环永远先想「分量化」。
解 ① ℤ8 的理想 ↔ 8 的因子 1,2,4,8（对应定理）：{0} ⊂ {0,4} ⊂ {0,2,4,6} ⊂ ℤ8，四层楼。各层商：ℤ8/{0} = ℤ8；ℤ8/{0,4} ≅ ℤ4（对应 (4)/(8) 层，公式 ℤn/(d̄) ≅ ℤd）；ℤ8/{0,2,4,6} ≅ ℤ2；外加全环自身。
② {0,4} 商出四元环，元素 0̄={0,4}, 1̄={1,5}, 2̄={2,6}, 3̄={3,7}。乘法代表算：2̄·3̄ = 6̄ = 2̄；2̄·2̄ = 4̄ = 0̄；3̄·3̄ = 9̄ = 1̄。表：2̄ 零因子（2̄·2̄ = 0̄）；3̄·3̄ = 1̄。相貌：非整环、非域，≅ ℤ4——商环的「病」原样继承（原环有零因子 2·4=0）。验钞：8 的因子 4 对应商 (4)/(8)，而 (4)/(8) ≅ ℤ4 ✓。
③ {0,2} ◁ ℤ4，商 ℤ4/{0,2} = {0̄={0,2}, 1̄={1,3}} 两元。乘法 1̄·1̄ = 1̄ ✓ 单位在；商里只剩两元 0̄ 与 1̄，0̄·1̄ = 0̄。≅ ℤ2，域。注意 {0,2} 在 ℤ4 里极大（无中间理想），商是域——判据兑现。
方法论：ℤn 拆理想先列 n 的因子链；商环相貌用「素/极大判据」直接读，不必逐格乘表——乘表只是验钞。
解 ① φ 是同态（求值映射保加减乘：x ↦ i）。ker φ = {f : f(i) = 0}。实系数共轭成对：f(i) = 0 ⟹ f(−i) = 0，故 x2+1 | f（在 ℚ[x] 中；系数有理性保证商仍在 ℤ[x]——x2+1 首一）。ker φ = (x2+1)。第一同构：ℤ[x]/(x2+1) ≅ ℤ[i]——高斯整数获得商环身份证！范数、唯一分解等性质今后都可从「ℤ[x] 商掉 x2+1」的角度重看。
② ker ψ = (x2+5)（同理由 √−5 与 −√−5 共轭成对）。ℤ[x]/(x2+5) ≅ ℤ[√−5]。素性判据：ker 素 ⟺ im 整环；ℤ[√−5] 是整环（ℂ 的子环）——素 ✓。但 ℤ[√−5] 不是 UFD（第 12 页反例 6 = 2·3 = (1+√−5)(1−√−5)）：核素只保商是整环，不保分解唯一——UFD 是比「核素」更强的要求，它对应「(p) 素对一切不可约 p」。
方法论：求值同态的核 = 「极小多项式生成的理想」（单代数扩张的伏笔，第 3 章最小多项式理论的 embryo）。第一同构定理的用法永远是三问：核是什么、像是什么、商环身份证发给谁。
解 逐个「先算商环，再看相貌」：
① ℤ[x]/(x) ≅ ℤ（折叠 x 只留常数项）：素（ℤ 整环），不极大（ℤ 非域）。
② ℤ[x]/(2) ≅ ℤ2[x]（系数 mod 2）：素（ℤ2[x] 整环），不极大（ℤ2[x] 非域——x 还可以再商）。
③ ℤ[x]/(2, x) ≅ ℤ2（先 mod 2 再折叠 x，或对偶地先折 x 再 mod 2——两个商可交换次序，对应定理保证）：素且极大（域）。注意 (2, x) 不是主的（第 2 页例②）——极大理想不必主。
④ ℤ[x]/(x2+1) ≅ ℤ[i]（例 3①）：素（ℤ[i] 整环），不极大（ℤ[i] 非域——2 在 ℤ[i] 里不可逆）。顺带：x2+1 在 ℤ[x] 不可约（无整数根）却仍不极大——「不可约 ⟹ 极大」只在 F[x] 里成立（F 是域），ℤ 不是域，链条断了。这是本章与下一章的分水岭之一。
⑤ ℤ[x]/(3, x2+1)：先 mod 3 得 ℤ3[x]/(x2+1)；x2+1 在 ℤ3 上有无根？x=1: 2；x=2: 4+1=5≡2——无根，ℤ3 上二次无根即不可约。商是 9 元域 𝔽9：素且极大。一句「3 与 x2+1 凑不出 1」验证互素（3 是常数不在 (x2+1)）✓。
方法论：五连判的全套动作只有一个——商环相貌判别。可见第 5、6 页两判据的杠杆率。
解 ① 包含 (x2+1) 的理想 ↔ ℝ[x]/(x2+1) ≅ ℂ 的理想（对应定理）↔ ℂ 的理想 = {0}, ℂ。拉回：{(0)} 对应 (x2+1) 自身，ℂ 对应 ℝ[x]。只有两层：ℝ[x] 中 (x2+1) 直接极大（中间不藏任何理想）。原因：ℂ 是域。x2+1 在 ℝ 上不可约 ⟺ 商是域——「域系数 + 不可约 = 极大」链条完整版，下一章正式定理化。
② 分量理想 (M, ℤ) 与 (ℤ, M) 型（M ◁ ℤ 极大 = (p)）。例：I = (2)×ℤ，商 ℤ×ℤ/I ≅ ℤ2（域）极大 ✓；J = ℤ×(0)，商 ≅ ℤ 整环非域——素而不极大。直接验 J 素：乘积落进第二分量零 ⟹ 第二分量乘积零 ⟹ 有因子第二分量零 ✓。极大理想 = 恰一个分量极大、另一分量全环（两个分量都「半吊子」就不是极大——商还得是域）。
③ 求值 φ : ℝ[x,y] → ℝ，f ↦ f(0,0)。满同态，ker = {(0,0) 处取零的多项式} = (x, y)（f = f − f(0,0) + f(0,0)，常数项为零则每项含 x 或 y）。第一同构：ℝ[x,y]/(x,y) ≅ ℝ 域 ⟹ (x, y) 极大。几何注脚：(x,y) = 「过原点」这个条件的代数化身——商掉它，多项式只剩「在原点的值」。这类「点理想」在代数几何里密如繁星。
解 方程组 x ≡ 2 (mod 3), x ≡ 3 (mod 5), x ≡ 2 (mod 7)。环语言：求 ℤ3×ℤ5×ℤ7 中 (2̄, 3̄, 2̄) 在 CRT 同构下的原像。35 = 5·7 与 3 互素，先配 e1（≡1 mod 3, ≡0 mod 5,7）：e1 = 35k，35 ≡ 2 (mod 3)，需 2k ≡ 1，k = 2，e1 = 70。e2（≡0 mod 3,7; ≡1 mod 5）：21k，21 ≡ 1 (mod 5)，k = 1，e2 = 21。e3（≡0 mod 3,5; ≡1 mod 7）：15k，15 ≡ 1 (mod 7)，k = 1，e3 = 15。
x = 2·70 + 3·21 + 2·15 = 140 + 63 + 30 = 233 ≡ 233 − 231 = 23 (mod 105)。验：23 = 3·7+2 ✓ = 4·5+3 ✓ = 3·7+2 ✓。《孙子》口诀「三人同行七十稀，五树梅花廿一枝，七子团圆正半月，除百零五便得知」——70、21、15 恰是单位向量 e1, e2, e3，105 = 3·5·7 是总模（札记②细说）。
1000 以内：解集 = 23 + 105ℤ：23, 128, 233, 338, 443, 548, 653, 758, 863, 968——共 10 个。环论读法：CRT 同构是环同构，解集是陪集 23 + (105)，105 = 3·5·7 是「总折叠厚度」。
方法论：ei 元素法（单位向量装配）是一般环 CRT 证明的算法化；任何「互素模同余组」都这么装。
解 ① x2−1 = (x−1)(x+1)，两因子互素（1 = ½(x+1) − ½(x−1)）⟹ CRT：ℝ[x]/(x2−1) ≅ ℝ[x]/(x−1) × ℝ[x]/(x+1) ≅ ℝ × ℝ。相貌：交换含幺、非整环（(1,0)(0,1)=0）——「对合环」，对合 f(x) = f(−x) 的分解正活在这里。
② x2 = (x)(x) 两因子不互素，CRT 失效。直接看：x̄ ≠ 0 但 x̄2 = 0——幂零元！非约简环（有幂零元），既非整环更非域。几何注脚：ℝ[x]/(x2) 是「二重点」的函数环——重根在代数里留下的疤痕就是幂零元，这个商环是代数几何「无穷小」的起点。
③ x3−2 在 ℚ 上不可约（有理根 ±1, ±2 逐试皆非，三次多项式无根即不可约）。⟹ (x3−2) 极大 ⟹ 商是域：每个元素唯一写成 {a + bx̄ + cx̄2 : a,b,c ∈ ℚ}——ℚ 上 3 维向量空间，含 θ = ∛2 的最小域 ℚ(∛2)（第 3 章单扩张正式化）。ℚ 无穷故商域无穷。
④ x2+x+1 在 𝔽2 上：x=0 得 1，x=1 得 1+1+1=1——无根，二次不可约 ⟹ 4 元域 𝔽4。乘法逐格：x̄2 = x̄+1（由 x̄2+x̄+1=0），x̄3 = x̄2+x̄ = 1——x̄ 是 3 阶元，𝔽4× 循环 {x̄, x̄2, 1} ✓（与第 3 章有限域理论对表）。
方法论：四件套各占一格——CRT 直积（互素因子）、幂零疤痕（重因子）、单扩张域（不可约+无限域）、有限域（不可约+有限域）。商环判别就这四问。
解 ① 单位：a/b 可逆 ⟺ b/a ∈ ℤ(2) ⟺ 2 ∤ a。单位 = 分子分母都奇。非单位 = 分子偶 = 2ℤ(2)——一个理想装下全部非单位，这是局部环的代数特征（逆否命题也真：全部非单位成理想 ⟹ 局部，本章习题课九会证）。
② 设 I ◁ ℤ(2) 非零。取 a/b ∈ I（2∤b），则 2 = (2b/a)·(a/b)？(2b/a) 的分子 2b 偶、分母 a 奇 ⟹ 2b/a ∈ ℤ(2) ✓——吸收给 2 ∈ I。而 2 的倍数全在 2ℤ(2)，故 2ℤ(2) ⊆ I。又 I 中任意元素 = 单位 × 偶元素？任意 c/d ∈ I：若 c 奇则 c/d 是单位 ⟹ 1 ∈ I ⟹ I 全环（非真理想）。故真理想中元素分子皆偶 ⟹ I ⊆ 2ℤ(2)。理想谱：{0} ⊂ 2ℤ(2) ⊂ ℤ(2)，三层楼，唯一极大 2ℤ(2)——局部环的标本。
③ ℚ 的理想只有 {0} 与 ℚ（域）：ℚ 不在任何素数处「真局部化」——它已经把所有分母解锁，是 ℤ 的「完全分式化」而非局部化。对比表：ℤ 折（商）得有限域；ℤ 局部得一层楼无限环；ℤ 全解锁得域。三兄弟各管一段。
方法论：局部环理想谱极短（一层极大），证法都是「吸收把 2 拉进来」这一招——非单位成理想 ⟹ 唯一极大，把这条逆命题当本章的送分题记住。
第一步：R 无零因子。设 a ≠ 0。看主理想 (a)：因 a ≠ 0，(a) ≠ {0}，由理想谱只有两层得 (a) = R，故 1 ∈ (a)：存在 r 使 ra = 1（交换环里左右同）。一步到位——根本不用讨论零因子，(a) = R 直接就是可逆性。
顺带收下更强的结论：这个证明根本没用「有限」！有限哪里用了？——没用到，命题对任意含幺交换环成立（理想谱两层的交换含幺环就是域；逆命题「域恰两理想」上册已证）。有限条件是烟雾弹——审题时先做「条件体检」是证明专题的第一课。
对照组（说明「交换」不可省）：四元数体 ℍ 的理想也只有 {0}, ℍ（非交换除环里任何非零元 a 的左理想 Ra = ℍ，因 ra = 1 需 r = a−1），但它不是交换环——「恰两理想」推不出交换，故命题必须自带交换假设。含幺同样不可省：2ℤ 只有理想 2ℤ 与 {0}？理想 (4) ⊂ (2) 是 2ℤ 的真理想——2ℤ 理想谱 {0} ⊂ (4) ⊂ (2) = 全环，恰三层？(2) 是全环（2ℤ 自身），故谱为 {0} ⊂ (4) 两层真理想 + 全环 = 「恰三个理想」，不是两层——但若把题改成无幺版本结论就崩：2ℤ「几乎」满足而绝非域。含幺是底线假设。
方法论：证明专题第一式——主理想 (a) = R ⟺ a 是单位（交换含幺）。这把「可逆性」翻译成「理想语言」，是本章最高频的翻译词典条目。
③ ℤ6 中 I = {0,3} = (3)/(6)，J = {0,2,4} = (2)/(6)。I + J 含 3 + 2 = 5，而 5 与 6 互素 ⟹ (5) = ℤ6，故 I + J = ℤ6 ✓。I ∩ J = {0}（3 的倍数与 2 的倍数在 mod 6 下只剩 0）✓。由 ②：ℤ6 ≅ I × J ≅ ℤ2 × ℤ3（I 作为环：3+3 = 0、3·3 = 9 ≡ 3，以 3 为单位——是 ℤ2；J 同理 ℤ3，以 4 为单位）。上册的「指纹判同构」今天有了完整的理想论证明。
方法论：交叉项被零交集吃掉——「正交分解」的环论版本，线性代数 Rn = U ⊕ W 的投影算子在这里的化身是幂等元（挑战 39 展开）。
提示 1-1：r1a = 0, r2a = 0 ⟹ (r1−r2)a = 0；交换环里 s(ra) = (sr)a = 0。ℤ6：ann(3̄) = {0, 2, 4} = 2̄ℤ6，ann(2̄) = {0, 3} = 3̄ℤ6——零化子与主理想「对偶换位」。1-3：双边理想取 A = [[1,0],[0,0]] 验左理想非右理想（[[1,0],[0,0]]·[[0,1],[0,0]] = [[0,1],[0,0]]，第二列非零——右吸收逃逸 ✓）。单环证明：双边理想 I 含非零矩阵 A，行、列约化（左乘右乘可逆阵不离开 I）可把 A 化为 E11 ∈ I；再用矩阵单位乘法 E11E1j = E1j、Ei1E11 = Ei1、Ei1E1j = Eij 拆出全部 Eij ⟹ I = M2(ℝ)。M2(ℝ) 是单环。
提示 2-1：因子 1,2,3,4,6,12 给出全部理想，公式 ℤn/(d̄) ≅ ℤd：(2̄)={0,2,…,10} 6 元（商 ℤ2），(3̄)={0,3,6,9} 4 元（商 ℤ3），(4̄)={0,4,8} 3 元（商 ℤ4），(6̄)={0,6} 2 元（商 ℤ6）。极大 ⟺ 商是域：(2̄) 与 (3̄)；素 ⟺ 商是整环：同为 (2̄) 与 (3̄)——ℤ12 中素 = 极大。2-2：≅ ℝ × ℝ × ℂ，幂零元 0 个（各因子约简）。2-3：定理 6.2 与 5.2 的默写。
提示 3-1：① ker = {(a,a)}（对角线，理想），im = ℤ，ℤ2/diag ≅ ℤ；③ ker = {0,3,6} = 3̄ℤ9，ℤ9/3̄ℤ9 ≅ ℤ3。3-2：φ(n) = n·φ(1) = n·1，一切由 1 的加法阶（= char）决定；char ℤ6 = 6，单射需 ker = {0} 而 ker = 6ℤ ≠ 0——不存在。3-3：满同态 R → R/J 收缩到 R/I 上，核恰 J/I。
提示 4-1：商 ℤ[x]/(p,f) ≅ 𝔽p[x]/(f̄) = 有限域（f̄ 不可约）⟹ 极大。反向：M ◁ ℤ[x] 极大，先看 M ∩ ℤ：它是 ℤ 的素理想，只能是 (0) 或 (p)。若为 (0)，ℤ 嵌入域 ℤ[x]/M；但 M ≠ (0)（(0) 不极大），取非零 f ∈ M，f 给 x 的像一个 ℚ 上代数关系，可证商域的每个元素被 f 的系数「整除收纳」而推出 M ∩ ℤ ≠ (0) 的矛盾（完整双轨论证留作高阶挑战）——故 M ∩ ℤ = (p)，商 ℤ[x]/M ≅ 𝔽p[x]/M̄，M̄ 极大 ⟹ M̄ = (f̄) 不可约，M = (p, f)。4-2：① ℝ[x,y] 是 UFD，UFD 中不可约元必素；x2+y2 在 ℝ[x,y] 不可约（若可拆则拆成两个一次实多项式之积，对应实直线的交——不存在）⟹ (x2+y2) 素；不极大（商非域：嵌入 ℂ[y]、x ↦ iy 可见商是「实形式的 ℂ[y]」）。② (x−1, y−1) 商 ≅ ℝ 域，极大。③ 商 ℝ[x,y]/(x2+y2, x) ≅ ℝ[y]/(y2)——幂零 ȳ，非整环，皆否（几何：原点处的「切向量」）。4-3：链之并含 1 ⟹ 1 属于链中某成员（并由成员组成）⟹ 该成员 = R 矛盾。
提示 5-1：e1 ≡ 1 (mod 4), ≡ 0 (mod 25)：e1 = 25k，25 ≡ 1 (mod 4) 故 k = 1，e1 = 25；e2 ≡ 0 (mod 4), ≡ 1 (mod 25)：e2 = 4k，4k ≡ 1 (mod 25)，4−1 = 19（4·19 = 76 ≡ 1）故 k = 19，e2 = 76。x = 1·25 + 2·76 = 177 ≡ 77 (mod 100)。验：77 = 4·19+1 ✓，77 = 3·25+2 ✓。5-2：幂等元逐分量取 0/1：ℤ4、ℤ3、ℤ5 中 x2 = x 的解各只有 0, 1（ℤ4 虽非整环但 x(x−1) ≡ 0 (mod 4) 仍只解出 0,1）——幂等元数 = 23 = 8。单位向量：(1,0,0) ↔ ≡1 (4), 0 (3), 0 (5)：x = 45（45 = 4·11+1 ✓，15 的倍数 ✓）；(0,1,0) ↔ 40；(0,0,1) ↔ 36。全部 8 个：0, 1, 16, 21, 25, 36, 40, 45（其余由单位向量相加取模）——逐个回代验钞（这正是练习目的）。5-3：两两互素时归纳于两因子 CRT；I∩J∩K = IJK 需「任意两个交等于乘积」的进一步分配性，两两互素足够。
提示 6-1：ℚ[x]/(x2+1) = ℚ(i)，是 ℂ 的子域而非 ℂ——ℂ 还要超越分母（分析闭包），代数造法只能到代数闭包的子域：差在「分析完备性」不归代数管。6-2：ℤ30 的极大理想恰三个：(2̄)（15 元，商 ℤ2 域）、(3̄)（10 元，商 ℤ3 域）、(5̄)（6 元，商 ℤ5 域）——公式 ℤ30/(d̄) ≅ ℤd，d 取 30 的素因子。恰三个极大 ⟹ 是所要构造。6-3：商 (R1×R2)/(M×R2) ≅ R1/M 域 ✓；反例排除：理想 I×J 极大需商 (R1/I)×(R2/J) 是域 ⟺ 恰一个分量是域、另一个分量商为零环？R2/J ≠ 0 时直积非域（有 (1,0) 型非平凡幂等）——需 J = R2 且 R1/I 域。
提示 7-1：对应定理（第 4 页三件套③）+ 判据两枚。7-2：ℂ 的理想两层，拉回即 (x2+1) 与 ℝ[x]——一行完事，对照原解法的「手数中间理想」：工具的力量在省步数。7-3：⟹ 若 x ∈ 每个极大理想而 1 − rx 落进某极大 M：1 = rx + (1−rx) ∈ M 矛盾，故 1−rx 不在任何极大理想 ⟹（每个真理想可扩张到极大）1−rx 是单位。⟸ 逆否：x ∉ 某 M，则 M + (x) = R，1 = m + rx ⟹ 1 − rx = m ∈ M 非单位。J(ℤ) = ∩(p) = {0}；J(ℤ6)：极大理想为 (2̄)（商 ℤ2）与 (3̄)（商 ℤ3），交 = {0}——J = 0。（交换代数先遣队：Jacobson 根在下一册的 Nakayama 引理里当主角。）
提示 8-1：（⟹）设极大理想唯一为 M：非单位 a 落在某个极大理想（真理想可扩张至极大），唯一即 a ∈ M；反之 M 的元素若可逆则 1 ∈ M 矛盾——故 N = M 是理想。（⟸）设 N 成理想：任取真理想 I，可扩张至极大 M；M 不含单位故 M ⊆ N，又 N 不含单位故 N ≠ R 且 N 是真理想 ⟹ N ⊆ M——N = M 唯一。8-2：p2：理想 (p̄)（p 元）与 {0}，极大恰 (p̄) 一个、素也一个；pq（p ≠ q）：极大 (p̄), (q̄) 两个（商 ℤq, ℤp 域）；素理想恰这两个（(0) 不素：ℤpq 有零因子）。p2：极大唯 (p̄)；素也唯 (p̄)。规律：ℤn 的素理想 ↔ n 的素因子 p 给出的 (p̄)（商 ℤp）；(0) 是素 ⟺ ℤn 是整环 ⟺ n 是素数。8-3：R/(I+J) 是 R/I 的商环，而整环的商未必是整环（ℤ 商出 ℤ6）。反例：I = (2) ◁ ℤ 素，J = (3)，则 I + J = ℤ 全环——不是真理想，故不素 ✓（素理想按定义须真）。想要 I + J 真而不素的情形：试 ℤ[x] 中 I = (4)、J = (6)——I + J = (2) 真理想，商 ℤ2 是域？那 I + J 反而极大。再试 I = (4)、J = (x)：I + J = (4, x)，商 ≅ ℤ4——有零因子，非素 ✓（I 素 J 不素也行：I = (2) 素、J = (x2)，I + J = (2, x2) 极大？商 ℤ2[x]/(x̄2) 有幂零——非素 ✓）。
提示 9-1：(a) = R ⟹ 1 = ra；单位 ⟹ a·a−1 = 1 ∈ (a) 且 (a) ⊆ R 但含 1 的理想 = R。9-2：整环定义 ab = 0 ⟹ a = 0 或 b = 0 与 (0) 素定义逐字同构；域 ⟺ 两理想：⟸ 用 9-1（非零 a 的 (a) = R），⟹ 上册命题 5.x 默写。9-3：若 I 不能有限生成，归纳取 fn+1 ∈ I∖(f1,…,fn)，链严格升不稳，矛盾——注意严格性的论证（fn+1 不在理想里 ⟹ 真包含）。
工具箱清单（本章五件，自查能用）：
错题四类归档（把本章作业按此分类装订）：
一类「方向病」：(4) ⊂ (2) 别写成 (2) ⊂ (4)——理想大小与生成元反比。二类「条件漏检」：例 9 的「有限」烟雾弹；「交换」「含幺」缺失的反例（2ℤ、ℍ）要随身带。三类「商环没先算」：凡理想判素/极大，第一动作永远是商环相貌，跳步就会逐格乘表累死。四类「CRT 配方错」：ei = 模积 ÷ 自己 × (自己 mod 别人)−1，倒数取错模数是最高频事故——装配后必须回代验钞。
自查三问：① ℤ[x]/(2,x) 为什么是域、(x) 为什么只素——能 30 秒答出？② 幂等元个数 = 2素因子数的理由能从 CRT 证出？③ 局部环「非单位成理想」的证明敢默写？
第 2 章预习钩子：本章的 F[x] 只在判据表里露了半张脸。下一章它 full 登场：带余除法让 F[x] 成为欧氏环——比 PID 更高一级；「不可约 ⟺ 极大」将升级为定理；ℂ = ℝ[x]/(x2+1) 将扩张成「F[x]/(f) 造域」的流水线，直通有限域 𝔽4, 𝔽8, 𝔽9…。预习思考：为什么 F 是域时「不可约 ⟹ 极大」成立，而 ℤ[x]（ℤ 非域）就断链？答案藏在「带余除法」四个字里。
「理想」这个名字，是一场数学抢救的遗迹。1847 年，Kummer 攻费马大定理（n = 7 已被他拿下，他要把整条路走完）时撞上暗礁：他默认了「分圆整数 ℤ[ζp] 里分解唯一」——而 Cauchy、Lamé 同年都在这条断桥上摔过。Kummer 的应对惊为天人：他发明「理想数」（ideale Zahl）——一些看不见的「虚拟素数」，让分解重新唯一。ℤ[√−5] 里 6 = 2·3 = (1+√−5)(1−√−5) 的「裂解」，在理想语言里严丝合缝：(2) = 𝔭22、(3) = 𝔭3𝔭3′、(1+√−5) = 𝔭2𝔭3、(1−√−5) = 𝔭2𝔭3′（𝔭2 = (2, 1+√−5)，𝔭3 = (3, 1+√−5)，𝔭3′ = (3, 1−√−5)）——两种分解在理想层面同归 𝔭22𝔭3𝔭3′，唯一分解复活，只是主角从数换成了理想。
Dedekind（1871，《数论讲义》第十一附录）把 Kummer 的「数」换成「集合」——理想（Ideal）由此定型：Kummer 的理想数是元素，Dedekind 的理想是格。从「看不见的数」到「看得见的集合」，是数学对象观的一次跃迁：以后抽象代数里的一切「子结构」——子群、子空间、子模——都继承了这个「用集合代替元素」的手法。Noether 1921 年《理想论》（Idealtheorie in Ringbereichen）把理想推上全环论的中心舞台，公理化时代开幕；上册第 6 章她墓碑上的「Es steht alles schon bei Dedekind」（一切早已在 Dedekind 那里）说的正是这份遗产。
与正规子群的对读也值得一段史笔：Jordan（1870）与 Hölder 为解方程的「根的置换」研究商概念，Dedekind 与 Noether 在环论独立造出理想——两条河到 1930 年代在 van der Waerden 教科书里汇流，才有了今天教科书里那面「镜像表」。「理想」与「正规」是同一场结构革命在两岸各自修出的桥。
格物时刻：当分解坏了，不要修补元素，要升维到集合。Kummer 抢救费马问题救出一门学科——「理想」这个名字是谦虚还是反讽？（它比任何实际元素都「理想」地表现了素性。）
第 9 页的 CRT，中国血统最正。《孙子算经》（约四世纪）「物不知数」给出了世界上第一个同余方程组及解法；南宋秦九韶《数书九章》（1247）把单题升级为系统算法——「大衍总数术」，其中核心一步「大衍求一术」正是求模逆元（ei 装配里的 (mod 别人)−1）的扩展辗转相除：置一于右上、奇数于右下，辗转相减、寄数左上，「至奇数一位而止——得乘率」。这是 GCD 算法的「追踪系数」版本，与 Bézout 系数（上册第 1 章）同源而更早文字化。
明代程大位《算法统宗》（1592）把孙子题写成口诀「三人同行七十稀，五树梅花廿一枝，七子团圆正半月，除百零五便得知」——70 = 2·e1、21 = e2、15 = e3、105 = 3·5·7，四句藏四个数，口诀即算法。清代黄宗宪《求一术通解》（1874）给出严格证明并简化步骤——在 Gauss 1801 年《算术研究》给出 CRT 的同一年代坐标下，这是两条独立的河。
结构视角的一句对读：CRT 的环论本质是「互素 ⟺ 乘法世界的直积分解」，而《孙子》与秦九韶的算法本质是「分而治之的模运算流水线」。秦九韶甚至用大衍术处理「历法上元积年」与「利息分摊」等实际问题——同余不是游戏，是历法与财政的日常。今天 CRT 跑在每台 RSA 解密器里（第 13 页），一条 1247 年的算法在 2048 比特模数上继续上工——算法的寿命比王朝长。
格物时刻：「求一」二字点破了模逆的本质——在乘法世界里寻找那个「乘上去余一」的搭档。李老师的话：上册 Bézout、本章求一术、下章 F[x] 的欧氏算法，是同一把刀的三次开刃。
可默证定理清单（★ = 本章生命线，必须白板默写）：
★ 定理 3.2 商乘法良定义 ⟺ 吸收。★ 定理 4.2 核 ⟺ 理想（双向）。★ 定理 4.3 第一同构定理。★ 定理 5.2 素 ⟺ 商整环。★ 定理 6.2 极大 ⟺ 商域。定理 9.1 CRT（ei 装配证明）。命题 1.2 理想两速检。推论 6.3 极大⟹素 + (x) 反例。例 9 主理想判单位。
与前后章的接口：向后看——上册正规子群/商群/同态定理全部镜像兑现；向前看——F[x] 的欧氏结构（第 2 章）把「理想 → 极大 → 商域」升级为「不可约 → 造域」流水线；「(p, f) 双轨极大理想」（习题课四 4-1）是 ℤp 向 𝔽p 递归的第一跳。
商是代数的「换眼镜」动作。ℤ 商掉 (12)，只能看见钟面上的十二个刻度；ℝ[x] 商掉 (x2+1)，只能看见多项式「在 i 处」的值——旧世界的全部信息被压缩，但运算结构被原样保留。商环不是破坏，是聚焦：把不关心的全部折叠成一个点（理想），剩下的照样加减乘除。
而「分母的选择」就是「眼镜的选择」：分母素，看出去的世界无零因子；分母极大，看出去的世界人人可逆。代数几何里，每个素理想就是一「点」——世界由它全部可能的聚焦方式定义。一条直线看繁星，繁星也看直线：V 的点 = k[V] 的素理想，这将是本册之后「几何代数合流」的正式入口。
金句：理想是病与焦点的公共存档——商掉它，世界既丢了病灶，也换了焦距。
提示 A：|β − qα|2 = 范数整数值 < N(α) 的构造用最近格点。B：I2 = (4, 2+2√−5, (1+√−5)2) 逐生成元表成 2×I 的元素；类数结论直接引述即可，重点是「理想乘法」的演算手感。C：考虑 k[x,y]/(f) ≅ (k[x]/(g))[y] 的嵌入链或直接用首一伪除：f 对 y 首一 ⟹ k[x,y]/(f) 的每个元素可唯一约成次数 < degy f 的代表 ⟹ 整环性从「乘积次数低 ⟸ 因子低」推出——严格版分情况讨论 y 次数。
A 卷（100 分，90 分钟，闭卷）
1.（12 分）判定下列是否理想并给理由：① {(a,b) ∈ ℤ2 : a + b 偶} ⊂ ℤ×ℤ；② (4) ∩ (6) ⊂ ℤ；③ {f ∈ ℤ[x] : f(0) = f(1)} ⊂ ℤ[x]。
2.（15 分）求 ℤ30 的全部理想，标出素与极大，并写 ℤ30 的 CRT 直积分解与幂等元个数。
3.（15 分）求 φ : ℤ[x] → 𝔽3，f ↦ f(2̄) 的核，并用第一同构定理给商环身份证。
4.（18 分）判定 ℤ[x] 中 (5, x2+2)、ℝ[x] 中 (x2+4)、ℝ[x,y] 中 (x−1, y) 的素性/极大性（要求每题先写商环相貌）。
5.（20 分）叙述并证明 CRT（环版两因子情形），用它解 x ≡ 3 (mod 7), x ≡ 4 (mod 9)，并指出幂等元装配的角色。
6.（20 分）证明：交换含幺环中所有非单位构成理想 ⟺ 局部环。并用它说明 ℤ(3) 局部、ℚ 非局部。
B 卷（20 分，选做） 7.（10 分）证明：R Noether ⟹ R[[x]]（形式幂级数）理想有限生成此题超纲，改作：证明 R Noether 时 R[x] 中理想 (a1(x), …, ak(x)) 的「首项理想」有限生成，并说明这与 Hilbert 基定理证明的关系。8.（10 分）研读札记②「大衍求一术」原文摘句，用现代语言逐步复述算法，并用它求 3−1 (mod 100) 与 17−1 (mod 43)，对照扩展欧几里得。
评分建议：第 4 题若只给结论不给商环相貌，扣一半——本章立的就是「先商后判」的规矩。第 6 题常见漏洞：忘证非单位集对加法封闭（用最大理想反证）。第 5 题装配后不回代验钞，扣 2 分。
评讲要点：A 卷重心在「判据的使用是否条件反射化」；B 卷第 7 题给学有余力者指路 Hilbert 基定理全文（下一册附录可提供）；讲评时回放例 9「烟雾弹」与习题课十「四类归档」，形成本章闭环。
2.1 F[x] 整除与分解 · 2.2 不可约判定 · 2.3 商环造域 · 2.4 应用：纠错码与符号计算
p.41–80 · 讲义 14 · 例题 10 · 习题课 10 · 札记 2 · 收束 4
本章主角登场：系数取自域 F 的多项式环 F[x] = {anxn + ⋯ + a1x + a0 : ai ∈ F}。它是上一章解剖台的下一具标本，也是「优等生」——比 ℤ 多一条带余除法，比一般环多一整级结构。
上册已验：整环性是这条公式的全部前提——ℤ6[x] 里零因子毁次数（x̄·(x̄+1) = 0，次数凭空消失）。F 是域更是整环，次数公式无条件成立；它是本章一切证明的「高度计」。
竖式除法逐字照搬中学课本——只是系数从十进制换成域元素。带余除法让 F[x] 成为欧氏环（欧氏函数取次数）：这是比 PID 更高的鄙视链顶层（第 4 页兑现）。
与 ℤ 对读：ℤ 的带余除法靠「绝对值变小」，F[x] 靠「次数变小」。凡 ℤ 里用带余除法证的定理（gcd、Bézout、算术基本定理），本章将在 F[x] 里逐个重演——镜像世界开张（札记①）。
与 ℤ 逐条对齐：单位 {±1} ↔ 非零常数；素数 ↔ 不可约多项式；相伴「忽略符号」↔「忽略非零常数倍」。相伴的意义重大：理想 (f) 只依赖相伴类——首一代表把理想与多项式一一对应起来。
「f ∈ (g)」这一条把整除翻译成理想语言：因式 = 主理想的包含者。g | f ⟺ (f) ⊆ (g)——整除关系翻转成理想包含。第 7 页 ℤn 的「因子链 = 理想链」在此获得理论根据；x2−1 | x4−1 直接读作 (x4−1) ⊆ (x2−1)。
欧氏环定义到此成形：整环 + 带余除法（欧氏函数）。ℤ 用 |·|，F[x] 用 deg。第 4 页将证「欧氏 ⟹ PID ⟹ UFD」两连跳——F[x] 全链条到位。
第二步是关键洞见：F[x] 的每个理想都是主的。证明与 ℤ 完全平行（第 2 页例①的翻版）：I ◁ F[x] 非零取次数最小元 d；对 f ∈ I 带余除 f = qd + r，r ∈ I 且次数更小 ⟹ r = 0。故 I = (d)。F[x] 是 PID——第 1 页预告的两连跳第一跳兑现，且证明只用了带余除法（欧氏 ⟹ PID 的通用形）。
「两个生成元咬死不合并」的 (2, x) 悲剧（第 1 章例②）在 F[x] 里绝不会重演：域系数 + 带余除法 = 理想全是主的。ℤ[x] 里重演不出（ℤ 非域），所以那一章的非主理想标本格外珍贵——它标出了欧氏世界的边界。
三页串成的一条链，本章的骨架定理：欧氏（带余除法）⟹ PID（理想皆主）⟹ UFD（不可约 ⟹ 素 ⟹ 分解唯一）。每一跳都只在欧氏世界里发生——上章 ℤ[√−5] 卡在「不可约不素」，正因为它连 PID 都不是。第 1 章第 12 页的鄙视链至此完全落实。
值得停一秒：三连跳里最不显然的是「不可约 ⟹ 素」，而它的证明恰是 Bézout 的唯一一次出场。Bézout（第 3 页）在镜像世界里也是这个角色——欧几里得引理的证明。两个世界共享同一个发动机。
定理 4.1 是「存在唯一分解」，工程问题是「给定 f，怎么判不可约」。本页集齐四件工具。
四次以上没有「无根 ⟹ 不可约」：x4+4 = (x2+2x+2)(x2−2x+2)（Sophie Germain 恒等式）无实根却可拆。判定的完整算法（Berlekamp、Cantor–Zassenhaus）属于计算代数学——第 13 页符号计算一瞥。
「域」二字在这里不可省：ℤ8[x] 中 x2−1 有四个根（1, 3, 5, 7 的平方都是 1）——零因子放水。整环里二次至多两根（ℤ6 中 x2−x 有根 0, 1, 3（32−3 = 6 ≡ 0 ✓）——三根！ℤ6 非整环）。根数上限是「域」的身份证。
形式导数是纯代数装置：F 任意（连特征 p 的有限域都行），只用到 (f+g)′ = f′+g′、(fg)′ = f′g+fg′。特征 p 的怪事：f = xp − a 在 𝔽p 上 f′ = pxp−1 = 0——导数恒零！此时根的重数只能整批出现：可分性问题，第 4 章伽罗瓦理论的伏笔之一。
三种身份同页聚齐：多项式当「形式对象」研究整除（本章主线）、当「函数」研究根（本页）、当「生成函数」研究数列（札记②将请它出场）。身份切换就是视角切换。
继承链：R 整环 ⟹ R[x] 整环 ⟹ R[x,y] 整环……多元多项式环仍是整环、仍是 UFD（归纳于定理 4.1 的链条：UFD ⟹ R[x] UFD，Gauss 引理的推广）。
但 PID 破产：(x, y) ◁ k[x, y] 不是主的（第 1 章例②的 (2,x) 同款论证：x 与 y 的公因子只有常数）。鄙视链在多元处断开：k[x,y] 是 UFD 不是 PID。几何注脚：(x, y) = 「过原点」的点理想（第 1 章例5③），它由两条轴的条件合围而成，天生双生。
有了序，「首项」对多元多项式才有意义，带余除法可推广（但商余不再唯一！）：给定 f1, …, fs，用首项逐个消去——消不动的部分叫余式，随消去顺序变化。什么时候消去结果唯一？答案是「理想的首项理想由 Groebner 基生成」（第 11 页）——多元世界找回唯一性的钥匙。
一元世界（本章前六页）与 ℤ 完美镜像；多元世界（本页起）开始漂离镜像——Groebner 基、消元理论、代数几何都是「多元的加戏」。看清哪一步开始漂移，比记住结论更重要。
本页回答「底环换了，多项式环跟着怎么变」——Gauss 引理的正式家宅。
「不可约性随底域走」的全景：x2+1 在 ℚ、ℝ 上不可约，在 ℂ 可拆 (x−i)(x+i)；x2−2 在 ℚ 不可约、在 ℝ 可拆；x2+x+1 在 𝔽2 不可约、在 𝔽4 可拆。同一个多项式在不同底域的分解表 = 它的「域际护照」，第 3 章最小多项式将把它编入法典。
方法积累：① mod p 塌缩（Eisenstein、互素性传递）；② 平移（分圆多项式）；③ 本原化（有理系数归整数）。三件都是「把难判定的环投到好判定的环」——同态定理的日用版。
第 1 章的造法③+②组合，本章给它装上发动机。
θ 满足 f(θ) = 0（f ∈ (f) 折为零）——商环自动「造出」f 的一个根！商环 = 逼根机器：x2+1 在 ℝ 里无根，ℝ[x]/(x2+1) 里 θ2 = −1。第 3 章把 θ 称为「代数元」，本页是它的出生证明。
四例一表（第 1 章例 7 的回放）：f 不可约 ⟹ 商是域（下一页定理化）；f 拆成互素因子 ⟹ CRT 直积；f 有重因子 ⟹ 幂零元混入。f 的分解型决定商环的相貌——分解理论（第 4 页）与构造理论（本页）在商环处会师。
「域里没有的根，商一商就有了」——这不是变戏法：商环只承诺「θ 满足 f(θ) = 0」，不承诺 θ 在旧世界里活着。无中生有的合法边界，札记②细谈。
第 1 章例 4⑤ 的遗憾（ℤ[x] 里不可约不极大）在此痊愈：病根是 ℤ 非域、ℤ[x] 非 PID；F[x] 欧氏，链条愈合。「不可约 ⟺ 极大 ⟺ 商是域」三合一——F[x] 的流水线资质证。
数一数 pn 元域为什么恰好 pn 个元素：定理 9.1 的代表标准化直接给 |𝔽p[x]/(f)| = pn。素数幂 = 有限域的全部合法尺寸——6 元、10 元域不存在（上一章习题课六 6-3 的直积造法只能造零因子世界，造不出域）。
从 ℤp 到 𝔽pn：第 1 章用素数造 ℤp，本章用不可约多项式把 p 扩成 pn。有限域这条产品线，原料只有素数与多项式——第 3 章验收全部产品并证明别无分店。
多元世界（第 7 页）的欠账本页偿还：理想 (f1, …, fs) ⊆ k[x1,…,xn] 里，带余除法的余式随顺序漂移——什么时候有唯一余式？
与本册的关系：① 消元 ⟹ 结式 ⟹ 判别式（第 6 章判别式理论的算法面）；② Groebner 基把「解多项式方程组」变成可编程的事——符号计算软件（第 13 页）的心脏；③ 它是 Hilbert 基定理从「存在」变「可算」的样板。本页目标只是认得它：S-对、首项理想、Buchberger 三个词不陌生即可。
Groebner（Gröbner）是 Buchberger 的导师之名——学生以恩师命名自己发明的基。数学史上最温柔的命名之一。
多项式除法的工业级应用：让数据在噪声信道里自我修复。
为什么「除得尽 = 无错」可信？错误 e(x) 被检出 ⟺ g ∤ (c + e) ⟺ g ∤ e。两个精确条件：g 含因子 (x+1) 时，一切奇数个位翻转被检出；g 含一个 r 次不可约因子时，长度 < 2r 的突发错误被检出——g 的代数性质直接翻译成检错能力。工业标准 CRC-32 的 g 是 32 次的精心选择多项式。
「信息 = 𝔽2 上的多项式」这一步最妙：位串、多项式、理想 (g) 的陪集三种身份自由切换。陪集！纠错码的本质是把 128 个可能的字折叠进 16 个陪集代表——第 1 章的商环思想在卫星链路上飞。
本页把本章理论对齐到计算机代数系统（CAS）的三根支柱。
一条值得记住的流水线：解「圆 x2+y2=1 与直线 y = x+c 的交」——代入得 x2+(x+c)2 = 1，代入得 2x2+2cx+c2−1 = 0，判别式 Δ = 4c2−8(c2−1) = 8−4c2。相切 ⟺ Δ = 0 ⟺ c = ±√2——判别式=0 就是「方程有重根」就是「直线切圆」。重根（第 6 页）与相切（几何）在判别式处握手，第 6 章判别式理论将把这个握手推广到一般多项式。
符号 vs 数值的分工：数值解给近似根，符号解给精确结构（根的个数、重数、所属扩域）。伽罗瓦理论（第 4 章）是符号解的终极形态——「不解方程而知道解的结构」。
「算法是定理的影子」：本章每条定理都投下一条可运行算法。定理保证存在性，算法保证可计算性——两者都吃到，才算真正拥有 F[x]。
全章收束。多项式有三种身份，本章三种身份各演了一场大戏：
三条主线的收口：① 镜像主线——带余除法开路，欧氏 ⟹ PID ⟹ UFD，Gauss 引理接 ℤ[x]，(2,x) 型非主理想标出多元边界；② 构造主线——商环代表标准化 |F[x]/(f)| = |F|n，f 的分解型 ⟹ 商环相貌，CRC 与 RS 码是陪集思想的产品化；③ 桥梁主线——「不可约性依赖底域」（x2+1 在 𝔽3 与 𝔽5 的双重命运）通向第 3 章扩域；θ 的出生证明通向单扩张。
与第 1 章的账目：理想（第 1 章）在 F[x] 里全部主化；两判据（素/极大）在欧氏世界合并为「不可约」；CRT 在互素因子分解处高频出场。上一章是解剖学，本章是生理学——器官（理想）在 F[x] 身上如何协同工作。
下一章预告：θ 出生了，该给它上户口——「θ 是 F 的代数元，最小多项式是 f」。第 3 章《域与扩域》：把本章的商环视角翻转成扩域视角，用次数当尺子，两千年尺规难题一裁而决。
解 ① 逐步降次：x4 ÷ x2 = x2，减去 x2g = x4+x3+x2，余 x3+2x2+2x+1；x3 ÷ x2 = x，减去 xg = x3+x2+x，余 x2+x+1；x2 ÷ x2 = 1，减去 g，余 0。商 q = x2+x+1，r = 0。
② r = 0 ⟹ g | f。解释：q = g 本身，故 f = g2——完全平方！(x2+x+1)2 = x4+2x3+3x2+2x+1 逐项核对 ✓。f 是 g 的「平方升级」，判别式视角：g 的根 ω = e2πi/3（本原三次单位根），f 的根 = ω 的两倍频，(x2+x+1) | (x6−1) 而 f | x6−1 的重数结构一目了然。
解 x4 ÷ x2 = x2；减 x4+2x2，余 x2+2x+1（细算：f − x2g = x4+2x+1 − (x4+2x2) = −2x2+2x+1 ≡ x2+2x+1）。x2 ÷ x2 = 1；减 x2+2，余 2x+2（x2+2x+1 − (x2+2) = 2x−1 ≡ 2x+2）。商 q = x2+1，余 r = 2x+2。验钞：qg + r = (x2+1)(x2+2) + 2x+2 = x4+3x2+2+2x+2 = x4+2x+4 ≡ x4+2x+1 ✓。
方法论：带余除法在有限域上照跑不误；验钞（qg + r = f）永远是最后一步——本章习题的固定收尾动作。
解 ① 先走因式分解：f = x2(x2+3x+2) = x2(x+1)(x+2)；g = x(x2+x−2) = x(x+2)(x−1)。公因子：x（f 供 x2，g 供 x）与 (x+2)——gcd = x(x+2) = x2+2x。
再用欧几里得路线验钞：f ÷ g 首项 x4/x3 = x，f − x·g = 2x3+4x2；继续 2x3/x3 = 2，f − (x+2)g = 2x3+4x2 − 2(x3+x2−2x) = 2x2+4x。故 r1 = 2x2+4x = 2x(x+2)，次数 2 < 3 ✓。下一轮 g mod r1：(½x − ½)·2x(x+2) = x3+x2−2x = g——余零，整除！故 gcd = r1 首一化 = x2+2x ✓，两路线合流。
Bézout：r1 = f − (x+2)g，故 u = 1、v = −(x+2)：f − (x+2)g = x2+2x ✓。
② 𝔽2[x]：x5−1 = x5+1 = (x+1)(x4+x3+x2+x+1)；x3−1 = x3+1 = (x+1)(x2+x+1)。公因子 x+1：gcd = x+1。（x4+x3+x2+x+1 与 x2+x+1 在 𝔽2 上互素——x5+1 与 x3+1 的公因子只此一个，分解表说话。）
方法论：两条路线（分解 vs 欧几里得）互相验钞；竖式除法的「商逐位」最容易丢项，本例故意演示一次丢项事故与复盘——错而能查，是计算素养的一半。
解 ① x6−1 = (x3−1)(x3+1) = (x−1)(x2+x+1)(x+1)(x2−x+1)。四个因子在 ℚ 上全部不可约：一次显然；x2+x+1 判别式 −3 无有理根；x2−x+1 判别式 −3 同理。六次单位根的 ℚ-分解：本原部分 x2±x+1 对应本原 6 次与 3 次根（Φ6 = x2−x+1, Φ3 = x2+x+1）。
② mod 2：x3−1 = x3+1 = (x+1)(x2+x+1)——x2+x+1 在 𝔽2 无根（代 0 得 1，代 1 得 1）不可约；x2−x+1 = x2+x+1（−1 = 1）。故 x6+1 = (x+1)2(x2+x+1)2。注意 (x+1) 出现重因子：x6+1 在 x = 1 处导数 6x5 = 0（特征 2 整除 6）——重根的又一次特征 p 亮相（第 6 页伏笔的回马枪）。
③ 取不可约因子 x2+x+1（2 次）：𝔽2[x]/(x2+x+1) = 𝔽4（第 10 页判据）。x6+1 的完全分解表 = 「6 阶循环群在特征 2 下的对齐方式」——𝔽64 则需 6 次不可约多项式（𝔽2 上存在，第 3 章证明），x6+x+1 是一例。
方法论：xn−1 是「分解理论的试金石」：ℚ 上由分圆多项式接管（工具③），𝔽p 上由根的阶接管——同一个多项式在不同底域的分解表（第 8 页「域际护照」）首次完整展示。
解 ① Eisenstein p = 3：3 ∤ 首项 1，3 | 3, 3, 3，9 ∤ 3 ✓——不可约。
② 直接 Eisenstein 失败（各系数全 1）。平移：Φ5(x+1) = ((x+1)5−1)/x = x4+5x3+10x2+10x+5——二项式系数 C(5,k) 全被 5 整除（k = 1..4），52 ∤ 常数项 5。Eisenstein p = 5 ✓ ⟹ Φ5 不可约。一般 Φp 全部如此——「p 阶分圆多项式不可约」的通用证明（工具③首秀）。
③ Sophie Germain：x4+4 = x4+4x2+4−4x2 = (x2+2)2−(2x)2 = (x2+2x+2)(x2−2x+2)。可约。教训：四次以上「无有理根」毫无价值——x4+4 无任何有理根却拆得干净。
④ x4+x2+1 = (x2+x+1)(x2−x+1)（平方差包装：x4+x2+1 = (x2+1)2−x2）。可约。三个 x4 附近的「长得像不可约」的候选，两拆一立——判定必须动手，目测是危险的。
方法论：工具箱使用顺序——有理根试一次（一分钟）；二次三次看判别式；高次先试 Eisenstein、再试平移 Eisenstein、最后考虑 mod p 法（mod p 不可约 ⟹ ℚ 上不可约；mod p 可约不能下结论——方向性要牢记）。
解 ① 有理根定理（整数系数首一）：候选 ±1, ±2, ±3, ±6。f(1) = 4；f(−1) = −1−4−1+6 = 0 ✓。(x+1) 除：x3−4x2+x+6 ÷ (x+1)：商 x2−5x+6（逐项：(x+1)(x2−5x+6) = x3−5x2+6x+x2−5x+6 = x3−4x2+x+6 ✓）。x2−5x+6 = (x−2)(x−3)。根：−1, 2, 3；f = (x+1)(x−2)(x−3)。
② f′ = 3x2−8x+1。求 gcd(f, f′)：用分数：f = (⅓x − 4/9)f′ + r，r = f − (⅓x−4/9)(3x2−8x+1)。算 (⅓x−4/9)f′ = x3 − (8/3)x2 + (1/3)x − (4/3)x2 + (32/9)x − 4/9 = x3 − 4x2 + (35/9)x − 4/9。r = f − 那个 = (3 − 35/9)x + 6 + 4/9 = (−8/9)x + 58/9 = (−2/9)(4x−29)。于是 gcd(f, f′) = gcd(f′, 4x−29)。f′ mod (4x−29)：代 x = 29/4 入 f′：3·(29/4)2 − 8·(29/4) + 1 = 3·841/16 − 58 + 1 = 2523/16 − 57 = 2523/16 − 912/16 = 1611/16 ≠ 0。⟹ gcd = 1 ⟹ f 无重根 ✓（与 ① 三个单根一致）。结构定理：f 与 f′ 互素 ⟺ 无重根——重根检测的免分解算法（第 6 页定理的验算）。
方法论：①的候选清单靠有理根定理收缩（首一整系数只试因子）；②的 gcd(f, f′) 是「免分解体检」——工业分解算法第一步就是它（第 13 页）。
解 ① 元素 0, 1, θ, θ+1，关系 θ2 = θ+1（即 θ2+θ+1 = 0）。加法 = 逐位异或。乘法表：θ·θ = θ2 = θ+1；θ(θ+1) = θ2+θ = 1（θ 与 θ+1 互逆！）；(θ+1)2 = θ2+2θ+1 = θ2+1 = θ+1+1 = θ。完整表：1 单位；θ·(θ+1) = 1；θ2 = θ+1；(θ+1)2 = θ。
② 逆：1−1 = 1；θ−1 = θ+1；(θ+1)−1 = θ。阶（乘法群 3 阶循环）：θ1 = θ, θ2 = θ+1, θ3 = θ·(θ+1) = 1——θ 是 3 阶生成元；θ+1 同为 3 阶（θ+1 = θ2）。𝔽4× ≅ ℤ3 ✓ 与「有限乘法群皆循环」（第 3 章）对表。
③ 区别在加法：𝔽4 中 θ+θ = 0（特征 2，每个元素自相加为零）；ℤ4 中 2+2 = 0 但 1+1 = 2 ≠ 0。特征 2 vs 特征 4：𝔽4 的加法群是 Klein 四元群 ℤ2×ℤ2，ℤ4 的加法群是循环 ℤ4——不同构，故 𝔽4 ≇ ℤ4。上册「4 元环两家族」的域版裁决：ℤ4 出局，𝔽4 独占 4 元域。
方法论：商环运算三步——关系式（θ2 = …）立宪、代表标准化（次数 < 2）、逐格计算验钞。第 1 章例 7④ 的完整版。
解 ① 代 x = 0, 1, 2：1, 2, 5 ≡ 2——无根，二次不可约 ⟹ 𝔽9 = 𝔽3[θ]，θ2 = 2（即 −1）。
② 𝔽9× 有 8 元。θ2 = −1 ⟹ θ4 = 1：θ 只 4 阶。试 θ+1：(θ+1)2 = θ2+2θ+1 = 2+2θ+1 = 2θ；(θ+1)4 = (2θ)2 = 4θ2 = θ2 = 2 ≠ 1；(θ+1)8 = 22 = 4 = 1。θ+1 是 8 阶本原元 ✓。幂表：(θ+1)3 = (θ+1)·2θ = 2θ2+2θ = 4+2θ = 1+2θ（2θ2 = 2·2 = 4 ≡ 1）+2θ = 2θ+1。全部 8 个非零元 = (θ+1)k，k = 0…7：1, θ+1, 2θ, 2θ+1, 2, 2θ+2, θ, θ+2。回代验证 θ ∈ 表 ✓（k = 6）。
③ 平方映射 x ↦ x2 在 8 阶循环群上：x2 = 1 ⟺ x = ±1（2 个解），故像有 8/2 = 4 个平方元素：{1, (θ+1)2 = 2θ, (θ+1)4 = 2, (θ+1)6 = θ}——恰 {±1, ±θ}。一半一半：奇阶循环群里平方像恒占一半（第 3 章二次互反的有限域序曲）。
方法论：本原元搜索从 θ 开始逐个试元素；阶的判定用「p | 阶则查 (θ+1)8/p」——本例查了 4 与 2 两关。有限域计算的全部技巧就是这两招。
解 ① 消息 1101 → m(x) = x3+x2+1。计算校验余式 r(x) = x3·m(x) mod g：x3m = x6+x5+x3。在模 g 下：x3 ≡ x+1；x4 ≡ x2+x；x5 ≡ x3+x2+x ≡ (x+1)+x2+x = x2+1；x6 ≡ x3+x ≡ (x+1)+x = 2x+1 = 1。于是 x6+x5+x3 ≡ 1 + (x2+1) + (x+1) = x2+x+3 ≡ x2+x+1（mod 2）——等等，重算 x6 ≡ 1？x6 = x3·x3 ≡ (x+1)2 = x2+2x+1 = x2+1。两处不一致，重新细算：x4 ≡ x2+x（由 x3 = x+1 两边乘 x）✓；x5 ≡ x3+x2 ≡ (x+1)+x2 = x2+x+1 ✓；x6 ≡ x3+x2+x ≡ (x+1)+x2+x = x2+2x+1 = x2+1 ✓。故 x6+x5+x3 ≡ (x2+1)+(x2+x+1)+(x+1) = 2x2+2x+3 ≡ 1。校验余式 r = 1，码字 c = 1101 后接三位 001：1101001，c(x) = x6+x5+x3+1。
② 验：c mod g = x6+x5+x3+1 ≡ (x2+1)+(x2+x+1)+(x+1)+1 = 2x2+2x+4 ≡ 0 ✓ 可除。
③ 翻转第 i 位 = 加 xi。错误图样 e(x) = xi 的余式表（mod g）：x0→1, x1→x, x2→x2, x3→x+1, x4→x2+x, x5→x2+x+1, x6→x2+1——七个余式两两不同！接收端除 g 得余式，查表即知错位，翻回即纠。七余式两两不同 ⟺ 纠单错能力，而这不是巧合：g 不可约 3 次 ⟹ 𝔽2[x]/(g) 是 8 元域，x 的七个幂恰好遍历全部非零元（x 是本原元）。
方法论：编码 = 除法取余；纠错 = 余式查表。代数结构（本原元、8 元域）直接兑现为通信性能——第 12 页的工业故事在本页落成完整算例。
三跳的跳板盘点：跳一只用带余除法；跳二用 Bézout（跳一的产品）；跳三用跳二。一条流水线，零外部依赖——F[x] 与 ℤ 共用同一张图纸（札记①）。上章 ℤ[√−5] 的失败在于跳一就开始漏水（无带余除法，理想不主），下游全部塌方。
方法论：综合证明题先画「依赖图」再动笔；每跳写清「用到什么」，跳板缺失处就是反例滋生的温床（对照 ℤ[√−5]）。
方法论：①的「直接构逆」示范了判据定理（极大 ⟹ 域）的可拆解性——抽象判据给存在性，Bézout 给构造性；两条路都通时，工程走构造路（CRC 求逆就是跑在构造路上）。
提示 1-1：x4 ÷ x2 = x2，逐步降次；有限域减法 = 加法（mod 5），系数随时归约。1-2：等号 ⟺ 两首项系数之和非零；反例 x̄·(x̄+1) = 0（上册例）。1-3：f = gh ⟺ f ∈ (g)；相伴 ⟺ 同理想，首一代表唯一。
提示 2-1：① x4−5x2+4 = (x2−1)(x2−4) = (x−1)(x+1)(x−2)(x+2)；② t = x3：t2−7t−8 = (t−8)(t+1) ⟹ (x−2)(x2+2x+4)(x+1)(x2−x+1)；③ x8−1 = Φ1Φ2Φ4Φ8 = (x−1)(x+1)(x2+1)(x4+1)。2-2：x7+1 = (x+1)(x3+x+1)(x3+x2+1)（𝔽2 上两个三次不可约——第 10 页例 10.3 清单）；次数 3 因子 ⟹ 𝔽8，本题没有 2 次因子故 𝔽4 不从 x7−1 来（𝔽4× 的阶是 3，其非零元是 x3+x+1 世界的 3 阶元——𝔽4× 的本原元满足 x3 = 1，出现在 x3−1 = x3+1 的分解里 ✓ 第 17 页）。2-3：xn−1 的根 = 各 d | n 阶单位根，Φd 收拢恰 d 阶本原根；x12−1 = Φ1Φ2Φ3Φ4Φ6Φ12 = (x−1)(x+1)(x2+x+1)(x2+1)(x2−x+1)(x4−x2+1)，展开核对 ✓。
提示 3-1：① p = 2 直接 Eisenstein ✓；③ Φ7(x+1) = ((x+1)7−1)/x 各二项系数 C(7,k) 被 7 整除、49 ∤ 7——Eisenstein p = 7 ✓。3-2：𝔽3 上二次 x2+ax+b 无根即不可约；判别式 a2−4b 非平方（平方集 {0,1}）：列举得 x2+1、x2+x+2、x2+2x+2 三个。3-3：反设 f = gh 整系数分解（Gauss 本原化），mod p 后 f̄ = ḡh̄ 与不可约矛盾——注意 deg 会不会塌：首一保证次数不塌（leading 系数 1 mod p 非零）。
提示 4-1：① (x−1)(x−2) 互素 ⟹ CRT ⟹ ℚ×ℚ；② 判别式 −3 无有理根 ⟹ 不可约 ⟹ 域 ℚ(√−3)；③ 重因子 ⟹ 幂零 (x−1)̄ ≠ 0 平方为零。4-2：uf + vg = 1 取 f = x2+1, g = x+2：试 v = a+bx：(x+2)(a+bx) = ax+2a+bx2+2bx ≡ ax+2a+b(−1)+2bx = (a+2b)x + (2a−b)。令 a+2b = 0, 2a−b = 1：a = −2b，−4b−b = 1 ⟹ b = −1/5, a = 2/5。(x+2)−1 = 2/5 − x/5 = (2−x)/5——对照 1/(2+i) = (2−i)/5 ✓ 完全一致。4-3：默写第 23 页三连跳 + 定理 10.1。
提示 5-1：θ3 = θ+1 ⟹ θ4 = θ2+θ，θ5 = θ3+θ2 = θ2+θ+1，θ6 = θ3+θ2+θ = θ2+1，θ7 = θ3+θ = 1 ✓ θ 本原。③ θ7 = 1 两边减 1：(θ−1)(θ6+⋯+1) = 0 而 θ ≠ 1、域无零因子 ⟹ 和为零。5-2：非零元在乘法群（阶 pn−1）里，Lagrange；零元单独验。5-3：𝔽25 = 𝔽5[θ]，θ2 = 3；乘法群 24 阶，找本原元从 θ+1 开始试阶（24 的真因子 12, 8, 6, 4, 3, 2, 1 逐关排除）。
提示 6-1：m = 1001，m(x) = x3+1；x3m = x6+x3；mod g：x3 ≡ x2+1，x4 ≡ x3+x ≡ x2+x+1，x5 ≡ x3+x2+x ≡ (x2+1)+x2+x = x+1，x6 ≡ x2+x。x6+x3 ≡ (x2+x)+(x2+1) = 2x2+x+1 = x+1。校验 011，码字 1001011。②收 1001111：除 g 得余式非零——检出；错误图样 = 收字减码字 = 0001100 = x3+x2，其 mod g 余式 = (x2+1)+x2 = 1——查表定位（本题 g 下 x3+x2 ≡ 1）。6-2：错误多项式 e(1) = 翻转位数 mod 2 = 1 ⟹ (x+1) ∤ e ⟹ 检出。6-3：代入消元 y = 3−x：2x2−6x+4 = 0 ⟹ x = 1, 2；(x−1)(x−2) 是消元方程——「结式」把二元组消成单变量多项式的系统化装置。
提示 7-1：a ↦ ā 是单射（常多项式陪集互异：f 折零需 f ∈ (f) 且 deg < n ⟹ f = 0）。「扩域」的定义即将以此立严——第 3 章第 2 页。7-2：自然投影收缩；(f) ⊆ (g) ⟺ g | f——与 ℤn → ℤd（n | d）完全平行，镜像表又一格。7-3：代 0：0 ≠ θ；1：0 ≠ θ；θ：θ2+θ = (θ+1)+θ = 1 ≠ θ；θ+1：(θ+1)2+(θ+1) = θ+(θ+1) = 1 ≠ θ。四试皆败——无解（二次方程在域上可以无解，这与 ℂ 不同；扩域理论将说清解住在 𝔽16 里）。
提示 8-1：(p) ⊆ ker(求值)，极大 ⟺ 相等——「最小理想」就是极大性的商环读法。8-2：计数公式 24 = 16 = 1·N1 + 2·N2 + 4·N4，N1 = 2（x, x+1）：16 = 2 + 2N2 + 4N4；再由 22 = 4 = 1·N1 + 2·N2 ⟹ N2 = 1；N4 = 3 ✓（与 𝔽16 的 15 个非零元按阶分布对表——第 3 章收编）。8-3：同构保特征：F[x] 特征 = char F；ℚ[x] 特征 0，𝔽p[x] 特征 p——0 ≠ p 无同构。
提示 9-1：归纳同第 6 页但按重数计；反例 ℤ8：12 = 32 = 52 = 72 = 1（全部奇数）。9-2：前置链：𝔽p[x] 整环（p 素）→ mod p 塌缩 → 本原。9-3：D/(p) 整环（p 素元 ⟺ (p) 素理想——第 1 章判据回头用）。
工具箱清单（本章六件）：
错题四类归档：
一类「竖式丢项」：例 2 的复盘事故——除法逐位要盯次数，验钞（qg+r）必做。二类「特征健忘」：𝔽2 里减法 = 加法、−1 = 1；x6−1 写成 x6+1 不是笔误是翻译。三类「方向搞反」：mod p 不可约 ⟹ ℚ 不可约（单向！）；(f) ⊆ (g) ⟺ g | f（翻转！）。四类「判据越界」：无根 ⟹ 不可约只在 deg ≤ 3；不可约 ⟹ 极大只在 F[x]（ℤ[x] 不行）——每个判据都要随身带适用范围。
自查三问：① 三连跳的跳板各自用什么？② 𝔽8 的八个元素能一口气写全？③ CRC 纠单错的原理能 60 秒讲清？
第 3 章预习钩子：θ 在 F[x]/(f) 里出生（第 9 页），「F 搬进商环」（习题 7-1）——两个动作合起来就是单扩张 F(θ)。预习思考：x2+1 在 𝔽3 不可约给出 𝔽9，在 ℝ 不可约给出 ℂ——「同一个 f、不同的 F、不同大小的域」背后有没有统一的「次数记账法」？答案叫 [E:F]。
把本章与上册第 1 章并排摊开，会发现一部惊人的「双胞胎史」：带余除法（欧几里得《原本》第七卷 ↔ 《原本》第十卷无理量理论？多说是直线段度量）；辗转相除（原书同卷）；Bézout（Bézout 1779 ↔ 同式）；算术基本定理（欧几里得 IX.30, IX.32 ↔ 同构证明）；Eisenstein 判据（Schönemann 1846 与 Eisenstein 1850 各自发表——判据名字常记错主角）↔ ℤ 里没有对应物（它用 mod p 塌缩，是多项式世界的专利）。
镜像的根源在结构：ℤ 与 F[x] 都是欧氏环——一个用绝对值，一个用次数。1930 年代 van der Waerden 教科书把这对镜像公理化，欧氏环、PID、UFD 的层级从此成为通用语言；「抽象一个结构，所有实例免费获得全部定理」——这是结构主义（上册第 6 章）最实惠的红利，本章就是红利兑现现场。
镜像也有裂缝，裂缝处正是新数学的产房：① ℤ[x] 与 k[x,y] 是 UFD 非 PID——多元与多环的世界比欧氏链更丰富，催生 Groebner 基（第 11 页）；② Fermat 两平方和定理（上册第 5 章）在 ℤ 里深藏，其最透明的证明却住在镜像世界 𝔽p 里（两个平方的和——有限域的二次型理论），镜像反过来照亮本体；③ 有限域 𝔽pn 在 ℤ 里根本没有对应物——「扩域」是多项式世界独有的新大陆，第 3 章登陆。
格物时刻：学两个东西不如学一个结构加一张对照表。李老师的话：把 ℤ 的每条定理「翻译」成 F[x] 版本章——翻译练习本身就是最好的复习。
数学史上最著名的「无中生有」：负数、无理数、虚数，每一次新数登场都被骂「不存在」——Cardano 遇到 x(10−x) = 40 的根 5±√−15 时说这是「精神折磨的既精致又无用的工作」（1545），Descartes 干脆命名「虚数」以示贬斥。三百年后，ℝ[x]/(x2+1) 给了 i 一纸户籍：它不是「想象」，它是商环里一个明确定义的陪集，全部运算可编程验证。
本章把这套手续标准化：想要一个满足条件 P 的根？找一个在旧世界「否认 P」的不可约多项式 f，商掉它。θ = x̄ 的出生证明写明：p(θ) = 0，且 (p) 是最小承诺（极大理想）。「承认新元素」的代价被精确核算——新世界的大小 |F|n、新世界的律法 f 的不可约分解，全部预先可知。这是把哲学争论换成构造主义工程的一跃。
同构的复数构造也在镜中：ℂ 可以由 ℝ[x]/(x2+1) 造（本章），也可以由数对 + 运算律直接定义（Hamilton 1837），殊途同归正说明「域是结构不是数」。有限域的制造（𝔽4 到 𝔽2n）把这套流程跑成了流水线——19 世纪 Galois 在决斗前夜的残稿里已经在 𝔽pn 里运算自如（他称之为 « F sur n lettres »），今日它们是 AES 加密、RS 纠错、椭圆曲线的全部地基。
格物时刻：新数不可怕——只要造法透明、律法自洽、大小可知。商环是数学世界的「创业孵化器」：给一个不可约的想法（f），商出一个自洽的世界。
可默证定理清单（★ = 生命线）：
★ 定理 1.3 带余除法。★ 定理 3.2/3.3 欧几里得算法与 Bézout。★ 定理 4.1 唯一分解（三连跳全链条）。★ 定理 6.1 因式定理 + 定理 6.2 根数上限。★ 定理 9.1 代表标准化。★ 定理 10.1 造域判据。定理 8.2 Gauss 引理。Eisenstein 判据（含平移版）。
与前后章的接口：向后——第 1 章判据在 F[x] 全部升级为「不可约 ⟺ 极大 ⟺ 域」三合一；向前——θ 的出生证明与「F 嵌入商环」是第 3 章单扩张的草稿，𝔽pn 的存在性已备、唯一性待验收，「次数」将成为扩域的度量衡（第 3 章）、伽罗瓦群大小的预测器（第 4 章）、模的秩的先声（第 5 章）。
镜像不只是巧合，是方法论。当 ℤ 与 F[x] 被认出是同一个结构（欧氏环）的两个化名，「证明两次」就成了「证明一次」。更深的红利：两个世界各有对方没有的东西——ℤ 有素数分布（解析数论），F[x] 有有限域（代数）。把难题从一侧搬到另一侧解完再搬回来，是二十世纪数论的常规动作（Weil 猜想 → 有限域上的曲线 → Fermat 大定理的长征路线图，皆循此道）。
给学生的话：遇到 ℤ 的难题先问「F[x] 里的同款长什么样」；遇到多项式的怪象先问「整数里有没有远亲」。镜像思维是抽象代数送出的第一件随身兵器。
金句：结构不变，名字随便换——数学家叫这个「同构」，学生可以叫它「一鱼两吃」。
提示 A：N4 = 3 由 2·N2 + 4·N4 = 14 与 N2 = 1 得；逐个试 x4+x3+1、x4+x+1、x4+x3+x2+x+1（最后一个是 Φ5 的 mod 2 版本，平移 Eisenstein 在 𝔽2 失效——要真验）。B：同构保乘法群阶；思路：𝔽pn 的子域元素满足 xpd = x，d | n 时恰 pd 个解（因 pd − 1 | pn − 1）。C：θ4 = θ+1，算幂表找 θk 与 1 互素 k 的 θk；阶 5 的元 4 个、阶 3 的元 2 个（循环群标准计数）；Frobenius2 的不动点解 x4 = x。
A 卷（100 分，90 分钟，闭卷）
1.（15 分）在 𝔽3[x] 中求 x5+x2+1 除以 x2+x+2 的商余，并验钞。
2.（15 分）在 ℚ[x] 中求 gcd(x4−1, x6−1)，写 Bézout 恒等式，并完全分解两多项式。
3.（15 分）判定不可约性（ℚ 上）：① x5+5x+5；② x4+4x2+2：Eisenstein p = 2（系数 1, 0, 4, 0, 2：2 ∤ 1 ✓，2 | 0, 4, 0, 2 ✓，4 ∤ 2 ✓——不可约）。③ Φ6 = x2−x+1：本身判别式 −3 无有理根即可；平移版 Φ6(x+1) = x2+x+1 用根检验。③ Φ6 = x2−x+1（平移 x+1 后 Eisenstein？逐项验）。
4.（20 分）构造 8 元域：在 𝔽2 上选一个三次不可约（证明不可约），列出 𝔽8 全部元素，求一个本原元并给幂表。
5.（15 分）ℝ[x]/(x4−1) 同构于什么？写出 CRT 装配并数幂等元。
6.（20 分）证明：F 域时 F[x]/(f) 是域 ⟺ f 不可约（默写三连跳中用到的环节并标注）。
B 卷（20 分，选做） 7.（10 分）证明 Berlekamp 判据的雏形：𝔽p[x] 中 gcd(xpk − x, f) 给出 f 的因式拆分线索，并用 f = x4+1 在 𝔽3 上演示。8.（10 分）研读札记②：把「Cardano 精神折磨」一段与上册复数史对照，写 300 字短评：构造性手续（商环）如何终结三百年的「存在性」争论。
评分建议：第 1、4 题验钞缺失扣 2 分/处；第 3 题必须写所用工具名与逐条核对；第 5 题常见错误——x4−1 = (x2+1)(x2−1) 因子不互素直接 CRT（必须先拆成两两互素的一次与二次：x−1, x+1, x2+1）。第 6 题标注环节缺失扣 4 分。
评讲要点：回放例 2 的「丢项事故」复盘、习题课十「判据越界」四类；评讲第 5 题时把「互素先行」的教训钉在墙上；B 卷第 7 题给下学期计算代数方向的学生指路。
2.1 扩域与次数 · 2.2 最小多项式与单扩张 · 2.3 尺规作图三大难题 · 2.4 有限域与代数闭包
p.81–120 · 讲义 14 · 例题 10 · 习题课 10 · 札记 2 · 收束 4
两册连载至此，「域」终于站上解剖台。域：每个非零元都可逆的交换环——加、减、乘、除（除零除外）畅通无阻的代数世界。
例：ℚ、ℝ、ℂ、𝔽p（p 素数）。反例：ℤ（1/2 缺席）、ℤ6（2̄ 不可逆）、ℤ15（3̄·5̄ = 0̄）。上册的结论在此通用：𝔽p 是域 ⟺ p 素数。
特征素数是本章有限域故事的种子；特征 0 则让我们始终在 ℚ 之上盖楼。域的公理虽简单，但「可以自由做除法」解锁了整环与一般环都不具备的几何与算术——扩域就是观察这种自由的窗口。
域不是「更强的环」，而是「另一种自由」：加法结构与乘法结构互不牵制，每个方程 ax + b = 0 都可解。我们要问的是：缺根的域，能否添新数补全？
扩域 E 中有些元素是 F 的老住户（如 ℝ/ℚ 里的 √2 不在 ℚ），有些是「添丁」的新数。核心问题：E 相对 F 大了多少？答案借线性代数一臂之力。
例：ℂ/ℝ 次数 2，基 {1, i}；ℝ/ℚ 次数无限（ℚ 可数而 ℝ 不可数）；𝔽4/𝔽2 次数 2，基 {1, α}，α2 + α + 1 = 0。同构映射保持运算，故 [E : F] 是结构不变量——它度量「添丁幅度」。
塔式公式是扩域理论的「深度计」：从 ℚ 到 ℂ 这座塔，每爬一层，高度相乘。它是第 7–8 页尺规判定的全部武器。
例：ℝ/ℚ 中 √2 是代数元（x2 − 2 = 0）；π、e 是超越元（Lindemann 1882、Hermite 1873 分别证明——证明远超本书，但结论记住）。有限扩张中的元素必然代数：
鸽笼原理的胜利：维数有限，「幂的队伍」必撞车。这也预告了方向——研究扩域，就是研究多项式的根；代数元的世界是多项式环 F[x] 的投影。
反方向不真：代数扩张可以无限（第三章札记②将给出例子：全体代数数的域 𝔸/ℚ 无限次）。但本书主角是有限扩张——它足以裁决尺规难题与五次方程。
代数元 = 被 F[x] 中某个多项式「套牢」的数；超越元 = 任何多项式都套不住的数。ℝ 里几乎全是超越数（不可数对可数），但数学家能显式证明超越性的只有 π、e 等少数明星。
换一个域，最小多项式会变：√2 在 ℚ 上是 x2 − 2，在 ℝ 上是 x − √2。最小多项式是「α 与 F 的关系说明书」——次数越低，α 越「贴近」F。
操作流程：拿到 α，寻找关系式，化为整系数（首一）方程，再验不可约（低次直接验因子；三次只要查有理根；四次以上可用 Eisenstein 或模 p 约简）。这套流程将在例题与习题中反复演练。
最小多项式 = F 眼中的 α。ℚ 眼中 √2 是 x2 − 2 的根；ℝ 眼中它平凡如 x − √2。关系是相对的——这是本章最哲学也最实用的一句话。
妙处：分母消失了！代数元的世界里，「分数」自动兑现成「多项式」——逆元总藏在多项式 Bézout 关系里。这与第 1 章 ℚ(√2) 的手算（(a + b√2)−1 = (a − b√2)/(a2 − 2b2)）完全一致，只是升格为定理。
于是商环造域（第 2 章预言）正式落地：要一个以 α 为根的域，拿 F[x] 模去不可约的 m 即可——不必先有更大的宇宙，商环自己就是宇宙。
F(α) 是 F 添了一个数后的「最小补丁」。α 代数时补丁是有限的（次数 = deg m）；α 超越时补丁里有真分数，无限且不再等于 F[α]。代数与超越的分野，在「分母可否消灭」处显形。
代数扩张对塔封闭：F ⊆ E ⊆ K，K/E、E/F 代数 ⟹ K/F 代数（任取 β ∈ K，K/E 有限段内 β 的幂线性相关得 E 系数方程，这些系数又都被 F 有限表出——拼装成 F 系数的零化多项式，细节留习题课一）。
这是全章的「记账规则」：多步扩张，逐层乘次数。陷阱在每一层——添 α2 时它在上一层的最小多项式可能与在 F 上不同（√3 在 ℚ 上 2 次，在 ℚ(√3) 上 1 次）。记账前先判定「新数是否已在上层域里」。
多次添丁 = 排队逐个单扩张。塔式公式把「添一堆数」的维数账拆成单笔流水——复杂扩张的可计算性由此而来。
问题起源：古希腊人只许用无刻度直尺与圆规，从给定线段出发作图。两千年来三大悬案（倍立方、三等分角、化圆为方）无人能解——直到 19 世纪，域论登场宣判。
判定的用法是单向的：若 [ℚ(α) : ℚ] 不是 2 的幂，则 α 不可作。反过来次数是 2 的幂不代表可作（需更细的条件，正规闭包次数也是 2 的幂；本册点到为止，第 4 章正规性登场后补全）。
尺规 = 二次方程求解器。每一笔圆弧都是一次「开平方」——两千年的几何难题，被判据压缩成一行次数算术。
三大悬案逐一宣判——每案只需「算一次次数」。
三案三判法：Eisenstein 判不可约、有理根检验判不可约、超越性直接出局——全在第 4 页的框架里。两千年的徒劳，非几何技巧不够，而是代数世界根本没有路。
「不可能」的证明如此干净：造一个数、算一次次数、对 2 取对数。数学的力量不在穷举尝试，而在找到描述「所有尝试」的不变量。
例：x2 − 2 在 ℚ 上的分裂域是 ℚ(√2)（两根 ±√2 都在）；x2 + 1 在 ℝ 上分裂于 ℂ；x3 − 2 在 ℚ 上只添 ∛2 不够——另两根 ∛2·ω、∛2·ω2 是复数，ω = (−1 + i√3)/2，分裂域是 ℚ(∛2, ω)（例题 20 页算次数 6）。
分裂域是第 4 章伽罗瓦理论的舞台：一个多项式的全部对称性住在它的分裂域里。取「最小、恰好、不多不少」的域，正是为了让对称群看清全貌——添多了反而混淆视线。
分裂域 = 给多项式搭的「舞台」：所有根同台、舞台最小。x3 − 2 的故事告诉我们：只看实根不够，复根也是剧组成员——舞台必须请它们同台。
构造配方（第 2 章预言兑现）：取 𝔽p[x] 中一个 n 次不可约多项式 f，则 𝔽pn ≅ 𝔽p[x]/(f)——元素是次数 < n 的多项式，加法按系数、乘法模 f。例：𝔽4 = 𝔽2[x]/(x2 + x + 1)，α2 = α + 1；𝔽8 = 𝔽2[x]/(x3 + x + 1)（例题 21 页造全表）。
n 次不可约多项式的存在性由 xpn − x 的因式分解保证（习题课五算它的根恰是所有 𝔽pn 元素）。于是：素数幂 ↔ 域，一一对应，无一遗漏。
有限域的宇宙是离散的星图：p2 阶、p3 阶、p4 阶……存在，而 6 阶、10 阶、12 阶永远缺席。阶数写死了什么域能存在——又一例「代数不变量裁决存在性」。
「多项式方程根数 ≤ 次数」这一域的特权，反过来逼出了循环性——有限域的算术之美源于此。本原元让乘法变「查表」：例题 21 页 𝔽8 中以 α 为底建立幂表，乘法即指数相加（模 7）。
φ 保持加法（char p 下二项式 (a+b)p = ap + bp，中间系数全被 p 整除）与乘法显然；固定 𝔽p。Frobenius 是有限域的「自转轴」，也是第 4 章伽罗瓦群最干净的实例：n 次扩张的群就是 φ 的幂，阶恰为 n。
有限域里没有「随机」：乘法是循环钟表，加法由 Frobenius 主导。结构完全透明——这是密码学选它做地基的原因（第 12 页）。
三个落地现场——抽象代数不抽象。
① AES 分组密码。AES 的字节替换层在 𝔽28 = 𝔽2[x]/(x8 + x4 + x3 + x + 1) 上运算：字节即 8 次以下多项式，如 0x57 = x6 + x4 + x2 + x + 1。乘法 {57}·{83} = {c1} 一步算出（模 f 约简），软硬实现皆廉。域的选择是标准的一部分——换多项式即换密码。
② Reed–Solomon 纠错码。QR 码、CD、深空通信的防损技术：把数据视为 𝔽28 上多项式的值。t 个校验符号可纠正 t 个符号错误——依据是「域上 m 次多项式由 m + 1 个点唯一确定」（非零多项式根数 ≤ 次数的推论）。二维码破损一角仍能扫出，功劳簿第一行写着 𝔽256。
③ 椭圆曲线密码。曲线 y2 = x3 + ax + b 的点集配上「弦切加法」构成交换群；系数取自 𝔽p 或 𝔽2n 即得有限群，其上的离散对数问题目前无有效算法——密钥可以极短（256 位椭圆曲线 ≈ 3072 位 RSA 的安全性）。
有限域是「可计算的无穷算术」：规则与 ℚ 同构般相似，但一切运算落在有限集合里——误差可控、实现可固、安全可证。𝔽28 之于信息时代，如 ℤp 之于数论。
证明史上群星荟萃：Gauss 1799 起给出多个证明（拓扑、复分析、代数皆可，纯代数证明必借用一点实分析——有序域的完备性躲不开）。本册采用「存在即可」的态度：把定理当公理用，重点在它的用法。
ℚ̄ 极美：全体代数数、可数无穷、ℚ 上代数封闭——但它是无限扩张（第 3 页预告过的「代数却无限」）。𝔽p̄ 是把 p 的所有幂次的有限域叠成一座塔：𝔽p ⊂ 𝔽p2 ⊂ 𝔽p4 ⊂ ⋯ 及所有支线并起来。
代数闭包 = F 的「代数宇宙尽头」：所有能被多项式套住的数都在这里。ℝ 出局一次（x2 + 1 无解）就升维到 ℂ 一劳永逸；有限域则层层叠塔，永无终塔。
全章收束：把见过的域挂上一棵族谱树。
第一刀：特征。char 0 ⟹ 素域 ℚ；char p（素数）⟹ 素域 𝔽p。任何域都是素域的扩张——两大家族自此分岔。
ℚ 家族：扩充分代数/超越。代数扩张再分有限/无限（𝔸/ℚ 无限代数）；有限扩张的明星是数域 ℚ(α)。超越扩张：ℝ/ℚ、ℂ/ℚ、含超越数的单扩张 ℚ(π) 等。ℝ 与 ℂ 的特殊地位由完备性（分析性质）赋予——代数不管有序与极限。
𝔽p 家族：有限域 𝔽pn（每素数幂恰一个）与无限代数域（𝔽p̄、有理函数域 𝔽p(t) 等）。𝔽p(t)/𝔽p 是「超越有限生成」的标本：t 超越，整个域由一个元生成。
三个不变量给分类打标签：特征（素域）、次数 [E : F]（规模）、代数性（质）。第 4 章再添第四件：Galois 群（对称）——届时「次数」将被「群的阶」接管。
域的宇宙两大陆：ℚ 派连着几何直觉与数论，𝔽p 派连着信息与算法。两边共享同一套扩张语言——数学的统一性，就藏在「次数」「根」「对称」这些跨家族通用的词汇里。
解 √2 满足 x2 − 2 = 0，Eisenstein（p = 2）⟹ 不可约 ⟹ m = x2 − 2，次数 2。√3 同理 m = x2 − 3，次数 2。
√2 + √3：设 u = √2 + √3，则 u2 = 5 + 2√6，(u2 − 5)2 = 24，展开 u4 − 10u2 + 1 = 0。故 m | (x4 − 10x2 + 1)。判次数：若 u ∈ ℚ(√d) 某 2 次域，则 √2 + √3 = a + b√d，平方比较可推出 √2、√3 都在此域中——而 ℚ(√2) 不含 √3（例 3 页将证）、对称排除 ℚ(√3)；待例 3 证毕 ℚ(√2) ≠ ℚ(√3) 后即知次数 4，m = x4 − 10x2 + 1。
解 约简规则 α3 = 2。α·(α2 + α + 1) = α3 + α2 + α = α2 + α + 2——次数压回 2 以下。
求逆用 Bézout：gcd(x2 + 1, x3 − 2)。辗转相除：x3 − 2 = x(x2 + 1) − (x + 2)；x2 + 1 = (x − 2)(x + 2) + 5。回代：5 = (x2 + 1) + (x − 2)(x + 2)，且 x + 2 = −[x(x2 + 1) − (x3 − 2)]，整理得 5 = (x2 + 1)(1 − x(x − 2)) + (x3 − 2)(x − 2)。代入 α：(α2 + 1)(1 − α2 + 2α) = 5，故 (α2 + 1)−1 = (1 − α2 + 2α)/5 = (1 + 2α − α2)/5。
验算（必做）：(α2 + 1)(1 + 2α − α2) = α2 + 2α3 − α4 + 1 + 2α − α2 = 2α3 − α4 + 1 + 2α = 4 − 2α + 1 + 2α = 5 ✓。
解 塔：ℚ ⊆ ℚ(√2) ⊆ ℚ(√2, √3)。底层次数 2。顶层判定：断言 √3 ∉ ℚ(√2)。反证 √3 = a + b√2（a, b ∈ ℚ），平方：3 = a2 + 2b2 + 2ab√2。若 ab ≠ 0 则 √2 ∈ ℚ 矛盾；若 a = 0 则 3 = 2b2 ⟹ 3/2 = b2 有理平方，素因子指数奇偶矛盾；若 b = 0 则 3 = a2 同理矛盾。故 [ℚ(√2,√3) : ℚ(√2)] = 2，[ℚ(√2,√3) : ℚ] = 4。
基：底层基 {1, √2} 乘顶层基 {1, √3}（塔式公式证明的构造）：{1, √2, √3, √6}。独立性与张成由证明保证——4 个元素撑起 4 维空间。
顺带结清例 1 的欠账：ℚ(√2) ≠ ℚ(√3)（次数 2 的域若相等则 √3 ∈ ℚ(√2)，已排除），故 √2 + √3 的最小多项式确为 4 次的 x4 − 10x2 + 1。
解 能作 20° ⟹ 能作 cos 20°。三倍角公式 cos 3θ = 4cos3θ − 3cosθ，代入 θ = 20°、cos 60° = 1/2：4c3 − 3c = 1/2，即 8c3 − 6c − 1 = 0（c = cos 20°）。
有理根检验（候选 ±1, ±1/2, ±1/4, ±1/8）：c = 1: 8 − 6 − 1 = 1；c = −1: −8 + 6 − 1 = −3；c = 1/2: 1 − 3 − 1 = −3；c = −1/2: −1 + 3 − 1 = 1；c = 1/4: 1/8 − 3/2 − 1 = −19/8；c = −1/4: −1/8 + 3/2 − 1 = 3/8；c = 1/8: 1/64 − 3/4 − 1 = −111/64；c = −1/8: −1/64 + 3/4 − 1 = −17/64。均非零 ⟹ 无有理根 ⟹ 三次式不可约 ⟹ [ℚ(cos 20°) : ℚ] = 3。
3 不是 2 的幂 ⟹ cos 20° 不可作 ⟹ 20° 角不可三等分自 60° 角。
倍立方：目标 ∛2，零化多项式 x3 − 2，Eisenstein p = 2 不可约，次数 3 ⟹ 不可作。
三等分任意角：已证 60° 不可三等分（例 4），一般角问题闭合——存在可三等分的角（90° 可以：30° = 三等分 90°，cos 30° = √3/2 次数 2 可作），也有不可的（60°）。「任意角可三等分」命题为假。
化圆为方：目标 π（半径 1 的圆面积 π，即求边长 √π 的正方形）。π 超越（Lindemann 1882）⟹ 连次数概念都拒绝 ⟹ 不可作。
对比三份判决：同一框架（次数），三种验不可约的手法（Eisenstein / 有理根 / 超越性直接出局）。框架的普适性正是域论的价值——一次建塔，三案通裁。
解 实根 α = ∛2；复根 αω、αω2，ω = (−1 + i√3)/2 是三次单位根（ω2 + ω + 1 = 0）。分裂域 K = ℚ(α, ω)。
次数：[ℚ(α) : ℚ] = 3。ω 满足 x2 + x + 1 = 0，是 2 次多项式，而 ℚ(α) ⊆ ℝ 不含非实数 ω ⟹ x2 + x + 1 在 ℚ(α)[x] 中无根 ⟹ 不可约 ⟹ [K : ℚ(α)] = 2。[K : ℚ] = 6，基 {1, α, α2, ω, ωα, ωα2}。
对照：只添实根的 ℚ(α) 是 3 次域，x3 − 2 在其中不分裂——分裂域必须为复根开席。3 与 2 的互素使塔干净，第 4 章将看到 Gal(K/ℚ) ≅ S3（6 阶，恰好等于次数——Galois 扩张的预告）。
解 元素为次数 ≤ 2 的 𝔽2 多项式，共 8 个：{0, 1, α, α+1, α2, α2+1, α2+α, α2+α+1}。约简规则：α3 = α + 1，α4 = α·α3 = α2 + α，逐次乘 α：
α5 = α·α4 = α3 + α2 = α2 + α + 1；α6 = α·α5 = α3 + α2 + α = α2 + (α + 1) + α = α2 + 1（2α = 0）；α7 = α·α6 = α3 + α = (α + 1) + α = 1。
α7 = 1 且更小幂次不为 1 ⟹ α 的阶恰为 7 = 8 − 1 ⟹ α 是本原元，乘法群 𝔽8× = ⟨α⟩ 循环（定理 11.1 在此现身）。乘法即指数相加模 7，如 (α2+α)·(α2+1) = α4·α6 = α10 = α3 = α + 1。
解 0x57 = x6 + x4 + x2 + x + 1，0x83 = x7 + x + 1。用 xtime（乘 x 约简）链算 0x57 的倍数：2·57 = 0xAE；4·57 = xtime(0xAE) = 0x47（左移越出 x7 后模 f：0x5C ⊕ 0x1B）；8·57 = 0x8E；16·57 = 0x07；32·57 = 0x0E；64·57 = 0x1C；128·57 = 0x38。
83 = 128 + 2 + 1，按位组合（⊕ 即 GF 加法）：0x57 · 0x83 = 0x38 ⊕ 0xAE ⊕ 0x57 = 0xC1。
这套「移位 + 异或」的乘法在硬件上只需几个门电路——AES 选 𝔽28 而不选大素数模乘，正是为了贴着计算机的字节结构。Reed–Solomon 纠错同理在 𝔽256 上编码：数据块 = 多项式的值表，任何 m 次多项式由 m + 1 个值唯一确定，丢几个块也能补回。
再证 F[α] 是域（从而 = F(α)）：右端是商环且 mα 不可约 ⟹ (mα) 极大 ⟹ 商环是域（第 1 章）。或直接：h(α) ≠ 0 ⟹ mα ∤ h ⟹ 互素 ⟹ Bézout uh + vm = 1 ⟹ h(α)−1 = u(α)。维数：F[x]/(m) 以 1, x, …, xd−1 的像为基，故 [F(α) : F] = d = deg mα。□
证明把三条线索（同态定理、极大理想、Bézout）拧成一股——单扩张的结构完全由最小多项式决定。
推论（次数整除链）：F ⊆ E ⊆ K 有限时，[E : F] | [K : F]——「中间域的次数是商数」。这一根管子在习题课一与挑战页反复发力：3 次扩张里不可能藏着 2 次子域。
本课主线：次数 = 塔式记账。所有「几维」问题都归结为「最小多项式几次 + 新数是否已在上层」。
本课主线：最小多项式 = 首一 + 最小 + 不可约三合一。求法：写零化式 → 判不可约 → 次数即得。
本课主线：把几何愿望翻译成「找零化多项式 + 判次数」。正 n 边形的完整判决（Gauss）将在第 4 章分圆域揭晓。
本课主线：分裂域 = 根的集合的「最小包场」。次数常按实根层 + 复根层两段计算。
本课主线：素数幂 ↔ 域，一一配对。构造配方商环造域，唯一性由 xpn − x 的根集锁定。
本课主线：抽象结构 → 具体算法。循环性给乘法装上「对数表」，无零因子给纠错装上「根数上限」。
本课主线：塔 + 互含 + 整除三件套。先验「是否已在 / 是否可包含」再动笔算次数。
本课主线：综合题 = 塔 + 递推 + 验算三线并行。T2 的惊喜：域的定义多项式自己就是方程的答案——结构即解。
本课主线：证明 = 结构公式的组合拳。素数次扩张无中间域、Frobenius 自同构，都是后面章节的常备弹药。
十章习题课收束，归档为一张「问题 → 工具」对照表。
自查清单：能默写塔式公式证明骨架；能不查书写出 𝔽8 幂表；能说清「次数非 2m ⟹ 不可作」的推理链；能把 char 2 的符号陷阱（−1 = 1）刻进直觉。四项全过，本章毕业。
复盘不是重复，而是压缩：把十章的内容压成五把工具 + 一张自查单。第 4 章的伽罗瓦理论将把「次数」升级为「对称群」——工具箱即将换代。
三大难题挂起于公元前 5 世纪。倍立方源自 Delos 神谕：祭坛体积加倍，要求「不改变形状」——即作 ∛2。希波克拉底把它化为「两比例中项」：求 x, y 使 a : x = x : y = y : 2a，即 x = ∛2·a——化归正确，工具缺席。三等分角催生了割圆曲线、蚌线、阿基米德螺线等「越轨」器械——每一次「作弊工具」的发明，都是对尺规约束的变相抗议。化圆为方最早见于阿里斯托芬喜剧（前 414 年）的讽刺台词，可见其「不可能」的民间口碑早已形成。
两千年的线索在 1837 年由 Wantzel 一举收拢：倍立方与三等分角不可作（次数 3 的论证正是本册第 8 页）。化圆为方多等了 45 年——Lindemann 1882 证明 π 的超越性，用「代数 vs 超越」这把更粗的刀完成裁决。而正十七边形可作（Gauss 19 岁，1796 年）恰在同一框架的正面：17 = 24 + 1 是费马素数，正十七边形的次数论证完全成立。Gauss 为此骄傲到希望把正十七边形刻上墓碑——传说石匠嫌它太像圆而婉拒（几何很难，雕刻更难）。
回望：希腊人问「能否作出」，19 世纪答「能否存在」。问题没变，语言换了——把「作图」翻译成「扩域塔」，把「不可能」翻译成「次数不是 2 的幂」。裁决者不是更聪明的尝试，而是更准确的不变量。
本章反复出现一个动作：算次数。次数是扩域的「米尺」——[E : F] 度量 E 比 F 大多少。它的三条性格值得铭刻：相乘性（塔式公式：多层扩张高度相乘）、整除性（中间域次数是商数）、最小性（素数次扩张不可再分）。
这把米尺量出了尺规的边界，也将量出方程的边界：第 4 章里，「根式解」要求 Galois 群可解，群阶与次数的乘法账本将宣判五次方程。「次数」是贯穿环论与域论的主旋律：F[x] 的次数公式（第 2 章）、扩张次数（本章）、群阶（第 4 章）——同一思想（复杂度对乘法取对数）在三种结构里反复奏响。
无限次扩张也在近代结出果实：全体代数数 𝔸/ℚ 无限次，但 𝔸 仍是「可数个多项式的并」——集合论与代数在此交汇。Hilbert 1900 年第七问题（Gel'fond–Schneider 定理，1934）证明了 2√2 的超越性：超越数论接过了米尺，继续丈量「数与多项式的关系」。格物致知：度量一个未知物，先找它对已知物的最短关系——最小多项式正是这个哲学的形式化。
十个例题十个习题课的技能清单：求最小多项式（低次验根 / Eisenstein）、单扩张求逆（Bézout）、塔式记账、作图判定、分裂域构造、有限域幂表、xtime 计算、素数次扩张无中间域、Frobenius 验证、综合塔账。
一张图收束：域塔（𝔽p̄ 与 𝔸 两座无限塔，无数有限塔）+ 一把米尺（次数）+ 一个预言（对称性将在第 4 章接管次数的账本）。
提示与解答 塔 ℚ ⊆ ℚ(∛2) ⊆ ℚ(√2, ∛2)。底层 [ℚ(∛2) : ℚ] = 3。顶层：断言 √2 ∉ ℚ(∛2)——若 √2 ∈ ℚ(∛2)，则 ℚ(√2) 是 ℚ(∛2) 的中间域，由次数整除性 2 | 3，矛盾！（素数次扩张无真中间域——习题课九 T3 在此发力。）故顶层 3 次（x3 − 2 在 ℚ(√2) 上仍不可约），[ℚ(√2,∛2) : ℚ] = 6，基 {1, α, α2, √2, α√2, α2√2}（α = ∛2）。
提示与解答 逐层添加，每层用例 3 的素因子奇偶论证证明新平方根不在已得域中：√3 ∉ ℚ(√2)；√5 ∉ ℚ(√2,√3)（4 项线性组合假设 a + b√2 + c√3 + d√6 = √5，平方后 √5 项与 √2、√3、√6 项系数线性无关于素因子 2,3,5 的奇偶配对，逐一排除）；√7 ∉ ℚ(√2,√3,√5) 同法。每层 2 次，共 4 层 ⟹ 24 = 16。基为 {√d : d 取遍 2,3,5,7 的子集乘积}，即 1, √2, √3, √5, √7, √6, √10, √14, √15, √21, √35, √30, √42, √70, √105, √210 共 16 个。这类「平方塔」域是尺规可作域的标准样板房。
提示与解答 𝔽16× 阶 15。α4 = α + 1，续算：α5 = α2 + α, α6 = α3 + α2, α7 = α4 + α3 = α3 + α + 1, α8 = α4 + α2 + α = (α+1) + α2 + α = α2 + 1。由 𝔽16× 阶 15 及 Lagrange 定理，α15 = 1；阶整除 15，而 α, α3, α5 均不等于 1（代入幂表）⟹ 阶恰 15，α 是本原元。
评讲 A1：塔式 2 × 2 = 4（i ∉ ℝ ⟹ 顶层 2 次）。A2：u − 1 = √3 ⟹ u2 − 2u − 2 = 0，判别式 12 非平方，2 次。A3：∛4 满足 x3 − 4；Eisenstein 对 x3 − 4 失效（常数项 −4 被 22 整除），改用有理根检验：候选 ±1, ±2, ±4 代入均非零 ⟹ 三次不可约 ⟹ 3 次不可作。A4：𝔽3[x]/(x2 + 1)，9 元素。
评讲 B1：有理根 ±1 均非零 ⟹ 不可约；三根皆 α 的多项式（习题课八 T1 递推）⟹ 分裂域 = ℚ(α)，3 次。B2：27 = 33，子域 𝔽3m 需 m | 3 ⟹ 只 𝔽3 一个真子域。B3：塔式公式给 [K:F] = [K:E][E:F] = 1 ⟹ 两因子皆 1 ⟹ K = E = F。
评讲 n = 6（60° 角可作，2 次）、n = 7（3 次不可作，习题课三 T4）、n = 8（45° 可作，cos 45° = √2/2，2 次）。开放点：n = 9（3 次，不可作）与 n = 12（15° = 60°/4，可作）的对照，引导学生发现「n 的奇素因子结构」是关键——为第 4 章分圆域埋线。
评卷口径：A 卷看操作，B 卷看证明链完整性，C 卷看「能否把判据说成一般原理」。三卷各及格线 24 / 24 / 12。
4.1 自同构群 · 4.2 伽罗瓦对应与基本定理 · 4.3 正规扩张 · 4.4 可解性与五次方程
p.121–160 · 讲义 14 · 例题 10 · 习题课 10 · 札记 2 · 收束 4
16 世纪的三次与四次方程被 Cardano 学派解出（求根公式虽丑但存在）；五次方程的求根公式成了此后 250 年的圣杯。Euler、Lagrange 屡战屡败——Lagrange 1770 年的综述《关于代数方程解法的思考》指出：三次、四次的一切技巧本质是同一个「预解式」变换，而它对五次方程天然失效。失败的规律本身成了线索。
转折分三步。Ruffini 1799 年给出五次不可根式解的证明，但有漏洞；Abel 1824 年补全：一般五次方程不存在根式求根公式。但 Abel 的证明是「一刀切」——它没有回答哪些具体方程可解。最后一步由 Galois 完成：他给每个方程配上一个群，可解性完全等价于这个群的结构性质。问题从「解方程」变成「研究对称」。
本章路线图：对称的语言（自同构群）→ 对应（子群与子域）→ 基本定理 → 三个实例 → 可解性与根式 → 终审判决。这是一场两百年数学接力的高潮戏。
Abel 说「不可能」就停笔，Galois 问「何时可能」才收线——从一刀切判决到精确判据，是数学成熟的标志。
自同构是域的「对称操作」：搬运元素而不破坏加乘结构。例：σ: ℂ → ℂ，i ↦ −i（a + bi ↦ a − bi，共轭映射）是 ℂ 的自同构且固定 ℝ。σ(√2) 在 ℚ(√2) 中只能取 ±√2（σ(√2)2 = σ(2) = 2，自同构保 0、1）——自同构必须把根送到根，这是全部理论的引擎。
Aut(ℝ) 的特例：任何自同构把正数 x = y2 映到 σ(y)2 > 0，故保序；又固定 ℚ（1 不动 ⟹ 整数不动 ⟹ 分数不动），ℚ 在 ℝ 中稠密 + 保序 ⟹ 恒等。Aut(ℝ) 平庸，但 Aut(ℂ)（不固定 ℝ）极其庞大——选择公理的允许下含不可数多个元素。平庸与庞大取决于「固定什么」：对称是相对的，与第 3 章最小多项式的哲学一脉相承。
Galois 群 Gal(E/F) = E 中「看不见 F 的对称」。群越大，E 里的根越「平等」——群的大小将直接决定方程的命途。
核心装置：让子群与子域互相指认。
两个映射方向相反：H ↦ EH 把群变小则域变大；K ↦ Gal(E/K) 把域变大则群变小。包含关系反转：H1 ⊆ H2 ⟹ EH2 ⊆ EH1；K1 ⊆ K2 ⟹ Gal(E/K2) ⊆ Gal(E/K1)。先摆好这架天平，再问它何时完美平衡。
先做一道小例定味：E = ℚ(√2)，G = {id, σ}（σ: √2 ↦ −√2）。全群固定域 EG = ℚ（a + b√2 被 σ 固定 ⟹ b = 0）；平凡群固定域 Eid = E。群 {1, σ} 与域 {ℚ, ℚ(√2)} 数目相同、排序相反——对应在天平两端各摆了一对。
子群与子域是一枚硬币的两面：看群是「数对称」，看域是「数楼层数」。Galois 的天才在于发现这两个计数是同一件事。
④ 的「正规性」条款是全章最深的判词：子群正规（被共轭稳定）⟺ 对应子域的相对扩张也是 Galois 的（对称能被「投影」下来）。第 10 页判决五次方程时，④ 是把群论结论搬运回方程世界的桥。
基本定理是一张翻译词典：域论问题 ↔ 群论问题。次数 ↔ 阶、子域 ↔ 子群、正规扩张 ↔ 正规子群——从此每个代数方程的命途都写在它的对称群里。
用最小的标本把基本定理走一遍全程。
E = ℚ(√2)，[E : ℚ] = 2。自同构：σ(√2) 须是 x2 − 2 的根，候选 ±√2 都在 E 中 ⟹ G = Gal(E/ℚ) = {id, σ}，σ: √2 ↦ −√2。|G| = 2 = [E : ℚ] ⟹ Galois 扩张 ✓。
σ 的显式作用：σ(a + b√2) = a − b√2（a, b ∈ ℚ）——正是「共轭」的代数化。中学代数里的共轭根、有理化因子，在这里获得身份：共轭就是 Galois 群的非平凡元素。
2 次扩张是最小的非平凡样本：群 C2、域塔两层、对应一格不缺。复杂的理论先在 2 次域里排练，再上大舞台。
n = 5 全景。Φ5(x) = x4 + x3 + x2 + x + 1（ζ5 的最小多项式：由 1 + ζ + ⋯ + ζ4 = 0）；不可约性：平移 x ↦ x + 1 得 (x+1)4 + (x+1)3 + (x+1)2 + (x+1) + 1 = x4 + 5x3 + 10x2 + 10x + 5，Eisenstein（p = 5）⟹ 不可约 ⟹ [ℚ(ζ5) : ℚ] = 4。
次数链 4 = 2 × 2 全是 2 的幂 ⟹ 正五边形尺规可作（第 3 章判据）——Gauss 少年时代的发现在这里获得群论身份：可作 ⟺ 群 C4 有 2 的幂的子群链。Gauss 进一步证明正十七边形可作，因为 (ℤ/17)× ≅ C16。
分圆域是尺规作图的完整答案：正 n 边形可作 ⟺ φ(n) 是 2 的幂且 (ℤ/n)× 的子群链每步 2 次——Gauss 的判据，群论重述一遍就透明了。
正例：ℚ(√2)/ℚ 正规（x2 − 2 全根在场）；ℚ(ζ5)/ℚ 正规（Φ5 的四根 ζ, ζ2, ζ3, ζ4 都在）。反例：ℚ(∛2)/ℚ 不正规——x3 − 2 有一根 ∛2 在场，但另两根 ∛2ω、∛2ω2 是复数，不在实域 ℚ(∛2) 中。
直观：E 的对称是「全根的重排」。K 正规意味着 K 的共轭（其他嵌入像）仍在 K 里，E 的对称于是「不撞破 K 的边界」，可以投影为 K 自己的对称——投影映射正是商群 Gal(E/K)/ Gal(E/F) 的角色（基本定理 ④）。
正规性是「对称的封闭性」：分裂域舞台上的每个自同构都须把根送回根集合；子域要继承对称，就必须对自己的共轭封闭。第 3 章「分裂域 = 给根搭的舞台」在此补全：舞台上的每一幕群演，都必须落在同一块地板上。
反例 ℚ(∛2) 的教训：只一个根上台，舞台是不完整的——对称被囚禁，群退化为 {id}，对应失效。完整舞台（分裂域）才配得上完整的群。
逐个体检：交换群（Cn、V4）立即可解（[G,G] = 1）。S3：[S3,S3] = A3（3 阶循环），[A3,A3] = 1 ⟹ 可解，链 S3 ⊃ A3 ⊃ {1}。S4：[S4,S4] = A4，[A4,A4] = V4（Klein 四元群），[V4,V4] = 1 ⟹ 可解，链长 4。A5：单且非交换 ⟹ [A5,A5] = A5，换位列原地踏步 ⟹ 不可解。
可解性的名字出卖了它的出身：可解群 = 「能被素数阶循环一步步拆解」的群——每一步拆解对应一次「开 n 次方」。五次方程的死刑，本质是 S5 无法被素数阶循环拆干净。
可解群 = 可被「素数阶的阶梯」逐层下到平凡。S3、S4 有梯子，S5 的梯子第一格（A5）就是实的——单群是「拆不动」的原子。
「解方程」的代数定义：只用四则与开方写出的解——即根在根式塔里。Cardano 的三次公式正是三层塔：先添判别式平方根，再添 √−3，最后添立方根。
公式的翻译官是基本定理：根式（塔）↔ 循环商群（链）。三次方程 G = S3 可解 ⟹ 有公式；四次 G ⊆ S4 可解 ⟹ 有公式；五次 G = S5 不可解 ⟹ 公式不存在。「能否写出公式」被翻译为「群能否拆解」——两个世界的词典终于编成。
根式解定理是一台变换器：分析（公式长什么样）进，代数（群结构如何）出。250 年求不出的公式，被一次群论体检判为「查无此物」。
为什么一般方程的群是 S5？直觉：系数独立变元时，五个根之间毫无关系——任何排列都不破坏任何代数恒等式，对称是满格的 S5（严格论证用「万能域」或特化技巧，本册从直觉接受）。
具体方程的死刑由同一判据执行。看 x5 − 6x + 3：
对比四次：一般四次方程的 Galois 群 S4 可解（链 S4 ⊃ A4 ⊃ V4 ⊃ {1}）⟹ 有公式——Ferrari 公式的每一步开方，正好对应链上的一层商群（V4 的交换性 = 双平方根的自由组合）。三次、四次与五次的分水岭，就是「S4 有梯子、S5 没有」。
五次方程不是「难」，是「不可能」——不可能性由 S5 的群结构背书。Abel 断言其不可能，Galois 说明其为何不可能：几何学的两千年剧本（第 3 章三大难题）在方程论重演。
把 p.8–10 的证明链拆开看骨架——三段论环环相扣。
这条链展示了数学证明的分工美学：第一环是结构（词典），第二环是计算（体检），第三环是硬核（原子物理）。Galois 的原始证明思想还有更精细的机制——预解式把 S5 的子群逐级降次，本质是「用交换性的丧失速度」给群分类；现代教材用换位列与合成列把它标准化（Jordan–Hölder 定理是其完全形态）。
大证明 = 翻译 + 计算 + 硬核的接力。单打一环都不够：没有词典，算得再精也只是数数；没有硬核，词典再好也判不了案。
耐人寻味的历史反身性：Galois 为了解方程发明了群论，而群论最终脱离方程论自成学科，反哺数学全域。
概念遗产：正规子群、单群、商群、可解群——全部由 Galois 在研究方程时首次明确提出（「群」的抽象定义则由 Cayley 1854 年补全）。这些概念如今是代数的通用语。
定理遗产：Jordan–Hölder 定理（合成列唯一性，1870 年代）把「可解 = 拆成素数阶循环」升格为「任何有限群都有唯一的合成因子清单」——群论的「元素周期表」思想由此发端，终点是 20 世纪的有限单群分类定理（1983 年宣布完成，上万个页面的集体工程）。分类的第一颗原子恰是 A5——60 阶，最小非交换单群，我们在第 24 页亲手数过它。
方法论遗产：Galois 对应的「结构决定问题可解性」范式，后来出现在每个数学角落：拓扑学中覆盖空间与基本群的对应（与伽罗瓦对应形式完全相同）、数论中类域论与 Langlands 纲领、表示论中的对称性与线性化的对应。
Galois 发明的不是解题技巧，是一门语言。语言一旦诞生，就说出了发明者未曾预见的话——有限单群分类、Wiles 的 Fermat 证明（Galois 表示），都是这门语言的后世篇章。
Évariste Galois，1811–1832，享年 20 岁。生平是一连串事故：16 岁连跳两级进 Louis-le-Grand 高级班并迷上数学；两次报考综合理工落榜（第二次面试中把擦黑板布掷向考官，据传）；17 岁写出论文投科学院——Cauchy 保管期间遗失/搁置；18 岁再投，审稿人 Fourier 去世，稿件再失；19 岁三投，Poisson 退稿，评语「其论证既不清楚，我们也不明白其中思想」（那份退稿报告在 Galois 死后才公开）。
1831 年他因政治活动两度入狱。1832 年 5 月 30 日清晨，为一段感情纠纷（与政敌的阴谋说不清、道不明）赴决斗，腹部中弹，次日死于弟弟手中。决斗前夜，他通宵给友人 Chevalier 写信整理数学遗稿，页边写下那句著名遗言：「我没有时间了。」信中除了方程理论，还预见了后来椭圆函数与模形式的深刻关联。
1846 年，Liouville 审定遗稿并发表于其主编的期刊，伽罗瓦理论从此进入数学主流。1850 年代起 Jordan 系统化之，Artin 1930 年代给出现代形式（线性代数化的基本定理）——今天教材里的「伽罗瓦理论」是三代数学家共同完成的雕塑，原石是那个 20 岁年轻人通宵写下的几页纸。
Galois 的悲剧常被浪漫化为天才与社会的冲突；更准确的读法是：他的思想超前于他的表达——Poisson 看不懂是真的，但 Galois 确实省略了太多「显然」。天才的教训：写出别人能懂的话，是创造的一部分。
伽罗瓦理论的三重范式转换，值得在每个学习节点回味。
① 问题 → 对称。方程的命途不取决于根的数值，取决于根的对称群。这一招统一了本册两条线：尺规难题的「次数 2m」判据（第 3 章）与方程可解性的「群可解」判据，都是「先算对称，再下判词」。
② 特例 → 结构。Abel 证「五次无公式」是特例判决；Galois 建「可解性 ⟺ 群可解」是结构定律——后者顺带解释了三次、四次为何有公式。好定理回答的不止被问的问题。
③ 计算 → 对应。基本定理的双射让两个世界互译，这种「对应」思维是现代数学的核心引擎：拓扑的覆盖–基本群对应、代数数论的类域论、几何的 Langlands 纲领，全是「一个世界的对象翻译成另一个世界、难题在对方世界变简单」的 Galois 基因。
本册至此的三章恰好三级跳：商环（用等价类看结构）→ 扩域（用次数看规模）→ 伽罗瓦（用对称看本质）。格物致知的「格」，在这里是给对称分类。
解 E = ℚ(√2, √3)，[E : ℚ] = 4（第 3 章例 3）。σ ∈ G 须把 √2 送到 x2 − 2 的根 ±√2（都在 E），√3 送到 ±√3，四种组合：
id：√2 ↦ √2, √3 ↦ √3；σ2：√2 ↦ −√2, √3 ↦ √3；σ3：√2 ↦ √2, √3 ↦ −√3；σ2σ3：√2 ↦ −√2, √3 ↦ −√3。
每种组合都是合法自同构（a + b√2 + c√3 + d√6 ↦ 换符号的线性作用，保持全部关系）⟹ G = {id, σ2, σ3, σ2σ3} ≅ V4（Klein 四元群，每非单位元 2 阶）。|G| = 4 = [E : ℚ] ⟹ Galois 扩张。
解 G = V4 的子群：{id}，⟨σ2⟩，⟨σ3⟩，⟨σ2σ3⟩，G，共 5 个（V4 有三个 2 阶元，各生一个 2 阶子群）。逐一算固定域：
{id} ↦ E；G ↦ ℚ（被全体固定的只有 ℚ）：
⟨σ2⟩ ↦ 固定 √2 的元素：{a + b√2} = ℚ(√2)（σ2 不动 √2，翻转 √3）✓；
⟨σ3⟩ ↦ ℚ(√3)；⟨σ2σ3⟩ ↦ 固定 √2 与 √3 都翻转的 ⟹ √6 = √2·√3 被固定 ⟹ ℚ(√6)。
5 个子群 ↔ 5 个子域，三个二次子域 ℚ(√2), ℚ(√3), ℚ(√6) 对应三个 2 阶子群（次数核对 [E : ℚ(√2)] = 2 = |⟨σ2⟩| ✓）。
解 ① 群：G = {id, σ}，σ(a + b√2) = a − b√2，C2 型。② Galois 性：|G| = 2 = [E : ℚ] ✓。③ 对应：G ↔ ℚ，{id} ↔ E；次数：[ℚ(√2) : ℚ] = 2 = |G|/|{id}|，[E : E] = 1 = |{id}| ✓。④ 正规性：G 交换 ⟹ {id} ⊴ G ⟹ E/ℚ 正规；核对：E = x2 − 2 的分裂域 ✓。⑤ 商群：G/{id} ≅ G ≅ Gal(E/ℚ)（相对扩张 = 整个扩张，商群 = 全群，一致 ✓）。
再做一个「负对照」：E = ℚ(∛2)。[E : ℚ] = 3，但 σ(∛2) 须是 x3 − 2 的根，另两根 ∛2ω ∉ 实域 ⟹ σ = id ⟹ G = {id}，|G| = 1 ≠ 3 ⟹ 非 Galois 扩张——对应失效（子群只有 1 个，中间域也只有 1 个，倒还配对；但次数关系全面崩塌：1 ≠ 3）。正规性缺失（x3 − 2 缺两根）正是祸根。
解 G = {σ1, σ2, σ3, σ4}（σk: ζ ↦ ζk），σ2 生成全群（2 是 mod 5 原根：22 = 4, 23 = 3, 24 = 1）⟹ G ≅ C4。子群链：C4 ⊃ ⟨σ4⟩ ⊃ {1}。对应域链：ℚ ⊂ Fix(⟨σ4⟩) ⊂ ℚ(ζ5)。Fix(⟨σ4⟩)：σ4 = 复共轭，固定域 = 实子域 ℚ(ζ + ζ−1) = ℚ(2cos(2π/5))，而 2cos(2π/5) = (√5 − 1)/2 ⟹ Fix = ℚ(√5)。次数核对：[ℚ(√5) : ℚ] = 2 = |C4|/|⟨σ4⟩| = 4/2 ✓。
次数链 4 = 2 × 2 ⟹ 每层都是 2 次扩张 ⟹ ζ5 可作（第 3 章判据）⟹ 正五边形尺规可作。作图塔：ℚ ⊆ ℚ(√5) ⊆ ℚ(ζ5)——先作黄金比，再开平方上到圆等分点，这正是古典作图的代数转写。
解 ① 不正规：x3 − 2 在 ℚ 不可约、有根 ∛2 在场，但另两根 ∛2ω、∛2ω2 ∉ ℝ ⊉ ⟹ 缺根。② 正规：它是 x3 − 2 在 ℚ 上的分裂域（第 3 章例 6，全根 ∛2, ∛2ω, ∛2ω2 在场，域由根生成）⟹ Galois，[E : ℚ] = 6 = |S3| = |G| ✓。③ 不正规：x4 − 2 有根 α = 4√2 在场，但 −α, iα, −iα 三个根中含虚根，ℚ(α) ⊆ ℝ ⟹ 缺根。
② 的群：σ(∛2) ↦ 三选一（∛2, ∛2ω, ∛2ω2），确定后 ω ↦ ω 或 ω2 自动 ⟹ 3 × 2 = 6 个自同构 ⟹ G ≅ S3（6 个置换全出现）。S3 中 A3 = ⟨三次循环⟩ ⊴ S3 ⟹ 对应中间域 ℚ(ω)（2 次，正规 ✓）；C2 子群（2 阶，非正规）⟹ 对应 ℚ(∛2)（3 次，不正规——与 ① 呼应！基本定理 ④ 双向兑现）。
解 S3：[S3,S3] = A3（3 阶，偶置换的循环群），[A3,A3] = 1 ⟹ 链 S3 ⊃ A3 ⊃ {1} ⟹ 可解。S4：[S4,S4] = A4；[A4,A4] = V4 = {1, (12)(34), (13)(24), (14)(23)}；[V4,V4] = 1 ⟹ 链 S4 ⊃ A4 ⊃ V4 ⊃ {1}，商阶 2, 6, 3 ⟹ 可解。S5：[S5,S5] = A5；A5 单（例 10）非交换 ⟹ [A5,A5] = A5 ⟹ 换位列卡死 ⟹ 不可解。
商阶核查（可解等价定义）：S3 链商 2, 3 素数 ✓；S4 链商 2, 6, 3——6 非素数！但等价定义允许「每步正规且商循环」（商 6 = C6 循环 ✓），或细链 A4 ⊃ V4 ⊃ C2 ⊃ {1}（商 2, 2, 2）——两种表述都通过，注意区分「商素数阶」与「商循环阶」两个版本。
解 分裂域 E = ℚ(∛2, ω)，Gal(E/ℚ) ≅ S3（例 5）。S3 可解（例 6：S3 ⊃ A3 ⊃ {1}，商 2, 3）⟹ 有根式解——Cardano 公式正是它。塔：ℚ ⊆ ℚ(√−3)（添 √−3，即 ω 的实虚部，2 次层，对应商 S3/A3 = C2）⊆ ℚ(√−3, ∛2)（添立方根，3 次层，对应 A3 = C3）。三层对应三步：判别式开方 → 单位根 → 立方根，与 Cardano 公式的书写顺序逐层吻合。
注意一个陷阱：ℚ(∛2)/ℚ 本身「已是根式扩张」（∛2 就是立方根），但其 Galois 群（对闭包而言）是 S3——讨论可解性看的是分裂域的群，不是基域本身的群。非 Galois 扩张的单群 {id} 会骗人。
解 ① Eisenstein（p = 3：3 | −6, 3 | 3, 9 ∤ 6, 9 ∤ 3）⟹ f 在 ℚ 不可约 ⟹ G = Gal(E/ℚ) 传递于 5 根 ⟹ 5 | |G|（轨道–稳定），5 阶元是 5-循环。
② 模 2 约简：f ≡ x5 + x + 1 (mod 2)，验乘 x5 + x + 1 = (x2 + x + 1)(x3 + x2 + 1)（𝔽2 中展开：交叉项全成偶次对消）⟹ Frobenius 型 (2,3)：G 含一个「2-循环与 3-循环不交积」型元素——6 阶奇置换。
③ 定群：5 次传递子群的阶只有 5, 10, 20, 60, 120 五种（判据卡）。G 含 6 阶元 ⟹ 6 | |G|，排除 5, 10, 20；G 含奇置换 ⟹ G ⊄ A5，排除 60（A5 全偶）。G = S5。④ S5 不可解（例 6）⟹ 无根式解。□
一张「体检单」完成判决：Eisenstein 定不可约（传递）、模 2 定循环型（6 阶奇元）、传递子群清单定群（S5）、换位列定生死（不可解）。这条流水线是判定具体高次方程的标准流程。
配平：塔式公式给 |G| = [E : F] = [E : EH]·[EH : F] ≥ |H|·[EH : F] ⟹ [EH : F] ≤ |G|/|H|。反向不等式由「Gal(E/EH) = H」（同一独立行论证应用于全群元按陪集的代表）给出，两条合流即基本定理 ②。独立行论证是整个基本定理的心脏——一次线性代数计数，撑起两界。
解 第一步：清点 A5 的 60 个元素——单位元 1 个；双对换 (ab)(cd) 型 15 个（C(5,2)·C(3,2)/2）；3-循环 20 个（选 3 元成圈：10 × 2）；5-循环 24 个（4!）。第二步：算共轭类——3-循环中心化子 3 阶 ⟹ 类大小 60/3 = 20（整类一个）；双对换中心化子 4 阶 ⟹ 类大小 15（一整类）；5-循环中心化子 5 阶 ⟹ 类大小 12，24 个 5-循环分裂成两个类各 12 个（S5 中的一类被 A5 劈开）。共轭类大小清单：1, 12, 12, 15, 20。
第三步：正规子群必是「若干个整共轭类之并且含单位元」，阶整除 60。枚举 1 与部分类之和：1+12 = 13、1+15 = 16、1+20 = 21、1+24 = 25、1+12+12 = 25、1+15+20 = 36、1+15+12 = 28、1+20+12 = 33、1+15+24 = 40、1+20+24 = 45、1+15+12+12 = 40、1+20+12+12 = 45、1+15+20+12 = 48——无一是 60 的因子；全并 = 60 即 A5 自己。除 {1} 与 A5 外无正规子群 ⟹ 单群。
终审 S5：换位列 G0 = S5 → G1 = [S5,S5] = A5 → G2 = [A5,A5] = A5（单且非交换 ⟹ 换位群是正规子群，只能是自己）⟹ 永卡 A5 ⟹ 不可解。五次方程的死刑判决书，最后一枚印章盖在这里。□
本课主线：自同构 = 「根的合法搬运工」。候选搬运目标 = 共轭根；搬运是否自由 = 正规性。群的大小立即读出扩张的 Galois 健康度。
本课主线：对应是「反序双射 + 次数换算 + 正规翻译」三件套。健康检查先看 |G| = [E : F]。
本课主线：基本定理不是背诵条款，而是「次数配平 + 固定方程」两件事的反复操练。
本课主线：分圆域把「等分圆」翻译成「单位群结构」。ζ + ζ−1 = 2cos 是连接虚域与实角的固定桥。
本课主线：可解 = 有素数阶阶梯下到平凡。S4 的梯子三级跳，S5 的梯子第一步就踩空（A5 单）。
本课主线：根式塔 ↔ 可解链是双向词典。逐层「添根 = 降商」，Cardano 与 Ferrari 都是这首诗的旧版本。
本课主线：综合 = 小域排练（V4 剧本）+ 有限域客串（Frobenius）+ 分圆压轴。三者共用同一张词典。
本课主线：例外与一般的对照是本册的暗线——2n 阶的楼梯总是存在（2-群可解），5 的一次出场就可能封梯（A5 单）。
本课主线：证明的三件兵器——双包含、极小化、中心化子计数。第 3 章的「计数器」到本章升级为「共轭类账本」。
十章收束，把本章压成一张「判词 → 依据」对照表。
自查清单：能默写基本定理四条款并各配一例；能手算 V4 剧本（ℚ(√2,√3)）与 C4 剧本（ℚ(ζ5)）的完整对应；能复述 A5 单性的共轭类证明；能说清「可解群」与「根式解」的双向翻译。四项全过，本章毕业。
本章是全册的珠穆朗玛：商环给了等价类之眼，扩域给了次数之尺，伽罗瓦给了对称之镜——三镜合照，方程的命途一览无余。
1811 年 10 月 25 日，Évariste Galois 生于巴黎近郊 Bourg-la-Reine。父亲是小镇镇长，母亲是其启蒙教师。16 岁他连跳两级，读到 Legendre 的《几何原理》与 Lagrange 的论文——「如读小说」。1828 年第一次报考巴黎综合理工落榜（数学天才与书面考试的悲剧性错位），次年父亲因政治迫害自杀——Galois 终生激进化的起点。
论文三投三失：Cauchy 保管期间遗失；Fourier 去世带走第二份；Poisson 退回第三份，评语「我们已尽最大努力理解 Galois 先生的研究，其论证既不清楚，我们也不明白其中的思想」。1831 年两度入狱（共和派政治活动），狱中仍研究。1832 年 5 月 30 日决斗重伤，次日离世，遗言是对弟弟说「别哭，我需要全部勇气才能在二十岁死去」。决斗前夜写给 Chevalier 的信中，他预感死亡并急速重写核心理论，页边空白处三次出现「我没有时间了」。
1846 年 Liouville 在遗稿中辨认出明珠，整理发表；1870 年 Jordan 的《置换与代数方程论》把理论系统化并推向欧洲；1930 年代 Artin 以线性代数重述基本定理，才有了今天课本的形态。一份 60 页的遗稿，养活了此后近两百年的一整个学科分支。
Galois 的遗产常被浓缩为「天才早逝」的悲剧叙事；更值得记住的是他的方法论遗产：给问题配结构、让结构代言。这句话后来成为现代数学的宪法。
伽罗瓦对应是数学中第一个「双语词典」：域的世界（数、根、次数）与群的世界（置换、子群、阶）互为镜像，一个问题在一边难，翻到另一边往往豁然开朗——五次方程在「数」的世界毫无破绽，翻到「群」的世界立刻现出 S5 这块单性顽石。
这架天平此后在数学各处重现，几乎成了「深刻定理」的模板。拓扑学：连通空间的覆盖空间对应其基本群的子群，与伽罗瓦对应逐字平行——「宇宙的电路图」是同一张。代数数论：类域论把数域的阿贝尔扩张与其理想类群对应，是 20 世纪初最宏大的伽罗瓦对应；算术几何：Wiles 证明 Fermat 大定理（1995）的核心装置正是「Galois 表示」——把椭圆曲线的算术翻译进线性群的对称，再借模形式搭桥。原点是 1832 年那几页遗稿。
哲学层面，对应揭示了一种普遍的认知结构：理解一个对象，等价于理解它的自同构；驾驭一个难题，等价于在镜像世界里找到它的简单形态。格物致知在代数里的最高形态，不是格「物」，而是格「物之对称」。
一张图收束：群与域的双人舞——舞步由基本定理编排，舞曲是「对称决定可解性」，终场字幕是五次方程的死刑判决与伽罗瓦的二十岁。
提示与解答 G ≅ C6（(ℤ/7)×，2 为原根）。C6 的子群：{1}, ⟨σ6⟩（2 阶，复共轭）, ⟨σ2⟩（3 阶）, C6。对应：{1} ↦ ℚ(ζ7)（6 次）；⟨σ6⟩ ↦ 实子域 ℚ(ζ7 + ζ7−1) = ℚ(2cos(2π/7))（3 次）；⟨σ2⟩ ↦ 二次域 ℚ(√−7)（唯一二次子域：7 ≡ 3 (mod 4) 时符号为负）；C6 ↦ ℚ。核对次数：6/2 = 3 ✓，6/3 = 2 ✓。四个子群、四个子域，一张表收齐。
提示与解答 链 S4 ⊃ A4 ⊃ V4 ⊃ {1}。S4/A4 = C2 ↔ 添判别式的平方根；A4/V4 = C3 ↔ 添预解式（三次方程！）的立方根——Ferrari 公式内部套着一次 Cardano；V4/{1} = C2 × C2 ↔ 最后的双平方根。三次嵌套在四次公式里，正是「可解链逐层开销」的现场。
提示与解答 E = ℚ(α, i)，α = 4√2，[E : ℚ] = 8（T2 习题课八）。取 σ: α ↦ iα, i ↦ i（4 阶：iα, −α, −iα, α）与 τ: α ↦ α, i ↦ −i（2 阶）。核对关系：τσ(α) = τ(iα) = −iα = σ3(α)，且 τσ(i) = −i = σ3τ(i) ⟹ τσ = σ3τ = σ−1τ——正是二面体关系 ⟨σ, τ | σ4 = τ2 = 1, τσ = σ−1τ⟩，D4 的正方形对称：σ 是旋转 90°，τ 是翻面。8 个元素 = 8 个自同构 ⟹ G ≅ D4。x4 − 2 的对称是一只正方形。
评讲 A1：C2，|G| = 2 = [E : ℚ] ⟹ Galois ✓。A2：S3 ⊃ A3 ⊃ {1}，可解。A3：不正规——x4 − 2 的虚根 iα 不在实域 ℚ(4√2) 中。A4：Gal(ℚ(ζ5)/ℚ) ≅ C4 有 2 的幂子群链 ⟹ 域塔逐层 2 次 ⟹ 可作。
评讲 B1：见例 2——5 个子群对应 5 个子域，次数 4/2 = 2 逐格核对。B2：S3/A3 ≅ C2 交换 ⟹ ⊆；换位子 (12)(13)(12)(13) = (132) ⟹ ⊇。B3：交换 ⟹ 一切子群正规 ⟹ 基本定理 ④ 一切中间域正规（核对：ℚ(√2), ℚ(√3), ℚ(√6) 都是各自最小多项式的分裂域 ✓）。
评讲 评分要点：① 指出「公式存在 ⟺ Galois 群可解」（翻译层）；② 指出 S3、S4 的换位列终止而 S5 卡在 A5（结构层）；③ 点出 A5 单性或「拆不动的原子」直觉（硬核层）。三层俱全满分；只谈计算史不给分——本章要的是判词背后的结构理由。
评卷口径：A 卷看操作（群、链、判据的机械执行），B 卷看证明链，C 卷看「能否以结构语言重述历史」。及格线 24 / 24 / 12。
5.1 模与例子 · 5.2 自由模·基与秩 · 5.3 主理想整环上的结构定理 · 5.4 线性代数的统一
p.161–200 · 讲义 14 · 例题 10 · 习题课 10 · 札记 2 · 收束 4
最后一座主楼：模——把「向量空间」的数域换成任意的环。
逐条对照：R = 域 F 时，这就是线性代数的向量空间（八公理全同）；R = ℤ 时，「数乘」是 n·m = m 加 n 次——每个交换群自动是 ℤ-模。模论一句话总结：把线性代数的标量域换成环，看哪些定理幸存。
第三条预告本章高潮：给一个线性算子 T，就给了一个 F[x]-模——线性代数的 Jordan 标准形将变成「F[x]-模结构定理」的翻译件（第 11 页）。之前每章学到的新结构，都会在模的世界里认领一个化身。
模不是新对象，是「同一个线性代数在不同数系上的投影」。域只是最幸运的投影——模论负责看清全部。
把命题 1.2 的清单逐个展开——每个老朋友都来报到。
① 交换群皆 ℤ-模：C6（6 阶循环群）的 ℤ-模结构：n·g = gn。② ℝn 是 ℝ-模：中学向量。③ 矩阵空间 Mmn(R) 是 R-模：数乘逐项。④ 理想是模：ℤ 的理想 2ℤ 是 ℤ-模；F[x] 的理想 (x2 + 1) 是 F[x]-模。⑤ 商是模：ℤ/3ℤ 是 ℤ-模（3 个元素）；F[x]/(x2) 是 F[x]-模。⑥ 多项式环 R[x] 是 R-模：基 {1, x, x2, …}——无限秩的预兆（第 5 页）。
与群、环的经历一样：定义给出后，「造新模」的标准手法（直和、商、同态集）立即接管。注意直和与「直积」在有限指标时相同——无限指标才分家，本书只走有限路。
模的例子全是「合成」而不是「发现」：旧结构（群、空间、理想、商）配上旧数系（ℤ、F、R）的新组合。代数越往高处走，越像搭积木而非垦荒。
例：ℤ-模 ℤ 的子模 = 子群 = nℤ（全部）；ℤ2 的子模 = 子格，如 {(a, b) : a + b 为偶}；F-模 V 的子模 = 子空间；R-模 R 的子模 = 理想——第 1 章的主角在模的世界里只是「环对自己作模时的子模」。
商模的标本：ℤ/3ℤ（3 元 ℤ-模）；ℤ2/2ℤ2 = ℤ2 ⊕ ℤ2（4 元）；F[x]/(x2)（元素 a + bx，x2 折零）。商模是「模世界里的取模」——把子模的一切折为零。ℤ2/2ℤ2 的计算如同 mod 2 逐分量约简：8 个元素变成 4 个。
子模/商模 = 子群/商群 加一条数乘封闭。模论不是另起炉灶，是群论的照抄 + 线代的借调——「结构相似性」在第三层结构上继续兑现。
例：φ: ℤ → ℤ/nℤ（取模），ker = nℤ，商 ℤ/nℤ ≅ 像 = 全域（平凡但标准）；φ: F[x] → F[x]/(x2) 再复合求值？换个精彩的：φ: ℤ2 → ℤ，(a, b) ↦ a + b，ker = {(a, −a)} = ⟨(1, −1)⟩，故 ℤ2/⟨(1,−1)⟩ ≅ ℤ——平面格沿对角线压扁成一条线，第一同态定理给出精确的「压缩核算」。
同态定理家族在三种结构上三度上演，措辞几乎逐字相同——这不是巧合，是「同态 = 保结构映射」这一观念的必然回报。往后每遇新结构，先找它的同态定理，是代数学习者的肌肉记忆。
域上一切有限生成模都自由（向量空间皆有基）——这是线性代数的免费午餐。换成 ℤ，午餐没了：ℤ/2ℤ 是 ℤ-模，但两个元素 0̄、1̄ 无法唯一表出（2·1̄ = 0 破坏唯一性）⟹ 非自由。「自由」成了需要验证的特权，而「不自由」的病根有了名字：挠。
例：ℤ2 挠自由（无 torsion）；ℤ/2ℤ 全挠；ℤ ⊕ ℤ/2ℤ 半自由半挠——结构定理（第 8 页）将宣告：PID 上每个有限生成模都是「自由部分 ⊕ 挠部分」，像把混合物分离成清水与沉淀。
从域到 ℤ，最大的损失是「元素可被非零标量杀死」。挠，就是这层损失的结构化石——而结构定理告诉我们化石的形状可以完全分类。
秩是良定义的（交换环上自由模的基元素个数唯一，详见例题与证明专题）：Rn ≅ Rm ⟹ n = m。理由预演：取 R 的极大理想 I，商 (R/I)-模 M/IM 既 ≅ (R/I)n 又 ≅ (R/I)m，而域上维数唯一 ⟹ n = m——「域上维数唯一」是「环上秩唯一」的救兵，模论的定律常常靠商到域来继承。
基不唯一但秩唯一——与向量空间的维数定理同构。操作层面：ℤn 的子群是否自由、秩多少、基怎么找，是格理论（数的几何）的基本功；本章例题只处理小秩情形（行列式与 gcd 是主武器）。
秩 = 自由的度量。挠把秩「藏起来一部分」，结构定理把藏起来的部分按素数幂一一清点——下两页的定理是全章的冠冕。
PID 的三张王牌（环论章节已领）：带余除法 ⟹ Bézout ⟹ gcd 存在；不可约 = 素；理想升链终止（Noether）。三张牌在模论里兑换成一个「万能分解定理」。
两个特例先行品尝：R = ℤ 时定理说每个有限生成交换群 = 自由部分 ⊕ 循环群直和（整除链）——群论章节的未竟之业在此一键完成；R = F[x] 时定理说每个线性算子的空间可按多项式因子分解——Jordan 标准形只是它的翻译（第 11 页）。
结构定理是「算术基本定理」的模论升级：整数分解成素数幂，模分解成素数幂商模的直和。PID 的三张王牌，全部押在这一个定理上。
两形式的用途分野：初等因子便于清点（素数幂一眼数），不变因子便于辨认（整除链判定同构）。群论章的「交换群分类」用的正是这两套语言的 ℤ 版本。
Smith 标准形是「辗转相除法的矩阵化」：ℤ 上消公因子，F[x] 上消最大公因式。结构定理不是存在性咒语，是一条可以亲手执行的算法。
清点演习：阶 4 的交换群——12 = 22·3 的 ℤ 版本：4 = 22 的划分 {4} 或 {2,2} ⟹ C4 与 C2 ⊕ C2，两种；阶 8：{8}, {4,2}, {2,2,2} ⟹ 三种；阶 12：2-部分（4 或 2+2）× 3-部分（3）⟹ C4 ⊕ C3 ≅ C12 与 C2 ⊕ C2 ⊕ C3 ≅ C2 ⊕ C6，两种。
有限交换群分类在群论章节是「重活」，在模论章节是「三行推论」——换对语言，定理自己走完。这是本册最省力的一次大丰收。
回到最熟悉的领域，看结构定理如何「解释」线性代数的全部定理性状。
再读一遍这句话：线性代数「向量空间都有基」在模论的账本上写成「域上无挠、结构定理退化为自由」——向量空间的美好不是域的恩赐，是「无挠」的平凡情形。ℤ 与 F[x] 上开始出现挠，结构定理才显出威力。
学过向量空间、交换群、线性算子三套定理的学生，本章的感受是「重逢」：它们本是同一定理的三次投胎——数系换一次，定理换一件外衣，骨相不变。
翻译表：F[x]-模结构定理（第 7 页）读成算子语言——自由部分 F[x]r = 「r 个循环块」；挠部分 ⊕ F[x]/(fi) 中每个 fi = T 在该块上的极小多项式（x·v = T(v)，f(x)·v = 0 即 f(T)v = 0）。整除链 d1 | ⋯ | dk 变成「极小多项式嵌套」——有理标准形（Frobenius 标准形）。
高等代数两大悬案（有理标准形「凭什么这样分块」、Jordan 标准形「凭什么唯一」）在模论里一次性结案：它们是结构定理的翻译件，唯一性由结构定理的唯一性买单。
例：0 → 2ℤ →(含入) ℤ →(取模) ℤ2 → 0 短正合——「ℤ 由两层构成：2ℤ 与商 ℤ2」。正合列是「结构的装配图」：复杂模由简单模拼接的记录。
正合列是「拆」的代数：0 → 子 → 全 → 商 → 0。拆得动（分裂）与拆不动（不分裂）都是信息——同调代数（Ext、Tor）就是把「拆不动」量化成不变量的学科（第 14 页预告）。
群环 F[G]：以群元素为「变元」的代数，乘法 = 群乘法线性扩张。例：F[C2] = F[x]/(x2 − 1)；表示 = 「让每个群元变成可逆矩阵」的合法方案。模语言把「所有表示的分类」翻译成「F[G]-模的分类」——又是结构定理式的提法（F[G] 非 PID，需要半单性帮忙）。
模观点的红利立即可见：「不可约表示」=「F[G]-模的不可分解因子」；「特征标」= 表示的「指纹」，正交性 = 模分解的唯一性。本书不展开，只立路标：表示论 = 模论在群数据上的应用。
「让抽象的对称作用在向量空间上」是物理与数学的共同直觉；模论提供的这句话的严格形式：表示 = 模。对称一旦量化，分类问题就交给环的模论。
本章的终点也是下一座山的山脚。模论向上生长的三条主干：
① 范畴与同调：把「模 + 同态」整体看作一个世界（模范畴），研究同态间的图式——正合列、短正合列的拆解失败度被量化为函子 Extn、Torn。同调代数是 20 世纪数学的通用发动机（代数几何、拓扑、数论共用）。
② 张量积与多线性：M ⊗R N 把「双线性」折成「线性」，是几何中「乘积空间」的代数形态——微分形式的楔积、张量分析、量子纠缠态的数学载体皆出此门。
③ 交换代数与代数几何：交换环上的模 = 「环上的层」的局部模型；Noether 的遗产（升链条件 → Noether 环/模）长成了现代代数几何的地基（Serre、Grothendieck）。
模论的价值不在「又多一种结构」，在「少一种例外」：当群、环、空间都成了模，定理只需证一次。数学的统一性，是靠「降维」而非「升维」实现的。
① ℝ+（正实数，乘法群）配「数乘」a·x = xa：验证公理：(ab)·x = xab = (a·x)b = b·(a·x) ✓；a·(x·y)？「加法」是乘法：x·y = xy，a·(xy) = (xy)a = xaya = (a·x)(a·y) ✓；1·x = x ✓。八公理全过（加法群 = 正实数乘法群）⟹ 是 ℤ-模（也是 ℝ-模）——对数把乘法群变成加法向量空间的经典戏法。
② ℝ2 配 ℝ 数乘但 (a+b)m = am+bm 换成 (a·b)m = a(bm) 只留四条：缺分配律 ⟹ 非模。③ ℤ/2ℤ 配 ℤ 数乘：n·m̄ = nm̄（n 偶得 0̄，奇得 1̄），合法性：n ≡ n′ (mod 2) 时 nm̄ 相同 ✓ ⟹ 是 ℤ-模（全挠）。
解 子模 N = ⟨(2,0),(0,3)⟩ = 2ℤ ⊕ 3ℤ（格点：横坐标偶、纵坐标 3 倍数）。商 ℤ/2ℤ ⊕ ℤ/3ℤ = ℤ2 ⊕ ℤ3，4 + 9 − 共同？直和阶 = 2 × 3 = 6（逐分量独立）⟹ 6 个元素。结构：ℤ2 ⊕ ℤ3 ≅ ℤ6（中国剩余定理：1̄ 的阶 6）⟹ 商模是 6 阶循环 ℤ-模。几何画面：平面格按「横压 2、纵压 3」卷成环面状的 6 个格子。
对照子模本身：N 是秩 2 自由模（基 (2,0), (0,3) 线性无关：a(2,0) + b(0,3) = 0 ⟹ 2a = 0 ⟹ a = 0，同理 b = 0）。子模自由而商模有挠——「格与格之间可以隔着有限距离」。
解 基判据：两向量构成 ℤ2 的基 ⟺ 行列式 = ±1（线性无关 + 张成全格的整数判据）。{(2,0),(0,3)}：det = 6 ≠ ±1 ⟹ 线性无关但不张成——生成的是指标 6 的子格（(1,0) 表不出：2a = 1 无整数解）。{(1,1),(1,−1)}：det = 1·(−1) − 1·1 = −2 ≠ ±1 ⟹ 同样只是子格（指标 2）。真正的基要求 det ±1：如 {(1,0),(0,1)} 或 {(1,1),(0,1)}（det 1）。
为什么是 ±1？(u, v) 是基 ⟺ 存在整数矩阵 W 使 (u v)·W = I ⟹ det(u v)·det(W) = 1，两边整数 ⟹ det(u v) = ±1。几何：单位正方形面积 1 = 基格的最密铺格；det 6 的格子铺不满（漏下 6 倍体积的「孔」——正是商模的 6 阶）。
解 N1 = {(t, t)} 一条格线，秩 1（生成元 1 个、非零 ⟹ 无关）。N2：第二个生成元是第一个的 2 倍 ⟹ N2 = N1，秩 1（生成元 2 个但极大无关组只 1 个——「秩 = 极大无关生成元数」在模里依然成立，因为 ℤ 的子模都自由且秩可比较）。N3：det = 6 ≠ 0 ⟹ 线性无关 ⟹ 秩 2（有限指标子格）。N4 秩 2。
判定口诀：把生成元排成矩阵，秩 = 该矩阵的实秩（把 ℤ 临时当 ℝ 用）；子模的秩 ≤ 环境模的秩（嵌入不升秩）；det ≠ 0 的 n 个生成元 ⟹ 秩 n。ℤ2 的一切非零子模秩 1 或 2，且秩 2 时商模有限（指标 = |det|）。
解 表现矩阵 diag(2, 6) 已对角。验整除链：2 | 6 ✓ ⟹ 不变因子 d1 = 2, d2 = 6，M ≅ ℤ/2ℤ ⊕ ℤ/6ℤ = ℤ2 ⊕ ℤ6（12 阶，核 |det| = 12 ✓）。初等因子：ℤ6 劈开 = ℤ2 ⊕ ℤ3 ⟹ M ≅ ℤ2 ⊕ ℤ2 ⊕ ℤ3（初等因子 {2, 2, 3}）——同一模的两种合法读法。
若矩阵是 diag(2, 3)（不满足 2 | 3）呢？那不是不变因子形式——聚合初等因子 {2, 3} 成 6，得不变因子 6（链只一项）⟹ M ≅ ℤ6，与 ℤ2 ⊕ ℤ3 ≅ ℤ6（CRT）一致。整除链不是额外条件，是「同一模的规范化写法」。
解 12 = 4 × 3（素数幂部分 22 与 3）。2-部分：C4 或 C2 ⊕ C2（2 种）；3-部分：C3（1 种）⟹ 2 × 1 = 2 类：C12（= C4 ⊕ C3，CRT 合体）与 C6 ⊕ C2（= C3 ⊕ C2 ⊕ C2）。不变因子形式：12（链一项）与 2 | 6（链两项）。
16 = 24 ⟹ 4 的整数划分 p(4) = 5 种：{16}, {8,2}, {4,4}, {4,2,2}, {2,2,2,2} ⟹ C16、C8 ⊕ C2、C4 ⊕ C4、C4 ⊕ C2 ⊕ C2、C24 五类。对照：非交换群另有多类（D4、Q8 等）——模论只管交换的，非交换要靠群表示论（第 13 页的路标）。
同构判据（实战）：两交换群同构 ⟺ 不变因子链全同 ⟺ 初等因子清单相同。C4 ⊕ C4 与 C4 ⊕ C2 ⊕ C2 不同类（初等因子 {4,4} vs {4,2,2}）——元素阶结构一验便知。
解 V 是 F[x]-模（x·v = T(v)）。T2 = 0 ⟺ x2·v = 0 对一切 v ⟺ 模被 x2 零化 ⟺ 结构定理的全部初等因子是 x 或 x2（x2 劈开只有 x·x）⟹ V ≅ (F[x]/(x))a ⊕ (F[x]/(x2))b。翻译回算子：F[x]/(x) = F 上 x 作用为 0（1 维零块）；F[x]/(x2) 上 x 作用是 2 阶 Jordan 块（对角 0、超对角 1）。T2 = 0 ⟺ Jordan 块大小 ≤ 2 且对角全零——幂零算子的模论刻画一行读出。
顺带三连：T 可对角化 ⟺ 极小多项式无重根 ⟺ 初等因子全线性互异；T 幂零 ⟺ 初等因子全 (x) 型；T2 = T（投影）⟺ 初等因子全 x 或 (x − 1)。每个矩阵性质都对应初等因子清单的形状——「性质 = 因子谱」。
解 ×2 是单射（2a = 0 ⟹ a = 0，ℤ 无挠）；取模满射；im(×2) = 2ℤ = ker(取模) ✓ 正合。不分裂：若有截面 s: ℤ2 → ℤ（取模∘s = id），则 s(1̄) = t 整数，1̄ + 1̄ = 0̄ ⟹ s(1̄) + s(1̄) = s(0̄) = 0 ⟹ 2t = 0 ⟹ t = 0 ⟹ s(1̄) = 0，与取模后 = 1̄ 矛盾。⟹ ℤ ≠ 2ℤ ⊕ ℤ2——「ℤ 不是两层楼的直和」，正合只保证「夹心」，不保证「能拆开」。
对照分裂例：0 → 2ℤ →(含入) ℤ ⊕ ℤ2 →(投影) ℤ2 → 0 分裂（截面 = 含入）。分裂的域上版本更宽：F-模短正合列必分裂（商的基逐个提升，命题 12.3）——又一处「域比 ℤ 幸运」。
一般化随手可得：ℤ/(mn) ≅ ℤ/(m) ⊕ ℤ/(n) ⟺ m, n 互素；F[x]/(fg) ≅ F[x]/(f) ⊕ F[x]/(g) ⟺ f, g 互素（如 F[x]/(x2 − 1) ≅ F[x]/(x−1) ⊕ F[x]/(x+1)，char ≠ 2）——结构定理的初等因子劈裂全靠它。
证明的杠杆是「商到域」：环上的问题交给域上的已知定理。这一招在模论处处出现——秩、行列式、Smith 形的合法性都靠「极大理想商域」托底。顺带注意 I·(−) 这个构造的正式名字是「张 I 张量积」，第 14 页路标的第一个实义动作。
反例提防：若 R 没有单位或非交换，「秩唯一」可能失效（存在病态环使 R ≅ R ⊕ R）——公理④（1·m = m）与交换性不是摆设，是这页证明的护城河。
本课主线：模 = 「数系可换的线性代数」。判断题先问「哪个环的模」，再验公理——同一集合在不同数系下秩、挠、结构全变。
本课主线：子模 = 「封闭性多一条」的子群/子空间；商模 = 「折零子模」。F[x] 的子模 = 不变子空间是本章回望线性代数的暗道。
本课主线：det ±1 = 基；|det| = 指标 = 商模阶。自由性的反面（挠）是 ℤ-模世界最丰富的现象。
本课主线：Smith 对角化 + 整除链 + CRT 劈合——结构定理的全部操作就这三板斧，ℤ 与 F[x] 通吃。
本课主线：结构定理的三处变现——交换群分类（ℤ）、矩阵标准形（F[x]）、特征与阶的互动（域模）。同一定理，三处工资。
本课主线：综合题 = Smith 流水线 + CRT 劈合 + 阶数对拍。T3 提醒：无限世界里「全模 ≅ 真子模」合法，有限阶世界绝不。
本课主线：循环群、CRT、极小多项式——三个「老定理」在模语言里都成了结构定理的例行推论。统一理论的复利，本章兑付。
本课主线：挠不变量、Noether 性、幂等分解——三件证明武器。T4/T5 的「幂等元 = 直和开关」在环论章（ℤ60 幂等元）已露过头。
本课主线：证明专题的第二弹——不变量传递（T1/T2）、计数对拍（T3）、阶谱判同构（T4）、零化理想（T5）。每个都是结构定理的「局部手术」。
十章收束。模初步的全部内容压成一张「结构 → 结论」速查卡。
自查清单：能不查书写出结构定理两种形式并互译；能 5 分钟内 Smith 一个 2×2 整数矩阵；能口述「域上皆自由」与「PID 三张王牌」；能把「极小多项式无重根 ⟺ 可对角化」翻译成初等因子语言。四项全过，本章毕业。
模初步是一次「回望式学习」：线性代数、群论、环论的全部高光，在模的语言里重逢成同一定理。下一章（专题）将把伽罗瓦理论再讲一遍——换观众，不换舞台。
向量空间是 19 世纪的宠儿（Hamilton 的四元数、Grassmann 的扩张论、Peano 的公理化），但它天生绑死在「标量必须是域」上。第一个意识到「标量可以是环」的是 Emmy Noether 学派：1920 年代，Noether 把「理想」「模」升格为独立研究对象，环与模从「多项式理论的脚手架」变成了「代数的主体建筑」。她 1927 年的论文《抽象代数的明确目标》给了今天教科书的全部骨架。
结构定理的家谱更早：有限交换群的分类由 Frobenius 与 Stickelberger（1879）在群论语境下证得；Dickson（1900 前后）搬进线性代数；Noether 与 Krull 把它抽象成 PID-模定理——一条定理迁移三代、换了三次语言，每一次迁移都让适用面翻倍：从「交换群」到「矩阵标准形」到「任何主理想整环上的任何有限生成模」。
「让域退居幕后」的另一面是「让环走上前台」：现代数学的多数结构——整数、多项式、矩阵代数、群环、函数环——都是环不是域。模论是唯一能同时收编它们的线性理论；范畴论学者说「模范畴是数学的基本粒子对撞机」，所指正是这种普适性。
格物致知的次序在此反转：先有最特殊的（域、向量空间），再抽象出最一般的（环、模），最后发现特殊只是一般的退化情形——抽象不是为了远离具体，是为了看清具体之间的关系。
每个学高等代数的人都背过两套互不相干的标准形：实对称矩阵的正交对角化、一般矩阵的 Jordan 标准形；背过两个互不相干的分类：有限维向量空间的维数定理、有限交换群的结构定理。本章的全部内容可以概括为一句话：这四件事是同一个定理的四次翻译。
翻译表：结构定理（PID：F[x]）读出 Jordan 与有理标准形；结构定理（PID：ℤ）读出交换群分类；结构定理（域：F）退化成维数定理。连「不变因子」「初等因子」「初等因子组」这些名词，都是三处教材各自发明后被发现是同一物——数学史上的「多中心重复发现」，正是理论等待统一语言的信号。
更深的统一在后代显形：Grothendieck 把这种「分类定理」升级为「范畴等价」——矩阵标准形 = F[x]-模范畴到向量空间加算子范畴的等价；同调代数把「Smith 对角化」升级为「导出函子」；表示论把「群环模」升级为整个 20 世纪后半叶的主战场。本章的模，是这些大厦共用的地基桩。
重逢是学习的最高奖赏：当发现两件背过的东西原是一件，知识第一次有了「结构」。本册用一章模论，偿还了线性代数欠下的所有「为什么」。
一张图收束：模是「数系无关的线性代数」——域是最幸运的数系（无挠），PID 是可分类的数系（结构定理），一般环是前沿阵地。本章把本册前四章的全部对象收编进同一套语法。
提示与解答 表现矩阵行 (4,2), (2,1)：det = 4 − 4 = 0 ⟹ 两行相关（(4,2) = 2·(2,1)）⟹ 子模实为 ⟨(2,1)⟩，秩 1 ⟹ M 自由部分秩 1；1 元挠部分零（单一生成元无关）⟹ M ≅ ℤ。教训先行：先验行列式，再动 Smith——det 0 ⟹ 有自由残余。
提示与解答 64 = 26 ⟹ p(6) = 11 划分：{64}；{32,2}；{16,4}；{16,2,2}；{8,8}；{8,4,2}；{8,2,2,2}；{4,4,4}；{4,4,2,2}；{4,2,2,2,2}；{26}。即 C64、C32⊕C2、C16⊕C4、C16⊕C22、C8⊕C8、C8⊕C4⊕C2、C8⊕C23、C43、C42⊕C22、C4⊕C24、C26——11 类。p(6) = 11 可由递推 p(n) = p(n−1) + p(n−2) + ⋯ 逐段验证。
提示与解答 T3 = 0 ⟹ mT | x3；T2 ≠ 0 ⟹ mT ∤ x2 ⟹ mT = x3 ⟹ 初等因子中含 (x3)。维数 = 初等因子幂次之和 = 3 ⟹ 幂次预算恰好用尽 ⟹ 初等因子清单只有 {3} 一型 ⟹ V ≅ ℂ[x]/(x3)，单个 3 阶 Jordan 块，唯一答案。对照：{2, 1} 型维数 3 ✓ 但 mT = x2 与 T2 ≠ 0 矛盾；{3, 1} 型维数 4 超预算。幂零算子的 Jordan 谱 = 维数预算下的整数划分——约束一上，划分常常唯一。
评讲 A1：任四条（分配、结合、1·m、加法群）。A2：不自由（全挠：4·m̄ = 0）。A3：ℤ3 ⊕ ℤ3（对角 3,3，3|3 ✓），9 阶。A4：C8、C4 ⊕ C2、C23，三种。
评讲 B1：det(2,4;4,6) = 12 − 16 = −4 ⟹ 商模 4 阶。初等变换 r2 − 2r1 = (0, −2) ⟹ 对角 (2, 2)，2 | 2 ✓ ⟹ M ≅ ℤ2 ⊕ ℤ2，阶 2·2 = 4 = |det| ✓ 对拍成立。（易错点：若只提公因子 gcd 2 而忘了逐行消元，会错得 d2 = 6——阶数对拍立刻报警。）B2：无重根 ⟺ 初等因子全一次且互异 ⟺ 全部 F[x]/(x−λ) 一维块 ⟺ 对角。B3：右有 2 阶元左无——挠谱不同。
评讲 失去：基的免费午餐、维数的唯一解、解方程的封闭性；得到：挠与整除链（有限交换群免费入场）、Smith 算法（整数可执行）、与数论的接口（CRT、格）。三条面各配一个定理实例为佳。
评卷口径：A 卷看概念，B 卷看算法与证明，C 卷看「数系换镜」的自觉。及格线 24 / 24 / 12。
6.1 卡尔达诺与域塔 · 6.2 群与域的对译 · 6.3 可解群与判据 · 6.4 五次方程的终结
p.201–240 · 讲义 14 · 例题 10 · 习题课 10 · 札记 2 · 收束 4
收官专题：把方程求根的四千年长路走完最后一程。
巴比伦（前 1800）：二次方程的配方算法刻在泥板上——「求与积」问题已有完整解法，只是用文字叙述、无符号、只取正根。《九章算术》（前 1 世纪）：开立方术（少广章）给出立方根的完整算法——逐位估算、减根、借算，正是后世 Horner 法的祖先；「开之不尽者」的处理（以面命之）坦承无理数的存在。刘徽注（263 年）更进一步用几何割补解释每一步。秦九韶（1247）：《数书九章》的「正负开方术」把增乘开方法推到任意高次——比 Horner（1819）早 572 年。
西方的公式之路：16 世纪意大利数学家们解出三次、四次（第 2、5 页）；五次方程悬置 250 年；Ruffini、Abel 宣判一般五次无根式公式；Galois 给出精确判据（哪些方程可解）——本专题的主戏。
「方程」是数学最古老的动词。本章不是复习，是终审：用前五章造好的全部工具（商环、扩域、对称、模），为这个问题画上句号。
三根 = 对两种立方根各取三种取法（乘以三次单位根 ω）组合，满足约束的恰三对。但公式藏着一枚深水炸弹：casus irreducibilis（不可约情形）——当方程有三个互异实根时（Δ < 0），√Δ 是纯虚数，公式被迫穿越复数才能回到实根！Bombelli（1572）首次直面此事：x3 − 15x − 4 的公式里出现 ∛(2 + 11i)，他硬着头皮算出 (2 + i)3 = 2 + 11i，两共轭相加得实根 4——「虚数」第一次不是错误而是必经之路。
Wantzel（1843）证明这不是技巧问题：三个互异实根时，任何只用实数根式的表达都不存在——复数是三次公式的宿命。复数的合法化，一半功劳属于这条公式。
Cardano 公式是最早的「域塔」：取模后判别式开方、再开立方根——它的每一项都是一次扩域。公式背后的结构，要到 300 年后才被看清。
第 4 章的定义与主定理在此立牌——本专题的工作语言。
三个方程的群体检预告全章：x3 − 15x − 4 已有有理根 ⟹ 可约 ⟹ 群是 2 阶（例 1 详查）；x3 − 3x + 1 不可约三实根 ⟹ 群 A3（3 阶循环，判别式完全平方）；x5 − 6x + 3 ⟹ 群 S5 不可解 ⟹ 无根式解。可解群如通行证，非可解群如拒签章。
「根式解」的定义把 16 世纪的直觉（能写公式吗）转成 19 世纪的结构（群可拆吗）。定义一旦精确，问题已经解了一半。
以 Bombelli 的名例 x3 − 15x − 4 = 0 全程解剖——公式、复数穿行、结构读法三线并行。
公式层：p = −15, q = −4 ⟹ Δ = (−2)2 + (−5)3 = −121，√Δ = 11i。立方根搜寻：∛(2 + 11i)——Bombelli 试出 (2 + i)3 = 2 + 11i ✓，同理 ∛(2 − 11i) = 2 − i ⟹ 根 x = (2 + i) + (2 − i) = 4。另两根由 ω 组合（乘 ω 后仍满足 uv = 5 约束的配对）⟹ −2 ± √3。
结构层：三根 4, −2±√3 全实且互异（casus irreducibilis ✓）。但注意 x = 4 是有理根 ⟹ 可约：x3 − 15x − 4 = (x − 4)(x2 + 4x + 1)，二次因子根 −2±√3 ⟹ 分裂域 = ℚ(√3)，仅 2 次！Galois 群 = C2（翻转两根的奇置换）。三实根不推 S3——有理根漏了底，传递性破产，群缩水。
同一个公式，三种群相（C2、A3、S3）——casus irreducibilis 的「复数必经之路」，在群侧只是 S3 型的传递对称而已。复数之谜等到 Galois 才解锁。
Ferrari（1545）：四次方程的解法是「降一层」——预解式化归三次，再用 Cardano。
分解标本：x4 − 2x2 − 8x − 3 = (x2 + 2x + 3)(x2 − 2x − 1)（验乘 ✓）——两二次因子各带一个平方根域：ℚ(i√2) 与 ℚ(√2)，分裂域 ℚ(√2, i√2) = ℚ(√2, i)，4 次，群 V4（两个平方根独立翻转）。四次方程的群恒为 S4 的子群，而 S4 可解（链 S4 ⊃ A4 ⊃ V4 ⊃ {1}）⟹ 四次公式无条件存在——Ferrari 的成功由 S4 的梯子背书。
三次、四次公式的「可以存在」，等价于 S3、S4 的「可以拆解」。Ferrari 的预解式在群侧就是「往 V4 作商」——技巧背后全是结构。
把第 4 章基本定理浓缩成一张随身词典——本专题的翻译工具。
判别式词典是低次方程的「群速查表」：二次（disc = b2 − 4c）、三次（disc = −4p3 − 27q2）、四次（更长的公式）各有一张——本章例题反复使用三次版。
词典的第 ⑤ 条是全章的心脏：根式（算法世界）↔ 循环商（结构世界）。Cardano 与 Galois 相隔 300 年，说的其实是同一句话。
全章各群的「可解体检报告」：Cn、V4、A3 交换 ⟹ 立即可解；S3 ⊃ A3 ⊃ {1}（商 2, 3）✓；S4 ⊃ A4 ⊃ V4 ⊃ {1}（商 2, 3, 2 或细分 2,2,2）✓；D4（8 阶）⊃ C4 ⊃ C2 ⊃ {1} ✓；C5 ⋊ C4（20 阶，Frobenius 群）⊃ C4 ⟹ 商 C5 ✓；A5 单非交换 ⟹ 卡死 ✗；S5 ⊃ A5 ⟹ 卡死 ✗。
n = 5 起传递子群出现 A5（60 阶单）——第一个「拆不动」的传递群。可解与不可解的分界线精确落在 4 与 5 之间：低次全绿、五次开始亮红灯。
可解群体检表 = 方程可解性的 Periodic Table。S4 之内万物有梯，A5 现身之处梯子断绝——分类定理的价值就是把「所有可能」摆上台面。
两套反向工具同样重要：证可解用「构塔」（把解一步步开方写出来，如分圆、二项式）；证不可解用「拆群」（找到单群挡路）。一攻一守，流水线各取所需。
判据卡是本章的「出厂设置」：四个工位（不可约 → 采样 → 定群 → 终审），输入方程、输出生死。例题 22 页给完整跑线。
具体方程则各有个的命：x5 − 2 群 20 阶（可解）；x5 − 1 群 4 阶（可解）；x5 − 6x + 3 群 S5（不可解）。「五次方程不可解」的准确读法：不存在对一切五次方程生效的根式公式——因为公式须覆盖群为 S5 的情形；具体方程可解与否看自己的群。
一般方程的 S5 是「对称满格」：根自由到任何排列都合法。可解性死亡不是根的悲剧，是对称过剩的悲剧——对称太多反而无路可走，这是伽罗瓦理论最深的吊诡。
两代证明的气质对比：Abel 证明「一般不行」——一刀切，不解释个别幸存者；Galois 证明「行与不行的分界在哪」——可解群这条分界线同时解释了三次、四次的成功与五次的失败，甚至预言了哪些特殊五次可解（x5 − 2 型）。
三份判决书落款：Ruffini–Abel 判「一般五次不可能」；Galois 判「可解性 = 群可解」，把不可能性变成可计算判据；Hermite（1858）再补一刀——一般五次方程可用椭圆模函数解出：根式不够，更高级的函数来凑。终结的只是「根式」这一种表达方式，不是解本身。
定理的名字应读作「根式解的终结」而非「方程的终结」——一个表达时代的落幕，同时是结构时代的开幕。
把「五次不可根式解」的完整证明挂成一张流程图——每一步都是本册某章的产出。
大定理的证明像接力赛：每棒 100 米，单棒都不长，合起来跨过的是一个时代。本册六章就是为这四棒配备的体能训练。
第 3 章用「次数 2m」判尺规作图；现在用 Galois 语言升级判决——同一批老案，一次更深的重审。
三案重审：倍立方 x3 − 2 群 S3（6 阶）含 3 ⟹ 非 2-群 ⟹ 不可作 ✓；三等分 60° cos 20° 的群 3 阶（A3 型循环）⟹ 不可作 ✓；化圆为方 π 超越，群概念都不适用 ⟹ 不可作 ✓。正 n 边形：ζn 的群 (ℤ/n)×，可作 ⟺ 它是 2-群 ⟺ φ(n) = 2k ⟺ n = 2a·p1⋯pk（pi 为互异费马素数 3, 5, 17, 257, 65537）——Gauss 少年判据的完整群论形态。
同一批几何悬案，第 3 章判了「不可能」，本章判得「可能且给出路径」——理论的第二次阅读永远比第一次便宜，因为词典已经造好。
「根式解终结」之后的数学，三条支流各自奔涌。
① 数值分析接棒：根的计算问题由 Newton 迭代法（1669 起）与秦九韶传统的现代后裔接管——求根的工程学从未停工，只是换了目标：从「精确公式」到「任意精度」。
② 超越根式的解法：Hermite（1858）用椭圆模函数解一般五次；Bring–Jerrard 形 x5 + x + a 与超几何函数；「不可根式解」催生了对特殊函数的需求——解方程的历史转入函数论。
③ 群论独立成科：Galois 发明的正规、单、商、可解概念由 Jordan（1870）系统化，Cayley 给出抽象群定义；1900 年前后的「群论脱离方程论」是抽象代数诞生的前奏——Noether、Artin、van der Waerden（1930《Moderne Algebra》）把本册的整个体系立起来。
终结一根式，开三扇门：计算之门（数值）、函数之门（特殊函数）、结构之门（群论）。第三扇门最大——今天整座抽象代数大厦都是从它走进的。
下册六章在此会师：这是一次总结，也是下一段旅程的检票口。
句号与冒号：对「求根公式」而言，这是句号——四千年探索的逻辑终点；对「结构研究」而言，这是冒号——同构定理、表示论、类域论、Galois 表示、Langlands 纲领接续登场。数学史的有趣处正在于此：一个问题的句号总是另一个领域的冒号。
《九章算术》的方程章开启了「按术求解」的传统；Galois 的遗稿开启了「按结构判命」的传统。本册在两传统之间搭桥——格物致知，格的最终是结构。
解 公式线：Δ = (−2)2 + (−5)3 = −121 ⟹ √Δ = 11i。找立方根：试 (2 + i)3 = 8 + 12i − 6 − i = 2 + 11i ✓，故 ∛(2 + 11i) = 2 + i（另两取法乘 ω、ω2），∛(2 − 11i) = 2 − i ⟹ 主根 x = 4。结构线：三根 4, −2 ± √3（全实互异，casus irreducibilis）；x = 4 有理 ⟹ f = (x − 4)(x2 + 4x + 1) 可约 ⟹ 分裂域 ℚ(√12) = ℚ(√3)（2 次），G = C2（翻转共轭复根对的奇置换）。
验根（必做）：43 − 60 − 4 = 0 ✓；(−2+√3)2 = 7 − 4√3，(−2+√3)3 = (7−4√3)(−2+√3) = −14 + 7√3 + 8√3 − 12 = −26 + 15√3，代入：−26 + 15√3 + 30 − 15√3 − 4 = 0 ✓。三根齐活：公式穿过 ℚ(11i) 与立方根域，结构只认 ℚ(√3)——公式绕远路，结构抄近道。
解 Ferrari 化归：配 (x2 − 1)2 = 2x2 + 8x + 4，即 (x2 − 1)2 = 2(x2 + 4x + 2)；右侧配完全平方需预解式参数——按 Ferrari 流程解三次预解式后得分解 x4 − 2x2 − 8x − 3 = (x2 + 2x + 3)(x2 − 2x − 1)（验乘：x4 − 2x3 − x2 + 2x3 − 4x2 − 2x + 3x2 − 6x − 3 = x4 − 2x2 − 8x − 3 ✓）。两因子各自开方：x2 + 2x + 3 = 0 ⟹ x = −1 ± i√2（disc = −8）；x2 − 2x − 1 = 0 ⟹ x = 1 ± √2（disc = 8）。
域塔与群：两根对给出 ℚ(i√2) 与 ℚ(√2)，分裂域 ℚ(√2, i)（4 次，i = (i√2)/√2 自动在场）；群 V4 = {√2 ↦ ±√2} × {i ↦ ±i}——两个平方根独立翻转。塔：ℚ ⊆ ℚ(√2) ⊆ ℚ(√2, i)，商群链 C2, C2 对应两层开方。四根齐：1 ± √2, −1 ± i√2。
解 分裂域 E = ℚ(∛2, ω)。塔：ℚ ⊆1 ℚ(√−3) ⊆3 E。底层：ℚ(√−3) = ℚ(ω)（ω = (−1 + √−3)/2），2 次层——「先让单位根入席」，对应商群 S3/A3 = C2。顶层：ℚ(√−3, ∛2)，3 次层（x3 − 2 在 ℚ(√−3) 上不可约：有根则 ∛2 ∈ 2 次域 ⟹ 2 | 3 矛盾）——「再添立方根」，对应商 A3 = C3。总次数 6 = |S3| ⟹ Galois ✓。
塔的次序可以换吗？先添 ∛2 得 ℚ(∛2)（3 次，非正规），再添 ω 仍到 E（6 次）——但中间层 ℚ(∛2) 的群退化（非 Galois，对应子群 C2 不正规）：塔的层次对应可解链的正规子群串，次序错则中间层失去对称意义。可解链 S3 ⊃ A3 ⊃ {1} 的规范读法正是「单位根先入席」的塔。
解 三次式判别式 disc = −4p3 − 27q2。x3 − 3x + 1（p = −3, q = 1）：disc = −4(−27) − 27 = 81 = 92 完全平方 ⟹ G ⊆ A3；又有理根检验（±1：−1, 3 非零）⟹ 不可约 ⟹ G 传递 ⟹ G = A3 = C3（3 阶循环）。分裂域 3 次（第 3 章习题课八 T1 的递推结论呼应：三根皆为 α 的多项式）。
x3 − 2（p = 0, q = −2）：disc = −108 = −4·27 非完全平方 ⟹ G ⊄ A3；不可约（Eisenstein p = 2）⟹ 传递 ⟹ G = S3（6 阶），分裂域 6 次。两例一比对：三次方程的群三选一（C2 可约 / A3 平方判别式 / S3 非平方），判别式一次定夺。
解 分裂域 E = ℚ(4√2, i)，[E : ℚ] = 8（第 4 章习题课八）。群：σ: α ↦ iα, i ↦ i（4 阶）与 τ: α ↦ α, i ↦ −i（2 阶），关系 τσ = σ−1τ ⟹ G ≅ D4（正方形对称，8 阶）。D4 的子群链（可解梯）：D4 ⊃ ⟨σ⟩ ≅ C4 ⊃ ⟨σ2⟩ ≅ C2 ⊃ {1}，商 2, 2, 2 全循环 ⟹ 可解 ⟹ 有根式解 ✓（4√2 = √√2 两层开方）。
对应子域抽三格：全群 D4 ↔ ℚ；⟨σ⟩ ↔ ℚ(i)（σ 不动 i，4 阶固定域 2 次：8/4 = 2 ✓）；⟨σ2⟩ ↔ ℚ(i, √2)（σ2: α ↦ −α 固定 α2 = √2 与 i，4 次域 8/2 = 4 ✓）。四次的对称是一只正方形的对称——「方程的群」与「几何的对称」在 D4 处握手。
解 S4（一般四次方程）：链 S4 ⊃ A4 ⊃ V4 ⊃ {1} ⟹ 可解 ⟹ 公式存在 ✓。D4（x4 − 2 型）：⟨σ⟩ 链 ⟹ 可解 ⟹ 双层开方 ✓。C5 ⋊ C4（x5 − 2 型，AGL(1,5)）：链 G ⊃ C4 ⊃ {1}，商 C5 与 C4 皆循环 ⟹ 可解 ⟹ ∛5（先 ζ5 后 5√2 的塔）✓。S5（一般五次、x5 − 6x + 3 型）：卡在 A5 ⟹ 不可解 ⟹ 无公式 ✗。
四份体检单的集体结论：可解性由「换位列能否下到平凡」一票裁定，而换位列的构成完全由群结构（有无非交换单群挡路）决定。20 阶的 C5 ⋊ C4 是「可解但非交换」的好标本——半直积的扭曲不妨碍拆解。
解 x3 − 2：Eisenstein p = 2 不可约 ⟹ 传递；disc = −108 非平方 ⟹ S3；S3 可解 ⟹ 有根式解（Cardano ✓）。x4 − 2：Eisenstein 不可约 ⟹ 传递；分裂域群 D4 可解 ⟹ 有根式解（双层开方 ✓）。x5 − 6x + 3：Eisenstein p = 3 不可约 ⟹ 传递；mod 2 分解 (x2+x+1)(x3+x2+1) ⟹ (2,3) 型奇元；5 次传递子群清单 ⟹ S5；不可解 ⟹ 无根式解 ✗。
三个方程的判决书共用同一条流水线，耗时递增而结论两反——判据卡的价值在于把「解方程的可能性」变成标准化的群论体检：任何 f ∈ ℚ[x] 都可按此流程出报告。
解 ① 不可约性：Eisenstein p = 3（系数 0, 0, 0, −6, 3 全被 3 整除、−6 与 3 不被 9 整除、首项 1 幸免）⟹ ℚ 上不可约 ⟹ G 传递于 5 根 ⟹ 5 | |G|（轨道–稳定），且 5 阶元是 5-循环。② mod 2 采样：f ≡ x5 + x + 1；验分解 x5 + x + 1 = (x2 + x + 1)(x3 + x2 + 1)（𝔽2 展开：x4 项 1+1 = 0、x3 项 1+1 = 0、x2 项 1+1 = 0 对消）⟹ Frobenius 循环型 (2, 3)——2-循环与 3-循环之积，6 阶奇置换。③ 定群：5 次传递子群五阶位 {5, 10, 20, 60, 120}；6 阶元排除 5, 10, 20（6 ∤ 各阶）；奇置换排除 60（A5 全偶）⟹ G = S5。④ 终审：[S5,S5] = A5、[A5,A5] = A5（单）⟹ 不可解 ⟹ 无根式解。□
②的原理再咬一口：为什么因式次数 = 循环长度？𝔽2 上不可约 2 次因子的根落在 𝔽4、3 次因子的根落在 𝔽8；Frobenius x ↦ x2 在 𝔽2d 上恰好 d 步回原点（x2d = x）——因式次数就是 Frobenius 的轨道长度。素域因式分解是「对称的 X 光片」，这句话的严格证明。
δ 这个对象名叫 Vandermonde 积——它在置换下的符号行为就是「奇偶性」的代数定义原点：An 的「n ≥ 5 单性」与「n = 4 的 V4 梯级」都从这一个乘积出发。
「必须的」的含义：任何求根表达若只用根式，其塔层数必须与可解链同构——S3 的链规定了至少要一次平方与一次立方，Cardano 一项不多一项不少。公式的形状由群决定，这是对「公式」二字最深的读法。
本课主线：塔 = 「单位根地基 + 素数幂楼层」。每层验 Galois（正规），群链随之生成。
本课主线：判别式是「奇偶性检测仪」；配合不可约性，二三四次的群全部速查化。五次以上判别式只给一半信息（G ⊆ An 与否），需 mod p 采样补全。
本课主线：可解链 = 「交换性的渐进达成」。体检各群只看一件事：换位列能否下到平凡。
本课主线：mod p 采样 = 群元素的廉价 X 光。三步流水线（不可约 → 采样 → 清单定群）是五次判决的标配。
本课主线：五次世界不是铁板一块——二项式、分圆型、D5 型皆活路；判决只落在满格对称者头上。结构决定命途，逐案执行。
本课主线：数学史不是英雄谱，是「问题—工具—语言」三线缠绕的历史。判据卡判方程，历史课判「观念的成熟度」。
本课主线：综合 = 定群（判别式/采样）+ 判可解（换位列）+ 搭塔（单位根 + 根式）。三件事一次跑完，方程即结案。
本课主线：可约封顶群阶、采样补全证据、群的丰俭定公式层数——三道综合推理把判据卡用成手术刀。
本课主线：证明专题把判据卡的地基逐条挖出——传递性、2-群、素阶商链、S5 清单、实塔极限。每一条都是一座小定理。
收官习题课：把本专题与全册压成一张总装卡。
全册自查清单：能默写结构定理与基本定理并互相翻译；能独立跑完五次方程判决流水线；能说清「可解群」「2-群」「单群」三概念在尺规与根式两大判决中的分工；能从《九章》开方术讲到 Galois 遗稿而不断线。四项全过，下册毕业。
收官赠言：方程的求根之路走到了句号，而每一步都通向更大的结构。愿在群与域的双人舞里，听见数学的统一性——那是两千年、两大洲、无数心灵共谱的同一支曲。
方程是数学最古老的篇章，而这条长路的东方起点恰与「九章格」的名字同源。《九章算术》少广章的「开立方术」是一种逐位求根的机械算法：估初商、立方减积、定次商——它与今天计算机里的整数开方程序逐字同构。更惊人的是「开之不尽者，曰不可开」——两千年前的教科书坦然宣布：有些根不存在于有理世界，这几乎是一次「扩域」的口头预告。刘徽注再以方锥割补给算法配上几何直观，算法与结构并重的传统由此发端。
宋元之际此路登峰：贾宪三角（约 1050）与秦九韶「正负开方术」（1247）可解任意高次的数值根，比 Horner 早五个多世纪。东方路线的品格是可计算性：不管几次，都能给出精度。西方路线自 Cardano 始则是可表达性：根必须写成系数的公式。两条路背道而驰四百年——直到 Galois 把问题翻译成「群可解否」，人们才看清：东方的数值路线从未受限（逼近永远可行），西方的公式路线有铁幕（S5 单性）。而这条铁幕的发现本身，靠的正是把「表达」升级为「结构」。
长路的启示：算法与结构不是对立，是同一坐标系的两个投影。《九章》问「怎么求」，Galois 问「凭什么可求」，现代数学同时继承两问——数值分析管第一问，代数结构管第二问。本册以「九章」为名、以 Galois 收官，正是想让人在合卷时看见：开方术与遗稿之间隔着的不是东西方，是同一个问题在两千年里的两次深呼吸。
1832 年之后，数学发生了三件连锁大事，起点都是「根式解的终结」。
其一：群论独立。Jordan 1870 年的专著把 Galois 的置换群升华为独立研究对象；Cayley、Klein（1872 Erlangen 纲领：几何 = 群）把对称推上数学的中心舞台。20 世纪的物理（相对论、量子力学的对称性）证明 Klein 的直觉：群是自然的语法。
其二：抽象代数立国。Noether 1920 年代把理想、模、环公理化；Artin 用线性代数重写伽罗瓦理论；van der Waerden 1930 年《Moderne Algebra》整合成教材——本册的每一章都是这次「抽象化运动」的直接产物。运动的口号可以概括为一句话：研究运算本身，而非运算的对象。
其三：对称研究无穷化。类域论把「可解扩张」推广为数域的全部阿贝尔扩张；Weil 猜想、étale 上同调、Galois 表示层层推进，直至 Wiles 1995 用「椭圆曲线的 Galois 表示 ⟷ 模形式」证明 Fermat 大定理——「方程」早已从解系数方程变成了整个算术几何的对话语言。
五次方程的句号落下时，没有人为「公式之死」哀悼——因为葬礼的入场券上印着新世界的门牌。终结即开始：这是本册留下的最后一枚思想币。
一张图谱收全册：环（模掉的余韵）→ 多项式（镜像的算术）→ 域（添丁的维度）→ 群（对称的词典）→ 模（统一的语法）→ 专题（合刃的终审）。六章一线，从「解方程」走到「懂结构」。
提示与解答 (ℤ/17)× ≅ C16（3 是原根：38 = 6561 ≡ −1 (mod 17)，阶恰 16；注意 2 不是——28 ≡ 1 阶仅 8）。子群链 C16 ⊃ C8 ⊃ C4 ⊃ C2 ⊃ {1} 对应塔 ℚ ⊂ ℚ(cos(2π/17)) 的逐层 2 次扩张——Gauss 的原版计算：cos(2π/17) 可由有限层嵌套平方根显式写出（172 − 1 = 288 = 25·9 的结构让每层 gcd 干净）。可作 ⟹ 尺规正十七边形可行，验证 17 = 24 + 1 是费马素数。
提示与解答 正向：Galois 给「方程 → 群」的映射，逆 Galois 问题问「给定群 → 找方程」。可解群全部实现（Shafarevich，用预解式归纳 + 数论深工具）；非可解群（如 An）部分实现（Hilbert 的 Sn、An 定理）；一般情形开放——「哪些有限群是 ℚ 方程的群」至今是数论前沿。综述要点：映射方向、已知区域、开放边界。
提示 可行入口：单群（An 已由 Hilbert 解决一半）、2-群（与嵌入问题相连）、或从具体构造（模形式 → Galois 表示）反向出发。评分不看对错，看「是否理解问题为何难」（群必须同时满足传递、disc 约束、局部条件的多重锁定）与「入口选择是否自觉」。
评讲 A1：disc = −4(−27) − 27·25 = 108 − 675 = −567 = −7·81 非平方；有理根 ±1, ±5 逐一代入：3, 7, 115, −105 均非零 ⟹ 不可约 ⟹ G = S3。A2：ℚ ⊆ ℚ(√2) ⊆ ℚ(4√2) ⊆ ℚ(4√2, i)，群 D4 8 阶。A3：(ℤ/7)× = C6 非 2-群 ⟹ 2cos(2π/7) 不可作。A4：根全落在「每层添加 n 次根」的域塔中。
评讲 B1：Eisenstein p = 2 不可约 ⟹ G 传递、含 5-循环；mod 3 采样：x5+2x+2 ≡ x5−x−1 在 𝔽3 无根（代入 0, 1, 2 得 2, 2, 2）⟹ 不可约 mod 3，与 ℚ 不可约互证；mod 2 采样失效（f ≡ x5，重根 0，2 | disc）——判据卡「换 p 重试」条款启动：换 mod 7（逐点代入亦无根，5 次分解型为 2+3 或 5）继续采循环型。本例的完整定群需要多张「X 光片」配合，开放给满分：写出多步采样策略、明确每张片子排除了哪些传递子群即可。B2：交换 ⟹ 一切子群正规 ⟹ 基本定理④；例 ℚ(ζ5)：C4 交换 ⟹ ℚ(√5) 正规 ✓。B3：S3 ⊃ A3 ⊃ {1} 的商 C2, C3——每个商一层开方，Cardano 的两层与链同构。
评讲 评分点：① 两端事实准确（算法传统 / 判据传统）；② 中段关键节点（Cardano 复数、Abel 不可能性、Galois 群）；③ 自己的一句收束（如「算法管求，结构管能否」）。事实错误一处扣 5 分。
下册总评卷毕。愿这 240 页成为代数之旅的可靠地图——句号之后，冒号已在纸上。