代数数论引论 · 从整数到理想：素数的解剖学

本书怎么读：一门关于「素数在扩张中如何分裂」的学问

本书讲一门学问：代数数论——用域的扩张与理想研究整数的算术。它从一个朴素的崩溃现场出发：在 ℤ 里每个整数都能唯一地拆成素数之积，可把这套算术搬进 ℤ[√−5]，6 就有两条互不相容的分解——唯一的秩序丢了。本书要回答的问题由此展开：为什么「理想」这把钥匙能把唯一分解修好？为什么素数 p 落进一个数域后会分裂、惰性或分歧，而这件事由判别式的符号说了算？为什么理想类群这个有限群，恰好度量了唯一分解失败的程度？为什么每一次素数的分裂模式，都被一个解析函数 ζ_K(s) 记下来，而它的留数里竟坐着类数？从 Euclid 对素数无穷的证明、Gauss 的二次互反律，到 Kummer 的理想数、Dedekind 的理想、Minkowski 的格点、Hilbert 的类域论，再到 Langlands 纲领与 Wiles 的 Fermat 大定理，代数数论两百年只做一件事：把「素数的命运」翻译成可以计算的结构。

本书按章组织：绪论并置「算术与代数」两条通往素数的路，从唯一分解的崩溃现场讲到 Kummer 与 Dedekind 的两种救赎；第一章搭地基——数域、代数整数、𝒪_K 是一个环、二次域的整数环、范数与迹、整基与判别式、理想的引入与运算、Dedekind 整环的三条公理；第二章完成修复工程——理想的字典（整除即包含）、素理想与极大理想、理想范数、分式理想与可逆性、唯一分解定理的存在与唯一、9 之谜的理想解答、(p) 的命运与 e·f·g 分解方程；第三章抵达高地——理想类群 Cl(K)、Minkowski 嵌入与格点定理、Minkowski 界、单位群与 Dirichlet 单位定理、类数的计算与 Gauss 类数问题；第四章搭起解析之桥——Dedekind ζ 函数与欧拉乘积、解析延拓与函数方程、解析类数公式、Dirichlet L 函数与特征、Dirichlet 定理、素理想定理与 Chebotarev 密度；第五章换上局部眼镜——p 进数与 Hensel 引理、Adele 与 Idele、Tate 的调和分析、局部-整体原理；第六章远眺现代疆界——类域论与 Kronecker–Weber、素数定理的证明、Riemann 假设、函数域的镜像、椭圆曲线与 BSD、Fermat 大定理与模性、Langlands 纲领、计算数论与密码学；综合站用年表、人物谱、方法决策树、两个综合实验与二十四题自查收束全书。

写作的三条约束（本书的自我要求）。① 直觉与例子先行：每一个概念都从一张图、一个具体的小例子讲起——先看见 ℤ[√−5] 里 6 的两种分解、理想 (2, 1+√−5) 在数格上的位置、判别式在格点图里的含义，再抽成公理；每一个定理先有「为什么它是对的」的直觉，再有完整的证明。② 一步一图：凡能画的都画——素理想在环上躺着的维恩示意、e·f·g 分解模式的分块图、Minkowski 格的平面投影、类群作为「相差一个主理想」的商群示意、ζ 函数在复平面上的零点与极点。代数数论最漂亮的地方正藏在「环—理想—格」的对照图里：一条定义、一句定理，画出来便一目了然。③ 自给自足：本书不假定另有教材可依，所需工具在书内随用随补——同余与多项式的运算、环、理想与商环的定义、域扩张与 Galois 群的必要片段、复分析的一点基础（级数、留数、解析延拓的思想），都在需要它的那一页现学现用；每一条定义都同时给出形式陈述与一句大白话的直觉。个别深刻而整体的结论（Dedekind 唯一分解定理、Dirichlet 单位定理、Chebotarev 密度定理、Tate 论文的框架）给出精确陈述、证明思路与文献指引，数值与程序对拍在实验页随附、可自行复算。

页型节奏。每章以 导引 开篇（一页说清这一章要解决什么）；主体是 讲义 页（概念、定理、证明，一步一图）；每章配 例题 与 习题（先示范再放手）、知识地图 一页（本章概念怎么连成网）、小结（正面清单＋易错清单）、思想卡（一句话立起本章的哲学）、挑战（一道通向文献的硬题）、实验（一段可复算的程序）、格物札记（中西算学传统里的平行直觉）、速查表（本章公式与记号一页备翻）；章末另设 衔接讲义，把下一章的问题提前立起来。所有编号 可跳读：每一页都自带上下文，随手翻开一页也能读下去。

难度标记。讲义页用 ★–★★★★★ 标出阅读难度：★ 高中基础即可，★★ 需要同余与多项式的熟练经验（书内自给），★★★ 需要抽象代数的入门（环、理想、商环与域扩张的定义，书内自给），★★★★ 需要 Galois 理论与复分析的一点经验（书内随用随补），★★★★★ 需要类域论与算术几何的观点（第六章疆界各页）。若只求理解主线，读绪论、第一章、第二章的分解与分歧、第三章的类数与第四章的解析之桥即可；若求完整掌握，按章顺序逐页推进，并把每章习题做完。

三条线索贯穿全书：

① 明线——从整数到理想：先在 ℤ 里看见唯一分解（绪论与第一章），再进数域遇见它的崩溃（第二章），用理想重建唯一分解并把失败程度录进类群（第二、三章），让数域算术接上解析与局部（第四、五章），最后站在从类域论到 Langlands 的现代疆界上（第六章）——这正是代数数论两百年从「Kummer 的理想数」长成「Langlands 纲领」的轨迹。

② 暗线——唯一分解的得而复失与重建。整数的唯一分解是本书的支点：它在元素层面会失败，在理想层面却永远成立；类群正是这笔「失败账」的账簿，单位群是「同一个理想由哪些元素生成」的自由度。找出「什么样的分解问题该问元素、什么样的该问理想、什么时候必须升到类群」，是全书反复演练的招式。

③ 接口——通往四个邻域。代数数论是现代数学的枢纽：与抽象代数（环、理想与域扩张）、复分析（ζ 与 L 函数、留数、零点）、代数几何（椭圆曲线、模形式、算术曲面）三条战线直接相通，并与密码学（RSA 与椭圆曲线密码）深度合流，第六章与综合站余韵两页逐条架桥。

写法约定（TEX 标准）：数域记 K、L（变量斜体），有理数域记 ℚ、整数环记 ℤ；代数整数环记 𝒪_K；素理想记 𝔭、𝔮；理想类群记 Cl(K)、类数记 h；判别式记 Δ_K；ζ 函数记 ζ_K(s)。变量用斜体，函数名（det、tr、N、res、gcd）与群名（Gal、Cl、SL(2,ℤ) 等）用正体；关键一步配图，环与理想逐章对照。

绪论 两条通往素数的路：算术与代数本册导引：当唯一分解失效的时候

每个大于 1 的整数，都能唯一地拆成素数之积：60 = 2² · 3 · 5，252 = 2² · 3² · 7。这条结论我们从小就会用，甚至不觉得它是什么「定理」。欧几里得在两千三百年前就用它论证了素数有无穷多个；高斯后来把它尊称为算术基本定理，并且说，凡是与整数算术有关的东西，最终都要回到这里。

可这条看似坚不可摧的定理，其实悬在一根极细的线上:它只对 ℤ 里的整数成立。一旦我们把「整数」扩大一点点，比如把 √−5 加进来，得到所谓的高斯整数的近亲 ℤ[√−5]，唯一分解立刻崩塌：

6 = 2 · 3 = (1 + √−5)(1 − √−5)

这两条分解都真实、都不含可再拆的因子，却互不相同。同一块 6，有两种「素因子分解」。这不是笔误，而是数论史上一次真正的危机——它逼出了整个代数数论。

本册讲的就是这场危机与它的解决。Kummer 在十九世纪试图证明费马大定理时撞上了它，于是发明了「理想数」，用来「假装」分解仍然唯一；Dedekind 随后把它变成严格的数学对象——理想，并证明：元素的唯一分解会失败，理想的唯一分解却永远成立。从这一刻起，素数不再被看作一个数，而被看作一个理想；分解不再问「谁乘谁等于它」，而问「哪些素理想躺在它上面」。

本册按六章推进，每一步都对应代数数论历史上的一次跃迁。下面这张图给出全书的骨架。

六章的推进，就是这条链条一次次的深入：

第一章（数域与整数环）把地基打好：数域与代数整数、范数与迹、整闭与判别式。这一章的关键词是「整」，即如何把 ℤ 的「整数性」忠实地搬进一个更大的域。

第二章（素理想与唯一分解）把危机解决：素数 p 在 𝒪_K 里如何分裂成素理想，分歧指数 e、剩余次数 f、分解个数 g 各是什么，Dedekind 定理与 Frobenius 元素如何算出它们。这一章的顶点是一条漂亮的方程 e · f · g = n。

第三章（类群与单位）把失败量化：理想类群 Cl(K) 的阶就是「唯一分解失败的程度」，Dirichlet 单位定理刻画了单位的自由度。这一章让代数数论从「定性」走向「定量」。

第四、五章（解析与几何）把数论放回大世界：ζ_K(s) 与 L 函数、p 进数与 Adèle。第六章（现代疆界）再把镜头拉到最远处：类域论与 Langlands 纲领。从这三章可以看出，代数数论从来不是孤立的代数游戏，而是解析、几何与物理的共同母语。

本册的读法很简单：每见一个素数，就问它在 𝒪_K 里怎么分裂；每见一个分解失败，就问类群里记了多大一笔账。这一套动作练熟，代数数论的语法便在其中。

绪论 两条通往素数的路：算术与代数算术基本定理：一条定理，三副面孔

★★ 我们从最熟悉的地方出发：整数的素数分解。

定义（素数与可除性）。设 p > 1 是整数。若 p 的正因数只有 1 与 p 自身，就称 p 为素数。记 a | b 表示 a 整除 b。

用整除的语言，素数有一个更便于推广的刻画：

证明。(⟹) 设 p 素、p | ab 而 p ∤ a。因 p 只有因数 1、p，故 gcd(a, p) = 1；由 Bézout 存在 u, v 使 ua + vp = 1。两边乘 b：uab + vpb = b。左边两项都被 p 整除（第一项因 p | ab），故 p | b。(⟸) 反之若 p = mn（m, n > 0），则 p | mn，由条件 p | m 或 p | n；但 m, n ≤ p，若 p | m 则 m = p, n = 1，故 p 不可约。∎

这条刻画极为重要——它说的其实不是「不可分解」，而是「不能横跨一个乘积」。前者叫不可约，后者叫素；在 ℤ 里两者一致，但在更大的环里它们会分道扬镳（第二章会看到）。整条代数数论的主线，就是「素」这一性质如何被推广成素理想。

证明要点。存在性用强归纳：若 n 非素，则 n = ab 且 a, b < n，对二者归纳。唯一性由上面的素性刻画：若 p₁⋯p_r = q₁⋯q_s，则 p₁ 整除右边某 q_j，故 p₁ = q_j，约去后再归纳。∎

这三副面孔——「不可分解」、「不能横跨乘积」、「分解唯一」——在 ℤ 里三位一体。可一旦换了环，它们就要拆开。下图：

绪论 两条通往素数的路：算术与代数Kummer 的理想数与 Dedekind 的理想

★★★ 十九世纪四十年代，Kummer 正试图证明费马大定理。他把 x^p + y^p 在分圆域里分解，这需要唯一分解。他一开始以为它总成立，后来被 Dirichlet 一语点破：它在分圆域里也会失败。

