交换代数初步 · 从数到理想：环的解剖学

本书怎么读：一门关于「用理想研究环」的学问

本书讲一门学问：交换代数——它以理想与模为工具，研究交换环。它从一个朴素的困惑出发：在 ℤ[√−5] 这样的数系里，6 竟能有两种分解——6 = 2 × 3 = (1 + √−5)(1 − √−5)，而四个因子都无法再分。唯一分解失效了，算术的地基在摇晃。为救它，Kummer 发明「理想数」，Dedekind 把它铸成今天的理想：一个本来为救数论而生的代造之物，后来竟成了整个交换代数的主角。顺着这条线，本书还要回答：为什么方程组的个数恰好决定图形的维数？为什么把环搬到素理想处（局部化），就能把全局的困难拆成局部逐点解决？为什么 1950 年代以来，同调（Ext 与 Tor）成了测量「缺口」的仪器，而 Zariski 与 Grothendieck 又把环本身读成了一片几何空间？从 Kummer 的理想数、Dedekind 的理想、Noether 的公理化，到 Zariski 的几何化与 Grothendieck 的概型，一百七十年只做一件事：把「数的算术」推广到任意交换环，并让代数与几何在同一套语言里握手。

本书按章组织：绪论从「三个句式其实是一个」讲起，说清交换代数关心什么、它从哪三次危机里长出来；第一章立起骨架——环、理想、同态与商环、素理想与极大理想、中国剩余定理与根；第二章学会「只盯一点」——局部化、局部环、素谱 Spec 与 Zariski 拓扑的第一次亮相；第三章把有限性练成公理——诺特环、Hilbert 基定理与零点定理、UFD 与 Dedekind 整环的理想分解；第四章抵达高地——Krull 维数、主理想定理、Nakayama 引理、正则局部环与离散赋值环；第五章让代数长出眼睛——模、复形与同调、Ext 与 Tor、平坦模与同调维数；第六章从环走向空间——Zariski 拓扑、层与结构层、概型，以及层上同调、Serre 对偶与算术几何的地平线；综合站用年表、人物谱、方法决策树、两个综合实验与二十四题自查收束全书。

写作的三条约束（本书的自我要求）。① 直觉与例子先行：每一个概念都从一张图、一个具体的小例子讲起——先看见 ℤ、ℤ[i] 与多项式环里的理想，再抽成公理；每一个定理先有「为什么它是对的」的直觉，再有完整的证明。② 一步一图：凡能画的都画——理想的包含格、局部化的放大镜、维数的素理想链、同调的长正合列。交换代数最漂亮的地方正藏在「代数—几何对照表」里：一条定义、一句定理，画出来便一目了然。③ 自给自足：本书不假设手边另有教材，所需工具在书内随用随补——群与阿贝尔群、线性代数的基与维数、多项式环的运算与次数、一点偏序集与点集拓扑，都在需要它的那一页现学现用；每一条定义都同时给出形式陈述与一句大白话的直觉，每一个反复出现的记号都在首次出现处交代清楚。个别深刻而整体的结论（Krull 主理想定理、Dedekind 整环的理想分解、Serre 对偶、伴随函子定理在本书中的用法）给出精确陈述、证明思路与文献指引，数值与程序对拍在实验页随附、可自行复算。

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

难度标记。讲义页用 ★–★★★★★ 标出阅读难度：★ 高中基础即可，★★ 需要整数与多项式的熟练经验（书内自给），★★★ 需要线性代数与抽象代数的入门（群、环、域的定义，书内自给），★★★★ 需要同调代数或代数几何的一点经验（书内自给），★★★★★ 需要概型语言的观点（第六章概型与层上同调）。若只求理解主线，读绪论、第一至第三编的主干与第五章的模与同调即可；若求完整掌握，按章顺序逐页推进，并把每章习题做完。

三条线索贯穿全书：

① 明线——从数到理想：先让唯一分解失效（绪论），再用理想把「数」接住（第一章），学会只盯一点地看（第二章），然后把有限性练成公理、把分解交给理想（第三章），用维数把代数与几何焊接在一起（第四章），最后同调登场、把环读成空间（第五、六章）——这正是交换代数一百七十年从救数论的工具长成几何语法的轨迹。

② 暗线——结构决定算术。一个环的算术面貌——能不能唯一分解、有多少素理想、维数几许——不由单个元素决定，而由理想与局部化的整体结构决定；「理想替数受过」正是这句格言的第一次亮相。找出「在什么眼光下两个环同构」，是全书反复演练的招式。

③ 接口——通往四个邻域。交换代数是现代数学的支点：与数论（Dedekind 整环与类群）、几何（代数簇与 Zariski 拓扑）、同调（Ext 与 Tor）、计算（Gröbner 基）四条战线相通，第六章与综合站余韵两页逐条架桥。

写法约定（TEX 标准）：环记 R、S（变量斜体）；理想记 (a)、素理想记 p、极大理想记 m；商环记 R/I；局部化记 S^-1R；张量积记 ⊗；同调函子记 Extⁿ、Tor_n。变量用斜体，环名（ℤ、ℝ、ℂ 等数系）与数字用正体；关键一步配图，代数与几何逐章对照。

绪论 理想的目光：从整数到环三个句式的统一

先做一件小事：把下面三句话并排读一遍。

整数论里问：6 能被 2 整除吗？

多项式论里问：x² − 1 能被 x − 1 整除吗？

平面几何里问：直线 y = x + 1 是否落在曲线 y² = x² + 2x + 1 上？

三个问题，一个句式：甲被乙整除吗。前者问的是数，中间问的是多项式，后者问的是曲线是否含一条直线——而它们其实是同一个问题的三种打扮。交换代数做的第一件事，就是把这个句式提到台面上，给它一个统一的名字：理想（ideal）。

这本书要讲的，就是这一件事如何长成一门学问。可以看到：本来为了救一个数论漏洞而发明的「理想」，最后成了连接数论与几何的公共语言；本来只关心「哪个数整除哪个数」的初等问题，最后被抬升为「哪个理想包含哪个理想」的结构问题——而正是在这个抬升中，交换代数诞生了。

读法建议：本绪论不必一次读通。第一节（p3–p4）讲历史与路线图，第一节卡住也不妨先跳到 p5 看「理想是什么」的直觉图；等六章读完，再回头读这几页，会有一次「看山还是山」的回头。

绪论 理想的目光：从整数到环算术的三次危机

交换代数不是凭空长出来的。它的每一次跃进，都是被一个具体的困难逼出来的。这里讲三次危机——它们串起来，正好是这门学问的前史。

第一次危机：费马猜错了。1640 年，Fermat 断言：形如 2²ⁿ + 1 的数（费马数）都是素数。前五个确实如此：3, 5, 17, 257, 65537。但 1732 年 Euler 算出

2³² + 1 = 4294967297 = 641 × 6700417

猜测被推翻。人们这才意识到：素数的分布远比想象中狡黠，「因式分解」并非永远按直觉行事。

第二次危机：唯一分解在 ℤ[√−5] 里失效。为了证明费马大定理，人们走进形如 a + b√−5 的数系。在那里，6 有两种分解：

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

而 2, 3, 1 ± √−5 都无法再分下去。算术基本定理——「分解唯一」——在这里碎了。这是真正的危机：整个数论的地基在摇晃。

第三次危机（的解决）：Kummer 造出「理想数」。1843 年前后，Kummer 发现：分解之所以不唯一，是因为有些「真正的因子」看不见。他引入「理想数」（ideal number）作为补位者——它们不是数，却像数一样参与整除。Dedekind 随即给它一个严格定义，就变成了今天的理想：一个对加法和「被环内元素乘」封闭的子集。

历史的分岔：同一时期，几何那边也在发生类似的事。方程组 f₁ = ⋯ = f_k = 0 的解集（曲线、曲面）与由这些多项式生成的理想 (f₁, …, f_k) 一一对应。数论的理想与几何的簇，本是同一种东西的两张脸——第五、六章会把这张对照表写全。

绪论 理想的目光：从整数到环从数到环的八十年路线图

把上面三次危机之后的八十年压缩成一条时间轴，就能看清本科交换代数（第一至第五、六章）在整个演化中的位置。

看清了这条线，六章的分工就一目了然：第一章、第二章站在 Noether 的起点上讲「环与理想」「诺特与分解」；第四章讲「维数与局部」；第五、六章把同调与几何接上。全书是一趟从十九世纪走到二十世纪的旅程。

绪论 理想的目光：从整数到环理想：数的替身

在正式下定义之前，先用一张图把「理想」的形状看清楚。理想是环里的一个子集，它对加法封闭、对「被环内元素乘」封闭——用两个字概括：吃得住乘法。

右侧那一列记住：整除与包含，是同一件事的两种说法，方向恰好相反。数 a 整除 b，等价于理想 (b) 被理想 (a) 包含。把「数的整除」翻译成「理想的包含」，就是交换代数的核心翻译机。

一句话记住全册的口诀：元素会骗人，理想不会。接下来每一章，都是在把这句话的适用范围推得更远。

绪论 理想的目光：从整数到环预备工具箱

本册自给自足，但下面这些是「起跑线」。若已熟练，可略过；若有生疏，表里的名字，用到时回来查。

两条记号约定。① 本册「环」一律指含单位元的交换环（乘法交换、有 1），这是交换代数的标准约定；若偶尔提到非交换环，会明确标注。② 环同态 φ: R → S 一律指保单位元的环同态（φ(1_R) = 1_S）。

关于「为什么环要有单位元 1」：这并非洁癖。有了 1，才有 {0} 与 R 这两个平凡理想，才有「极大理想」与「域」的判别，才有局部化的分母集。一句话，1 是让整个理论转起来的那个枢轴。

绪论 理想的目光：从整数到环中国源流：九章与天元术

交换代数在 1920 年代于德国成型，但「用理想代替数」「用方程组刻画图形」这两条思想，在中国数学传统里早有雏形。这一页做一点对照，不是为了附会，而是为了看清：数学的某些目光，是跨文明的。

「格物札记」页（p37、p62、p92、p122、p152、p182）会用同样的方式，逐章做一次中西对照。这不是点缀：把中国古代算法与现代结构语言并置，往往能照见后者「为什么会是这样」。

绪论 理想的目光：从整数到环本册的分工：六章与两条战线

本书六章，恰好对应路线图上的四次跃迁。这里把每章的「问题」列出来——读正文时，可以随时用这三个问题回测：这一页，回答了哪一个？

三条读法，供挑选。

绪论 理想的目光：从整数到环全书路线图

最后，把全册收进一张图。图中横轴是「代数—几何」的对照，纵轴是「局部—整体」的移动；六章各占一格，彼此如何衔接，一目了然。

自上而下、自左而右：先认识工具（第一、二章），再练有限性与分解（第三章），然后学会局部地看（第四章），最后让同调带我们走向几何（第五、六章）。下一章，我们从环的定义写起。

若只记住一件事，这个：交换代数的全部内容，都可以读作「把数的算术推广到任意的环」这一句话的展开。每读一页，问一句：这一页推广了什么？为什么必须推广？

第一章 环与理想：代数的新语言第一章导引：从「整除」到「理想」

绪论里我们说：交换代数是「把数的算术推广到任意的环」。这一章就把这句话落成三件工具：理想、商环与素／极大理想。它们分别回答三个问题——

章末几页（p24–p25）把中国剩余定理与幂零根请上台——它们是通向第二章「局部化」与第五、六章「同调与几何」的桥墩。

本章是全册的地基。读完它将获得三种能力：把整除翻译成包含、把同态翻译成商环、把局部化翻译成显微镜——第五、六章的几何，全部建立在这三种翻译之上。

第一章 环与理想：代数的新语言1.1 环：定义与第一批例子

定义刻意宽松：不要求可除、不要求可消。这份宽容换来一片辽阔的疆土——下面这些看起来毫不相干的数学对象，全是环：

反面教材（本册唯一一次离开交换世界）。n × n 实矩阵环 M_n(ℝ) 满足环的一切公理，唯独乘法不交换：AB ≠ BA。交换代数对它敬而远之，但它的存在提醒我们：环的公理里，交换性是「选装件」。

把 ℤ 里的直觉搬进新环之前，先问三件事：单位是谁？有没有零因子？分解唯一吗？——第三问正是绪论埋下的伏笔，第三章（p73 起）将正面回答。