Kummer 的补救办法极其漂亮，也极其大胆：既然元素分解不唯一，那就不分解元素，转而分解「元素之间的整除关系」。他引入一类假想的数——理想数（ideale Zahlen），规定每个理想数整除某些真实的数，于是「唯一分解」在这些假想数上恢复了。但他无法严格定义「理想数」是什么：它不是一个复数。

三十年后的 Dedekind 找到了正确的载体。他不去定义「数」，而是定义了一整套数的集合：

关键在于：理想可以用来定义「整除」。在 ℤ 里，a | b 等价于 (b) ⊆ (a)——整除关系被「包含」这个集合论关系接管了。而「包含」比「整除」稳健得多，它不需要元素本身能分解。

于是「分解 6」这件事有了新的读法。6 = 2 · 3 与 6 = (1+√−5)(1−√−5) 之所以看起来矛盾，是因为我们盯着元素看。换成理想，两条分解里出现的四个「因子」各自都不是素理想，它们会继续裂开，而裂开之后的素理想拼图完全一致：

(6) = 𝔭₁² 𝔭₂ 𝔭₃　（三条「分解」只是同一组素理想的不同分组）

换句话说，2 与 1+√−5 都不是「真正的原子」，它们更像「分子」，藏着相同的原子——只是原子（素理想）本身不再对应任何单个的复数。

绪论 两条通往素数的路：算术与代数素理想从哪里来：素数的三种命运

★★★ 一个具体的素数，落进一个更大的整数环里，会发生什么？我们先看最简单的例子 ℤ[i]，即高斯整数环 ℤ[√−1]。

三种命运，恰好由 p 除以 4 的余数决定：p = 2 分歧，p ≡ 1 (mod 4) 分裂，p ≡ 3 (mod 4) 惰性。这不是巧合——它正是 Fermat 两平方和定理的代数数论重述：p = a² + b² 有解，当且仅当 p = 2 或 p ≡ 1 (mod 4)。

为什么会这样？原因是 p 在 ℤ[i] 里的分解方式，等价于多项式 x² + 1 在模 p 之下如何分解。第二种情形可以符号化为

𝒪_K / p𝒪_K  ≅  𝔽_p[x] / ( x² + 1 )

而右边这个商环的「形状」，完全取决于 −1 是不是模 p 的平方。是，则 x²+1 分成两个一次因子（分裂）；不是，则它是不可约二次式，商环是个域（惰性）；p = 2 时一切退化（分歧）。这张「三种命运」的图：

把这个现象推广到任意数域，就是第二章的主线：求出每个素数 p 的分解 p𝒪_K = 𝔭₁^e₁⋯𝔭_g^e_g，就掌握了 K 的算术。

绪论 两条通往素数的路：算术与代数类数：唯一分解失败了多少

★★★ 理想层恢复了唯一分解，但代价是：理想的分解不再能直接读成「数」的分解。理想类群正是度量这个差额的工具。

等价的读法：两个理想 𝔞、𝔟 在 Cl(K) 中同类，当且仅当存在 α, β ∈ 𝒪_K \ {0} 使 α𝔞 = β𝔟。直观上，它们「形状相同，只差一个尺度」。

理由。若每个理想都是主理想，则素理想 = (π) 由单个元素生成，理想分解立刻转化为元素分解；反之，若 𝒪_K 唯一分解，则可证明每个理想主，故 Cl 平凡。∎

于是类数 h_K 有了一个干净的哲学含义：它恰好度量了元素唯一分解失败的程度。h = 1 是完全健康，h = 2 是「差一倍」，h 越大越好得越远。

下面这张图给出「类群与唯一分解」的对应关系：

绪论 两条通往素数的路：算术与代数三条线索与全书地图

★★ 在进入正文之前，先把本册的三条线索与阅读路径交代清楚，方便随读随查。

线索一（明线）：从整数到理想。这是历史顺序，也是逻辑顺序。ℤ 的唯一分解（绪论）→ 扩到 𝒪_K 遇見崩溃（第一、二章）→ 用理想重建（第二章）→ 用类群量化（第三章）→ 接上解析与几何（第四、五章）。沿途每一个概念都是上一层的自然延伸。

线索二（暗线）：唯一分解的得而复失与重建。「什么该问元素、什么该问理想」是全册反复演练的招式。第一章把 ℤ 的「整性」搬进 K；第二章直面崩溃并修复它；第三章度量修复的代价；第四、五章用解析函数把这一切记成一张「账本」。

线索三（接口）：通往四个邻域。代数数论是枢纽学科，向外至少通向四处：抽象代数（环与理想）、复分析（ζ 与 L 函数）、代数几何（椭圆曲线与模形式）、密码学（RSA 与 ECC）。第四、五章与综合站逐条架桥。

下表把全书六章的内容、对应历史阶段与关键工具列在一起：

下面是全书的概念依赖总图——它把六章的推进画成一条链，读的时候可以随时回看这张图定位自己：

阅读建议。初次阅读按章顺序推进最顺；若只想抓住主线，读绪论、第一章的范数与判别式、第二章的分解方程、第三章的类数与第四章的解析之桥即可。每章末的习题都配了提示，实验页给了可直接运行的计算脚本。

绪论 两条通往素数的路：算术与代数历史一瞥：从 Fermat 到 Langlands

★★ 代数数论不是凭空长出来的。它有一条清晰的历史脉络，把几个看似无关的问题串成一股绳。

下面这张年表把上述节点画成一条时间轴，方便回看：

绪论 两条通往素数的路：算术与代数绪论小结：一张问题表，一把钥匙

★★ 把绪论收束成一张问题表，并交代本书反复使用的那把钥匙。

本书要回答的五个问题：

绪论留下的三条结论，将在第一章中被精确化：

① 数域与整数环需要严格定义，「整性」有一个干净的多项式判据（第一章 p10–p15）；

② 范数与迹是把 K 里元素「折算」回 ℚ 的两件基本工具（第一章 p16–p22）；

③ 判别式 Δ_K 是预告哪里分歧的第一把钥匙（第一章 p23–p27）。

最后，这张绪论收束图，它把「问题—工具—答案」一一对齐：

下一步。现在出发——第一章就从「什么是数域、什么是代数整数」开始。戴好那把钥匙：每见一个分解问题，先问它是一个元素的问题，还是一个理想的问题。

第一章 数域与整数环：把 ℤ 的整性搬进 K第一章导引：把 ℤ 的「整性」搬进 K

绪论留下三个承诺：定义数域与代数整数、造出范数与迹这两件工具、算出判别式并看它如何预告分歧。本章逐条兑现。

本章要回答的核心问题是：「整数」这个概念，能不能搬进 ℚ 之外的世界？在 ℤ 里，「整数」就是「分母为 1 的数」。到了 ℚ(√2) 这样的域里，什么数才算「整」？直觉说 1 + √2 应该算——它是方程 x² − 2x − 1 = 0 的根，系数全是整数。直觉说 1/2 不该算——它连首一整系数方程都不满足。这条直觉精确化之后，就是代数整数的定义。

沿路的地标：

① 数域与代数整数（p11–p15）。数域是 ℚ 的有限扩张；代数整数是首一整系数多项式的根；整数环 𝒪_K 收拢所有代数整数。我们将证明 𝒪_K 确实是一个环——两个代数整数的和与积仍是代数整数。

② 范数与迹（p16–p22）。把 K 看成 ℚ 上的向量空间，每个元素 α 给出一个线性映射「乘以 α」；这个映射的行列式就是范数 N(α)，迹就是 tr(α)。范数把「元素相乘」翻译成「整数相乘」，是全册最常用的折算器。

③ 整基与判别式（p23–p27）。𝒪_K 作为格有一组 ℤ 基（整基）；基的判别式 Δ_K 是一个与基的选取无关的不变量。判别式的素因子恰好是会发生分歧的素数——这是全册第一把「预言钥匙」。

④ Dedekind 整环（p28–p33）。𝒪_K 满足三条性质：Noether、整闭、非零素理想极大。满足这三条的环叫 Dedekind 整环，它是第二章唯一分解定理的舞台。

⑤ 分式理想（p34–p39）。把「理想」允许带分母，就得到分式理想；它们在乘法下成一个群。这个群是第三章类群的母体。

第一章 数域与整数环：把 ℤ 的整性搬进 K1.1 数域：ℚ 的有限扩张

★★ 一切从定义开始。

每个数域都有一个天然的生成方式：单生成元。取 α ∈ K，把 ℚ 与 α 之间所有能做的运算做完，得到最小的包含二者的域，记作 ℚ(α)。

极小多项式是本章第一个关键词：α 的极小多项式是整除所有以 α 为根的多项式的那个首一不可约多项式，记作 m_α,ℚ(x)。例如 √2 的极小多项式是 x² − 2，i 的是 x² + 1，∛2 的是 x³ − 2。

次数有一个漂亮的乘法塔：

这条塔式律意味着：若 [K : ℚ] 是素数，则 ℚ 与 K 之间不存在任何中间域。次数的「原子性」是代数数论与初等数论的一个重要分界。

第一章 数域与整数环：把 ℤ 的整性搬进 K1.2 代数整数：整性的多项式判据

★★★ 「整数」这个词在 ℚ 里是显然的——分母为 1。进了 K，分母的概念不再明显（1/(1+√2) = −1+√2，分母消失了！），我们需要一个与表示无关的判据。

定义对「代数数」同样适用：若 α 是某个（不必首一）整系数多项式的根，就称它为代数数；否则称为超越数（如 e 与 π——但证明极难，这是 Hermite 与 Lindemann 的工作）。

证明思路。(⟸) 定义即是。(⟹) 设 g(x) 是首一整系数多项式且 g(α) = 0。在 ℚ[x] 中用 m = m_α,ℚ 除 g：g = qm + r，deg r < deg m。代入 α 得 r(α) = 0，由极小性 r = 0，故 m | g。再用 Gauss 引理：首一整系数多项式的首一有理因子必为整系数。∎

这条判据把「整性」从「表示」中解放出来：它只依赖 α 本身，不依赖我们怎么写它。

第一章 数域与整数环：把 ℤ 的整性搬进 K1.3 𝒪_K 确实是一个环

★★★ 定义 𝒪_K 容易，验证它是环难。两个代数整数的和与积为什么还是代数整数？直接从定义出发几乎无从下手——和或积的极小多项式无从猜测。

正确的工具是一个等价刻画：

证明要点。(①⟹②) 若 α 满足 αⁿ + a_n−1αⁿ⁻¹ + ⋯ + a₀ = 0，取 M = ℤ + ℤα + ⋯ + ℤαⁿ⁻¹；用关系式把 αM 的每个元素折回 M。(②⟹①) 设 M 由 m₁, …, m_t 生成，写 αm_j = Σc_ijm_i（c_ij ∈ ℤ）。则矩阵 C = (c_ij) 满足 (C − αI)m = 0。因 M ≠ 0，取行列式 det(C − αI) = 0；展开它恰是关于 α 的首一整系数多项式。∎

这个刻画是「乘法封闭性」的完美载体：若 α, β 都保持各自的模，则 α+β 与 αβ 保持乘积模。于是：

例 1.3。用格刻画验证 α = 1 + √2 是代数整数：取 M = ℤ + ℤ√2。则 αM = (1+√2)(ℤ+ℤ√2) = ℤ(1+√2) + ℤ(2+√2) ⊆ ℤ + ℤ√2（用 √2·√2 = 2 折回）。M 是秩 2 的格，被 α 保持，故 α 整。∎

第一章 数域与整数环：把 ℤ 的整性搬进 K1.4 二次域的整数环：两种形状