第一章 环与理想：代数的新语言1.2 理想：定义与直觉

两条公理各有分工：第一条让 I 自己成一个加法群，第二条让 I 吃得下环外乘法——理想不是关起门来封闭，而是对全环开放吸收。这正是它与「子环」的分野：子环只需自身封闭，理想必须被环「渗透」。

理想不是子环。子环通常要求含 1，而真理想恰恰不能含 1。这不是命名纠纷，而是结构使然：理想注定是要被「商掉」的（p13），子环注定是要被「记住」的——两种命运，两种定义。

为什么叫「ideal」（理想数）？这是 Kummer 1850 年代的遗产：他把看不见的「真正因子」称为理想数，Dedekind 1871 年把「理想数所整除的数的全体」取为定义——一个形而上的名字，落成了一个干净的集合。

第一章 环与理想：代数的新语言1.3 同态与商环

两个同态例子，亲手验算：

核的两个身份值得并排看：ker φ 是「被压成零的那部分」，而它恰好总是一个理想——吸收性在这里自动成立：φ(r·a) = φ(r)φ(a) = φ(r)·0 = 0。「同态的核」与「理想」是同一枚硬币的两面。

商环的哲学一句话：把 I 里的元素一律「视为零」，再问剩下什么算术。ℤ/(5) 是把 5 的倍数抹黑后的算术；k[x]/(x² + 1) 是逼着 x² = −1 后长出的新数系——商环不只是「遗忘」，更是「强制」。

第一章 环与理想：代数的新语言1.4 同态基本定理与对应定理

两条即时红利：

对应定理是本章的「望远镜」：想研究 R/I 的理想，不必在商环里重新开荒——站在 R 里看「哪些理想盖住了 I」即可。p18 证明「极大理想商出域」时，它将第一次发力。

第一章 环与理想：代数的新语言1.5 理想的运算：和、积、交、幂

理想之间可以做代数。四种运算，先定义再用 ℤ 验算：

ℤ 里积与交同为 (6)，容易让人误以为二者总相等——换到 k[x,y] 立刻破功：

(x)(y) = (xy) = (x) ∩ (y)，但 (x², xy) = (x)(x, y) ⊊ (x) ∩ (x, y) = (x)

一般地有一条单向链，它是一切「估算理想大小」的起手式：

一图胜千言：理想格就是整除关系的倒影。第三章讲「分解唯一」时，整条论证都将在格上展开——每个理想能否唯一地写成素理想的「最小上界」之积，就是那张图上的走法问题。

第一章 环与理想：代数的新语言1.6 生成元与主理想

用吸收性一望便知：(a) 必须装下 a，就必须装下 ra，就必须装下一切有限和——它恰好是「最小」的那个。两个热身算例：

ℤ 里「两枚生成元折叠成最大公因数」绝非偶然——生成理想的和运算，正是 gcd 的代数化身（p19 给出一般证明）。但换个舞台，生成元会「摊大饼」：

「理想需要几个生成元」这个问题，会在第四章获得一个惊人答案：局部环里，生成元个数是可测的不变量（Nakayama 引理，p103–p104）。今天在 k[x,y] 里的一句「一个点压不成一条曲线」，届时会变成一条定理。

第一章 环与理想：代数的新语言1.7 素理想：整除的化身

两个形式为何等价？一行验算：设 ab ∈ P。在 R/P 里这恰是 (a + P)(b + P) = 0 + P；「无零因子」逼出 a + P = 0 或 b + P = 0，即 a ∈ P 或 b ∈ P。整环与素理想，是同一条件的商环说法与原环说法。

名字的由来值得咀嚼：素理想不是「素的理想」，而是素数的化身——凡素数在 ℤ 里干的事（整除乘积必居其一、商是整环、生成极大理想），素理想在任意环里都接着干。第三章「理想分解」分解到的正是它们。

第一章 环与理想：代数的新语言1.8 极大理想：商出一个域

极大理想为什么值得单独命名？因为它是环里「最接近域」的位置。素理想商出整环（还可能残存零因子之外的结构），极大理想商出域——没有任何残余。两个标准例子：

后一个例子是几何的第一次亮相：k[x,y]/(x − a, y − b) ≅ k，把 x 认作 a、y 认作 b——每个极大理想对应平面上的一个点。这不是巧合，而是 p45 Zariski 拓扑与第五、六章概型语言的种子。

这张图钉在脑门上：「素理想 = 不可约簇」的对应，是代数几何的全部出发点。第五、六章（p156）将把「点」推广到素理想本身——那时可以发现，今天这页只是把一架望远镜对准了远方。

第一章 环与理想：代数的新语言1.9 ℤ 的理想巡礼：算术的翻译

于是 ℤ 的理想语言可以逐词译回初等算术。这张翻译表是本章的「罗塞塔石碑」，此后每一页都在用它：

两条验证示范（其余留作课后口算）：gcd 一侧，设 d = gcd(a,b)，则 a, b ∈ (d) 给 (a) + (b) ⊆ (d)；反向由 Bézout d = ua + vb ∈ (a) + (b) 收口。lcm 一侧，x ∈ (a) ∩ (b) 意即 x 是公共倍数，恰是 lcm 的倍数。

回头看绪论 p7 的更相减损术：(a, b) = (a − qb, b) 每一步不变——现在能读懂它的代数身份了：辗转相除是「和运算下的理想不变式」，而不动点处理想由 gcd 生成。古老算法与现代结构语言，在同一件事上会师。

第一章 环与理想：代数的新语言1.10 k[x] 与带余除法

这条中学里人人练过的竖式，在环论里是重型机械——它一开动，ℤ 的全部Nice性质就被成批搬运到 k[x]。第一件行李：

与 p19 的证明并排看：两处都是「取最小者，带余除法，余数为零」的三步曲——只是 ℤ 用大小排序，k[x] 用次数排序。同一个论证骨架，两副不同的肉身。这类「良序 + 带余除法 ⟹ 主理想」的机制，第三章将命名为欧几里得整环。

根的理想语言。求值映射 ev_a 的核是 (x − a)（p13），于是得到一句漂亮的翻译：

f(a) = 0 ⟺ (f) ⊆ (x − a) ⟺ (x − a) | f

「a 是根」＝「理想 (f) 被极大理想 (x − a) 包含」。多项式的每个根，都是理想格上的一个「落点」。

域系数在此不可或缺：ℤ[x] 里带余除法对首一除式仍可行，但「每个理想主理想」失效——(2, x) 就不是主理想（留作挑战，p35 第 3 题）。基底越「平」，竖式越通用，这句经验之谈第四章还会再现。

第一章 环与理想：代数的新语言1.11 整环与分式域

整环是「算术最像 ℤ」的一类环。下表当作体检表，逐项问自己为什么：

整环最大的待遇，是它有资格拥有分式。ℤ 里的分数 a/b，本质是「把除法形式化」；同样的构造对任何整环都行得通：

注意「整环」这个前提不是摆设：ℤ/6ℤ 里若硬造分式，2/3 与 2·5/(3·5) = 10/15 的等价定义 2·15 = 3·10 固然成立，但消去律崩坏会让运算无法良定——零因子是分式的天敌。下一页我们把「允许哪些分母」做成一个可调旋钮，局部化就此登场。

第一章 环与理想：代数的新语言1.12 理想格：包含与运算的图景

一句话直觉。理想的全体不是一堆散沙，而是一张格（lattice）：它们能比大小（包含）、能交、能并（和）。有了格，环的「地形」就可以画出来看。

第一章 环与理想：代数的新语言1.13 生成元、有限性与诺特环的雏形

一句话直觉。理想通常很大，不能一个个数；于是我们问：能不能用有限几个元素把它「生成」出来？能，就叫有限生成——这正是交换代数控制「无穷」的第一招。

第一章 环与理想：代数的新语言1.14 中国剩余定理：一次说尽全部余数

《孙子算经》（约公元四世纪）：「今有物不知其数，三三数之剩二，五五数之剩三，七七数之剩二。问物几何？」答曰二十三。这件一千六百年前的算术，是一条现代定理的最美特例：

证明分三步，每步都是「互素」的直付（以 n = 2 为例）：

回到孙子：取 R = ℤ，(3), (5), (7) 两两互素，CRT 给 ℤ/105 ≅ ℤ/3 × ℤ/5 × ℤ/7。求「三剩二、五剩三、七剩二」＝在右侧找 (2, 3, 2) 的原像——开关元素 70, 21, 15 各司其职，拼出 2·70 + 3·21 + 2·15 = 233 ≡ 23。程大位《算法统宗》的口诀「三人同行七十稀」，唱的正是开关元素 70。

第一章 环与理想：代数的新语言1.15 幂零根与 Jacobson 根

这条定理的意义远超其证明：素理想全体，完全锁定了幂零元全体。环的「最深层代数性质」，居然由一族「几何点」（p18 的分层图）联合决定——代数与几何的第一次深度互锁。

一个读得懂的实例：ℤ/12ℤ 的素理想是 (2), (3)（对应素数 2, 3），交为 (6)；幂零元恰是 6 的倍数——6² = 36 ≡ 0 (mod 12)。验一验，图中椭圆的包含关系就落了地。

第一章 环与理想：代数的新语言1.16 常见误读与澄清

一句话直觉。本章的定义都短，但短定义最容易「用旧直觉偷读」。六面墙钉在一张卡上，逐条对号。

第一章 环与理想：代数的新语言例题课（一）：环、理想与同态

本页四例，覆盖「核与像 → 商环 → 运算」的基础动作链。每题先自答，再看解。

四题四式：同构定理定像、lcm 定交、算商定极大、算商定素。下一页演算难度上调半档，进入局部化。

第一章 环与理想：代数的新语言例题课（二）：素理想与极大理想

例 6 的「诈题」值得记住：局部化后做商环，先问哪些因子已被分母吃掉。这个警觉在第四章维数计算（p97）里会救命。

第一章 环与理想：代数的新语言习题课（一）：基本功

习题页使用说明：先动笔十分钟能走多远走多远，提示只在第二眼看；四题全是「翻译题」——把本章定理逐字搬到具体环里执行。做不出时，回 p19 的翻译表对号。

第一章 环与理想：代数的新语言习题课（二）：进阶

本页四题的公共心法：局部化的一切陈述，都是「通分—约分—记账」三步。第 6 题预告了一个事实：局部化后的环可能比原环更「初等」——这是代数几何「先局部化再议」的操作学根基。

第一章 环与理想：代数的新语言第一章知识地图

读图提示：中列是主线（理想 → 素 → 极大 → 局部环 → 根 → Spec），左右两列是两大工具族（商环族、运算族）。第三章将沿着中列直接上楼。

自检问题三连：① 对应定理「对应」的是什么？② 为什么「素 ⟺ 商整环」是等价而非定义？③ 局部化的普遍性质里，S 的角色是什么？——三问都能不看书答出，本章合格。

第一章 环与理想：代数的新语言第一章小结（上）：环与理想

一句话收编：第一、二章给了我们「环的语言」（理想、商、局部化）与「环的地图」（Spec）。第三章问的是地图上的规矩：哪些环的地图是「有限的」——有限性，正是分解唯一的前提。

第一章 环与理想：代数的新语言第一章小结（下）：素谱与根

正面清单（下半章）。承接第 32 页的小结（上），这一页收束本章的「地标层」与「词典层」。

自检三连：① 为什么「极大必素」而「素不必极大」？② nil(R) 与 J(R) 哪个更大，为什么？③ 说出一个「理想格不是分配格」的例子。——能答，本章的地标层就站稳了。下一页衔接讲义把「只看一点」的问题立起来。

第一章 环与理想：代数的新语言思想卡：元素会骗人，理想不会

第一章 环与理想：代数的新语言挑战：中国剩余定理的环论形态

标准路线到此已经够用。下面三道挑战题，为「深潜路线」的准备——它们共同把 CRT 推向它的现代形态。

做完三题的自查：已经能把「互素 ↔ 不相交闭集 ↔ CRT 可解」整条链用自己的话讲一遍。这就是 p45 词典的「造句」练习。

第一章 环与理想：代数的新语言实验：用程序计算理想与商环

纸面定理，机器复核。SymPy 的 QQ[x,y] 与 ZZ[x,y] 支持理想的生成、运算与商环判断——把本章四个「手算」结果交给机器：