★★★ 一般数域的 𝒪_K 很难算，但二次域可以彻底算清——而且结果出人意料。

证明要点。看 α = a + b√d（a, b ∈ ℚ）何时整。它的极小多项式是 x² − 2ax + (a² − db²)；整性要求 2a ∈ ℤ 且 a² − db² ∈ ℤ。细节留给习题，结论是：b 也必须是半整数，且当 d ≡ 1 (mod 4) 时 (1+√d)/2 恰好整（极小多项式 x² − x + (1−d)/4，各项系数为整数）。∎

一个重要的意外。把 𝒪_ℚ(√−3) 记作 ℤ[ζ₃] 不是巧合：分圆域 ℚ(ζ₃) 恰是二次域 ℚ(√−3)。类似地，ℤ[ζ₄] = ℤ[i]。分圆整数环是代数数论最古老的练习场——Kummer 的理想数正是在 ℤ[ζ_p] 里诞生的。

第一章 数域与整数环：把 ℤ 的整性搬进 K1.5 嵌入与数域的符号

★★★ 数域 K 是抽象的域，但它在 ℂ 里有 n = [K:ℚ] 个「化身」——这就是嵌入，也是数域与抽象域扩张最重要的区别。

嵌入的存在由极小多项式的根保证：α 的极小多项式在 ℂ 中有 deg m_α 个不同的根（ℚ 上不可约多项式无重根），每个根 α_j 给出一个嵌入 ℚ(α) → ℂ，把 α 送到 α_j。这 n 个根称为 α 的共轭。

符号 (r₁, r₂) 是数域的「几何基因」，第三章 Minkowski 几何将把它变成维度坐标：每个数域对应一个 ℝ^r₁ × ℂ^r₂ ≅ ℝⁿ 中的格。类数、单位、ζ 函数的几何面目都将从这张格图里浮现。

第一章 数域与整数环：把 ℤ 的整性搬进 K1.6 乘法映射与特征多项式

★★★ 范数与迹的定义只有一句话，但它需要把 K 临时当成 ℚ 上的向量空间。

m_α : K → K，　x ↦ αx

（「乘以 α」）。它是 ℚ-线性、可逆的（逆是 m_1/α，当 α ≠ 0）。

取定 ℚ-基 e₁, …, e_n，m_α 有一个 n × n 有理矩阵 M_α。

证明。换基即共轭 M ↦ PM P⁻¹；特征多项式、行列式、迹在共轭下不变。∎

把 χ_α 展开：

χ_α(x) = xⁿ − tr(α)xⁿ⁻¹ + ⋯ + (−1)ⁿN(α)

于是范数与迹恰是 χ_α 的两个端点系数。更妙的是，χ_α 的根恰是 α 的 n 个共轭 α₁, …, α_n（计入重复），因此：

第一章 数域与整数环：把 ℤ 的整性搬进 K1.7 范数的运算律与整值性

★★ 范数之所以成为全册最常用的工具，是因为它有两条黄金运算律。

证明。①由 m_αβ = m_α∘m_β 取行列式。②由共轭公式与对称多项式定理：α 的各共轭是极小多项式的根（或其重复），首一整系数多项式的根之积与和都是整数。③行列式非零当且仅当映射可逆。④若 αβ = 1，则 N(α)N(β) = 1，两个整数之积为 1 即各为 ±1；反之若 N(α) = ±1，则 α 的极小多项式常数项 ±1 给出逆元 α⁻¹ ∈ 𝒪_K。∎

性质④马上给出一个杀手级应用：解单位方程。比如在 ℤ[√2] 里找所有单位，等价于解 a² − 2b² = ±1——Pell 方程！范数把「找单位」翻译成「解不定方程」。

第一章 数域与整数环：把 ℤ 的整性搬进 K1.8 迹型与对偶：配对的几何

★★★★ 迹不只是「和」，它还定义了一个对称双线性型——迹型，这是判别式的前身。

证明。取 K 的一组 ℚ-基，迹型由矩阵 T = (tr(e_ie_j)) 表示。T 非退化等价于 det T ≠ 0。设 det T = 0，则存在非零系数组合 β ≠ 0 使 tr(xe_iβ) = 0 对一切 x, i，从而 tr(x) = 0 对一切 x ∈ K——但 tr(1) = n ≠ 0，矛盾。∎

非退化意味着迹型可以把 K 与它的「对偶空间」等同起来。在整性的世界里，这产生一个关键对象：

B^∨ = { x ∈ K : tr(x β_j) ∈ ℤ, ∀j }

称为 B 的对偶；它也是秩 n 的格。集合 𝒪_K^∨ = {x : tr(x𝒪_K) ⊆ ℤ}（与基无关）称为 K 的反差分式理想；它形如 𝔡_K⁻¹，其中整理想 𝔡_K 称为 K 的差积（different）——分歧理论的核心对象（第二章）。

第一章 数域与整数环：把 ℤ 的整性搬进 K1.9 整基：𝒪_K 是一个格

★★★ 现在给 𝒪_K 装「坐标系」。

证明思路。关键事实：𝒪_K 在 K 中是离散（每个有界区域只含有限个元素）且余有限（每个 α ∈ K 都有整数倍落进 𝒪_K：取 α 的极小多项式，清分母后用其首项系数整除一切对称函数）。于是 𝒪_K 是 ℚ-向量空间 K 的完整格，取出 ℤ-基即可。∎

整基不唯一，但不同整基之间只差一个行列式 ±1 的整数矩阵变换。这引出下一个不变量。

disc(B) = det( tr(β_iβ_j) )　∈ ℚ

若 B 是整基，则 disc(B) ∈ ℤ，且与整基的选取无关——记作 Δ_K，称为 K 的判别式。

与基无关性的证明一句话：换基的变换矩阵 U ∈ GL_n(ℤ)，迹型矩阵变 UTU^T，行列式乘 (det U)² = 1。∎

第一章 数域与整数环：把 ℤ 的整性搬进 K1.10 判别式的两条深层性质

★★★★ 判别式不只是一个数，它有两条贯穿全册的性质。

disc(B) = det( σ_k(β_j) )²　（k 取遍 n 个嵌入）

即嵌入矩阵（「嵌入表」）的行列式平方。

证明。展开 tr(β_iβ_j) = Σ_kσ_k(β_i)σ_k(β_j)，这正是矩阵乘积 (A^TA)_ij 其中 A = (σ_k(β_j))。故 disc = det(A^TA) = (det A)²。∎

证明思路。来自嵌入矩阵行列式模 4 的奇偶分析（Stickelberger 定理的特例）：行列式平方模 4 只能是 0 或 1。∎

同余律立刻给二次域一个「筛子」：想找 Δ_K = D 的二次域，D 必须无平方因子且 D ≡ 1 (mod 4)，或 D = 4d、d ≡ 2, 3 (mod 4)。不是每个整数都能当判别式——这已经预告了判别式比「随便一个不变量」深得多。

第一章 数域与整数环：把 ℤ 的整性搬进 K1.11 理想的引入：从整除到包含

★★★ 现在，把绪论里匆匆一瞥的「理想」正式请上舞台。它是本册全部后续理论的地基。

理想的本质是「环内可乘的加法子群」。吸收性是它区别于子环的关键：理想不必含 1，也常常不能含 1（含 1 即全环）。

a | b ⟺ (b) ⊆ (a)

且 a 与 b 相伴（差单位倍）⟺ (a) = (b)。

于是「整除」变成「包含」，「因子」变成「大理想」，「倍数」变成「小理想」。包含关系反映射整除关系——这是初学者最容易迷路的地方，盯紧方向：整除 = 大理想包含小理想。

对照绪论图 绪-2 的三副面孔：元素时代的「素」（不能横跨乘积）正是理想时代的「素理想」。理想的吸收性使这条性质在理想层面永远成立——这正是 Kummer 梦寐以求的稳健性。

第一章 数域与整数环：把 ℤ 的整性搬进 K1.12 理想的运算：和、积、交

★★★ 理想之间可以做代数——这正是「理想能当因子用」的原因。

理想的「和」对应元素语言的「最大公因子」：在 ℤ 里 (a) + (b) = (gcd(a,b))；「积」对应 (a)(b) = (ab)。而「互素」的 𝔞 + 𝔟 = R 正是 Bézout 关系的理想版。

第一章 数域与整数环：把 ℤ 的整性搬进 K1.13 整环的层级：从 ℤ 到 Dedekind

★★★ 并不是所有整环都像 ℤ 一样乖。给整环分个「等级」，𝒪_K 的位置就清楚了。

证明要点。ED ⟹ PID：对理想 I 取范数最小元 a，带余除法证明 I = (a)。PID ⟹ UFD：不可约元生成极大（故素）理想，素性给出唯一性。UFD ⟹ Noether：因子个数有范数归纳控制。严格性的反例：存在 PID 但非 ED 的环（如 ℤ[(1+√−19)/2]）；ℤ[x] 是 UFD 但非 PID；ℤ[√−5] 提供 Noether 而非 UFD 的例子。∎

而 𝒪_K 的真实身份是下一层——Dedekind 整环：

层级图如下：Dedekind 与 UFD 互不包含！ℤ[√−5] 是 Dedekind 但非 UFD（6 的两条分解）；ℤ[x] 是 UFD 但非 Dedekind（维数 2：(x) ⊊ (x, 2) ⊊ ℤ[x] 是素理想链）。但若 Dedekind 整环是 PID，它就是 UFD——这就是第三章「类数 1 ⟺ 唯一分解」的伏笔。

第一章 数域与整数环：把 ℤ 的整性搬进 K1.14 𝒪_K 是 Dedekind 整环（一）：Noether

★★★★ 从本页起用三页证明本章的核心定理。先证三条性质中最「初等」的 Noether 性。

证明。由整基存在性，𝒪_K = ℤβ₁ ⊕ ⋯ ⊕ ℤβ_n 是秩 n 自由交换群。设 𝔞 ◁ 𝒪_K 非零。作为自由交换群的加法子群，𝔞 本身是秩 ≤ n 的自由交换群（自由交换群子群定理），取其 ℤ-基 γ₁, …, γ_m（m ≤ n）。断言 𝔞 = (γ₁, …, γ_m) 作为理想：⊇ 显然；反之 x ∈ 𝔞 时按加法群基展开 x = Σc_jγ_j（c_j ∈ ℤ），故 x 在理想 (γ₁, …, γ_m) 里。∎

证明的关键输入是「自由交换群的子群仍是自由的」——它本质上是「整数矩阵的 Smith 标准形」。这条定理同时给出：

指标有限是「理想很小」的定量表述。由此立刻得到一个用途极广的计数工具：

范数的乘性 N(𝔞𝔟) = N(𝔞)N(𝔟) 将在第二章成为「理想分解的记账本」。

第一章 数域与整数环：把 ℤ 的整性搬进 K1.15 𝒪_K 是 Dedekind 整环（二）：整闭

★★★★ 第二条性质：整闭性。它是「𝒪_K 没有漏掉任何该有的整数」的精确表述。

证明。由整性的格刻画：存在非零有限生成 𝒪_K-模 M ⊆ K 被 x 保持。而 𝒪_K 作为 ℤ-模有限生成（整基！），故 M 作为 ℤ-模也有限生成。于是 x 保持一个非零有限生成 ℤ-模——由格刻画，x 是代数整数，即 x ∈ 𝒪_K。∎

证明的灵魂是传递性：「整于整者仍整」。

整闭性为什么重要？因为它排除了「半路杀出的假整数」。在非整闭的环里（如 ℤ[√5] ⊊ 𝒪_ℚ(√5)），唯一分解的失败可能是「环选小了」造成的假象；而 𝒪_K 已经是最大可能的整数环，它的失败是真实的失败——修复它（第二章）才是真问题。

第一章 数域与整数环：把 ℤ 的整性搬进 K1.16 𝒪_K 是 Dedekind 整环（三）：维数 1

★★★★ 第三条性质：非零素理想都是极大理想。这是「数的世界只有一层」的代数表达。

证明。由 p24 的命题，N(𝔭) = [𝒪_K : 𝔭] < ∞。故 𝒪_K/𝔭 是有限环；又因 𝔭 素，商环是有限整环。有限整环是域（对每个非零元 a，乘法映射 x ↦ ax 单射故满射，逆存在）。域的零理想极大，故 𝔭 极大。∎

证明只有三行，却把三条性质串成一条链：Noether（指标有限）+ 素性（商是整环）⟹ 有限整环 ⟹ 域 ⟹ 极大。「维数 1」在一般交换代数里是深刻假设，在数域里却是免费赠品——因为一切都被「有限」兜底。

把三条性质合起来，本章主定理成立：

Dedekind 整环比 PID 弱在哪里？弱在「每个理想主」。𝒪_K 的理想可以不是主理想——ℤ[√−5] 里的 (2, 1+√−5) 就是典型。但它比 UFD 强在哪里？强在「理想层面永远唯一分解」——这是第二章的主定理。理想恰好补上了元素缺失的那块拼图。

第一章 数域与整数环：把 ℤ 的整性搬进 K二次域 ℚ(√d) 的整数环与判别式

设 d 是无平方因子的整数，d ≠ 1，K = ℚ(√d) 是二次域。K 中的代数整数全体构成的环 𝒪_K 由 d 模 4 的余数决定，只有两种形状：

解。设 α = a + b√d（a, b ∈ ℚ）是代数整数。其极小多项式为

x² − 2ax + (a² − b²d) = 0.

代数整数要求该多项式的系数为整数，即 2a ∈ ℤ 且 a² − b²d ∈ ℤ。分两种情形：

① 若 a ∈ ℤ，则 b²d ∈ ℤ，写作 b = m/n（最简），得 n² | d，而 d 无平方因子，故 n = 1，即 b ∈ ℤ，得 α ∈ ℤ[√d]。

② 若 2a 为奇数，写作 a = m/2（m 奇），则 a² − b²d ∈ ℤ 迫使 (2b)²d ∈ ℤ，同理 2b ∈ ℤ。令 2b = n，代入 m² − n²d ≡ 0 (mod 4)，因 m² ≡ 1，须 n 奇且 d ≡ 1 (mod 4)。此时 α = (m + n√d)/2 ∈ ℤ[(1+√d)/2]。

于是 d ≡ 2, 3 (mod 4) 时 𝒪_K = ℤ[√d]，判别式 Δ_K = 4d；d ≡ 1 (mod 4) 时 𝒪_K = ℤ[(1+√d)/2]，判别式 Δ_K = d。∎

注。判别式 Δ_K 是数域的内在不变量的第一个实例：它不依赖整基的选取，且在 d ≡ 1 (mod 4) 时恰为 d，比朴素猜测的 4d 小一个因子 4。这个因子将在分歧理论中重新出现。

第一章 数域与整数环：把 ℤ 的整性搬进 Kℤ[√−5] 中范数相同却分解不同

取 K = ℚ(√−5)，因 −5 ≡ 3 (mod 4)，有 𝒪_K = ℤ[√−5]，判别式 Δ_K = −20。定义范数

N(a + b√−5) = a² + 5b².

考察元素 9 与 2 + √−5 的范数：

N(9) = 81,　N(2 + √−5) = 4 + 5 = 9.

由此可得两条不同的分解链：

解。先证 3 不可约。若 3 = αβ 且 α, β 皆非单位，则 N(α)N(β) = 9；非单位元范数 ≥ 2（单位恰为范数 1 的元素 ±1），故须 N(α) = 3。但 a² + 5b² = 3 无整数解（b = 0 时 a² = 3 非平方；|b| ≥ 1 时左边 ≥ 5）。故 3 不可约。

再证 2 + √−5 不可约。若分解，须有一个因子范数为 3，同上无解。故不可约。

而 3 ∤ (2 + √−5) 在 ℤ[√−5] 中，因为 (2+√−5)/3 ∉ 𝒪_K；同理 (2+√−5) ∤ 3。于是

9 = 3 · 3 = (2 + √−5)(2 − √−5)

是同一个元素的两条不同的不可约分解，ℤ[√−5] 不是唯一分解整环。∎

注。两个因子组「不相伴」是关键：3 与 2 ± √−5 都不是彼此的伴随元（伴随元指相差一个单位因子 ±1）。这一失败正是理想理论登场的动机——下一章将看到，换到理想的语言，9 的唯一分解性即可恢复。

第一章 数域与整数环：把 ℤ 的整性搬进 K数域与整数环的基础演练

1.1.1　设 K = ℚ(√13)。写出 𝒪_K 的整基与判别式 Δ_K，并验证 (1+√13)/2 是代数整数。

提示：先判断 13 mod 4 = 1，用例 1.1 的结论；验证 f(t) = t² − t − 3 的根。

1.1.2　证明：若 α ∈ 𝒪_K 且 N(α) = ±1，则 α 是 𝒪_K 中的单位。对 K = ℚ(√−3) 求出全部单位。

提示：α · α′ = N(α) ∈ ℤ，其中 α′ 是共轭；α′ = N(α)/α ∈ 𝒪_K。ℚ(√−3) 的单位为 6 个 6 次单位根。

1.1.3　设 L/K 是数域扩张，α ∈ 𝒪_L。证明：tr_L/K(α) 与 N_L/K(α) 都是 𝒪_K 中的元素。

提示：α 满足首一多项式，其特征多项式系数由 α 在 K 上极小多项式取幂得到，皆为 K 中的代数整数；再用 K ∩ 𝒪_L = 𝒪_K。

1.1.4　计算 K = ℚ(√−15) 中元素 α = 1 + 2√−15 的迹与范数；判断 α 是否为单位。

提示：tr = 2，N = 1² + 15·2² = 61；单位需 N = ±1，故非单位。

1.1.5　证明：ℤ[√−5] 的判别式为 −20；并说明为何 −5 ≡ 3 (mod 4) 使 𝒪_K = ℤ[√−5] 而 𝒪_K 中不含 (1+√−5)/2。

提示：代入 (1+√−5)/2 的极小多项式 t² − t + 3/2，系数非整。

第一章 数域与整数环：把 ℤ 的整性搬进 K判别式、整基与二次域分类

1.2.1　设 K = ℚ(√d)，d 无平方因子。K 的一个整数基是 {1, ω}。求 ω 的极小多项式，并由此直接验证 Δ_K = d（当 d ≡ 1 (mod 4)）与 4d（否则）。

提示：对 ω = (1+√d)/2，f(t) = t² − t + (1−d)/4；判别式用 Δ = (ω − ω′)²。

1.2.2　判断下列二次域的判别式符号与 (r₁, r₂) 的取值：ℚ(√3)，ℚ(√−1)，ℚ(√−7)，ℚ(√17)。

提示：d > 0 为实二次域，(r₁, r₂) = (2, 0)；d < 0 为虚二次域，(0, 1)。

1.2.3　证明：数域 K 的判别式 Δ_K 与整基的选取无关。

提示：两整基之间由 GL_n(ℤ) 中的矩阵联系，其行列式为 ±1，故判别式平方因子不变。

1.2.4　设 α = 2 + 3√2 ∈ ℚ(√2)。求 α 的特征多项式与迹、范数；写出 α 的逆。

提示：极小多项式 f(t) = (t−2)² − 18 = t² − 4t − 14；tr = 4，N = −14；α⁻¹ = (2−3√2)/(−14)。

1.2.5　证明：若 α ∈ 𝒪_K 而 α 每一条嵌入下都有 |σ(α)| ≤ 1，则 α 是单位根。据此说明单位群中「非单位根部分」由嵌入大小控制。

提示：α^k 的系数有界，故有限个；抽屉原理给出 α^m = αⁿ。

第一章 数域与整数环：把 ℤ 的整性搬进 K从 ℤ 到 𝒪

本章把「整数」这一概念从 ℤ 推广到任意数域，得到整数环 𝒪_K。下图把本章的九个概念串成一条链，箭头表示构造或依赖关系。

读图要点有三条。其一，上排是对象（数域、元素、环），中排是有数值的工具（特征多项式、迹范数、迹型），下排是结论（整基判别式、理想、环的公理刻画）。其二，判别式 Δ_K 是一个「数」而非「结构」，它把整基的跨度浓缩成一个整数。其三，理想的出现不是为了堆砌定义，而是为了下一章修复 ℤ[√−5] 中失败的唯一分解。

第一章 数域与整数环：把 ℤ 的整性搬进 K对象与工具：数域、整数环、迹范数

本章前半段把「整数」搬到数域上去。回顾主线：

两条必须在脑中固化的运算律：

N(αβ) = N(α)N(β),　tr(α+β) = tr(α) + tr(β),　tr(cα) = c tr(α)　(c ∈ ℚ).

范数是乘性的，这一点几乎是全部算术的动力来源：它把「α 是否可约」化归为「N(α) = ab 的整数分解剩几种」。例 1.2 中判断 3 与 2+√−5 不可约，用的正是这一招。

迹型 (α, β) ↦ tr(αβ) 是一个 ℚ-双线性型。它的判别式恰为 Δ_K；它非退化，于是引出对偶格 𝒪_K^∨ 与差积 𝒟_K⁻¹，这正是下一章分歧理论的入口。判别的另一个用途：Δ_K ≡ 0, 1 (mod 4)，且可由 Δ_K 反查次数与符号数 (r₁, r₂) 的部分信息（sign(Δ_K) = (−1)^r₂）。

第一章 数域与整数环：把 ℤ 的整性搬进 K结论与公理：𝒪

本章后半段的目标只有一个：证明 𝒪_K 具备进行唯一分解所需的三条公理。

三条公理的证明思路各自独立：

① Noether 性。𝒪_K ≅ ℤⁿ 作为自由 ℤ-模有限生成；ℤ 是 Noether 环，故 ℤⁿ 上的模 𝒪_K 亦 Noether，其理想升链稳定。

② 整闭性。若 α ∈ K 整于 𝒪_K，即 α^m + a₁α^m−1 + ⋯ + a_m = 0（a_i ∈ 𝒪_K），则 α 整于 ℤ（整性的传递性），故 α ∈ 𝒪_K。

③ 维数 1。设 𝔭 是 𝒪_K 的非零素理想，则 𝔭 ∩ ℤ = (p) 是 ℤ 中某个素数生成的理想。于是 𝒪_K/𝔭 是有限整环 𝔽_p 的有限扩张，是有限域，从而是域，故 𝔭 极大。

把三条合起来得到第一章的主定理：𝒪_K 是 Dedekind 整环。下一章将证明：在 Dedekind 整环中，每个非零理想都可唯一分解为素理想之积——这正是 ℤ[√−5] 中失败、而理想语言能修复的性质。

写法提示。本章刻意把「元素分解」与「理想分解」分开叙述。元素的唯一分解失败（例 1.2），但理想的唯一分解成立（第二章定理）；两者不是矛盾，而是不同层次。读下文时要随时问：这句话说的是理想还是元素？

第一章 数域与整数环：把 ℤ 的整性搬进 K从元素到理想：一次「对象升维」

类比往往比定义更能提示方向。数域的算术与经典整数算术之间，最值得记住的一个类比是：