# 实验 1-1：理想运算的机器对拍（SymPy >= 1.12）
from sympy import symbols, Poly, gcd, lcm, groebner, QQ
from sympy.ntheory.modular import crt

x, y = symbols('x y')

# (a) k[x] 里的和与交：gcd 与 lcm 的理想版本
f, g = Poly(x**2 - 4, x), Poly(x - 2, x)
print("和 = (gcd):", gcd(f, g).as_expr())      # 期望 x - 2
print("交 = (lcm):", lcm(f, g).as_expr())      # 期望 x2 - 4

# (b) 素性：(x) 素，(xy) 不素（x·y ∈ (xy)，但 x、y 都不在）
Gx = groebner([x], x, y, order='lex', domain=QQ)
Gxy = groebner([x * y], x, y, order='lex', domain=QQ)
print("x·y ∈ (x)? ", Gx.reduce(x * y)[1] == 0)   # True
print("x ∈ (xy)?", Gxy.reduce(x)[1] == 0)        # False —— 说明 (xy) 不素

# (c) CRT 拆解：Z/360 ≅ Z/8 × Z/9 × Z/5
print("CRT:", crt([8, 9, 5], [1, 2, 4]))

运行输出（真跑）

和 = (gcd): x - 2
交 = (lcm): x**2 - 4
x·y ∈ (x)?  True
x ∈ (xy)? False
CRT: (209, 360)

实验任务。① 把 (a)–(c) 各跑一遍，对照本章手算结果；② 自选一对理想验证「IJ ⊆ I ∩ J」并找出一个真包含的例子；③ 用 groebner 的 reduce 判定 (x², y)、(x, y)²、(x³, y) 的成员关系（试 x³、xy），并解释「(x) 素而 (xy) 不素」的判据（p17）。

代码块里的 >= 原样复制（HTML 转义）。若某行报错，先读错误信息——读错也是本实验的一部分：机器的报错常常是定理条件被违反的回声。

第一章 环与理想：代数的新语言〖札记〗《九章》更相减损与辗转相除

绪论 p7 已埋下一条线：更相减损术的每一步 (a, b) = (a − qb, b) 不改变理想。现在有了 p19 的翻译表，可以把这条线说透了——它同时是三件东西：

中西对照的一点感想：《九章》的「术」是可执行的操作序列（算法），希腊—现代传统追求的是「为什么有效」（结构）。理想语言的高明处在于把操作的有效性变成结构的不变性——不变的东西比操作本身更值得命名。第三章的札记（p92）将继续这条线：从「粟米之法」的比例换算看唯一分解。

第一章 环与理想：代数的新语言第一章速查表

出处列指向本章页码，可当「反向索引」用：忘了定义，按行查回。速查表不是背表，是地图的目录页——真正的记忆，来自每页后面的例题与习题。

第一章 环与理想：代数的新语言衔接讲义：通往局部化——只盯一点

第一章完成了什么。一副完整的语言装备：环与理想（1.1–1.2）、同态与商环（1.3–1.4）、理想运算与生成（1.5–1.6）、两类地标（1.7–1.8）、ℤ 与 k[x] 两块试金石（1.9–1.10）、分式域、理想格、有限性、CRT 与根（1.11–1.15）。至此，任何环上的「整除—包含—商—运算」都能用同一套词汇讲清。

第二章 局部化与局部环：只盯一点第二章导引：只盯一点的显微术

一句话直觉。第一章我们学会了「环的词汇」，可每一条定理都是整体陈述。本章换一副眼镜：只看一点。把不想看的地方倒进分母，剩下的就叫局部化。

第二章 局部化与局部环：只盯一点2.1 局部化：构造分式

三个必背实例——每个都亲自把分母集认出来：

为什么叫「局部」？预支一句 p43 的结论：在 ℤ₍p₎ 里，唯一「活下来」的素理想是 p 那一个——非零理想全部被 p 吸收。整只环只看得见一个素数，这就是局部。Zariski 的口号「在每点配一个局部环」（p43），说的就是把这台显微镜对准几何的每一个点。

第二章 局部化与局部环：只盯一点2.2 局部化的普遍性质

普遍性质的回赠是唯一性：凡满足同一条质的构造本质相同（up to iso）——这正是泛性质的口吻：凡满足同一条质者，本质相同；局部化是「用泛性质定义对象」在环论里的标准样板。

局部化保持的不只是理想，还有正合性（短正合列映过去仍正合）——这句现在可以当作黑箱收好，第五、六章 p133 讲平坦模时它将原封不动地回来领奖。眼下操作口诀：想研究 P 处的行为，先 (R ∖ P)⁻¹R。

第二章 局部化与局部环：只盯一点2.3 局部环：只看一点

局部环有一条干净得近乎漂亮的刻画：

「单位＝补集」这一判据让我们可以用眼睛认出局部环。三个必背实例：

第三例是形式幂级数环 k[[x]] = k + kx + kx² + ⋯：级数可逆当且仅当常数项非零（逐阶递推解出逆）。它与 k[x]₍x₎ 的极大理想都是 (x)——一切非常数级数/多项式都被 x 吸收。

一句要紧的话：局部环的「局部」不是缩小，而是聚焦。信息没有变少——交换代数有一条深刻原理（第四章局部—整体，p107）：全局信息可以由所有局部信息装配复原。眼下习惯这个动作：出问题，先局部化。

第二章 局部化与局部环：只盯一点2.4 局部化的环论性质

局部化不是温和的改良，它大幅改写理想的版图。把 p42 的对应定理展开成三条性质，每条配一个 ℤ₍p₎ 的实例：

操作层面的三条速记：① S⁻¹(I + J) = S⁻¹I + S⁻¹J；② S⁻¹(IJ) = (S⁻¹I)(S⁻¹J)；③ 商与局部化可交换：S⁻¹R / S⁻¹I ≅ S̄⁻¹(R/I)。三条都是「通分再约」的练习，建议动手验一遍。

第二章 局部化与局部环：只盯一点2.5 Zariski 拓扑一瞥：几何在召唤

现在兑现 p18 埋下的承诺：把素理想当作「点」。这不是修辞，而是可以开出拓扑来的严格定义。

为什么叫「闭」？回到 k[x,y] 看三个样品（与 p18 的三层楼对照）：