这个类比的深刻之处在于它解释了「为什么必须升维」。在 ℤ[√−5] 中，3 与 2+√−5 这类元素「太大」：它们内部还藏着可以分开的东西，只是那些东西不是元素，而是理想。若把 3 切成理想 𝔭 = (3, 1−√−5) 与 𝔭̄ = (3, 1+√−5)，把 2+√−5 切成同样的两个理想适当排列，两条分解链就都能对上同一个理想分解：

(9) = 𝔭² 𝔭̄²,　(3) = 𝔭 𝔭̄,　(2+√−5) = 𝔭².

理想的分解是一元的，元素的分解是多义的。这正是十九世纪 Kummer 与 Dedekind 的洞察：把「数」换成「理想」，唯一性就回来了。

把这个类比推广到别处，还有一个更抽象的说法：当某个对象的「分解」不唯一时，不妨考虑它生成的「理想」或「闭包」，在更大的层里唯一性往往恢复。这是代数几何、模论、乃至层论中反复出现的母题。

第一章 数域与整数环：把 ℤ 的整性搬进 Kℤ[√−2] 与 ℤ[√−5]：唯一分解的分水岭

两个整数环形式几乎相同，算术命运却截然不同。手工计算完成以下论证。

(a)　证明 ℤ[√−2] 是欧几里得整环，从而唯一分解。提示：对 α, β ∈ ℤ[√−2]，把 α/β 的坐标用 ℚ(√−2) 中的最近整数逼近，使余数范数严格小于 N(β)（关键：格点最远距离 √(1/4 + 2/4) = √3/2 < 1）。

(b)　证明 ℤ[√−5] 不是唯一分解整环。提示：复用例 1.2 的 9 = 3·3 = (2+√−5)(2−√−5)，并验证四个因子两两不伴随。

(c)　关键的几何对比。对 ℤ[√−d]（d > 0），复数平面格点 ℤ + ℤ√−d 中一点到最近格点的最大距离为 √(1+d)/2。据此求 d 的取值使 ℤ[√−d] 是欧几里得整环；解释为何 d = 5 恰好越界。

(d)　进阶。证明：ℤ[√−5] 的类数 h = 2。提示：由 (b) 知 h > 1；再用 Minkowski 界证明 h ≤ 2（本册第三章给出完整工具）。

思考。为何 d = 1, 2, 3, 7, 11, 19, 43, 67, 163 是仅有的九个虚二次域类数 1 的值（Gauss 类数问题）？其证明（Heegner–Baker–Stark，1967）属本册范围之外，但这个问题本身就是代数数论与椭圆曲线交汇的历史驱动。

第一章 数域与整数环：把 ℤ 的整性搬进 K用格点看范数：手算与视检

实验的目的是把「范数是格点的长度平方」这一几何直观建立起来。以下给出可手算的表与检视步骤。

# 实验 1-A：K = ℚ(√−5) 中范数 ≤ 30 的元素枚举
# 规则：N(a + b√−5) = a*a + 5*b*b

a,b 取值        N
(0,±1)          5
(±1,±1)         6
(±2,±1)         9
(±1,±2)        21
(±3,±1)        14
(±2,±2)        24
(±3,±2)        29
(±4,±1)        21

# 观察：
#  1) 哪些范数值一次都没出现？  ->  2,3,7,13,17,19 等
#  2) 这些"缺席"的素数恰是惰性素数（第二章 p56-p59 验证）

# 实验 1-B：素性检验的小程序（伪代码）
for p in first 50 primes:
    count = 0
    for a in range(-isqrt(p)+1, isqrt(p)+1):
        for b in range(-isqrt(p)+1, isqrt(p)+1):
            if a*a + 5*b*b == p: count += 1
    if count > 0: print(p, "分裂 (split)")
    else:         print(p, "惰性 (inert)")

视检步骤。取一张网格纸，标出 ℤ + ℤ√−5 的点（即坐标 (a, b√5)）。检验两件事：

① 以原点为圆心、半径 √30 的圆内，格点分布如何？统计落在圆内的格点数，与 N(α) ≤ 30 的元素个数对照。

② 取 3 · 3 = 9 与 (2+√−5)(2−√−5) = 9 两组点，在图上画出各自的位置。两者确实落在同一点 (9, 0)，而「经由哪两个格点走过来」有两条不同的路径。

结论。范数不是抽象的函数，而是格点的距离平方。素数的「分裂 / 惰性」在图上表现为：某些范数值区间内，圆内格点数是否覆盖该素数。「分裂」的判定等价于「素数是否为某个格点的距离平方」。这一几何图像将在第三章用 Minkowski 定理严格化。

第一章 数域与整数环：把 ℤ 的整性搬进 K从 Kummer 的「理想数」到 Dedekind 的「理想」

历史常被叙述成「有人失败，有人成功」，但更准确的图景是：两位数学家用不同的语言描述同一个发现。

Kummer（1844—1847）。为证明费马大定理的指数 p 情形，Kummer 研究 ℤ[ζ_p]（ζ_p 是 p 次单位根）。他发现在这里唯一分解会失败，于是引入理想数（ideale Zahlen）——一种「不存在的数的公约数」。在他的语言里，3 与 2+√−5 的「公约数」是一个理想数 (3, 1+√−5)，虽然它不是一个数。Kummer 用理想数成功给出了唯一分解定理，并借此推进费马大定理（正则素数情形）。

Dedekind（1863—1894）。Dedekind 读过 Dirichlet，也读过 Kummer。他不满意「不存在的数」这种半神秘表述，转而用集合与理想的语言重写：一个理想数就是「能被它整除的所有代数整数」构成的集合，即理想。这样理想数成为名副其实的数学对象，并可对其做加、乘、交、商等运算。

两者的对应如下表：

第三种语言：Hensel（1897—1908）。Hensel 引入 p-进数，把「素数 p 处的局部信息」直接编码进一个完备化域 ℚ_p，理想数论随之被重新表述为 K ⊗ ℚ_p 的分裂类型问题。第五章将以 adic 语言重述本章全部内容。

三种语言并非竞争关系，而是同一实在的三个投影：Kummer 给出动机，Dedekind 给出结构，Hensel 给出算法。当代教材把三者交织使用，正是出于「哪种语言最方便就用哪种」的实用主义。

第一章 数域与整数环：把 ℤ 的整性搬进 K第一章公式与判据一览

三条常用口诀。① 想判可约性，先算范数；② 想判单位，看范数是否 ±1；③ 想判整基，先看 d（或扩张的判别式）模 4。

下一章预告。第二章将把 𝔭 引入作为基本对象，证明 𝒪_K 中每个非零理想唯一分解为素理想之积；并给出素数 p 在扩张 L/K 中分裂、惰性、分歧的完整判据，核心公式是 (p) = 𝔭₁^e₁ ⋯ 𝔭_g^e_g 与 Σ e_i f_i = n。

第一章 数域与整数环：把 ℤ 的整性搬进 K1.17 从「环」到「理想」：本章的门槛与出路

第一章停在 𝒪_K 是 Dedekind 整环这一结论上。这一结论有两副面孔，值得在进入第二章之前分清：

乐观的一面。𝒪_K 是「好环」：Noether、整闭、维数 1。这三条中的任何一条拿出来都足以支撑相当完备的代数理论。特别是，Dedekind 整环中每个非零理想都可以唯一分解为素理想之积，这赋予 𝒪_K 的「理想世界」以唯一分解整环的全部便利。

警惕的一面。「元素」层面唯一分解仍然可以失败（例 1.2）。Dedekind 性的作用范围严格限于理想，不能越权推出「𝒪_K 是唯一分解整环」。一般地：

𝒪_K 是 UFD ⇔ Cl(K) = 1 ⇔ h = 1.

即元素唯一分解成立当且仅当类数为 1。类数 h 正是对「元素分解失败程度」的度量，是本册第三章的主角。

于是第二章的任务被精确地界定为三件事：

第一，把理想当作基本对象。定义理想的运算（和、积、交、商），证明它们构成一个 Dedekind 域（理想群的雏形）。

第二，证明唯一分解。用「极大理想 → 商 → 有限性」的三步论证（引理—定理结构）证明 𝒪_K 中非零理想唯一分解。

第三，把 (p) 的分解算清楚。对素数 p，给出 (p) = 𝔭₁^e₁ ⋯ 𝔭_g^e_g 中 (e_i, f_i) 的判据，解释「分裂 / 惰性 / 分歧」三种命运。

过这三道门，素数在扩张中的行为才真正可见。而第一个需要重看的对象，正是一度被当作「抽象工具」的理想：它现在要成为算术的主体。

第二章 素理想与唯一分解：修复工程修复工程：把「数」换成「理想」

★★★ 第一章留下了一个悬念：ℤ[√−5] 里 9 = 3·3 = (2+√−5)(2−√−5)，唯一分解失败了。Kummer 的洞察是：失败不是因为算术出了错，而是因为我们把「因子」的范围划得太窄——真正在起作用的因子不是元素，而是理想。本章就来完成这项修复工程。

本章的五个站位环环相扣。先把理想的「字典」补全（p41–p42）：整除、公因子、互素在理想语言里各是什么。然后定义主角素理想（p43–p44），它扮演素数的角色；给理想装上「大小」——范数（p45–p46），它是归纳法的引擎。有了这些，唯一分解定理水到渠成（p48–p50）：我们会亲眼看到 9 的两条元素链在理想层汇合成同一条。最后（p51–p54）把镜头对准最经典的算术问题：有理素数 p 进入 𝒪_K 后命运如何——这是全册明线的核心舞台。

读法。本章的定理几乎都有「元素世界对应版」：学每一条时，先问它在 ℤ 里的版本是什么，再看理想版本强在哪里。唯一的新习惯是把 ⊂ 念作「整除」——这个反向的读法是理想论的第一道门槛，也是最有用的一个。

第二章 素理想与唯一分解：修复工程2.1 理想的字典 I：整除即包含

★★★ 理想论最重要的一个「反向」：在理想的世界里，大理想整除小理想。

在 ℤ 里核对一下方向：(4) | (12) 因为 (12) = (4)(3)；而包含关系恰是 (12) ⊆ (4)——「12 是 4 的倍数」翻译成集合语言就是「12 的倍数集藏在 4 的倍数集里」。包含方向与直觉相反，恰恰是理想语言的力量所在：它把「整除」这个乘性概念变成「包含」这个集合概念，于是归纳法、极大元原理都能用上了。

把字典继续抄下去：主理想 (α) = α𝒪_K 对应「元素 α 生成的一切倍数」；α | β 当且仅当 (β) ⊆ (α)；α 与 β 相伴（差单位倍）当且仅当 (α) = (β)。特别地，单位对应 (1) = 𝒪_K——全环这个最大的理想。

为什么值得换语言？因为在元素世界，「最大公约数」「不可约」「素数」都依赖元素分解——而元素分解恰是会失败的。理想世界把这些概念重建在集合包含上，完全绕开了元素分解。下一页看四则运算，然后素理想登场。

第二章 素理想与唯一分解：修复工程2.2 理想的字典 II：除法与互素

★★★ 第一章 p22 已备好和、积、交。这里补上第四件工具——商理想，并核对互素。

𝔟 : 𝔞 = { x ∈ K : x𝔞 ⊆ 𝔟 }

它是包含 𝔟 的最大理想（把 𝔟「除以」𝔞）。在 ℤ 里练习：(12) : (4) = (3)，因为 12 的倍数集除以 4 的倍数集恰剩 3 的倍数集；(12) : (5) = (12)，因为互素时除不动。这正是带余除法的理想版本：整除与否，看商理想是否变大。