方程组 ↔ 闭集：零点定理的语言学。多项式方程组「f₁ = ⋯ = f_k = 0」的解集，在 Spec 里恰是闭集 V(f₁, …, f_k)。代数上「添加方程」＝几何上「切割闭集」——这就是 Hilbert 零点定理的舞台（第三章 p69 将正面登台）。

一个动作：把 p31 的知识地图与本页对照——第一、二章的全部概念，在图 2-5 的左右两列各站一班岗。词典已经翻开，接下来的每一章都在续写。

第二章 局部化与局部环：只盯一点2.6 素谱 Spec：环的几何轮廓

一句话直觉。把素理想当作「点」，环就有了形状。这个由环造出的空间叫素谱 Spec R，它是整本交换代数通往几何的门。

第二章 局部化与局部环：只盯一点2.7 局部化与素理想：保序对应

一句话直觉。局部化到底「留下」了哪些理想？答案干净利落：与 S 不相交的那些，而且包含关系原样保留。

第二章 局部化与局部环：只盯一点2.8 局部化的模：模的显微术

一句话直觉。局部化不只想作用于环，也作用于模——因为环论问题的答案常常藏在模里。「逐点算模」是本章送给后续所有章节的方法。

第二章 局部化与局部环：只盯一点2.9 分式环的更多例子：ℤ_(p) 与 k[x]_(x)

一句话直觉。抽象定义要靠标准样品才立得住。本章的两个样品 ℤ_(p) 与 k[x]_(x)，是「一维光滑点」的代数履历。

第二章 局部化与局部环：只盯一点2.10 整闭与正规化：分式域之后

一句话直觉。有些整环「漏掉」了本该属于它的元素——分式域里满足整系数方程的元素没被收进来。把漏掉的补上，就是正规化。

第二章 局部化与局部环：只盯一点2.11 常见误读与澄清

一句话直觉。本章新词多、方向多，最容易「拿旧直觉猜新对象」。五面墙钉在一张卡上。

第二章 局部化与局部环：只盯一点例题课（一）：局部化的构造与计算

本页四例，覆盖「认分母集 → 算单位 → 算极大理想 → 算商」的动作链。先自答再看解。

四题四式：认分母集、算素理想、算商、验合法性。下一页演算上升半档：进入素谱与局部性质的「空间感」。

第二章 局部化与局部环：只盯一点例题课（二）：局部环与 Spec

本页四例围绕素谱 Spec 与局部性质展开。

四题的共同心法：把「代数操作」翻译成「拓扑操作」。商 = 取闭集，局部化 = 取开集/取点邻域——这本词典会在第六章写满一整章。

第二章 局部化与局部环：只盯一点习题课（一）：基本功

本页四题对应「分母集、单位、素理想、局部环」四个基本动作，先动笔再看提示。

四题的公共心法：局部化的一切运算，都可以「先整体算再局部化」，也可以「先局部化再算」——两条路线结果一致（2.8 的相容性）。做题时选省力的那条。

第二章 局部化与局部环：只盯一点习题课（二）：进阶

本页四题偏「结构性」：素谱、整闭、平坦的入门触感。

四题预告第四、五章：DVR 的理想链（习 7）与平坦非自由（习 8），分别是第四章 4.11 与第五章 5.13 的入门口。能做完这四题，本章已算掌握。

第二章 局部化与局部环：只盯一点第二章知识地图

把本章的概念收进一张图。图中竖轴是「代数 → 几何」的迁移，四个方框各占一层。

读图提示：中列是主线（分母集 → 局部化 → 局部环 → 素谱），三条支线分别是「保序对应」（2.7）、「单位与极大」（2.3, 2.9）、「模的局部化」（2.8）。

自检三连：① 局部化与商，一个取「开集」一个取「闭集」，为什么？② 为什么「每个极大理想处为零」能推出「整体为零」？③ 说出一个「局部环但不是局部化来的环」的例子。——三问能答，本章合格。下一页小结（上）开始正面清单。

第二章 局部化与局部环：只盯一点第二章小结（上）：局部化

正面清单（上半章）。本章前三节与四个标准构造，收在这张清单里。

一句话收编：局部化是「变焦」，局部环是「焦点」。下一页的小结（下）把「模的局部化」与「素谱」两条后线收进来，并给出「局部即颜色、整体即全图」的世界观。

第二章 局部化与局部环：只盯一点第二章小结（下）：局部环与几何开端

正面清单（下半章）。承接第 57 页小结（上），这一页收束「模」「素谱」「整闭」三线。

自检三连：① 为什么局部化保序却不保「所有理想」？② 为什么 Spec R[1/f] 是开集而 Spec R/I 是闭集？③ 整闭到底在 Dedekind 三条件里负责什么？——三问能答，本章的语言与几何两条线就通了。

第二章 局部化与局部环：只盯一点思想卡：局部即颜色，整体即全图

第二章 局部化与局部环：只盯一点挑战：局部化的万有性与忠实平坦

标准路线到此够用。下面三道挑战题，为「深潜路线」的准备——它们把局部化的两副「万有性面孔」与平坦性对接起来。

做完三题的自查：能否用自己的话讲清「局部化 → 局部性质 → 下降」这条链。这就是「局部—整体」从口号变成技术的第一步。

第二章 局部化与局部环：只盯一点实验：用程序验证局部化

纸面定理，机器复核。局部化的「单位判据」「视野收缩」「CRT 拆环」都能在 SymPy 里逐条验证；ℤ[√−5] 的范数对账也可以直接算。

# 实验 2-1：局部化的机器对拍（SymPy >= 1.12）
from sympy import gcd, isprime
from sympy.ntheory.modular import crt

# (a) ℤ_(p) 的单位判据：与 p 互素者
p = 5
units = [a for a in range(1, 30) if gcd(a, p) == 1]
print("(a) ℤ_(5)：1..29 中可逆的整数类 =", units)
nonunits = [a for a in range(1, 30) if gcd(a, p) != 1]
print("    非单位是否全部被 5 整除:", all(a % p == 0 for a in nonunits),
      "| 非单位 =", nonunits)

# (b) 视野收缩：ℤ 的素理想在 ℤ_(3) 里存活的只有 (0) 与 (3)
alive = [q for q in range(2, 60) if isprime(q) and q == 3]
dead = [q for q in range(2, 60) if isprime(q)][:6]
print("(b) ℤ 的前几个素数:", dead, "→ ℤ_(3) 中存活的非零素理想:", alive)

# (c) CRT 拆环：ℤ/360 ≅ ℤ/8 × ℤ/9 × ℤ/5
m = [8, 9, 5]; a = [1, 2, 4]
x, M = crt(m, a)
print("(c) CRT：x ≡ (1,2,4) mod (8,9,5) ⟹ x =", x, "mod", M)

# (d) ℤ[√−5] 的范数记账：6 的两副面孔
def N(a, b): return a*a + 5*b*b
print("(d) 范数：N(2) =", N(2,0), "N(3) =", N(3,0),
      "N(1+√−5) =", N(1,1), "N(1−√−5) =", N(1,-1))
print("    2·3 与 (1+√−5)(1−√−5) 的范数对账:", N(2,0)*N(3,0), "=", N(1,1)*N(1,-1))

真实输出（本书实跑）。

(a) ℤ_(5)：1..29 中可逆的整数类 = [1, 2, 3, 4, 6, 7, 8, 9, 11, 12, 13, 14, 16, 17, 18, 19, 21, 22, 23, 24, 26, 27, 28, 29]
    非单位是否全部被 5 整除: True | 非单位 = [5, 10, 15, 20, 25]
(b) ℤ 的前几个素数: [2, 3, 5, 7, 11, 13] → ℤ_(3) 中存活的非零素理想: [3]
(c) CRT：x ≡ (1,2,4) mod (8,9,5) ⟹ x = 209 mod 360
(d) 范数：N(2) = 4 N(3) = 9 N(1+√−5) = 6 N(1−√−5) = 6
    2·3 与 (1+√−5)(1−√−5) 的范数对账: 36 = 36

实验任务。① 把 p 换成 2、3、7 各跑一遍 (a)，观察「非单位恰好被 p 整除」这条判据；② 修改 (c) 的模与余数，验证 CRT 的解随参数变化；③ 用 (d) 的范数函数验证 N(2)·N(3) = N(1+√−5)·N(1−√−5)，并解释为什么这解释了「6 的两副面孔」。注意 (d) 里 N(2) = 4 ≠ 2——范数在 ℤ[√−5] 里不是绝对值，而是「与共轭之积」，这正是元素分解失灵的算术根源。

代码块里的 > 与 >= 原样复制（HTML 转义）。输出的每一行都可以与正文对照：机器不会说谎，它只会把定理的条件违反之处照出来。

第二章 局部化与局部环：只盯一点〖札记〗天元术的「立元」：局部地看

本章的「局部化」看起来是现代构造，但它的心法与十三世纪中国数学的「立元」惊人地相似。这一页做一点对照。

横向再看：印度—阿拉伯的「代数」（al-jabr，意为「还原、平衡」）与希腊的「综合—分析」也都共享「聚焦—归约」的结构。数学史上，「把一个难问题聚焦到一个够小的对象上、在那里把它彻底解决」这条心法反复被独立发明。局部化是它最纯粹的一次形式化——纯粹到可以把「焦点」本身变成一个点（素理想），把「聚焦」本身变成一个环（分式环）。下一章（诺特环）会把这条心法用到「有限性」上：把无穷的问题聚焦到有限的链上。

第二章 局部化与局部环：只盯一点第二章速查表

出处列指向本章页码，可当「反向索引」用：忘了定义，按行查回。速查表不是背表，是地图的目录页——真正的记忆，来自每页后面的例题与习题。

第二章 局部化与局部环：只盯一点衔接讲义：通往诺特环——有限性的力量

第二章完成了什么。局部化（2.1–2.2）、局部环与单位判据（2.3）、局部化的环论性质与正合性（2.4）、Zariski 拓扑与素谱（2.5–2.6）、保序对应（2.7）、模的局部化（2.8）、标准样品（2.9）、整闭与正规化（2.10）。一句话：学会了「只看一点」。

第三章 诺特环与唯一分解第三章导引：有限性的力量

第一、二章给了我们环的语言。这一章问一个更挑剔的问题：什么样的环，算术最整齐？「整齐」的最低标准是：理想不至于多到无法收拾。Noether 的回答只有一句话——

本章的历史主角是两位：Hilbert（1888–1893）与 Emmy Noether（1921–1927）。Hilbert 证明了基定理却嫌它「不漂亮」（存在性证明而非构造），Noether 把它锻造成公理体系——「诺特环」这个名字，是数学对她最庄重的致谢。

第三章 诺特环与唯一分解3.1 诺特环：链条件登场

链条件听起来像拓扑学的紧性，其实它说的是一件非常代数的事。两个等价刻画，各有各的用场：

证明路线。①⟹②（反证）：若无极大元，可无限挑出严格增大的链，与 ACC 矛盾。②⟹③：理想 I 的全体有限子生成集构成理想集合族，取极大元 (a₁, …, a_n)；若它 ≠ I，添一个漏掉的元素就严格更大，与极大性矛盾。③⟹①：链 I₁ ⊆ I₂ ⊆ ⋯ 的并 I = ⋃ I_k 是理想，取有限生成元，每个落在某 I_k 里，取最大的 k——链在此稳定。∎

一条防错觉注记：ACC 管的是升链。降链（I₁ ⊇ I₂ ⊇ ⋯）的对应条件叫 Artin 性，与诺特性互不蕴含——交换代数主用前者，因为「生成元清单」是我们最关心的对象。

第三章 诺特环与唯一分解3.2 诺特环的第一批例子

哪些环是诺特环？先做「体检表」，再举一个著名的反例——认识一个概念，正面反面的样例都要见过：

从链条件到几何直觉。在 k[x,y] 里看升链 (x) ⊇ ((x,y)) 方向倒置的例子：{0} ⊂ (x) ⊂ (x,y) ⊂ k[x,y]——几何上正是「整平面 → 一条线 → 一个点」的逐层切割。诺特性断言：这样的切割至多有限次。平面再复杂，也经不起无穷次切割——每刀都必须真砍到东西，砍完为止。

方向提醒：理想 (x,y) ⊂ (x) ⊂ k[x,y]（包含变大＝切割变小）。升链从「点」走到「整环」，降链从「整环」砍到「点」——两条方向说的是同一种有限性。