证明。①⟹②：任取 z ∈ 𝔞 ∩ 𝔟，写 z = xz + yz（x ∈ 𝔞, y ∈ 𝔟），则 xz ∈ 𝔞𝔟（z ∈ 𝔟）、yz ∈ 𝔞𝔟（z ∈ 𝔞），故 z ∈ 𝔞𝔟；反向包含恒真。②⟹①：若 𝔞 + 𝔟 ≠ 𝒪_K，它含于某个极大理想 𝔪（p43），则 𝔞𝔟 ⊆ 𝔪 且 𝔞 ∩ 𝔟 ⊆ 𝔪，由素性 𝔞 ⊆ 𝔪 或 𝔟 ⊆ 𝔪，与 𝔞 + 𝔟 ∋ 𝔞 + 𝔟 = 𝒪_K 矛盾——细节在下一页收拢。②⟹③ 由 1 ∈ 𝔞𝔟 ⊆ … 直接展开。∎

为什么需要商理想？唯一分解的唯一性证明要反复使用一句行话：「𝔭 整除 𝔞 但不整除 𝔟」。有了 : 运算，这句话变成可计算的集合判断：𝔞:𝔭 ⊋ 𝔞 而 𝔟:𝔭 = 𝔟。语言备齐，定理才说得动。

第二章 素理想与唯一分解：修复工程2.3 主角登场：素理想与极大理想

★★★★ 唯一分解定理里的「原子」是素理想。它的两条定义分别在乘法与包含两个频道上。

证明。极大⟹素：𝔞𝔟 ⊆ 𝔭 而 𝔞 ⊄ 𝔭，则 𝔞 + 𝔭 ⊋ 𝔭，由极大性 𝔞 + 𝔭 = 𝒪_K；取 x ∈ 𝔞, y ∈ 𝔭 使 x + y = 1，则 𝔟 = x𝔟 + y𝔟 ⊆ 𝔭𝔟 + 𝔭 ⊆ 𝔭。素⟹极大：第一章 p26 已证 𝒪_K/𝔭 是有限域——商是域恰等价于 𝔭 极大。∎

在 ℤ 里对照：非零素理想恰是 (p)，p 为素数——它同时极大。在 ℤ[√−5] 里看一个真素理想：𝔭 = (3, 1−√−5)。商环 ℤ[√−5]/𝔭 里 3 = 0 且 √−5 = 1，于是整个环塌缩成 𝔽₃——三个元素，是域，故 𝔭 极大。而 (3) 本身不是素理想：(1+√−5)(1−√−5) = 6 ∈ (3)，但两个因子都不在 (3) 里。「3 不可约却非素」正是元素分解失败的病根；理想层的素性由 𝔭 承担。

存在性。每个真理想都含于某个极大理想（Zorn 引理；在 Noether 环里可直接用升链极大化）。这保证素理想供应充足。

第二章 素理想与唯一分解：修复工程2.4 商环：素理想的「底片」

★★☆ 理想 𝔭 的全部信息浓缩在商环 𝒪_K/𝔭 里——它是检验素性的试纸，也是「命运」数据的来源。

𝒪_K/𝔭 ≅ 𝔽_p 的 f 次扩张，共 p^f 个元素（f ≥ 1）。

证明。𝔭 ∩ ℤ 是 ℤ 的素理想，非零（取 0 ≠ a ∈ 𝔭，其范数 N(a) ∈ 𝔭 ∩ ℤ），故 = (p)。于是 𝒪_K/𝔭 是 𝔽_p 上的向量空间，且由第一章 p26 它是有限集，故维数有限，记 f = [𝒪_K/𝔭 : 𝔽_p]。∎

整数 f 叫 𝔭 的剩余次数（residual degree），是「命运方程」里的第二号角色。f 的几何意思：𝔭 的剩余域比 𝔽_p「厚」多少倍。

符号说明。从本页起，p 一律指有理素数（小写斜体），𝔭, 𝔮 指 𝒪_K 的素理想（花体）。一个 p 下面可能藏着多个 𝔭——这正是「命运」问题的一词多义现场。

第二章 素理想与唯一分解：修复工程2.5 理想范数：两条黄金定律

★★★★ 第一章 p24 已把理想范数定义为加法群指标 N(𝔞) = [𝒪_K : 𝔞]。现在兑现两条定律——它们是本章一切归纳证明的发动机。

证明思路。关键一步是第二同构定理：若 𝔟 ⊆ 𝔞，则 N(𝔟) = N(𝔞)·[𝔞 : 𝔟]（加法群指标的两步走）。把它用于互素分解：当 𝔞 + 𝔟 = 𝒪_K 时，由 𝔞𝔟 = 𝔞 ∩ 𝔟 与中国剩余定理 𝒪_K/𝔞𝔟 ≅ 𝒪_K/𝔞 × 𝒪_K/𝔟，两边数元素即得。一般情形把 𝔞, 𝔟 拆成互素块（唯一分解之后回补，p49 之后自动成立）。∎

证明思路。(α) 作为加法群是 α𝒪_K，而乘 α 的线性映射 m_α 把 𝒪_K（秩 n 格）映成 α𝒪_K；格映射的「体积压缩比」等于行列式绝对值，而 det(m_α) = N_K(α)（第一章 p16 特征多项式的常数项）。∎

两条定律的化学反应：把 (p) 分解成素理想之积 𝔭₁^e₁⋯𝔭_g^e_g 后，两边取范数：

pⁿ = N((p)) = N(𝔭₁)^e₁ ⋯ N(𝔭_g)^e_g = p^{e₁f₁ + ⋯ + e_gf_g}

约去 p 的幂，立刻得到本章的「分解方程」e₁f₁ + ⋯ + e_gf_g = n（p51 正式登场）。范数把理想层的结构问题变成了一个整数恒等式。

第二章 素理想与唯一分解：修复工程2.6 分式理想：把格请进分式域

★★★ 理想的乘法有个天然缺口：整数乘法有逆（4 × 1/4 = 1），理想还没有。补上它需要一个更大的舞台——分式域 K。

ℤ 里的例子一眼看穿：(4)⁻¹ = (1/4)ℤ——「四分之一的倍数」，它不是 ℤ 的子群（1/4 ∉ ℤ），但乘 4 就回到 ℤ。分式理想就是「允许系数跑出 𝒪_K 的格」。

𝔞⁻¹ = { x ∈ K : x𝔞 ⊆ 𝒪_K }

它自动是分式理想（若 𝔞 = c𝔟，则 𝔞⁻¹ = c⁻¹𝔟⁻¹……先记住形式，下一页证明存在性）。ℤ 里：(4)⁻¹ = (1/4)ℤ，且 (4)(1/4)ℤ = ℤ——乘回去恰好还原。

⚠️ 常见误区。𝔞⁻¹ 不是「把每个元素取倒数」：2 + √−5 的倒数不在 𝒪_K 里也不必在 (2+√−5)⁻¹ 的「倒数集」里。定义是整体条件：x 乘整个 𝔞 都落回 𝒪_K 才算。

第二章 素理想与唯一分解：修复工程2.7 可逆理想：Dedekind 环的「理想群」

★★★★ 本页是第二章的技术心脏：在 𝒪_K 里，每个非零理想都可逆。

证明思路（两步，细节由挑战 2 的 (c)(d) 补全）。整条证明围绕一个目标：找到 c ∈ K ∖ 𝒪_K 使 c𝔭 ⊆ 𝒪_K（即 𝔭⁻¹ ⊋ 𝒪_K）——有了这样的「分数元」，乘 𝔭⁻¹ 就能让理想严格变大、范数严格变小，归纳机器随即启动。第一步用商理想链 (a) ⊆ (a):𝔭 ⊆ (a):𝔭2 ⊆ ⋯（由 N((a)) 有限拦截无限上升）找到 c；第二步用极大性证明 𝔭𝔭⁻¹ 不能是真理想，从而等于 𝒪_K。关键引理「每个非零理想都含素理想之积」一并放入挑战。∎

群意味着什么？可逆性带来两件礼物：消去律（𝔞𝔟 = 𝔞𝔠 ⟹ 𝔟 = 𝔠，两边乘 𝔞⁻¹）和「整除即包含」的完全版（𝔟 ⊆ 𝔞 ⟹ 𝔟 = 𝔞(𝔟𝔞⁻¹)）。唯一分解定理的证明全靠这两件。

第二章 素理想与唯一分解：修复工程2.8 唯一分解定理 I：分解的存在性

★★★★ 万事俱备。主角定理登场——它是本册的第一章主定理（𝒪_K 是 Dedekind 整环）的兑现。

𝔞 = 𝔭₁^e₁ 𝔭₂^e₂ ⋯ 𝔭_g^e_g

其中 𝔭₁, …, 𝔭_g 是互不相同的素理想，e_i ≥ 1。这个表达在不计次序意义下唯一。约定 𝒪_K 自己是「空积」。

存在性证明（对 N(𝔞) 归纳）。若 𝔞 = 𝒪_K 完成。否则 𝔞 含于某个极大（=素）理想 𝔭。由 𝔞 ⊆ 𝔭 得 𝔞𝔭⁻¹ ⊆ 𝔭𝔭⁻¹ = 𝒪_K，是整理想；又 𝔞 = (𝔞𝔭⁻¹)𝔭 ⊆ 𝔞𝔭⁻¹·𝔭 且严格：N(𝔞) = N(𝔞𝔭⁻¹)N(𝔭) > N(𝔞𝔭⁻¹)（N(𝔭) ≥ 2）。归纳假设把 𝔞𝔭⁻¹ 分解为素理想之积，两边乘 𝔭 即完成。∎

注意证明里范数角色的转换：在元素世界 N(α) 用来判「可约」，在理想世界 N(𝔞) 用来驱动归纳——每次除掉一个素理想，倒计时就少一格。这就是 p45 说范数是「归纳法发动机」的含义。

第二章 素理想与唯一分解：修复工程2.9 唯一分解定理 II：分解的唯一性

★★★★ 唯一性靠素理想的「素性」一条性质，加上消去律。

证明。𝔭 | 𝔞𝔟 即 𝔞𝔟 ⊆ 𝔭。若 𝔞 ⊄ 𝔭，取 a ∈ 𝔞 ∖ 𝔭，则 a𝔟 ⊆ 𝔞𝔟 ⊆ 𝔭 且 𝔭𝔟 ⊆ 𝔭；而 (a) + 𝔭 ⊋ 𝔭，由 𝔭 极大得 (a) + 𝔭 = 𝒪_K，于是

𝔟 = ((a) + 𝔭)𝔟 = (a)𝔟 + 𝔭𝔟 ⊆ 𝔭 + 𝔭 = 𝔭.

即 𝔭 | 𝔟。∎

对照元素世界。元素唯一分解的证明也需要「素 ⟹ 整除性质」，但元素世界里 不可约 ≠ 素（ℤ[√−5] 的 3 就是反例）——缺口无法弥补。理想世界里「素理想 = 极大理想」自动成立，素性免费获得。这就是升维的回报。

第二章 素理想与唯一分解：修复工程2.10 9 之谜的理想解答

★★★★ 还债时刻。第一章的 9 = 3·3 = (2+√−5)(2−√−5) 现在可以在理想层彻底看清。

取 𝔭 = (3, 1−√−5)，𝔭̄ = (3, 1+√−5)。三个关键事实：① 𝔭𝔭̄ = (3)（p47 已验证生成元）。② 2+√−5 = 3 − (1−√−5) ∈ 𝔭，而 2+√−5 ∉ 𝔭̄（否则 1 ∈ 𝔭̄），于是 (2+√−5) = 𝔭·𝔠 且 N(𝔠) = N(2+√−5)/N(𝔭) = 9/3 = 3；范数 3 的素理想只有 𝔭, 𝔭̄，排除 𝔭̄ 得 𝔠 = 𝔭，即

(2+√−5) = 𝔭2,　(2−√−5) = 𝔭̄2,　(3) = 𝔭𝔭̄.

③ 于是两条元素分解链在理想层汇合：

(9) = (3)2 = 𝔭2𝔭̄2 = (2+√−5)(2−√−5).

把视野拉远：元素分解不唯一，是因为「元素」这个层级太粗——3 和 2+√−5 的内部都藏着结构 𝔭, 𝔭̄，而它们不是元素。理想的分解永远唯一，所以「数了几次 𝔭」成为良定义的记账：理想范数 N(𝔭) = 3 乘性累积，N((9)) = 81 = 3⁴ = N(𝔭)2N(𝔭̄)2，账目分毫不差。

记号。𝔭̄ 的横线提示它与 𝔭 共轭（√−5 ↦ −√−5 互换两者）。共轭理想 N(𝔭̄) = N(𝔭)、𝔭𝔭̄ = (N(𝔭))？——在本例是 (3)，一般情形 𝔭𝔭̄ ⊆ (3) 且互素，恰好相等（p54 例题里再算一遍）。

第二章 素理想与唯一分解：修复工程2.11 (p) 的命运：e、f、g 与分解方程

★★★★★ 现在把镜头对准本册明线的主舞台：有理素数 p 进入 𝒪_K 后，主理想 (p) 如何分解？

由唯一分解定理，(p) = 𝔭₁^e₁ ⋯ 𝔭_g^e_g，其中 𝔭₁,…,𝔭_g 是 p 上方的素理想（即含 (p) 的素理想）。每个 𝔭_i 背着自己的两个数：分歧指数 e_i（出现的次数）与剩余次数 f_i = [𝒪_K/𝔭_i : 𝔽_p]。对分解式取范数：

pⁿ = N((p)) = N(𝔭₁)^e₁ ⋯ N(𝔭_g)^e_g ⟹　e₁f₁ + e₂f₂ + ⋯ + e_gf_g = n.

这条分解方程是素数命运的守恒律：n 份「次数预算」，由 g 个素理想按 e_if_i 分账。

高次预告。n = 2 时三种命运互斥而穷尽；n ≥ 3 后会出现混合形态（如 (p) = 𝔭₁𝔭₂2，一次分歧加一次分裂并存），但分解方程不变。谁触发哪种命运？——下一页起给判据，p54 用判别式一锤定音。

第二章 素理想与唯一分解：修复工程高斯整数 ℤ[i]：素数的三种命运各来一例

★★☆ 高斯整数 ℤ[i]（i² = −1）是历史最早的数域整数环，也是命运问题最干净的舞台。判别式 Δ_K = −4，最小多项式 f(t) = t² + 1。素数 p 的命运由一个问题决定：方程 t² ≡ −1 (mod p) 在 𝔽_p 中有没有解？

分裂的情形还能更进一步。ℤ[i] 对范数作带余除法（每个复平面的半开方格内，格点到最近格点的距离平方 < 1），是欧几里得整环，从而每个理想都是主理想。于是理想分裂自动落实为元素分解：

5 = (2 + i)(2 − i),　13 = (3 + 2i)(3 − 2i),　17 = (4 + i)(4 − i).

这正是费马两平方和定理的代数数论形态：奇素数能写成两平方和，当且仅当它在 ℤ[i] 中分裂——「分裂」这个抽象命运，落到范数上就是 p = N(a + bi) = a² + b²。旧定理获得新解释，而判据本身不过是一张小小的平方表。

第二章 素理想与唯一分解：修复工程Dedekind–Kummer 判据：mod p 分解最小多项式

★★★ 三次域 K = ℚ(θ)，其中 θ³ = θ + 1。最小多项式 f(t) = t³ − t − 1，其判别式按公式 Δ = −4p³ − 27q²（对 t³ + pt + q 型）算出 Δ = −4 + 27 = −23，恰为素数，故 𝒪_K = ℤ[θ]。判据登场：

道理藏在商环里：指标为 1 时 𝒪_K/(p) ≅ 𝔽_p[t]/(f̄)。右边按 f̄ 的因式分解拆成多个域的直积（中国剩余定理），每个域分量对应一个素理想——多项式怎么分解，理想就怎么分解。

取 p = 3。f̄(0) = 2, f̄(1) = 2, f̄(2) = 2——在 𝔽₃ 上处处非零，三次多项式无根即不可约。于是 (3) = 𝔭 单独成素理想，f = 3, g = 1, e = 1，N(𝔭) = 27。3 惰性。

取 p = 23。23 | Δ_K，预计分歧。直接验证： f(3) = 23，所以 3 是根；f(10) = 989 = 23 × 43，且 f′(10) = 3 × 100 − 1 = 299 = 23 × 13，故 10 是重根。模 23 有 f̄ = (t − 10)²(t − 3)，于是 (23) = 𝔭₁²𝔭₂，其中 𝔭₁ = (23, θ − 10)、𝔭₂ = (23, θ − 3)，e₁ = 2, e₂ = 1, f₁ = f₂ = 1，校验 2 × 1 + 1 × 1 = 3 ✓。重根的位置给出分歧素理想——这正是「p | Δ_K ⟺ 分歧」的代数面目，第三章将把它讲透。

使用须知。判据的前提 p ∤ [𝒪_K : ℤ[θ]] 不可省略：指标里混进的素数会让 f mod p 的分解「缺斤少两」，此时需改用补救算法。好在指标可由判别式控制：Δ(θ) = Δ_K · [𝒪_K : ℤ[θ]]²，本例 Δ(θ) = −23 是素数，指标只能是 1。

第二章 素理想与唯一分解：修复工程回到 ℚ(√−5)：命运总表

★★★ 本章主角域 K = ℚ(√−5)，Δ_K = −20。二次域有一条完备判据（它是第三章二次互反律的推论，本页先当黑箱使用）：p | Δ_K 当且仅当分歧；否则 (Δ_K/p) = +1 时分裂、−1 时惰性。逐一代入，得到全册明线舞台的说明书：

把表读进本章的故事：第一章「9 之谜」的两条元素链，如今各就各位——3 分裂给出 𝔭 = (3, 1 − √−5) 与 𝔭̄，于是 (3) = 𝔭𝔭̄、(9) = 𝔭²𝔭̄²；而 (2 + √−5) = 𝔭²、(2 − √−5) = 𝔭̄²（p50 已验证）。两条链在理想层汇合成同一条分解，唯一性恢复。表上每一行都是一台小型计算器：给定 p，命运、素理想个数、剩余域大小全部可算——这正是「修复工程」承诺的回报。

第二章 素理想与唯一分解：修复工程理想运算与范数：基本功演练

2.1.1　在 ℤ[√−5] 中计算 N((5)) 与 N((√−5))，并验证 (5) = (√−5)² 与范数乘性 N((5)) = N((√−5))² 一致。

提示：N((α)) = |N(α)|，故 N((√−5)) = 5，N((5)) = 25；(√−5)(√−5) = (−5) 与 (5) 相差单位 −1，主理想相同。

2.1.2　证明 𝔭 + 𝔭̄ = 𝒪_K（𝔭 = (3, 1 − √−5)），即两个共轭素理想互素。提示：从 3 与 2√−5 都属于和出发，逐步凑出 1。

提示：(2√−5)² = −20 也在和里，于是 20 与 9 = 3² 都在；20 − 2 × 9 = 2，再 9 − 4 × 2 = 1。

2.1.3　构造商环同构 𝒪_K/𝔭 ≅ 𝔽₃，并指出 √−5 的像；说明该同构为何与 −5 ≡ 1 (mod 3) 一致。

提示：1 − √−5 ∈ 𝔭 强制 √−5 ↦ 1；像集为 {0, 1, 2}，且 (√−5)² + 5 ↦ 1 + 5 = 6 ≡ 0，映射良定义。

2.1.4　验证 𝔭² = (2 + √−5) 的同时核对范数链：N(𝔭)² = 9 与 N((2 + √−5)) = |4 + 5| = 9 相等。

提示：2 + √−5 = 3 − (1 − √−5) 是 3 与 1 − √−5 的组合，故 (2 + √−5) ⊆ 𝔭；再证反向包含或用两边范数相等夹逼。

2.1.5　判断下列理想中哪些是素理想，并给出理由：(2, 1 + √−5)，(11)，(√−5)。

提示：范数为素数者必素（商环是素数个元素的域）；对 (11) 查 t² + 6 (mod 11) 的平方表 {1, 3, 4, 5, 9}，无根即惰性素。

2.1.6　在 ℤ 中计算 (12) + (8)、(12)(8)、(12) : (8)，并用「整除即包含」的字典逐条解读三个结果的含义。

提示：(4)、(96)、(3)——分别是最大公因子、最小公倍数、以及「约去 (8) 后 (12) 的剩余因子」；商理想是消去律的语言。

第二章 素理想与唯一分解：修复工程素数命运与 Dedekind–Kummer：进阶应用

2.2.1　在 ℤ[i] 中验证 (13, 3 + 2i) = (3 + 2i)：先证 13 = (3 + 2i)(3 − 2i)，再说明为何两个生成元中较大的那个「不添乱」。

提示：13 = |3 + 2i|²，故 (13) ⊆ (3 + 2i)，两个生成元都被 3 + 2i 整除，理想由它独自主宰。

2.2.2　沿用例 2.2 的 K = ℚ(θ)（θ³ = θ + 1），用 Dedekind–Kummer 判据分解 (5)。

提示：f(2) = 5 给出根 2；f̄ = (t − 2)(t² + 2t + 3)，后者判别式 −8 ≡ 2 (mod 5) 非平方，不可约。故 (5) = 𝔭₁𝔭₂，N(𝔭₁) = 5，N(𝔭₂) = 25，校验 1 + 2 = 3 ✓。

2.2.3　用第二章的语言证明：21 不能写成两个整数的平方和。对照例 2.1 的费马判据，指出卡住 21 的具体环节。

提示：若 21 = a² + b²，则 (a + bi)(a − bi) = (21)。素理想 (3)（惰性）整除左边某个因子，推出 3 | a 且 3 | b，于是 9 | 21，矛盾。

2.2.4　兑现图 2-15 的承诺：对 K = ℚ(√−5)，用平方表逐一验证 p = 17, 19, 23 的命运，并对分裂者写出素理想的生成元。

提示：x² ≡ −5 (mod 17) 即 x² ≡ 12，平方表 {1, 2, 4, 8, 9, 13, 15, 16} 中无 12，惰性；19 同法（查 14）惰性；23：8² = 64 ≡ 18 ≡ −5，分裂为 (23, 8 + √−5)(23, 8 − √−5)。

2.2.5　在 ℤ[i] 中：① 列出全部单位；② 证明 (1 − i) = (1 + i)；③ 从而说明 (2) = (1 + i)²，分歧指数 e = 2。

提示：单位即范数 ±1 者，为 ±1, ±i；1 − i = −i(1 + i) 相差单位，主理想相同；2 = (1 + i)(1 − i) = −i(1 + i)²。

方向感。2.1.1–2.1.6 练「理想是对象」的手感：算范数、验互素、造商环。2.2.1–2.2.5 练「命运可计算」：判据、平方表、D–K 流程全是机械步骤。若某题卡壳，先回到例 2.3 的总表对照——所有道具都已在第二章登场。

第二章 素理想与唯一分解：修复工程从反向字典到素数命运：一条修复之路