第三章 诺特环与唯一分解3.3 Hilbert 基定理：有限性的接力

Hilbert 本人如何看待这个证明？当时流行「构造一切」的风气，而他的证明只保证生成元存在，不给出它们。Gordan 讥之为「这不是数学，是神学」；后来 Gordan 自己承认：「神学也自有其妙处」。Noether 随后把这条存在性证明锻造成公理（p66 的三条等价），争议就此终结——「存在性优先于构造」成为现代数学的常规操作，而它正是诺特性给的第一份授权。

「ℤ[√−5] 是诺特环」这一行读出声。绪论里那个分解失效的「事故现场」，在诺特性的框架下原来是守规矩的好公民——它的每个理想都有清单。第三章末（p77）我们将看到：正因为守规矩，它的理想分解才是唯一的。救它的不是别的，正是有限性。

第三章 诺特环与唯一分解3.4 Hilbert 零点定理：代数与几何握手

基定理说「理想都有限生成」；零点定理更进一步：理想与几何对象完全互译。设 k 代数闭（如 ℂ），R = k[x₁, …, x_n]。

一次完整的互译演示（n = 1）。取 J = ((x − 1)²(x + 2))。零点集 V(J) = {1, −2}；在 {1, −2} 上恒零的多项式全体是 (x − 1)(x + 2)。验算：√J = √((x−1)²(x+2)) = (x−1)(x+2) ✓。二重根的「平方」被根运算抹平——强零点定理告诉我们：几何只看见「平方抹平后」的世界。

这一页是全册的转折点：p45 的词典只有「单词」（理想↔闭集），零点定理补上了「语法」（√↔零点集）。从此交换代数的每条定理，都可以问一句：几何上说什么？下一页把词典排版成对照表。

第三章 诺特环与唯一分解3.5 代数—几何词典初稿

零点定理授权我们把 k[x₁, …, x_n] 的理想与 kⁿ 的代数集逐条对译。这张表是第五、六章与相邻领域的护照，值得逐行抄写一遍：

三行做即时验算（n = 2，用第一、二章的工具逐一确认）：

词典有一条总纲：代数运算与几何运算次序相反——理想越大、闭集越小；理想「拆件」（交）、空间「并拢」。带着这条总纲读第五、六章，层与上同调的语言将不再突兀：那不过是把词典从「集合」升级到「函数」。

第三章 诺特环与唯一分解3.6 诺特环中的理想分解

算术基本定理说：每个整数拆成素数之积。理想语言的版本问：每个理想能拆成「基本件」吗？诺特性给出了肯定的回答——这是 Emmy Noether 1921 年论文《理想论中的初等理论》的核心。

证明骨架（两句版）。① ACC ⟹ 「不能有限分解」的理想若有，则在其中取极大元 I；I 既不可约又「极大」，可推出 I 是素的（诺特技巧：商环里两个扩张不交的理想通过乘法封闭集分家）；② 素性与「交分」矛盾。∎ 这正是 p66「极大原理」的标准用法：诺特性把反证法变成「取极大元」的机械动作。

一个可完全验算的样例（第三章的「果蝇」）：

(x², xy) = (x) ∩ (x², y)

几何读法（对照 p70 词典）：V(x²,xy) 是纵轴，但「原点处更肥」（x² 与 xy 在原点附近追加约束）。分解式右侧：V(x) 是整条纵轴，V(x²,y) 是「带厚度」的原点。一个非根理想 = 根部分（骨架）＋原点处的赘生物——这正是下一页「相伴素理想」要命名的东西。

第三章 诺特环与唯一分解3.7 相伴素理想与准素分解一瞥

继续用 p71 的果蝇：分解 (x²,xy) = (x) ∩ (x²,y) 中，(x) 本身素；(x²,y) 准素、根为 (x,y)。于是

两条相伴素理想，两种几何身份——这是本页最值得咀嚼的对照：

历史注记：准素分解是 Lasker（国际象棋世界冠军那位 Lasker！）1905 年在 ℤ[x] 上先证的，Noether 1921 年用链条件推广到一切诺特环——「世界冠军的定理，被公理化方法收入囊中」，这则故事是 p68 「神学之争」的最好续篇。

第三章 诺特环与唯一分解3.8 唯一分解整环：UFD

素元素与不可约元素的分野是 UFD 理论的枢纽，分清：

唯一性的经典把戏（本页技术核心）。设 p 素且 p | q₁⋯q_s。逐个试探：p 必整除某个 q_k；两边都是不可约，故 p ∼ q_k，约去后归纳。「素性＝可以约去」这一步在 ℤ[√−5] 里失效——绪论的 6 有两种分解，根子正是那里的「不可约但不素」（p74 现场验尸）。

Emmy Noether 的名言值得借来一用：「存在性的问题，今天不谈；今天是理解问题。」UFD 的两条判据（存在＋唯一）正是这一哲学的微观版：先把「分解存在」交给链条件，再把「分解唯一」交给素性——两件事各归各管，才不纠缠。

第三章 诺特环与唯一分解3.9 UFD 的例子与反例

哪些环是 UFD？先验正面，再解剖两具反例——反例才是这门理论的 DNA。

把本页与 p72 并排读：诺特性保证理想「拆得动」（准素分解），UFD 要求元素「拆得准」。两件事可以独立失败。第三章剩下的问题因此成形：有没有一类环，元素分解失败、理想分解却成功？——答案 Dedekind 整环，p77 揭晓。

第三章 诺特环与唯一分解3.10 主理想整环：辗转相除的疆土

PID 里有一条 UFD 没有的奢侈品——Bézout 无条件成立（(a,b) = (d) 天生是主理想）。趁热再收两条 PID 特产：

「理想分解唯一」一行，UFD 那格为什么是否？k[x,y] 里 (xy) = (x) ∩ (y) 是交不是积，而 (x²,xy) 的分解含嵌入件——元素层面的唯一性救不了理想层面。哪类环才有理想分解唯一？下一页从 ℤ[i] 淬火，p77 定型。

第三章 诺特环与唯一分解3.11 Gauss 整数 ℤ[i]：分解的接力

UFD 的第一个天文学收获——素数的两种命运。把 ℤ 的素数 p 放进 ℤ[i]，观察它在何处落地：