本章走了一条单线路线：字典（p41–p42）给出游戏规则，素理想（p43–p44）补上「素数」的空位，范数（p45–p46）提供度量与归纳引擎，然后唯一分解（p48–p50）水到渠成，最后（p51–p54）把机器开到 (p) 的命运问题上。六个站位如下：

回望全程，最值得带上路的两件行李：一是反向的字典——把「整除」读成「包含」，让理想世界继承 ℤ 的全部直觉；二是范数发动机——它把「理想会越来越简单」变成可终止的归纳。第三章将追问一个自然的问题：唯一分解保住了，但分解出来的素理想有多少真的来自元素？这个「主理想的缺口」是一个有限群——理想类群。

第二章 素理想与唯一分解：修复工程定理总账与「9 之谜」终解

本章的定理与判据一次清点：

全章的主角悬念——「9 之谜」——此刻可以写终局。元素层上互不相认的两条分解链，在理想层汇合成同一条：

(3) = 𝔭𝔭̄,　(9) = 𝔭²𝔭̄²,　(2 + √−5) = 𝔭²,　(2 − √−5) = 𝔭̄².

两条元素链 9 = 3·3 与 9 = (2 + √−5)(2 − √−5) 各自展开成理想分解后，得到的是同一个 𝔭²𝔭̄²——唯一的差别只在「从哪里上到理想层」。分解没有歧义了，歧义只属于投影的方向。这就是 Kummer–Dedekind 修复工程的全部含义。

下一步。第二章建立了理想世界的秩序；第三章将度量这个世界与元素世界的距离——理想类群 Cl(K) 与类数 h，并用几何（Minkowski）证明 h 有限。那个曾在第一章预告的数字 h = 2（对 ℚ(√−5)），将在那里得到完整解释。

第二章 素理想与唯一分解：修复工程失败的礼物：升一层，秩序回来

「9 的分解不唯一」在第一章是一桩丑闻，在本章却成了一张地图。值得停下来想一想这中间发生了什么：失败本身没有变，变的是我们对它的读法。

这个模式在数学史上反复出现：负数开不了方，升到复数层就好了；过直线外一点作不出平行线，换一种几何就有了。共同的结构是——当某一层出现「原则上无法修复」的失败，往往不是这一层错了，而是它太薄。Kummer 的伟大不在于他救活了唯一分解，而在于他诊断出：该修的不是算术规则，而是「什么算一个数」。

还有一层更细的体会：理想层的秩序不是免费的。𝔭²𝔭̄² 的唯一性属于理想，把理想再投影回元素，歧义立刻回来。每一次升维都是「用更大的对象换更好的性质」，而性质能保持到哪一层、在哪一层失效，正是新理论要回答的第一个问题。第三章的类群 Cl(K) 度量的就是这次升维的「成本」：有多少理想在升维后回不到元素层。

第二章 素理想与唯一分解：修复工程可逆性证明的攀登路线

p47 把可逆性定理的证明拆成了两步并留了白：第一步找「分数元」，第二步用极大性收网，中间的关键引理悬而未证。这里是完整的攀登路线。

(a)　指标塔。设 𝔞 ⊆ 𝔟 是非零整理想。证明 N(𝔞) = N(𝔟) · [𝔟 : 𝔞]，其中 [𝔟 : 𝔞] 是加法群的指标。推论：𝔞 ⊊ 𝔟 时 N(𝔟) < N(𝔞)。

(b)　商理想翻出共轭。在 ℤ[√−5] 中证明 (3) : 𝔭 = 𝔭̄（𝔭 = (3, 1 − √−5)）。提示：对 x = a + b√−5，条件 x𝔭 ⊆ (3) 只需查生成元——3x 自动合格，剩下 x(1 − √−5) = (a + 5b) + (b − a)√−5，于是等价于 a ≡ b (mod 3)；而这恰是 x ∈ 𝔭̄ = (3, 1 + √−5) 的判据。

(c)　关键引理。证明：每个非零真理想 𝔞 都含有一个素理想之积 𝔭₁ ⋯ 𝔭_r ⊆ 𝔞。路线（N 极小法）：在「不含素积」的非零真理想中取 N(𝔞) 最小者；取极大理想 𝔭 ⊇ 𝔞（𝔞 = 𝔭 时已是素积，故 𝔭 ⊄ 𝔞）；验证商理想 𝔞 : 𝔭 满足三件事——包含 𝔞（吸收律 𝔞𝔭 ⊆ 𝔞）、严格更大（若相等，𝔭 的有限多个生成元全部落入 𝔞，与 𝔭 ⊄ 𝔞 矛盾）、是真理想（若等于 𝒪_K 则 𝔭 ⊆ 𝔞）；用 (a) 得 N(𝔞 : 𝔭) < N(𝔞)，极小性给出素积 𝔮₁⋯𝔮_s ⊆ 𝔞 : 𝔭；乘上 𝔭 落入 𝔞，矛盾。∎

(d)　收网：𝔭𝔭⁻¹ = 𝒪_K。第一步（分数元存在）：取 0 ≠ a ∈ 𝔭，用 (c) 取含于 (a) 的素积表示中因子数最小的一个 𝔮₁⋯𝔮_r ⊆ (a)；素性迫使某 𝔮_i = 𝔭（极大理想互不真包含），记其余之积为 𝔟，则 𝔭𝔟 ⊆ (a) 且 𝔟 ⊄ (a)（否则因子数可减一）。取 b ∈ 𝔟 ∖ (a)，令 c = b/a ∈ K：验证 c ∉ 𝒪_K 而 c𝔭 ⊆ 𝒪_K。第二步（极大性收网）：𝔭 ⊆ 𝔭𝔭⁻¹ ⊆ 𝒪_K，若不等号取严，则 𝔭𝔭⁻¹ 含于某极大理想 𝔮 = 𝔭，于是 𝔭𝔭⁻¹ = 𝔭；对两边取范数并用乘性（分式情形：先把 𝔭⁻¹ 写成 (1/m) 乘一个整理想，提示见实验 2）得 N(𝔭⁻¹) = 1，迫使 𝔭⁻¹ = 𝒪_K，与 c ∈ 𝔭⁻¹ ∖ 𝒪_K 矛盾。∎

路线图回顾。(a) 提供度量，(b) 提供手感，(c) 是唯一的新引理，(d) 把它们拧成 p47 的两步。走完这条路线，p48 的存在性归纳（每次乘 𝔭⁻¹ 降一次范数）与 p49 的消去律就都有了完整地基——本章主定理的每个齿轮都亲手摸过一遍。

第二章 素理想与唯一分解：修复工程素数命运探测器：平方表的机械化

例 2.3 的命运总表是手工查平方表得到的。把它写成十行程序，命运判定就成了一键操作——同时也能验证图 2-15 上每一个色块。

# 实验 2-A：K = Q(sqrt(-5)) 的素数命运探测器
# 判据：p 整除判别式 20 -> 分歧；
#       否则查方程 x*x 与 -5 是否模 p 同余（找平方表中的根）

def fate(p):
    if 20 % p == 0:
        return "分歧 (ramified)"
    roots = [x for x in range(p) if (x*x + 5) % p == 0]
    if roots:
        return "分裂 (split)，素理想含 (p, x - r)，r = " + str(roots)
    return "惰性 (inert)"

for p in [2, 3, 5, 7, 11, 13, 17, 19, 23]:
    print(p, "->", fate(p))

# 实验 2-B：运行输出（与例 2.3 表、图 2-15 逐行对照）

2 -> 分歧 (ramified)
3 -> 分裂 (split)，素理想含 (p, x - r)，r = [1, 2]
5 -> 分歧 (ramified)
7 -> 分裂 (split)，素理想含 (p, x - r)，r = [3, 4]
11 -> 惰性 (inert)
13 -> 惰性 (inert)
17 -> 惰性 (inert)
19 -> 惰性 (inert)
23 -> 分裂 (split)，素理想含 (p, x - r)，r = [8, 15]

视检与换算。对每个分裂的 p，把根 r 换算成素理想生成元：𝔭 = (p, r − √−5)。核对三例：p = 3 时 r = 1 给出 (3, 1 − √−5)——本章主角亮相；p = 7 时 r = 3 给出 (7, 3 − √−5)，与例 2.3 表中写法差一个生成元的符号（理想相同）；p = 23 时 r = 8 给出 (23, 8 − √−5)，正是本章习题的答案。

黑箱提示。探测器只用了一张平方表，为什么平方表就够了？「x² ≡ −5 (mod p) 有解 ⟺ p 分裂」这一步其实是 Dedekind–Kummer 判据在二次域的化身（𝒪_K/(p) ≅ 𝔽_p[t]/(t² + 5)）；而「哪个 p 有解」的宏观规律——Legendre 符号 (Δ_K/p) 的可计算性——要等第三章的二次互反律才完全揭盅。本页的黑箱，就是那朵尚未点燃的礼花。

第二章 素理想与唯一分解：修复工程唯一分解的三次危机与两次救赎

第一章札记讲了三种语言（Kummer、Dedekind、Hensel）如何说同一件事；本章已经亲手用上了其中两种。这里补齐事件的完整时间线——唯一分解从「天经地义」到「需要证明」的七十四年。

三次危机里最耐人寻味的是第二次「救赎」的性质。Kummer 的理想数虽然恢复了分解唯一性，却带着「补出来的数」这个形而上学包袱：它不存在于原来的域里，凭什么参与运算？Dedekind 的做法不是辩护这个包袱，而是换掉承载物——不问「理想数是什么」，只问「被它整除的数有哪些」。整除关系被翻译成包含关系（p41 的反向字典），运算规则全部保留，而本体论的尴尬烟消云散。

Noether 再进一步：连「ℤ-模、格、判别式」这些具体脚手架也拆掉，只留三条公理（Noether 性、整闭性、维数 1，见图 1-21）。至此「理想」不再依附于数域——任何满足公理的环里，本章的全部定理照常运转。

回声。本章走过的路恰好重演了这段历史：p40 立案（分解失败），p41–p47 造语言（字典、素理想、范数、逆），p48–p50 定秩序（唯一分解），p51–p54 给出可计算的判据。下一次读到「公理化只是整理 already-known 的知识」时，不妨记得：公理化是第三次救赎，它救的是那些不知道自己需要救赎的定理。

第二章 素理想与唯一分解：修复工程第二章公式与判据一览

三条常用口诀。① 判理想素性，先算范数：范数是素数，立刻就是素理想；② 判 (p) 命运，先模 p：最小多项式（或 t² − d）在 𝔽_p 上的因式分解就是答案；③ 想让理想变小，乘逆理想——范数倒计时是全部归纳法的引擎。

下一章预告。素理想的世界秩序井然，但它与元素世界并不重合：𝔭 = (3, 1 − √−5) 就不是任何元素的主理想。有多少理想「不在主位」？把主理想视为单位元，全体理想模掉主理想，得到一个有限交换群——理想类群 Cl(K)，其阶 h 称为类数。第三章将用 Minkowski 几何证明 h 有限、算出 ℚ(√−5) 的 h = 2，并揭开 Legendre 符号背后那朵二次互反律的礼花。

第二章 素理想与唯一分解：修复工程常见误读：理想语言的四个陷阱

本章把「数」换成「理想」，语言换了，几处高频误读也跟着来了。逐一澄清，每条都配一个当场可验的账目（真跑对账见页末）。

理想语言的四个陷阱共享同一个出口：先问「这句话在哪一层说」——元素、理想、还是类——再让范数把账对平。层分清了，唯一分解就再也不会「时灵时不灵」。

第三章 类群与单位：失败的度量主理想的缺口有多大？——理想类群登场