同调代数初步 · 用代数测形状

本书怎么读：一门关于「正合与导出」的学问

本书讲一门学问：同调代数——它研究的不是方程的解本身，而是「解不出时误差有多大」，并把这份误差做成可以计算、可以比较的代数对象。解线性方程组时，Gauss 消元法把增广矩阵化成阶梯形，有解无解、解有多少、结构如何，一目了然；可一旦把「矩阵」换成更一般的对象——环上的模、域上的扩张、空间上的函数层——消元不再万能，「无解」不再只是扫兴的终局，而成了值得记账的信息。同调代数的核心动作只有一件：把「正合性在哪里断裂」量出来。它带来一串朴素而深刻的问题：为什么多项式消元至多 n 步就能到底（Hilbert 合冲定理）？为什么「A 被 B 的扩张方式」能被一个群 Ext¹ 完全分类？为什么双重复形的计算要「分页」进行（谱序列）？为什么说同调是拓扑、几何与表示论的共同母语？从 Hilbert 1890 年的合冲定理，到 Cartan–Eilenberg 的体系化，再到 Grothendieck 的 Tohoku 论文与导出范畴，同调代数七十年只做一件事：把「误差」从遗憾变成一门精确的学问。

本书按章组织：绪论从方程组的解讲到结构的不变量，说清同调代数关心什么、量误差的账本怎样记；第一章立稳语言的骨架——模、范畴、函子与正合序列，投射模与内射模备好原材料；第二章请出主角——链复形与同调群，长正合序列让误差的会计学成形；第三章登第一座主峰——导出函子与 Ext，扩张的分类从此一页账本；第四章走对偶的一面——Tor、平坦模与维数，Hilbert 合冲定理给出多项式环的同调海拔；第五章装好分页计算的机器——谱序列，Künneth 与万有系数定理是最常用的两个读数；第六章抵达现代语汇——导出范畴与三角范畴，Ext 与 Tor 统一为 Hom 的读数；综合站用年表、人物谱、方法总图、两个综合实验与自查收束全书。

写作的三条约束（本书的自我要求）。① 直觉与例子先行：每一个概念都从一张图、一个具体的小例子讲起——先看见 ℤ/2 ⊗ ℤ/m 里挠元怎样被放大、短正合列怎样「分裂或不分裂」、双重复形的页怎样一页页逼近答案，再抽成定义。② 一步一图：凡能画的都画——模的拼装、正合列的箭头账、蛇引理的追踪图、投射分解的塔、Ext 的账本、双复形的网格、谱序列的页、三角范畴的三角形。同调代数最迷人的地方，正藏在「误差被层层记档又层层还清」这条线索里。③ 自给自足：所需工具在书内随用随补——线性代数（矩阵、秩、Gauss 消元）、群与环的最基本常识（群同态、理想、商环）、Abel 群的分类要点，都在需要它的那一页现学现用，不假设手边另有教材。个别深刻的整体性结论（Lazard 定理、Auslander–Buchsbaum、谱序列收敛定理、导出范畴的存在性）给出精确陈述、证明思路与文献指引，数值与算法对拍在实验页随附。

页型节奏。每章以 导引 开篇（一页说清这一章要解决什么）；主体是 讲义 页（概念、定理、证明，一步一图）；每章配 例题 与 习题（末附提示）；每章收在 地图（依赖关系）＋小结＋思想卡（把技术升成观念）＋挑战与实验（动手核验）；另有 〖札记〗格物札记做中西数学传统的对照，并在章末用一页 衔接讲义 指向前方。每页右上角标页码，页眉灰色小字标出所属章与小节。

难度标记。讲义页首行用 ★–★★★★★ 标出阅读难度：★ 会线性代数即可，★★ 需要一点环与理想的常识（书内自给），★★★ 需要一点张量积与正合列的熟练（书内自给），★★★★ 需要一点导出方法的系统推导（书内自给），★★★★★ 需要整体性论证与范畴方法的深水区（第五章后半、第六章与综合站余韵）。若只求理解主线，读绪论、第一章的正合序列、第二章的同调群、第三章的 Ext¹ 与扩张、第六章的导出范畴即可；若求完整掌握，按章顺序逐页推进，并把每章习题做完。

三条线索贯穿全书：

① 明线——从正合到导出：先把「结构」抽象成模与范畴（第一章），再用链复形把正合的断裂记成同调（第二章）；随后把「丢掉的像」补成完整账本，得到 Ext（第三章）与 Tor（第四章）；把算不动的双重复形分页偿还（第五章）；最终让复形自己成为主角，一切账本统一在导出范畴的 Hom 里（第六章）。

② 暗线——量尽结构的「误差」。「正合性失灵时发生了什么」是贯穿全书的追问。直接计算办不到时，就找一个在链同伦下不变、而断裂处取值不同的同调不变量：同调群、Ext¹ 的扩张类、Tor 的挠读数、谱序列的极限页。第二章先立起这套方法论的立场：同调是正合性的度量；此后每一章都在锻造新的度量工具，直到导出范畴把「误差本身」升格为空间。

③ 接口——通往四个邻域。同调代数与代数、拓扑、几何、表示直接相接：与代数（维数理论、正则环与 Hilbert 合冲，第三、四章）；与拓扑（单纯同调、Künneth 与万有系数，第二、五章）；与几何（层上同调、相交重数与 Riemann–Roch，第三、四、六章）；与表示论（群上同调与特征标的上同调读法，第三、五章）。三条线索之外还有一条捷径贯穿始终：把「误差」变成可以计算的代数对象——这既是 Gauss 消元法的精神延伸，也是一切现代同调方法的起点。

写法约定（TEX 标准）：模记 M, N，环记 R，映射记 f, g，链复形记 (C_•, d)，同调记 H_n(C_•)，导出函子记 Extⁿ(−, −) 与 Tor_n(−, −)，张量积记 ⊗，导出范畴记 D(A)。变量与函数名用斜体（x、f、d、α），数字与运算符正体；同调类记 [z]，扩张的等价类记 [ξ]；平移算子记 [1]。关键一步配图，公式与图形逐章对照。

绪论 用代数测形状从「方程组的解」到「结构的不变量」

★ 一个线性方程组摆上桌，要问的第一句话永远是：有解吗？Gauss 消元法把增广矩阵化成阶梯形，三种结局一目了然——唯一解、无解、无穷多解（图 绪-1）。这门手艺古老而可靠：《九章算术》的方程术在公元一世纪就在长方阵上做「直除」，与 Gauss 的消元殊途同归。

可再往前一步，问题变了味。把方程组换成更一般的对象——整数环上的模、多项式环上的模、甚至不交换环上的模——「消元」还能走多远？「无解」时丢掉的究竟是什么？十九世纪的代数学家发现：与其死磕「解是什么」，不如换一问——「解不出时，误差有多大？」这一问把失败变成了信息：误差可以排成群、可以分维数、可以像账本一样逐层对读。

这门「给误差记账」的学问，就是同调代数。它诞生于 Hilbert 1890 年的合冲定理，在二十世纪中叶长成一片森林，今天已是代数、拓扑、几何与表示论共同的工作语言。本册沿着一条主线推进：从正合到导出——先立正合序列的语言（第一章），再用链复形把正合的断裂记成同调（第二章），然后铸出两把标尺 Ext 与 Tor（第三、四章），学会分页记账的谱序列（第五章），最终抵达导出范畴（第六章）。

绪论 用代数测形状同调代数是什么：把误差变成代数

★ 最朴素的版本人人都见过。解 Ax = b 时，真正的问题是：b 落在 A 的像里吗？落在像里，方程可解；落在像外，就产生了误差。把「像之外的部分」正式收档——按模论的说法，取余核 coker A ＝ 目标空间 / im A——误差就从一声叹息变成一个代数对象：它有结构、可以计算、可以比较（图 绪-2）。

同调代数把这一动作推到极致。设有一串映射首尾相接：⋯ → C₂ → C₁ → C₀ → 0，且「映射的映射恒为零」（d² = 0）。若每一段都「前者的像 ＝ 后者的核」（正合），则整个系统严丝合缝、没有误差；但凡有一处断裂，H = ker d / im d 就不为零——同调正是正合性的度量：它在哪里非零，误差就在哪里。

为什么值得为此建一整套机器？因为「误差」恰恰是数学中最有价值的部分：两个空间是否同胚，看不变量的误差；扩张是否分裂，看 Ext¹ 的取值；奇点是否「光滑」，看维数的账本。同调代数教会数学家一件反直觉的事——失败的方式，比成功本身携带更多的结构信息。

绪论 用代数测形状百年路线图：从 Hilbert 到 Grothendieck

★ 同调代数的火种埋在 1890 年。Hilbert 在证明「不变量有限生成」时需要一块基石：多项式环 k[x₁, …, x_n] 上，任何模都有一座长度至多 n 的自由分解塔——后人称之为 Hilbert 合冲定理（本书第四章将给出完整的现代叙述与证明）。「合冲」（syzygy）一词古已有之，本指天文学里行星的会合，Hilbert 借它称呼「关系之间的关系」：给定一组生成元，生成元之间的线性关系是第一层合冲，关系之间的关系是第二层合冲……Hilbert 证明：这座塔在多项式环上至多 n 层就必然到底。

1900 年前后，Emmy Noether 把这套具体计算升华为模的一般理论：链条件、分解的存在与唯一——「结构」第一次成为独立的研究对象。1940 年代，拓扑学家（Eilenberg、MacLane 等）在研究空间时撞上了同样的结构：上同调的运算规律与代数里的扩张分类如出一辙。两条线在 1956 年合流——Cartan 与 Eilenberg 的《Homological Algebra》出版，同调代数正式立科。

次年，Grothendieck 的「Tohoku 论文」用范畴语言重写全部地基：把「模」放宽为任意的 Abel 范畴，层上同调由此纳入同调代数的版图——这直接为现代代数几何铺路。1960 年代 Verdier（在 Grothendieck 的指导下）造出导出范畴，复形从脚手架升格为主角；此后三角范畴、t-结构、六函子纲领次第展开。1990 年代以来，这一语言又涌出新的应用：镜像对称中的导出等价、表示论中的导出等价猜想、以及从数据中读形状的持久同调——百年历史的每一章，都是把上一代「算不动」的地方，变成下一代「可计算」的对象。

绪论 用代数测形状正合与量误差：一条主线的诞生

★★ 全书的核心词汇——正合——先在这里预演一遍。一串映射 A → B → C 称为在 B 处正合，若前一个映射的像恰等于后一个映射的核。最要紧的特例是短正合列0 → A → B → C → 0：左箭头单射、右箭头满射、中间 im = ker——它是一张「结构拼装发票」，宣告 B 恰好由 A 与 C 拼装而成（图 绪-4）。

拼装有泾渭分明的两种命运。若存在从 C 回到 B 的映射使整条列「拆开再拼回」，则称短正合列分裂，此时 B ≅ A ⊕ C——利息为零的拼装，向量空间的世界里所有短正合列都如此（这是域的福利）。而在模的世界里，大量短正合列不分裂：0 → ℤ → ℤ → ℤ/2 → 0（映射为乘 2）就是最简单的例子——中间的 ℤ 无论怎么努力都拆不成 ℤ ⊕ ℤ/2。断裂处藏着「接缝」，而接缝可以分类：第三章将证明，A 被 C 扩张的全部方式恰构成一个群 Ext¹(C, A)，分裂与否对应取值为零与非零。

绪论 用代数测形状预备工具箱：线性代数与映射

★★ 本书自给自足，用到什么补什么。这里先把最重要的一件「观念工具」备好：从向量空间到模，丢了哪些福利（图 绪-5）。域上的模——即向量空间——极其驯顺：任何子空间都有补、基可以任选、维数完全分类一切对象。可把域换成整数环 ℤ，立刻出现向量空间里不存在的现象：ℤ/2 这样「每个元素都有限阶」的挠元登场；子群 2ℤ 没有补；张量积 ℤ/2 ⊗ ℤ/2 ≅ ℤ/2 把挠元放大而非消灭。

本书默认的线性代数底子：矩阵、秩、Gauss 消元、线性映射的像与核、维数公式。此外还要两条 Abel 群的常识（用到时再细讲）：① 有限生成 Abel 群结构定理——每个有限生成 Abel 群都同构于ℤ^r ⊕ ℤ/n₁ ⊕ ⋯ ⊕ ℤ/n_k，自由部分与挠部分一目了然；② 直和与直积的分工——有限情形二者重合，无限情形分道扬镳（第一章 1.4 节细讲）。

绪论 用代数测形状中国源流：九章方程术与消元

★ 消元的智慧并不专属十九世纪的欧洲。《九章算术》（约公元一世纪成书）方程章第一题：「今有上禾三秉、中禾二秉、下禾一秉，实三十九斗；上禾二秉、中禾三秉、下禾一秉，实三十四斗；上禾一秉、中禾二秉、下禾三秉，实二十六斗。问上、中、下禾实一秉各几何？」——这正是三元一次方程组，而「方程术」的解法是把系数与常数排成长方阵，「以上头乘中头、直除」逐位消元，与 Gauss 消元法在算法上完全同构（图 绪-6）。

更令人惊叹的是配套的正负术：「方程术」消元时难免出现「小数减大数」的情形，刘徽注引「正负术」给出完整的负数运算法则——「同名相除，异名相益，正无入负之，负无入正之」。这使消元过程永不卡壳，等于给行变换配齐了系数域的全部四则运算。宋元之际，天元术（李冶）以「天元一」表示未知数列方程，四元术（朱世杰，1303 年《四元玉鉴》）更把消元法推广到四元高次方程组——「互隐通分相消」「内外行乘积」等口诀，是世上最早的系统性多元消元算法。

绪论 用代数测形状本册的分工：代数如何听见形状

★★ 全书六章，各司一职。第一章把「结构」本身变成研究对象：模是向量空间的推广，范畴把「对象与映射」整体入账，正合序列是全册的核心句法。第二章请出主角链复形：微分 d 满足 d² = 0，同调群度量断裂，长正合序列把三个复形的账连成一线。第三章与第四章是互为镜像的一对：Hom 与 ⊗ 各自保持一半正合、丢失另一半，导出函子 Ext 与 Tor 把丢失的部分补成完整的账本——Ext 管扩张，Tor 管挠元与平坦，维数理论则是两本账合读的总账。

第五章解决「一笔算不动」的窘境：双重复形行与列各有微分，谱序列把总账拆成一页页近似，页页取同调、页页逼近极限——Künneth 公式与万有系数定理是这台机器最著名的两次输出。第六章完成最深刻的一跃：不再把复形当作算同调的脚手架，而是把「同调意义下相同」的复形正式认作相同——导出范畴里，复形成为主角，Extⁿ 收编为 Hom 的读数，全书词汇在此获得统一。

绪论 用代数测形状绪论地图：全书路线图

★ 全书的依赖关系如路线图所示：语言的骨架（第一章）承托一切；同调（第二章）是核心句法的第一次应用，也是 Ext 与 Tor 的共同地基；Ext（第三章）与 Tor（第四章）互为镜像，可平行阅读但都需第二章；谱序列（第五章）需要第三、四章的导出函子作为输入；导出范畴（第六章）站在全部前章之上，把所有账本统一。综合站收束：年表与人物谱供历史纵览，两个综合实验把 Ext、Tor 与复形同调的算法工坊并机联跑，终极速查表供日后查阅。

三条阅读路线。① 主线速通（约 90 页）：绪论 → 第一章 1.1–1.16 → 第二章 2.1–2.11 → 第三章 3.5–3.8 → 第六章 6.1–6.5 → 综合站小结——拿到「从正合到导出」的完整叙事。② 计算优先：每章的例题、习题与实验页连读，配合速查表，把五大试验场对象（ℤ、ℤ/n、ℚ、k[x]、k[x]/(x²)）的账算透。③ 完整掌握：按页序逐页推进，全部习题做完，两个综合实验的数据亲手复算——这是为继续深造代数几何或表示论准备的路线。

账本已经翻开。从下一页起，先立语言：模、范畴与正合。

第一章 模、范畴与正合：结构的语言第一章导引：从「向量空间」到「结构」

★★ 线性代数的世界之所以明亮，是因为它的居民只有一种形态：向量空间，而维数完全分类了它们。可这份明亮是域的馈赠——一旦把系数从域换成环，同一种定义（「带系数的加法结构」）立刻分化出一个形态丰富的世界：模。ℤ 的模就是 Abel 群，它们有 ℤ/n 这样「转几圈回到原地」的挠元；k[x] 的模一一对应于「配上一个线性算子」的向量空间——线性代数中若尔当标准形的全部理论，其实是 k[x]-模结构定理的推论。模是现代代数的通用货币：数论里的整数环、几何里的函数层、表示论里的群代数，都以模的面目登场。

本章的任务是把这门语言一次立稳，分三段推进。第一段讲模自身的代数（1.1–1.7）：子模与商模、同态基本定理、直和与直积、自由模与基、张量积，以及有限生成模的不变量。第二段升一层看（1.8–1.10）：范畴、函子与泛性质——把「对象与映射」本身当作数学对象之后，积、核、余核这些构造将获得统一的句法。第三段是全册的心脏（1.11–1.16）：正合序列与短正合列、蛇引理与五引理、投射模与内射模——它们是「最好用的模」，为第三章的导出函子备好原材料。

第一章 模、范畴与正合：结构的语言1.1 模：向量空间的推广

★ 定义（R-模）。设 R 是有单位元的环。一个 左 R-模 是一个 Abel 群 (M, +) 连同一个数乘映射R × M → M（记 r·x），满足四条公理：r(x+y) = rx+ry、(r+s)x = rx+sx、(rs)x = r(sx)、1·x = x。把数乘写在右边即得右 R-模；交换环上二者不加区分。逐字对照即可确认：域上的模恰是向量空间。

两个立竿见影的字典。① ℤ-模＝Abel 群：数乘 n·x 就是「自己加自己 n 次」，四条公理自动成立；于是「模论」首先是「Abel 群论的推广」。② k[x]-模＝配上线性算子的向量空间：给定 V 与线性算子 T，令多项式p(x) 作用为 p(T)，则 V 成为 k[x]-模；反之每个 k[x]-模都如此产生。这一字典让「线性算子的标准形」变成「有限生成模的结构定理」——第四章将兑现它。

第三个例子（试验场常客）。ℤ/n 作为 ℤ-模：它是「被 n 杀死」的模。更一般地，环的理想 I 本身是 R-模，商环 R/I 亦是——「模掉一个理想」是造模的通用手法。这三件试验品 ℤ、ℤ/n、k[x]/(x²) 将贯穿全书，为每台机器试运转。

第一章 模、范畴与正合：结构的语言1.2 子模、商模与同态

★ 商模的直觉值得多花一页。把禁区坍缩成一点：给定 M 与子模 N，想象把 N 的所有元素按下电钮归零，其余元素「相差一个 N 的元素」就算同一个。ℤ 模掉 6ℤ 得到六格钟面（图 1-2）：加法照旧，只是每过六格回到原地。钟面上每个元素都有限阶——商掉一个「足够大」的子模，挠元就出现了。这是从自由走向挠的第一条路。

对应定理。商模 M/N 的子模与「包含 N 的 M 的子模」一一对应：M/N 的子模 P ↦ 它在 M 中的原像。这条「过梁定理」在 ℤ/6 上一眼可见：ℤ/6 的子模对应 6 的因数——ℤ/1、ℤ/2、ℤ/3、ℤ/6，恰好把 6 的整除结构照成了镜。数论与模论在商模这里握手，这不是巧合：第四章的 Tor 将把「gcd」重新解释为同调。

一句话的读法。任何满同态都是「取商」的化身：M 的信息里，ker f 恰好是「被 f 忘掉的部分」，而商掉它，剩下的不多不少正是像。第二、第三同构定理（(A+B)/B ≅ A/(A∩B)；(C/N)/(B/N) ≅ C/B）都是它的推论，本书用到时随文引用。值得现在就记住的一句座右铭：核量「忘掉多少」，余核量「没做到多少」——同调代数很快会把两者合起来记账。

第一章 模、范畴与正合：结构的语言1.3 模同态基本定理（续）与金字塔

★★ 同态基本定理不是孤立的一条，而是金字塔的塔尖：围绕它有一整族「同构定理」，共同宣示一件事——代数结构的账，可以跨结构对读。

在 ℤ 上各验一例：A ＝ 4ℤ、B ＝ 6ℤ，则 (A+B)/B ＝ 2ℤ/6ℤ ≅ ℤ/3，而 A/(A∩B) ＝ 4ℤ/12ℤ ≅ ℤ/3 ✓；N ＝ 2ℤ、B ＝ 4ℤ、C ＝ 12ℤ，则 (C/N)/(B/N) ＝ (ℤ/2ℤ 的 6 倍) —— 12ℤ/2ℤ 在 ℤ/2ℤ 中为零，换一组数：N ＝ ℤ、B ⊆ C ⊆ ℤ 时公式读作 ℤ/B ≅ (ℤ/N)/(B/N)，取 N ＝ 0 即平凡情形；取 C ＝ 12ℤ、B ＝ 4ℤ、N ＝ 2ℤ：(12ℤ/2ℤ)/(4ℤ/2ℤ) ≅ 12ℤ/4ℤ ≅ ℤ/3，而左端两群分别同构于 ℤ/6·2 与 ℤ/2 的商 ℤ/3 ✓。

证明思路（第三定理）。构造同态 C/N → C/B，c + N ↦ c + B；核恰为 B/N，用第一同构定理收束。∎ 这类证明的模式值得内化：造一个明显自然的映射，算出它的核，让第一同构定理结账。同调代数里成百的「自然同构」都循此模式——第三章的 Ext 演算规则、第五章的 Künneth 定理，莫不如此。

第一章 模、范畴与正合：结构的语言1.4 直和与直积

★★ 给定一族模 {M_i}，有两种标准拼法。直积 ∏M_i：元素是任意选取的族 (m_i)，运算按分量进行。直和 ⊕M_i：直积中「至多有限个分量非零」的子模（图 1-3）。有限指标时二者重合——正因为如此，线性代数里从不区分 ⊕ 与 ∏；无限指标时它们分道扬镳：∏_i ℤ 不可数，⊕_i ℤ 可数。

有限生成模的拼装语法。「M 有限生成」可以精确定义为：存在Rⁿ → M → 0（满同态）——M 是某个自由模的商。这个「生成即商」的视角是第三章投射分解的种子：任何模都能被自由模盖住，一层不够就再盖一层。

第一章 模、范畴与正合：结构的语言1.5 自由模与基

★★ 定义。M 是自由模，若 M ≅ ⊕_i R（某个指标集的直和）；一组基即同构下单子集的像。等价的泛性质刻画：对任意映射 S → N（S 是集合），S 到 M 的包含唯一扩张为模同态 M → N。换句话说：基上的取值唯一决定一个同态——这正是「自由」的全部含义：除了公理强制的，基元素之间再无任何关系。

Rⁿ 的矩阵演算照常工作。自由模之间的同态在基下写成矩阵，复合对应矩阵乘法，像与核可按 Gauss 消元计算——当 R 是域（或 ℤ，用整数行变换）时，第一章之前的一切线性代数都适用。试验场提醒：ℤ² → ℤ² 的映射 x ↦ 2x 是单射却不满——「秩亏损」与「挠」在自由模的映射里已经抬头。

这条命题预告了全书的一根主线：「子模何时仍自由（或投射、平坦）」正是环复杂度的度量。主理想整环上一切理想主生 ⟹ 一切理想自由 ⟹ 模论极其驯顺（1.7 的结构定理）；k[x, y] 上理想 (x, y) 不自由，合冲链开始生长——Hilbert 合冲定理将精确回答它长几层（第四章）。

第一章 模、范畴与正合：结构的语言1.6 模的张量积

★★★ 张量积回答一个具体的问题：双线性映射怎样变成线性映射？给 M、N 两个 R-模，映射 f : M × N → P 称为双线性，若固定任一分量它对另一分量线性。双线性映射的全体不构成模（两条线性律互相打架），但存在一个通用解法：制造一个新模 M ⊗ N，使「M × N 上的双线性映射」与「M ⊗ N 上的线性映射」一一对应。

ℤ 上的完整演算（试验场）。ℤ/m ⊗ ℤ/n ≅ ℤ/gcd(m, n)：生成元 1 ⊗ 1 满足 m(1⊗1) ＝ 0、n(1⊗1) ＝ 0，故阶整除 gcd(m, n)；反向用 Bézout 系数造出逆映射。三个立刻的推论：ℤ/2 ⊗ ℤ/2 ≅ ℤ/2（挠元复制，图 1-4）；ℤ/2 ⊗ ℚ ＝ 0（可除群吞掉挠元）；ℤ/m ⊗ ℤ/n ＝ 0 ⟺ gcd(m, n) ＝ 1——互素恰是「张量归零」，中国剩余定理的模论侧影。

两条演算规则（第三章第四章反复使用，先记后证）。① 分配律：M ⊗ (⊕N_i) ≅ ⊕(M ⊗ N_i)——张量与直和友好；② 结合律：(M ⊗ N) ⊗ P ≅ M ⊗ (N ⊗ P)。⚠ 张量与直积不友好、与子模更不友好——N ⊆ N′ 不能推出 M ⊗ N ⊆ M ⊗ N′：取 M ＝ ℚ、N ＝ ℤ、N′ ＝ ℚ，ℚ ⊗ ℤ ＝ ℚ 但恒等映射变成零映射。「张量对单射失灵」正是第四章 Tor 存在的全部理由。

第一章 模、范畴与正合：结构的语言1.7 有限生成模与不变量

★★★ 定义。M 有限生成，若存在满同态Rⁿ → M → 0。有限生成的 Abel 群（即 ℤ-模）有完全的分类——这是本书第一个「大定理」，也是第三章 Ext 的头号试验场。

不变量的三层读法。① 秩 r：M ⊗ ℚ 的维数——「张量化」测出自由部分；② 挠不变因子 n_i：M 的挠子群 tM（有限阶元素全体）的结构；③ 对偶的测法：Hom(M, ℚ/ℤ) 与 M 有相同的挠结构——这正是 Ext 的雏形：「对偶群里读原群的挠」。

PID 上的推广（陈述）。主理想整环上的有限生成模同样被(秩, 不变因子) 完全分类。两个著名的应用：k[x]-模版本给出线性算子的有理标准形（若尔当形是其代数闭域特例）；ℤ-模版本给出有限 Abel 群的分类。第四章将看到它的同调侧影：PID 上一切子模自由 ⟹ 合冲链两层就到底。

第一章 模、范畴与正合：结构的语言1.8 范畴：结构的地图

★★ 到此为止，同一个句式已反复出现：「对一切 M、N 定义 X(M, N)，它对 M 反变、对 N 共变」。与其逐个重复，不如把句式本身升格为数学对象——这就是范畴论。

本册的工作范畴。R-Mod（环 R 上的模与模同态）是全册的舞台；它有两件旁人没有的奢侈品：任意两个态射都有核与余核、每个态射有像且 im ＝ ker(coker)——这样的范畴称为 Abel 范畴（1.15 末尾给出正式定义）。Grothendieck 的 Tohoku 论文正是把模的定理逐条搬到任意 Abel 范畴——同调代数的现代形态由此而定。

对偶原理。每个范畴 C 都有对偶范畴 C^op（箭头全部反转）。在 C 中证明的每条定理，自动给出 C^op 中的对偶定理。模论里最壮丽的对偶实例：「投射模」与「内射模」互为对偶（1.15）；「直和」与「直积」的对偶关系在有限情形塌缩、无限情形显形（1.4）。第三、四章的 Ext 与 Tor 之间也横着一道对偶桥——Hom 反变、⊗ 共变，一把尺子两面刻度。

第一章 模、范畴与正合：结构的语言1.9 函子与自然变换

★★ 定义（函子）。函子 F : C → D 把 C 的对象送到 D 的对象、态射送到态射，保持恒等与复合。共变函子保方向：F(g∘f) = F(g)∘F(f)；反变函子反转方向：F(g∘f) = F(f)∘F(g)。本册的两位常客方向相反（图 1-5）：固定第二变元的 Hom(−, N) 反变，张量 − ⊗ N 共变。

Hom 的两个变量各管一半正合性（第三章主角的预告）。对正合列 0 → A → B → C → 0：第一变元 Hom(−, N) 给出左正合列 0 → Hom(C,N) → Hom(B,N) → Hom(A,N)，第二变元 Hom(M, −) 同样左正合。两处的「左端」都完好，右端普遍断裂——Hom 是左正合函子。⊗ N 则右正合：A⊗N → B⊗N → C⊗N → 0 恒正合，左端普遍断裂。断裂处不出的像，分别是 Ext 与 Tor。

两个试金石。有限生成 Abel 群 M 到它的双对偶 M** 的赋值映射是自然同构（1.7 习题）；而 M 到 M* 的「取基对偶」却依赖基的选取、不自然——同构却不自然，正是范畴论要抓的差异。第三章的全部演算规则都将是自然同构：自然性让它们可以「搬进」任何交换图里使用。

第一章 模、范畴与正合：结构的语言1.10 泛性质与普遍构造

★★★ 泛性质是现代数学的统一句法：不说对象由什么组成，只说它与其他对象之间的映射如何。正式的语言是始对象与终对象：在范畴 C 中，始对象 I 满足 Hom(I, X) 恰有一点（对一切 X）；终对象 T 满足 Hom(X, T) 恰有一点。始、终对象若存在则同构（且同构唯一）。

三个熟悉的构造都是泛性质的化身。① 模的直和 ⊕M_i：带内射 ι_i : M_i → ⊕M_j，对任何族 f_i : M_i → N 存在唯一 f 使 f∘ι_i ＝ f_i——「从分量出发最自由的对象」。② 直积 ∏M_i：对偶的一面。③ 核与余核：ker f 是「到 A 的、复合后为零的映射中最右侧的」，coker f 是「从 B 出发的、穿过 f 后为零的映射中最左侧的」。一个定义管四种构造——这就是范畴化省下的力气。

泛性质的实战价值。① 机器可移植：证明对 R-Mod 成立后，任何 Abel 范畴中同样成立——只需泛性质，不需元素。第二章起将频繁「用泛性质代替逐元素验证」。② 对偶即翻面：把箭头全部反转，积的泛性质逐字变成余积的——模论的一半定理由此免费。③ 陷阱意识：泛性质只保证唯一同构，不保证唯一实现——1.7 的「非自然性警告」正是同一句话的另一面。

第一章 模、范畴与正合：结构的语言1.11 正合序列

★★ 定义。序列 ⋯ → M_i+1 → M_i → M_i−1 → ⋯ 称为在 M_i 处正合，若 im(M_i+1 → M_i) ＝ ker(M_i → M_i−1)。若干处正合则称在该段正合；处处正合的长序列称正合序列。

三个校准点。① 0 → A → B 在 A 处正合 ⟺ 箭头单射。② B → C → 0 在 C 处正合 ⟺ 箭头满射。③ 0 → A → B → C → 0 全正合（短正合列） ⟺ 单射、满射、且中间 im ＝ ker。正合是「无误差」的代数表述：信息从 A 流入 B 再流出 C，途中既无泄漏（单）、也无淤积（满）。

正合与同构的分工。同构说「两个对象一样」；正合列说「三个对象如何咬合」。0 → A ≅ B → 0 是正合的，但短正合列不必来自同构：0 → ℤ --×2→ ℤ → ℤ/2 → 0 的中项 ℤ 不同构于 ℤ ⊕ ℤ/2（右边有挠元而 ℤ 没有）。这一例预告了第三章的全部主题：扩张可以不平凡。

长正合列的直觉预演。第二章将给正合性一个动态的形象：把序列看成流水线，im 与 ker 的差就是每道工序的「误差」；同调群 H ＝ ker/im 是误差的存档。正合序列 ＝ 全线零误差。同调代数的一切机器，都在为这份误差记档、追账、分期偿还。

第一章 模、范畴与正合：结构的语言1.12 短正合序列与分裂

★★ 短正合列 0 → A --f→ B --g→ C → 0 说「B 由 A、C 拼装」。何时拼装是「免费」的？

判定工具箱。① C 自由（更一般地：投射）⟺ 必分裂——基上自由定义 s，泛性质抬升。② 向量空间情形恒分裂（基延拓）。③ 反例之王：0 → ℤ --×2→ ℤ → ℤ/2 → 0 不分裂：若分裂则 ℤ ≅ ℤ ⊕ ℤ/2，但右边有二阶挠元而左边没有。这根「接缝」将在第三章被 Ext¹(ℤ/2, ℤ) ≅ ℤ/2 精确记档。

分裂的三个等价读法（图自查）。B 同时携带「A 的拷贝」与「C 的提升」，两种读法对应左分裂与右分裂；中项的分解 B ≅ A ⊕ C 则是拼装发票的实物兑付。值得默想的细节：对模（Abel 范畴）三个条件等价；对一般群则不然——半直积正是「只右分裂不左分裂」的产物。Abel 性是分裂引理成立的前提，这也是「为什么要待在 Abel 范畴里工作」的第一个具体理由。

第一章 模、范畴与正合：结构的语言1.13 蛇引理

★★★ 蛇引理是图追踪技术的集大成者，也是全册使用频率最高的单一工具——第二、三章的长正合列全部由它供货。

δ 的构造（追踪一遍，体会「蛇」之名）。取 c′ ∈ ker(C′ → C)。① 提起：C′ → B′ 满射，选 b′ 映到 c′；② 平移：沿 B′ → B 送出 b；③ 核查：c′ 在 C 中为零 ⟹ b 在 B 中的像为零 ⟹ b ∈ ker(B → C) ＝ im(A → B)；④ 拉回：选 a ∈ A 映到 b，送入 A″。良定义性（两处任意选择 c′ 的原像、b 的原像）：换法之差分别落在 ker(A → A″) 与 im(B′ → B) 中，追踪后归零。这一「选代表—验证无关」的两段式舞步，与第二章「闭链模掉边缘」的同调定义在精神上完全一致。

使用须知。① 行正合是必须的；列只须在「中间一列」正合即可启动（弱化版仍给长正合列）。② δ 的具体形状随图而变，但存在性与正合性一律自然——所以使用时只管取同调，不必重造 δ。③ 蛇引理在任意 Abel 范畴成立（逐元素证明可换成泛性质论证）——Tohoku 论文的关键验收项之一。

第一章 模、范畴与正合：结构的语言1.14 五引理与图追踪

★★ 蛇引理是「造新列」，五引理是「比旧列」：给定两个正合列之间的链映射，从两端已知推中间同构。

证明（两段各自单、各自满）。单性：设 α₃(a) ＝ 0。追像：a 的像 a₂ ∈ A₂ 满足 α₂(a₂) ＝ 0，故 a₂ ＝ 0，于是 a ∈ ker(A₃ → A₂) ＝ im(A₄ → A₃)，取原像 a₄；再追 α₄(a₄) 的像为零，由 α₄ 单得 a₄ ＝ 0，故 a ＝ 0。满性对偶地沿另一端追。∎ 证明中每一步都是「在交换图的格子里跳一格、用一次正合」，这正是图追踪的标准姿势。

四引理（五引理的中间半步）。只假设 α₄、α₂、α₁（或 α₅、α₄、α₂）同构，结论降级为「α₃ 单」（或「α₃ 满」）——证明是五引理的两半之一。实际使用时，两端信息常常不对齐，四引理负责补齐单侧。

五引理的另一种眼光（供品味）。把正合列看作「复形同调为零」，五引理即「链同伦等价的判据」的雏形：两个复形间若长短两端同构、中间正合，则中间亦同构。第二章将把这一直觉精确化——拟同构不必同伦等价，但同类同调必可互推，其间的缝隙由映射锥丈量。

第一章 模、范畴与正合：结构的语言1.15 投射模、内射模与自由分解

★★★ 并非所有函子都保持正合。补救的思路有两支：挑「好对象」喂给函子（本章），或给函子装「纠错器」（第三、四章）。好对象的定义只有一行：

内射模与 Baer 判据（陈述）。I 内射 ⟺ 对一切左理想 J ⊆ R，任何 J → I 都可延拓为 R → I。「只需对一个最难的子模延拓」——这一降维在 ℤ 上立刻兑现：ℚ 是内射 ℤ-模（可除群的性质），而 ℤ/n 都不内射。内射是投射的镜像：一切结论左右翻面即得。

自由分解与維数的种子。把 M 摊成自由塔 F₂ → F₁ → F₀ → M（图 1-7）——这座行正合的塔叫 M 的（自由）分解。分解永远存在（生成元一层层补），但长度是环的属性：域上一层层都不需要；ℤ 上两层封顶（子群自由）；k[x₁,…,x_n] 上至多 n 层（Hilbert 合冲，第四章）；有些环上永远盖不到顶——整体维数无穷。第三章把「对塔逐层取 Hom、再取同调」定义为 Ext，并证明结果与塔的选取无关——这就是「导出」二字的含义。

第一章 模、范畴与正合：结构的语言1.16 收束：正合是结构的形状感

★★ 上半章造零件，下半章装引擎。回望 1.1–1.16 的叙事线：模把「向量空间」推广到环上（1.1–1.3），拼装与对偶给出基本词汇（1.4–1.6），结构定理示范「不变量」长什么样（1.7）；范畴与函子把逐对象的陈述升格为可移植的句法（1.8–1.10）；最后正合序列登场，把「结构如何咬合」写成一行箭头账（1.11–1.12），蛇引理与五引理提供两门基本功（1.13–1.14），投射与内射标注出「正合的守护者」（1.15）。

三句话带走第一章。① 核量忘掉、余核量欠账——同态基本定理把「满同态」翻译成「取商」，从此「结构差异」处处可商。② 正合是无误差，断裂有形状——短正合列的分裂与否、断裂的维数与位置，都是结构信息；第三章起这些信息将获得群的名字。③ 好对象是函子的护身符——投射模护 Hom，平坦模护 ⊗；护不住的时候，导出函子接手。

一句收束：模是舞台，正合是剧本，而同调即将担任「记录演出事故」的场记。翻页，开演。

第一章 模、范畴与正合：结构的语言例题一：正合序列与分裂的判定

★★ 例 1-1。判断下列序列是否正合；若正合，是否分裂。（i）0 → 2ℤ/4ℤ → ℤ/4ℤ → ℤ/2ℤ → 0（第一个映射为包含）；（ii）0 → ℤ/nℤ → ℚ/ℤ --×n→ ℚ/ℤ → 0？（iii）0 → ℤ --diag→ ℤ⊕ℤ → ℤ → 0，第一映射 a ↦ (a, 0)，第二映射 (a, b) ↦ b。

解。（i）2ℤ/4ℤ ＝ {0, 2} ≅ ℤ/2；包含的像是 {0, 2}，商 ℤ/4 / {0,2} ≅ ℤ/2——正合。分裂判定：中间项 ℤ/4 是否 ≅ ℤ/2 ⊕ ℤ/2？否（ℤ/4 有 4 阶元，ℤ/2 ⊕ ℤ/2 没有）——正合不分裂，接缝 Ext¹(ℤ/2, ℤ/2) ≅ ℤ/2 的非零元在此现形（第三章 3.7 实算）。

（ii）ℤ/n ↪ ℚ/ℤ 由 1 ↦ 1/n + ℤ 给出，像是 n 倍为零的 n 阶元，单 ✓。乘 n 是 ℚ/ℤ 的满射（ℚ 可除：任取 x + ℤ，取 y ＝ x/n）✓。核：nx ∈ ℤ ⟺ x ∈ (1/n)ℤ，在 ℚ/ℤ 中即 ℤ/n 的像 ✓——正合。分裂判定：若分裂则 ℚ/ℤ ≅ ℤ/n ⊕ (其余)，但 ℚ/ℤ 中一切元素有限阶且对每个 n 都有 n 阶元——而 ℤ/n ⊕ X 的 n 阶元个数由不变因子决定，直接取 X 含 ℤ/m (m 与 n 互素) 即见矛盾：实际上 ℚ/ℤ ⊇ 全部 ℤ/n，任何有界分解都不可能。正合、不分裂、且中项不可除——这是「接缝处处都是」的极端样本。

（iii）diag 单 ✓；(a,b) ↦ b 满 ✓；像 ＝ {(a,0)} ＝ ker ✓——正合。分裂：s : ℤ → ℤ⊕ℤ, c ↦ (0, c) 满足 g∘s ＝ id ✓——分裂，ℤ⊕ℤ ≅ ℤ ⊕ ℤ ✓。方法小结：正合按「单、满、im ＝ ker」三查；分裂优先用「提升 s」验证，失败时用不变量（挠元的有无、阶的结构）反证。

第一章 模、范畴与正合：结构的语言例题二：蛇引理的应用

★★★ 例 1-2。设 0 → A′ → A → A″ → 0 与 0 → B′ → B → B″ → 0 为短正合列，且有链映射 A′ → B′、A → B、A″ → B″（两端图交换）。应用蛇引理的 3×3 图（取第三行为恒同 0 → C′ → C → C″ → 0 的特殊情形），推导五项引理的短版：若 f′ 与 f″ 是同构，则存在正合列 0 → ker f′ → ker f → ker f″ --δ→ coker f′ → coker f → coker f″ → 0。

解。把两列短正合与中间的链映射叠成 3×3 图：行是两条短正合列，列是 f′、f、f″。取竖向的核与余核行、列，蛇引理直接给出上面的六项正合列——这正是它的两个经典特例之一（「短五引理」）。逐项核对：第一项单射来自 f′ 单；δ 由蛇引理的连接同态供货；末项满射来自 f″ 满。

立即兑现两次。① 取 f′、f″ 为同构，则 ker 与 coker 全零，δ 迫使 ker f ≅ 0、coker f ≅ 0——f 是同构（这就是「短五引理」，第二章比较两个复形的同调时天天用）。② 取 f′ 为零映射：六项列退化为 0 → A′ → ker f → ker f″ → A″ —— chains 的「同调比较链」。方法论点睛：蛇引理的价值在于把「逐点追踪」一次性打包——以后遇到任何「两端清楚、中间待定」的局面，先想 3×3，再想蛇。

第一章 模、范畴与正合：结构的语言习题课（一）：基本功

★–★★ 本页习题面向 1.1–1.8 的直接演算，全部在试验场 ℤ 与 k[x] 上完成。括号内为提示，页末附答案要点。

答案要点。题 1：0 ⊂ ℤ/2 ⊂ ℤ/6，0 ⊂ ℤ/3 ⊂ ℤ/6（ℤ/2、ℤ/3 互不包含）。题 2：ℤ/4⊗ℤ/6 ≅ ℤ/2，ℤ/5⊗ℤ/7 ＝ 0。题 3：非有限生成（任意分母集有限不行）、非自由（任何两个非零元相关：可通分）、非投射（第四章 4.7：平坦但不投射）。题 4：(x, x²) ＝ (x) 主生且自由；(x, y) 非主生、亦不自由（1.5 已证）。题 5：第一同构定理本身；三条语句即「ker f ＝ 0」「coker f ＝ 0」「两者皆零」。

第一章 模、范畴与正合：结构的语言习题课（二）：进阶

★★★ 本页习题面向 1.9–1.15 的句法工具，开始「不看元素看箭头」。

答案要点。题 6：正向用 ⊕/∏ 的泛性质各造互逆；反向举反例（∏ℤ → ℤ 的映射无法由有限信息决定）。题 7：把 im ＝ ker 逐项翻译，关键是 Hom 保核（右正合端的极限构造）。题 8：C₂ → S₃ 的提升给出 S₃ ≅ C₃ ⋊ C₂（半直积）；模中「右分裂⟹左分裂」由分裂引理保证，根源是加法可交换、直和两侧对称。题 9：投射的定义即「对一切满射可提升」，本列是一个满射，故可提升 ⟺ 分裂；内射侧对偶。题 10：得 ℤ/2 --0→ ℤ/2 → ℤ/2 → 0，首映射为零而非单——断裂处正是 Tor₁(ℤ/2, ℤ/2) ＝ ℤ/2 的栖息地（第四章 4.3 实算验证）。

第一章 模、范畴与正合：结构的语言第一章地图：概念依赖关系

★ 第一章的概念地图如图 1-8：从模与商（1.1–1.3）出发，拼装（⊕/∏，1.4）与自由（1.5）沿两条路推进，在张量积（1.6）汇合；结构定理（1.7）是自由一枝的果实；范畴与函子（1.8–1.9）凌驾于全部材料之上，正合序列（1.11–1.12）承接句法，蛇引理、五引理与投射/内射（1.13–1.15）是心脏外沿的两圈心肌。

第一章 模、范畴与正合：结构的语言第一章小结（上）：材料的账本

★ 定义清单（1.1–1.8）。R-模（四公理）；子模、商模、同态（核与像）；同构定理三条（跨结构对读）；直和与直积（有限支持的分界）；自由模（基 ＝ 零关系）；张量积（双线性 → 线性的通用解）；有限生成（自由模之商）；不变因子（秩 r ＋ n₁|⋯|n_k）。

定理清单（附使用场景）。① 同态基本定理 M/ker f ≅ im f——一切「造商—对读」的模板；② ℤ/m ⊗ ℤ/n ≅ ℤ/gcd(m,n)——第四章 Tor 的第一块试金石；③ 有限生成 Abel 群结构定理——第三章 Ext¹ 的头号试验场；④ 子模未必自由（(x,y) ⊂ k[x,y]）——合冲链存在的理由。

计算技法清单。① 商模三步（划禁区—归零—按陪集结账）；② 子式 gcd 法读不变因子（实验页代码，第四章将升级为 Smith 标准形）；③ 「有限生成 ⟺ ℤⁿ ↠ M」的翻译——把生成问题变成满同态问题。

第一章 模、范畴与正合：结构的语言第一章小结（下）：句法的账本

★★ 定义清单（1.8–1.15）。范畴（Hom＋复合律）；函子（共变/反变）；自然变换（方块交换一族）；始/终对象与泛性质；正合（im ＝ ker）；短正合列；分裂（左右两条 ＋ 中项分解）；投射模（提升满射）、内射模（延拓单射）、平坦模（保单，第四章）。

定理清单。① 分裂引理三等价；② 蛇引理（3×3 图 → 长正合列，δ 自然）；③ 五引理/四引理（两端同构推中间）；④ 投射 ⟺ 自由的直和项；⑤ Baer 判据（内射只需对理想延拓）；⑥ Hom(−,N) 左正合、⊗N 右正合（两处断裂 ＝ Ext 与 Tor 的出生地）。

图追踪技法清单。① 每跳一格用一次正合；② 选代表两段式（提起—验证无关）；③ 单性与满性分头追（五引理的两半）；④ 「两端清楚、中间待定」先想 3×3。

第一章 模、范畴与正合：结构的语言思想卡：正合是结构的形状感

第一章 模、范畴与正合：结构的语言挑战：五引理的证明

★★★★ 本页挑战独立完成五引理的完整证明，再对照评述。五引理的证明是图追踪的「毕业考」：它没有高深工具，却要求每一步都写得干净。

第一章 模、范畴与正合：结构的语言实验：自由分解的算法构造

★★ 实验设计。把 1.7 的结构定理变成程序：给定 ℤ² 上由若干「关系向量」生成的子群 K（即一个整数矩阵 M 的行），coker(M) ＝ ℤ²/K 是一个有限生成 Abel 群。实验用子式 gcd 法读出它的 Smith 不变因子：Δ_k 为全体 k 阶子式的最大公约数，不变因子 d_k ＝ Δ_k/Δ_k−1——这正是「分解塔 F₁ → F₀ → coker」的算法化。

from math import gcd
from itertools import combinations

def coker(M):
    """coker(M) 的 Smith 不变因子：d_k = Δ_k / Δk-1，Δ_k = k 阶子式的 gcd。"""
    m, n, d_old, invs = len(M), len(M[0]), 1, []
    for k in range(1, min(m, n) + 1):
        g = 0
        for rows in combinations(range(m), k):
            for cols in combinations(range(n), k):
                if k == 1:
                    d = M[rows[0]][cols[0]]
                else:
                    d = (M[rows[0]][cols[0]] * M[rows[1]][cols[1]]
                         - M[rows[0]][cols[1]] * M[rows[1]][cols[0]])
                g = gcd(g, abs(d))
        if g == 0:
            break
        invs.append(g // d_old)
        d_old = g
    return invs

cases = [                                # (关系生成元的矩阵, 环 R = Z)
    ('<(2,0),(0,3),(1,1)>',     [[2, 0, 1], [0, 3, 1]]),
    ('<(2,0),(0,2)>',           [[2, 0], [0, 2]]),
    ('<(6,0),(10,15)>',         [[6, 0], [10, 15]]),
    ('<(12,0),(0,18),(8,27)>',  [[12, 0], [0, 18], [8, 27]])]
for name, M in cases:
    invs = coker(M)
    s = ' ⊕ '.join('Z/%d' % d for d in invs if d > 1) or '0'
    print('coker %-22s d = (%s)  ~=  %s'
          % (name, ','.join(map(str, invs)), s))

实跑输出（成书时实算）：

三处值得注意。① 第一例：三个关系看似宽松，实则环环相扣——(1,1) 与 (2,0)、(0,3) 组合出 (0,1)，ℤ² 被杀得一只不剩，coker ＝ 0；子式 gcd 法一眼看穿：Δ₂ ＝ 1。② 第三例：det ＝ 90 而 Δ₁ ＝ 1，coker 是单一循环群 ℤ/90——「行列式大、不变因子一条」的漂亮反差。③ 第四例：Δ₂ ＝ gcd(216, 324, 144) ＝ 36，ℤ/36 ≅ ℤ/4 ⊕ ℤ/9（互素拆分）——中国剩余定理在同调账本上的签名。

第一章 模、范畴与正合：结构的语言〖札记〗物不知数与同余：ℤ/n 的序曲

★ 《孙子算经》（约四世纪）下卷有一题：「今有物不知其数，三三数之剩二，五五数之剩三，七七数之剩二，问物几何？」——x ≡ 2 (mod 3)、x ≡ 3 (mod 5)、x ≡ 2 (mod 7)。答曰 23。程大位《算法统宗》（1592）把它唱成口诀：「三人同行七十稀，五树梅花廿一支，七子团圆正半月，除百零五便得知」——70、21、15 与 105 的构造，正是把三组同余「拼装」成一个解。

模论的重述。「x mod 3、mod 5、mod 7 已知」即给出映射ℤ → ℤ/3 ⊕ ℤ/5 ⊕ ℤ/7；孙子问的是它是否满射。答案是：3、5、7 两两互素时满（且核 105ℤ），一般则不然——这正是中国剩余定理：m、n 互素 ⟺ ℤ/mn ≅ ℤ/m ⊕ ℤ/n。用第一章的语言：互素 ⟺ ℤ/m ⊗ ℤ/n ＝ 0（1.6 实算），⟺ 乘法映射 ℤ/mn → ℤ/m ⊕ ℤ/n 的「接缝」恰好为零——张量积这面照妖镜，照出的正是孙子两千年前就在玩的拼装条件。

同调的远亲。秦九韶《数书九章》（1247）把「物不知数」推广为大衍总数术：模两两不必互素，先「两两求等」（算 gcd）、再化约成互素情形——这是对「关系不独立时如何分账」的系统算法，与 Smith 标准形把关系矩阵化成不变因子的思路同源（实验页的 Δ_k 正是「求等」的批量版）。消元、求等、分层销账——中国古算的三板斧，将在第三章 3.13（Ext 的自由消元法）与第五章（谱序列的分页账）一一重逢。

第一章 模、范畴与正合：结构的语言第一章速查表

★ 全章核心结论一页备查；「▶」标全册反复引用项。

第一章至此收官。下一页衔接讲义，通往链复形。

第一章 模、范畴与正合：结构的语言衔接讲义：通往复形与同调——让误差开口说话

★★ 第一章的引擎已经点火，但还缺一样东西：维数。目前的一切——核、余核、正合、分裂——都发生在「单个箭头」的尺度上；而真正的误差往往层层传递：第一层的解不出，喂给第二层当输入，第二层的断裂又污染第三层。要给误差记账，先得给误差编层号。

第二章的三件新装备。① 链复形：一串模 C_n 带微分 d_n : C_n → C_n−1，满足 d² ＝ 0——把「正合检查仪」从单列升级为整条 graded 流水线；①的产物是同调群 H_n ＝ ker d_n / im d_n+1：每层断裂处的存档，第一章的 im/ker 之差在这里获得正式户籍。② 链映射与链同伦：映射可以在复形之间传递（同调是函子），而映射之间的形变不改变同调——「相同」从此有了弹性。③ 长正合序列：短正合列喂给链复形后，同调账本自动长出一条六节的长列——蛇引理在 graded 世界的本尊。

为什么值得期待？第一章已两次剧透：投射模是「护 Hom 的好对象」（1.15），张量不保单（1.6）。第二章结束时这两条线索将合流：对好对象（投射/内射）的复形，正合性完好无损；对一般对象，断裂处由同调接管——而「取同调」这个动作本身，在第三章将成为定义 Ext 与 Tor 的机器。误差的账，即将从流水账升级为复式簿记。

一行预告：d² ＝ 0 不是约束，而是天赋——正因「边缘的边缘为零」，「封闭却无边缘」的东西才有资格成为一个群。下一章见。

第二章 复形与同调：误差的层谱第二章导引：误差如何层层累积

★ 第一章造好了「正合检查仪」：一段序列正合，意味着每一处 im 恰好填满 ker——信息流动没有断裂、也没有淤积。但现实的问题很少只断一次：解方程组时，第一层消元的误差会变成第二层的输入；逼近一个空间时，局部的偏差会沿维数逐级上传。误差是会遗传的，而单箭头的检查仪只会报一声「不正合」，说不出误差藏在哪几层、各有多深。

本章的三步走。① 给误差编层号：把研究对象摊成一条分层的模序列——链复形，配套的微分算子满足 d² ＝ 0（2.1–2.2）；② 逐层立账：同调群 H_n ＝ ker d_n / im d_n+1，每层断裂处的存档（2.3）；③ 给账本装上比较仪：链映射、链同伦、长正合序列，回答「账本何时相同、误差如何转记」（2.4–2.8）。最后两节落回大地：单纯同调让几何图形直接开口算同调（2.9），持久同调把这套机器接上现代数据（2.10）。

一行预告：d² ＝ 0 不是约束而是天赋——正因「边缘的边缘为零」，「封闭却无边缘」的东西才有资格成为一个群。

第二章 复形与同调：误差的层谱2.1 链复形：带微分的模序列

★★ 定义（链复形）。一个链复形C_• 是一串 R-模与同态… → C_n+1 --d_n+1→ C_n --d_n→ C_n−1 → …，满足复合公理 d_n∘d_n+1 ＝ 0（对一切 n；常记d² ＝ 0）。d 叫微分或边缘算子；下标 n 是阶。若只列有限段，两端补零模即可。全体链复形与链映射（2.4）构成一个范畴——「复形」本身也是对象，可以被映射、被比较。

为什么敢把宝押在一条公理上？因为 d² ＝ 0 立刻给出 im d_n+1 ⊆ ker d_n——每一段箭头的像都落进下一段的核里，「正合检查仪」读出的差ker d_n / im d_n+1 自动有意义。链复形把「一处断裂」升级为「一整条断层带的地形图」：每一层各有一个商，误差的层谱从此可以逐层读数。下一节先问：d² ＝ 0 凭什么成立？

第二章 复形与同调：误差的层谱2.2 边缘算子与 d² ＝ 0

★★ 边缘公式。n 维定向单形记[v₀, v₁, …, v_n]（顶点次序即定向），其边缘为∂[v₀, …, v_n] ＝ Σ (−1)ⁱ [v₀, …, v̂_i, …, v_n]，其中 v̂_i 表示删去第 i 个顶点，符号 (−1)ⁱ 是定向的号牌。线性扩张到整系数链群，∂ 就是边缘算子 d。号牌不是装饰：没有它，顶点在 ∂∘∂ 中不会两两抵消。

几何读法。取一个四面体的表面：对每个三角面取边缘，得六条定向棱，每条棱恰好被两个面以相反方向各经过一次——「面围出的边，围不出来」。推广到任何维数：边缘的边缘是空。这一句几何常识被 (−1)ⁱ 号牌忠实地翻译成代数恒等式 d² ＝ 0；反过来，任何满足这条公理的代数系统都自动继承「边缘／闭链」的几何语义。公理与几何在此互为倒影——这正是 2.3 能定义同调群的全部理由。

第二章 复形与同调：误差的层谱2.3 同调群：闭链模掉边缘

★★ 定义（同调群）。设C_• 是链复形。称Z_n ＝ ker d_n 的元素为 n 维闭链（无边缘的链），B_n ＝ im d_n+1 的元素为 n 维边缘链（围出来的内部）；由 d² ＝ 0 知 B_n ⊆ Z_n，于是可以作商

H_n(C) ＝ Z_n / B_n ＝ ker d_n / im d_n+1。

读法。两类闭链视为相同，若它们共同围出一块 n+1 维的内部（相差一个边缘）。活下来的等价类，是「封闭却围不出任何东西」的链——洞。最低两层的语义最直观：H₀ 的闭链是「点和的闭组合」，两个点同调 ⟺ 有 1 维链把它们连起来，故 H₀ 数连通分支；H₁ 的闭链是「首尾相接的圈」，一个圈是边缘 ⟺ 它围出某块面，故 H₁ 数独立的环圈；H₂ 数空腔，以此类推。

两个立即的验算。① 若整条复形正合（每层 im ＝ ker），则一切 H_n ＝ 0——正合 ＝ 零同调。同调是正合的「残余物」：第一章说「正合则无误差」，本章说「误差有多少、在哪儿，同调逐层记账」。② 零调复形（一切同调为零）不一定是零复形——误差为零不等于没有演算，这一差别将在 2.6 变成「拟同构 ≠ 同伦等价」的第一反例。

同调群是「把正合性打开检查」的产物：正合合上书，同调翻开账。

第二章 复形与同调：误差的层谱2.4 链映射与同调的函子性

★★ 定义（链映射）。链复形C_• 到 D_• 的链映射是一族同态f_n : C_n → D_n（保阶），与微分交换：f_n−1∘d_n ＝ d_n∘f_n。几何读法：先把地图再取边缘 ＝ 先取边缘再搬地图——映射与「取边缘」不冲突。

这句话的分量。同调不是「每个复形各发一个群」的孤立标签，而是复形范畴到分次模范畴的函子——映射有像、复合保序、恒等保真。于是「两个空间的同调群同构」只是一个开始，真正的较量是：同构是谁实现的？由什么映射诱导？可逆吗？逆是谁？函子性把同调从「算术」升格为「关系学」，后两节的比较理论（链同伦、拟同构）全部建立在这条定理之上。

记号约定。今后「f 诱导同构」记作 f_∗ 为同构；若强调全体阶数，写 f_∗ : H(C) ≅ H(D)。对分次对象，同调群常打包写作 H_•(C)。

第二章 复形与同调：误差的层谱2.5 链同伦：映射之间的形变

★★ 定义（链同伦）。两个链映射f, g : C_• → D_• 称为链同伦（记 f ≃ g），若存在一族同态 s_n : C_n → D_n+1（升半阶），使f_n − g_n ＝ d_n+1∘s_n ＋ s_n−1∘d_n，简写 f − g ＝ ds ＋ sd。s 叫链同伦；直觉是「先爬上一层、横着走、再落下来」的斜桥——两条路径之差总能被桥填平。

为什么这是「形变」的代数化身？拓扑里，两个映射同伦（一个能连续形变成另一个）时，单纯逼近会给出一族「把形变过程逐层记下来」的 s——恰是链同伦。于是拓扑的形变不变性被翻译成一条两行的代数验证：同伦的映射诱导相同的同调映射。这一「斜桥引理」的用法贯穿全书：要证明两个诱导映射相同，不必逐点核对，只须造出那座斜桥。

可逆的形变。若 f ≃ g 且 g ≃ f 沿反方向（即 f、g 互为形变逆），称 f 是链同伦等价。链同伦等价的复形，同调群逐阶同构——「形变等价」强于「同调等价」，差别见下一节。

第二章 复形与同调：误差的层谱2.6 同伦等价与拟同构

★★ 定义（拟同构）。链映射 f : C → D 若在每一阶都诱导同构 f_∗ : H_n(C) ≅ H_n(D)，称 f 为拟同构（quasi-isomorphism）。由 2.5，链同伦等价 ⟹ 拟同构；逆向一般不成立——这是本节唯一但关键的「不等号」。

为什么这个差别值得专辟一节？因为它划出了同调论的适用边界：只读同调群，就把「形变」的精细信息压平了。第一章的投射分解恰好站在好的一侧：对由投射模组成的复形，零调即可分裂（提升性质逐层给截面），拟同构升格为同伦等价——这保证第三章取 Ext 时「用哪个分解都一样」。一般复形则不然：同调看不见的差别，要到第六章导出范畴才重新被看见（那里拟同构正式升格为「等价」）。

一句话存档：同调是复形的「X 光片」——骨骼看得清，血肉看不见。

第二章 复形与同调：误差的层谱2.7 长正合序列：误差的会计学

★★ 定理（同调的长正合列）。设0 → C′_• --i→ C_• --p→ C″_• → 0 是链复形的短正合列（每一阶都短正合）。则存在自然的长正合列

… → H_n(C′) --i_∗→ H_n(C) --p_∗→ H_n(C″) --δ→ H_n−1(C′) → …

其中连接同态 δ 的构造（蛇引理的分次版）：取 c″ ∈ Z_n(C″)，用 p 的满性提到 c ∈ C_n，则 dc 的像在 C″ 里为零，故 dc 来自 C′_n−1——把 [c″] 送到 [dc] ∈ H_n−1(C′)。

会计学读法。把 H 想成各层的「误差余额」，长正合列就是转账流水：C′ 的余额注入 C（i_∗），C 自身的余额流出到 C″（p_∗），而 C″ 清算不掉的差额由 δ 转记到 C′ 的下一层。六段核对法与 1.13 的蛇引理逐字平行：任一段正合，都是「像 ＝ 核」的一次盘库。自然性（映射的方块保持 δ）保证这套会计在不同复形之间可以并账。

两个马上能用的推论。① 若 C′、C″ 零调，则 C 零调——误差不会凭空出现，只能从邻层转来；② 五引理（1.14）的分次版：若 i_∗、p_∗ 在两端同构，中间同构——比较两个复形时，常常只须「两头夹击」。

第二章 复形与同调：误差的层谱2.8 映射锥与映射柱

★★ 构造。对链映射 f : C → D：映射柱 Cyl(f) 的 n 阶项是 C_n ⊕ C_n−1 ⊕ D_n，微分把三块「沿 C 的 d、沿 f 搬运、沿 D 的 d」扭在一起——几何上相当于把 f 的图像焊成柱面，C 借柱面包含进 Cyl(f)，且 Cyl(f) ≃ D（投影是同伦等价）。映射锥 Cone(f) ＝ Cyl(f) / C：把 C 那一端压成零，n 阶项 C_n−1 ⊕ D_n，微分∂(c, d) ＝ (−d_Cc, f(c) ＋ d_Dd)。

为什么锥是「一招定输赢」？比较两个复形，原本要逐阶核对无穷多个群；锥判据把它压成一个问题：一个复形（锥）是否零调。第一章的正合序列、本章的长正合列、第三章的 Ext 计算都靠这一压平术简化。更深的伏笔：第六章导出范畴把「拟同构」定义为等价，而锥正是「两个等价物之差」的化身——三角形的第三条边。

第二章 复形与同调：误差的层谱2.9 单纯同调：从复形到代数

★★ 装配线。① 剖分：把几何图形剖成单形（点、线段、三角形、四面体……），要求相交处仍是单形——得到单纯复形 K；② 定向：给每个 k 维单形的顶点排次序，次序的奇置换反号；③ 链群：C_k(K) ＝ ℤ·{k 维定向单形}——自由 Abel 群，基是单形；④ 边缘：按 2.2 公式逐维作用，得链复形C(K)；⑤ 同调：H_k(K) ＝ ker ∂_k / im ∂_k+1。

两个最小样本。① 实心三角形（四顶点剖成两面或单面皆可）：2 维链 ℤ·(面)，1 维链 ℤ³，0 维链 ℤ³。∂(面) ＝ 三边之和 ≠ 0 但它闭（∂∂ ＝ 0），且一维闭链都是边的组合、都围面——逐层消账得H₀ ≅ ℤ，H₁ ＝ H₂ ＝ 0：实心，无洞。② 挖去内部（只留边与点）：H₁ 里那圈边不再围任何面——H₁ ≅ ℤ：空圈现形。同调一眼分辨实心与空腔，这正是 2.3 的直觉落到实算。

剖分无关性（承上启下）。不同的剖分给出同构的同调群——这一深刻事实的证明（单纯逼近定理）在拓扑读本中自成一章；对本册而言，须记住的是它的代数骨架：任何两个足够细的剖分之间有公共加细，公共加细到二者的单纯映射互为链同伦（2.5），于是诱导同调映射相同。第六章将以同调语言重述并完成这一论证。

第二章 复形与同调：误差的层谱2.10 现代接口：从同调到持久同调

★ 经典同调回答「有没有洞」，但面对数据要先回答「在哪个尺度看」：点云里连多近算一条边、多密算一个面？滤流（filtration）把答案参数化：取一串递增的复形K(ε₁) ⊆ K(ε₂) ⊆ …，每一级各算一次同调，得到一串同调群与彼此相容的映射（2.4 的函子性保证「相容」有确切含义）。这样一个「随尺度变化的同调」叫持久同调。

条形码。每个同调类在某个尺度诞生、在某个尺度被边缘链吞并而消亡——把 [诞生， 消亡] 画成一根 bar，全体 bar 即条形码。活得久的 bar 是结构（真实的分支、环、空腔），朝生暮死的 bar 是采样噪声。代数上，持久同调的结构定理说：这类「带尺度的模」可完全分解为区间模的直和——条形码不是比喻，而是唯一的不变量清单；且分解对扰动稳定（瓶颈距离控制条形码的 Hausdorff 偏移）。

与本册主线的接口。持久同调的每一步都是本章机器的直接调用：逐级算同调用 2.3，级间的映射用 2.4，条形码分解的代数核心是主理想整环上的模结构定理（第一章 1.7 的 Smith 标准形）。「百年老理论接到当代数据」，接点全在已修过的语法里——这正是同调论作为「误差通用记账法」的当代回声。

第二章 复形与同调：误差的层谱2.11 收束：同调把误差装订成册

★ 本章走完一条完整的装配线，值得把每颗螺钉拧一遍：公理（2.1–2.2）——链复形与 d² ＝ 0，「边缘无边缘」从几何常识升为代数公理；账本（2.3）——H_n ＝ ker/im，正合性打开检查后的逐层残余；比较仪（2.4–2.6）——链映射让同调成为函子，链同伦让形变不记账，拟同构标出「同调看得见」的最大范围；会计学（2.7–2.8）——长正合列逐层转记误差，映射锥把无穷核对压成一个零调问题；落地（2.9–2.10）——单纯同调让图形开口，持久同调让数据开口。

与第一章的接口回看。自由分解（1.15）本就是链复形；蛇引理（1.13）在本章升格为长正合列；五引理（1.14）成了两头夹击的利器；分裂与 Ext 的伏笔（1.12 反例之王）即将兑现。与后章的接口预支：第三章把「取同调」作用于 Hom(−, N) 拉回自由分解后的复形——Extⁿ(M, N) ＝ Hⁿ(Hom(F_•, N))；第四章对偶地玩 ⊗。同调这台机器，马上开始生产新不变量。

一句收束：链复形是场记板，d² ＝ 0 是剧本规则，同调是场记——记下每一层「封闭却无着落」的悬案。

第二章 复形与同调：误差的层谱例题一：链复形与同调的计算

★★ 例 2-2。算同调：（i）圆周的单纯链复形0 → ℤ³ --d₁→ ℤ³ → 0，d₁ 在边基 (a, b, c) 上为a ↦ v₁−v₀、b ↦ v₂−v₁、c ↦ v₀−v₂；（ii）挠复形 0 → ℤ --d₂→ ℤ² --d₁→ ℤ² → 0，d₁ ＝ diag(2, 0)，d₂ ＝ (0, 3)^T。

解（i）。d₁ 的矩阵三列恰为 (−1,1,0)、(1,0,−1)、(0,−1,1)，行同样张成秩 2 的格：Smith 标准形 diag(1, 1, 0)（初等变换可逐字验出：先以第一列消第二列、再以第二列消第三列，两步后得 (1,1,0) 型）。于是 H₀ ＝ ℤ³ / im d₁：关系矩阵的不变因子 1、1 全是单位，自由秩 3 − 2 ＝ 1，H₀ ≅ ℤ（连通）。H₁ ＝ ker d₁ / 0：解 d₁x ＝ 0，三方程相加为零，唯一整解空间由 (1,1,1) 张成——H₁ ≅ ℤ。那圈「三边之和」闭而不围，正是圆周的洞。H₂ ＝ 0（无 2 维链）。

解（ii）。ker d₁ ＝ {(0, y)}（第一分量须为 0），im d₂ ＝ ⟨(0,3)⟩，故 H₁ ≅ ℤ/3。H₀ ＝ ℤ² / im d₁ ＝ ℤ² / ⟨(2,0)⟩ ≅ ℤ ⊕ ℤ/2。H₂ ＝ ker d₂ ＝ 0（(0,3)^T 无整核）。账目验收：χ ＝ rank H₀ − rank H₁ ＋ rank H₂ ＝ 1 ＝ 2 − 2 ＋ 1（链群交错和）——Euler 示性数两头对上。

方法论。有限生成链复形的同调，三步走：① 核——解整系数齐次方程（整基！）；② 像——把生成元坐标化；③ 商——Smith 不变因子读出自由部分与挠部分。全部机械化，实验页的程序即此三步。

第二章 复形与同调：误差的层谱例题二：长正合序列的调遣

★★ 例 2-3（用 LES 算出 H₂(S²)）。把圆盘 D² 与其边界圆周 S¹ 都取单纯链复形（2.9），边界包含为链映射。商复形 C(D²)/C(S¹) 只剩「内部 2-单形 σ 及其 0 维退化」，其同调为 H₂ ≅ ℤ（σ 闭而无 3 维边缘）、其余为零。对短正合列 0 → C(S¹) → C(D²) → 商 → 0 写长正合列，调遣它算出 H₂(S²)。

解。已知账目：H₂(D²) ＝ 0、H₂(S¹) ＝ 0、H₂(商) ≅ ℤ；H₁(D²) ＝ 0、H₁(S¹) ≅ ℤ；H₀ 全为 ℤ。长正合列在 n ＝ 2 段：0 → H₂(D²) ＝ 0 → H₂(商) ≅ ℤ --δ→ H₁(S¹) ≅ ℤ --i_∗→ H₁(D²) ＝ 0。序列正合 ⟹ δ 的像 ＝ ker i_∗ ＝ 全部 ℤ，且 δ 单（其左邻为零）；故 δ : ℤ ≅ ℤ 是同构，把「内部面」送到「它的边缘——那一圈边」。于是 H₂(S²)：把球面剖成两个圆盘（北、南半球）沿赤道粘合，对 0 → C(南 ∪ 赤道) → C(S²) → C(北盘) → 0 重演同一调遣（或由 Mayer–Vietoris 的本册等价物——覆盖拼接的长正合列），得 H₂(S²) ≅ ℤ：一个空腔。

调遣术总结。① 列已知量；② 摆长正合列；③ 用「零端夹逼」逼出连接同态是同构；④ 几何解读 δ（这里：面 ↦ 边缘）。δ 是同构这类结论正是长正合列的甜点——单看任何一方都算不出，拼起来一眼看穿。第五章谱序列将把这种「分页调遣」推向极限。

第二章 复形与同调：误差的层谱习题课（一）：基本功

★–★★ 本页面向 2.1–2.5 的直接演算。括号内为提示，页末附答案要点。

答案要点。题 2：n ＝ 0 时 H₁ ≅ ℤ、H₀ ＝ 0；n ＝ ±2 时 H₀ ≅ ℤ/|n|、H₁ ＝ 0（负号不改子群）。题 3：分支数 ＝ 0 维闭链模边缘的秩。题 5：直和上取恒等与包含映射即可，同调同构但 C 的非零调部分使逆映射不保阶。

第二章 复形与同调：误差的层谱习题课（二）：进阶

★★–★★★ 本页面向 2.6–2.9 的综合运用。

答案要点。题 7：δ 把商复形的 2 维生成元（内面）送到 H₁(S¹) 的生成元（边界圈）——同构。题 9：锥的微分含 f ＝ 0，同调移位一位；零调 ⟺ 锥零调即判据内容。题 10：第一条对角线加入后环仍活，加入使环围面的那条后死亡——bar 终点 ＝ 填面尺度。

第二章 复形与同调：误差的层谱第二章地图：概念依赖关系

三条阅读路线。① 主线速通（2.1 → 2.3 → 2.6 → 2.7）：公理、账本、比较、会计——约十页，是第三章的最低装备；② 几何侧翼（2.2 → 2.9）：从「边缘无边缘」到亲手剖分算同调，适合先建立视觉直觉再回主线；③ 现代侧翼（2.3 → 2.10）：带尺度的同调与条形码，通往数据科学。三条线在例题与实验页汇合：例 2-2 用主线的代数、例 2-3 用主线的会计，实验页把两者变成代码。

与邻章的关口。出口有二：向第三章（Ext）交出「取同调」这台机器与「自由分解是链复形」这张入场券；向第五章（谱序列）交出长正合列的「分页」读法。入口承接第一章的全部正合语汇——若 1.13 的蛇引理尚且生疏，回到 1.13 的九宫格再读 2.7。

第二章 复形与同调：误差的层谱第二章小结（上）：概念与定理

★ 概念清单。① 链复形 C_• 与微分 d（公理 d² ＝ 0）；② 闭链 Z_n ＝ ker d_n、边缘链 B_n ＝ im d_n+1；③ 同调群 H_n ＝ Z_n/B_n；④ 链映射与诱导映射 f_∗；⑤ 链同伦 s（升半阶斜桥）与链同伦等价；⑥ 拟同构（逐阶同构）；⑦ 长正合列与连接同态 δ；⑧ 映射柱 / 映射锥；⑨ 单纯复形、定向单形、单纯链群；⑩ 滤流、持久同调、条形码。

定理清单（附页码）。∂∂ ＝ 0（2.2，几何事实的代数倒影）；同调是函子（2.4，良定义 ＋ 复合保序）；形变不变性 f ≃ g ⟹ f_∗ ＝ g_∗（2.5，两行证明）；链同伦等价 ⟹ 拟同构、逆向不真（2.6，例 2-1 零调不零伦）；长正合序列定理（2.7，蛇引理的分次版）；锥判据 f 拟同构 ⟺ Cone(f) 零调（2.8）；剖分无关性（2.9，单纯逼近的链同伦骨架）；持久同调结构定理（2.10，条形码＝完全不变量）。

三件最易错的事。① 把 d² ＝ 0 当成「额外假设」——在单纯世界它是定理；② 忘记闭链除以边缘后「相差一个边缘视为相同」——同调类是等价类不是链；③ 拟同构误当同伦等价——X 光片丢血肉（2.6）。

第二章 复形与同调：误差的层谱第二章小结（下）：方法与回望

★ 方法卡片。① 三步算同调（例 2-2）：核整基 → 像坐标化 → Smith 不变因子；② 斜桥引理（2.5）：要证诱导映射相同，造 s 即可，不逐点核对；③ LES 调遣术（例 2-3）：列已知 → 摆序列 → 零端夹逼 → 几何解读 δ；④ 锥判据（2.8）：把「逐阶比较」压平成「一个复形是否零调」。

全书地图上的本章。第一章备料（模、正合、自由分解），第二章造机器（链复形 → 同调），第三、四章开动机器生产不变量（Ext、Tor），第五章把机器的输出分页联算（谱序列），第六章重审机器本身（导出范畴：把「复形」当对象、「拟同构」当等价）。本章处于枢纽位置：向后承接全部正合语汇，向前供出「取同调」这一动作。

回望一句话。第一章问「断裂在哪里」，本章答「断裂有多少层、每层多重、形变时怎么变、拼接时怎么转记」。误差从「令人不安的偏差」变成「可分层的结构读数」——这正是同调代数七十年历史的起点，也是本册书名里「同调」二字的全部含义。

第二章 复形与同调：误差的层谱思想卡：d² ＝ 0：同调的引擎

第二章 复形与同调：误差的层谱挑战：长正合序列的构造

★★★ 目标：不引蛇引理，直接对分次情形构造长正合列并验证六段正合——即「分次蛇引理」的完整推导。装置：0 → C′ --i→ C --p→ C″ → 0（逐阶短正合，i、p 为链映射）。

挑战的余味。这套构造在第五章将被「自动化」：谱序列把整条长正合列折叠成一页页逐次逼近的账页，δ 的追猎变成页间翻转。学会本页的每一跳，第五章的每一页都只是本页的批量版。

第二章 复形与同调：误差的层谱实验：链复形同调的数值对拍

★★ 把例 2-2 的三步法（核整基 → 像坐标化 → Smith 不变因子）交给程序，对三个复形实算同调，并与 Euler 示性数对拍。约定 D[k] 存 d_k 的矩阵（列生成元），d₀ ＝ 0 取空表；核基由有理消元取整；商的不变因子由 Smith 标准形读出。

def snf(M):
    """整矩阵的 Smith 不变因子（>1 者）。"""
    A = [r[:] for r in M]; out = []; k = 0
    while A and k < min(len(A), len(A[0])):
        while True:
            nz = [(abs(A[i][j]), i, j) for i in range(k, len(A))
                  for j in range(k, len(A[0])) if A[i][j]]
            if not nz:
                break
            v, i, j = min(nz)
            A[k], A[i] = A[i], A[k]
            for r in A:
                r[k], r[j] = r[j], r[k]
            for j2 in range(k + 1, len(A[0])):
                if A[k][j2]:
                    q = A[k][j2] // A[k][k]
                    for i2 in range(k, len(A)):
                        A[i2][j2] -= q * A[i2][k]
            for i2 in range(k + 1, len(A)):
                if A[i2][k]:
                    q = A[i2][k] // A[k][k]
                    A[i2] = [a - q * b for a, b in zip(A[i2], A[k])]
            if all(A[i][j] % A[k][k] == 0 for i in range(k + 1, len(A))
                   for j in range(k + 1, len(A[0]))):
                break
        if A[k][k]:
            out.append(abs(A[k][k])); k += 1
        else:
            break
    return [t for t in out if t > 1]

def grp(free, inv):
    parts = (['Z'] if free == 1 else ['Z^%d' % free] if free else [])
    parts += ['Z/%d' % t for t in inv]
    return ' ⊕ '.join(parts) if parts else '0'

d1 = [[-1, 1, 0], [1, 0, -1], [0, -1, 1]]
print('ker d1 check:', [sum(r[i] for r in d1) for i in range(3)])
print('H0 circle  =', grp(3 - 2, snf(d1)))
print('H1 triang  =', grp(1 - 1, snf([[1]])))
print('H1 circle  =', grp(1, []))
d1t = [[2, 0], [0, 0]]
print('ker d1t check:', [d1t[i][1] for i in range(2)])
print('H0 torsion =', grp(2 - 1, snf(d1t)))
print('H1 torsion =', grp(1 - 1, snf([[3]])))

实跑输出。

ker d1 check: [0, 0, 0]
H0 circle  = Z
H1 triang  = 0
H1 circle  = Z
ker d1t check: [0, 0]
H0 torsion = Z ⊕ Z/2
H1 torsion = Z/3

读数。① ker 验算行全零——闭链条件 d₁(1,1,1)^T ＝ 0 与d₁^tor(0,1)^T ＝ 0 程序先行自证；② 圆周 H₀ ＝ ℤ（连通）、H₁ ＝ ℤ（一圈）；实心三角形 H₁ ＝ 0——闭圈 (1,1,1) 是内面的边缘，被商掉；③ 挠样本给出 ℤ ⊕ ℤ/2 与 ℤ/3：边界算子不仅数洞，还能制造有限阶同调——「绕两圈才算闭合」的结构被 ℤ/2 忠实记录；④ Euler 对拍三例全中（图 2-11），理论与程序互相作证。

第二章 复形与同调：误差的层谱〖札记〗天元术与消元法

★ 十三世纪的中国，李冶在《测圆海镜》（1248）系统使用天元术：「立天元一为某」——设一个未知元，把几何条件逐条翻译成多项式，再依「如积相消」导出方程。未知元有位置（太字标位）、有阶次（幂次分层排列），多项式按次数分列——这正是「分层记账」的东方原型：常数项、一次项、二次项各占一行，系数账目一望即知。

从一元到四元。朱世杰《四元玉鉴》（1303）把天元术推广为四元术：天、地、人、物四个未知元，方程组最多四个；其解法核心是消元——逐个未知元消去，把四元降为三元、二元、一元，最后用一元开方收尾。消元的次序是精心安排的：先消哪个元、保留哪些方程，决定了整场计算的代价。分层次、定顺序、逐层销账——这一方法论与链复形的分层、长正合列的逐层转记、谱序列的分页逼近（第五章）在结构上同构：都是「把一张大网拆成有序的层，逐层清算，误差与信息沿层传递」。

消元的现代面向。消元法在十九世纪由 Sylvester、Cayley 接力（结式理论），二十世纪成为同调代数的源头之一——Hilbert 合冲定理研究的正是「多项式方程组的分层消解」：生成元一层、关系一层、关系的关系一层……自由分解的塔（1.15）由此得名合冲（syzygy）塔。天元术的「立元」与合冲的「取生成元」、消元与「取边缘」，跨越七百年互为注脚：结构的账，总要分层来记。

第二章 复形与同调：误差的层谱第二章速查表

★ 全章核心结论一页备查；「▶」标全册反复引用项。

第二章至此收官。下一页衔接讲义，通往导出函子。

第二章 复形与同调：误差的层谱衔接讲义：通往导出函子——正合函子的失灵

★★ 第二章造好机器、装好比较仪，但同调至今只在「空间与链」的世界里运转。第三章的问题是：把同调机装到一般的函子下，会测量出什么新不变量？答案是本章埋好的伏笔的兑现：对好对象（投射模），机器照常运转、同调为零；对一般对象，正合性失灵处——同调不为零，而这个「非零的读数」有一个名字：Ext。

第三章的剧本。① 取模 M 的自由分解 F_• → M（第一章的合冲塔——本就是链复形）；② 作用反变函子 Hom(−, N)，得复形 0 → Hom(F₀, N) → Hom(F₁, N) → …（箭头全部反转，d 变 δ，且 δ² ＝ 0 仍成立——2.1 的公理原样继承）；③ 逐阶取同调：Extⁿ(M, N) ＝ Hⁿ(Hom(F_•, N))。n ＝ 0 恰是 Hom 本身，n ≥ 1 是 Hom「失灵」的逐层读数——1.12 的反例之王（0 → ℤ --×2→ ℤ → ℤ/2 → 0 不分裂）将在 3.5 变成Ext¹(ℤ/2, ℤ) ≅ ℤ/2 的第一次实算。

为什么值得期待？Ext 把「模 M 与 N 的关系有多深」量化了：Ext¹ 量「用 M 逼近 N 时第一层补丁的厚度」，逐层 Ext 量整座补丁塔的高度（整体维数，第四章）。分裂与否、投射与否、维数几何——散落第一章的判据将统一成一把尺子。机器已经热机，翻页开造 Ext。

一行预告：同调量「自己的断裂」，Ext 量「借别人的镜子照出的断裂」——下一章见。

第三章 导出函子：从 Ext 看扩张第三章导引：正合函子的「失灵」

★ 第二章末尾留了一道裂缝：链复形与同调已经就位，但它们只测「复形自己的断裂」。本章把同调机装到函子上——先看函子在正合列上还剩几分正合。Hom 是模范畴里最重要的函子，它的成色如何？答案是「半正合」：把短正合列送进 Hom(−, N)，箭头反转后前半段依然正合，右端却断了——映射不必满（图 3-1）。

本章的三步走。① 铺原材料：投射分解与内射分解，把任意模摊成最好算的模的塔（3.3–3.4）；② 造机器：在塔上作用 Hom、逐阶取同调，得导出函子 Ext（3.5–3.6）；③ 见真章：Ext¹(C, A) 恰好分类「A 被 C 的全部扩张方式」（3.7），长正合列让它可以递推（3.8）。后半程看舞台与应用：群上同调、Galois 上同调与层上同调（3.10–3.12），以及计算手册与同调维数这把尺（3.13–3.15）。

一行预告：Hom 的账本缺了右半页——Ext 就是那半页，而且它记的正是「扩张」这本最难缠的账。

第三章 导出函子：从 Ext 看扩张3.1 函子的左正合与右正合

★★ 定义（左/右正合）。函子 F 称为左正合，若它把任何短正合列 0 → A → B → C → 0 送往左端正合的序列 0 → F(A) → F(B) → F(C)；称为右正合，若送往右端正合的 F(A) → F(B) → F(C) → 0。两头都正合的函子称正合函子——它把正合性原样搬运，什么都不丢。

证明骨架（反变情形）。单的像单：f : A ↪ B 单，则f^∗ : Hom(B, N) → Hom(A, N)（限制映射）满——A 上的映射总可沿 f 的单性「抬」到 B 上？不——抬不抬得动是内射性的问题；此处只须单性：ker f^∗ 由「复合后为零」的映射组成，与正合段的核对齐。全程只动用「单、满、核、像」的逐项盘查，与 1.13 蛇引理同一门手艺。

右端为什么断。Hom(A, N) → Hom(B, N) 要把「A 上的映射」沿 B → C 延拓到 B 上——延拓是一种扩张，而扩张未必存在：「映射不必满」的代数面孔就是「延拓不必可行」。这句话将在 3.7 得到精确的兑现：延拓的障碍恰由 Ext¹ 度量。

第三章 导出函子：从 Ext 看扩张3.2 为什么要导出：丢失的正合性

★★ 断口解剖。取第一章的老朋友0 → ℤ --×2→ ℤ → ℤ/2 → 0，作用反变函子Hom(−, ℤ)。逐项代入：Hom(ℤ, ℤ) ≅ ℤ（一个同态被它在 1 处的取值唯一决定），而 Hom(ℤ/2, ℤ) ＝ 0（ℤ 无挠元可承载 2 阶映射）。于是得0 → 0 → ℤ --×2→ ℤ——前半正合；但 ×2 不是满射，右端 ℤ → Hom(ℤ/2, ℤ) ＝ 0 之外，「乘 2 够不到的那一半整数」无家可归。

丢失的东西是什么？不是混沌——它恰好是一个干净的模：coker(×2) ≅ ℤ/2。更妙的是它并非偶然：换 ×3 得 ℤ/3，换 ×n 得 ℤ/n。同调代数的回答是：把每个断口的余核当作读数记录在案，并且继续追问——如果对 Ext¹ 再作用函子，它也会失灵，失灵处又有余核，于是有 Ext²、Ext³……一层一层，直到读数全零。

与第二章的分工。同调 H_n 量「复形内部的断裂」；Extⁿ 量「函子透过复形照出的断裂」。前者问「这个对象有多少洞」，后者问「这对对象的关系有多深」。两台机器共用同一个引擎：d² ＝ 0 与「核模像」。

第三章 导出函子：从 Ext 看扩张3.3 投射分解：把模摊成自由

★★ 定义（投射分解）。模 M 的投射分解是一列投射模与满射⋯ → F₂ → F₁ → F₀ → M → 0，塔身处处正合。投射模是最「省心」的模：Hom(−, N) 作用在它上面永不断裂（等价地，它是有「模论基」的自由模的直和项；在 ℤ 上，投射即自由）。

存在性。任何模都有投射分解：取 F₀ 为以 M 的生成元为基的自由模，自然满射 F₀ → M；再取 F₁ 满射到核上；如此逐层。塔不必唯一（ℤ/2 也允许 0 → ℤ --2→ ℤ ⊕ ℤ → … 的虚胖分解），但不同塔之间可互相比较（提升引理），这保证 3.5 的定义不挑塔。

两个样板。① ℤ/n：0 → ℤ --×n→ ℤ → ℤ/n → 0，塔高 1——第二章实验里的「圆周复形」正是它的几何影子。② 有限生成模的分解对应第一章的 Smith 标准形：ℤ/m ⊕ ℤ/n 的塔由对角矩阵 diag(m, n) 拼出。「分解 → 不变因子」的老手艺即将在 Ext 的账本上重新开张（3.13）。

第三章 导出函子：从 Ext 看扩张3.4 内射分解与上链复形

★★ 对偶的一面。把所有箭头掉头，得到内射分解：0 → M → I⁰ → I¹ → I² → …，其中 I^k 内射。内射模由 Baer 判据刻画：任何映射A → I 都能延拓到包含 A 的模 B 上——「延拓永不失败」，与投射模「提升永不失败」互为镜像。

上链复形。在投射塔上作用 Hom(−, N)，箭头反转、编号翻转：0 → Hom(F₀, N) --δ¹→ Hom(F₁, N) --δ²→ …。这是上链复形：微分上标为 δⁿ，同调改称上同调 Hⁿ。公理一模一样：δⁿ⁺¹δⁿ ＝ 0——把 Hom 作用到 d² ＝ 0 上，公理自动继承（第二章 2.1 的公理原样过户）。

为什么两副脚手架都要。投射塔从 M 出发向左铺，算 Extⁿ(M, N) 直接；内射塔从 N 出发向右铺，把 N 的「柔软度」变成 M 的账单——两塔算出的 Ext 相同，这正是 3.5 良定义性定理的双塔版本。实际计算中「挑好算的那座」是第一诀窍：ℤ 模世界里塔高极短（3.13），谁都不用铺太高。

第三章 导出函子：从 Ext 看扩张3.5 导出函子的构造：取同调

★★★ 定义（Ext）。固定 N，取 M 的投射分解 F_• → M，作用 Hom(−, N) 得上链复形 Hom(F_•, N)，令Extⁿ(M, N) ＝ Hⁿ(Hom(F_•, N)) ＝ ker δⁿ⁺¹ / im δⁿ。

证明的骨架是「斜桥」。两座塔之间可互相提升（比较定理），提升作为链映射诱导同调同构——第二章 2.5 的链同伦不变性在这里原样生效：「形变不记账」。这也是导出函子敢叫「函子」的资格证。

读数语义。Extⁿ ＝ 0 说明「第 n 层没有失灵」：Ext¹ ＝ 0（对一切 N）当且仅当 M 投射；Ext¹ ＝ 0（固定 N，一切 M）当且仅当 N 内射。非零的 Ext 是「模的关系结构不够舒展」的量化——为 3.14 的维数尺做好铺垫。

第三章 导出函子：从 Ext 看扩张3.6 Ext 的定义与基本性质

★★ 四条基本性质。① 零层：Ext⁰(M, N) ＝ Hom(M, N)——Hom(F₀, N) 的核恰是「复合 F₁ → F₀ 后为零」的映射，即从 M 出发的同态全体；② 消失判据：M 投射 ⟺ Extⁿ(M, −) ＝ 0（n ≥ 1）；N 内射 ⟺ Extⁿ(−, N) ＝ 0；③ 可加性：Extⁿ(⊕M_i, N) ≅ ∏Extⁿ(M_i, N)，Extⁿ(M, ∏N_j) ≅ ∏Extⁿ(M, N_j)；④ 维数归零：若 M 有塔高 ≤ p 的分解，则 Extⁿ ＝ 0（n > p）。

注意 Ext⁰ ＝ Hom 的分量。它在长正合列（3.8）里是起点：Hom 的左半正合段加 Ext 段，合成完整的右半账本。「Hom 是 Ext 的第 0 层」——这把第一章的全部 Hom 演算（对偶、伴随、限制-延拓）自动收编进 Ext 的版图。

消失判据的用法。它把「投射/内射」从定义变成可验算的条件：想知道 ℤ/n 是不是投射？算 Ext¹(ℤ/n, ℤ) ≅ ℤ/n ≠ 0——不是。想知道 ℚ 对 ℤ 的姿态？ℚ 可除故内射，于是 Extⁿ(−, ℚ) ＝ 0。「最好算的模」由 Ext 全零来认证。

第三章 导出函子：从 Ext 看扩张3.7 Ext¹ 与扩张的分类

★★★ 扩张与等价。固定 A、C，一个扩张是短正合列 0 → A → B → C → 0；两个扩张等价，若有同构 B ≅ B′ 使 A、C 两端交换图成立。零扩张指分裂的：B ≅ A ⊕ C。等价类全体记 Ext¹(C, A)——这不是比喻，是定理：

本册的贯穿例。Ext¹(ℤ/2, ℤ) ≅ ℤ/2：两类扩张，即 0 → ℤ --×2→ ℤ → ℤ/2 → 0（扭接，非零元）与分裂扩张 ℤ ⊕ ℤ/2（零元）。而 Ext¹(ℤ/2, ℤ/2) ≅ ℤ/2 的两类更直观：ℤ/2 ⊕ ℤ/2（Klein）与 ℤ/4（图 3-6）——「四个元素、2 阶核、2 阶商」的群恰此两种，账本一查便知。

Baer 和的直观。两个扩张「叠加」：把 B ⊕ B′ 拉回（取对角 ⟨(c, −c)⟩ 的商），得到的仍是 A 被 C 的扩张。分裂元是加法单位元；ℤ/4 类与自身相加回到 Klein——「扭两次弹回并排」。3.11 的群扩张将把这招用在真正的群上。

第三章 导出函子：从 Ext 看扩张3.8 长正合列与维数迁移

★★★ 定理（长正合列）。短正合列0 → A → B → C → 0 对任意 N 诱导0 → Hom(C, N) → Hom(B, N) → Hom(A, N) --δ→ Ext¹(C, N) → Ext¹(B, N) → Ext¹(A, N) --δ→ Ext²(C, N) → ⋯。连接同态 δ 由图追踪定义（与第二章蛇引理 δ 同一门手艺）。∎

递推计算器。长正合列是 Ext 的主要算器：六段中知道五段，第六段被「核 ＝ 像」夹出。样板：由 ℤ --×2→ ℤ → ℤ/2 的长正合列0 → ℤ --×2→ ℤ → Ext¹(ℤ/2, N) → 0（N 内射时后段为零），立刻读出 Ext¹(ℤ/2, N) ≅ N/2N——与 3.6 的定理互为印证。

维数迁移。长正合列同时是「塔高的天平」：若 A、C 的塔高都不超过 n，则 B 的塔高不超过 n；若 A、B 不超过 n，则 C 不超过 n ＋ 1——「关系错一层，误差升一级」。3.14 将把这套语言升格为同调维数的正式定义，而 Hilbert 合冲定理（第四章）会给出多项式环上的精确塔高。

第三章 导出函子：从 Ext 看扩张3.9 与 Hom 的演算规则

★★ 演算四则。Ext 的日常运算只有四条：① 双可加：Extⁿ(M ⊕ M′, N) ≅ Extⁿ(M, N) ⊕ Extⁿ(M′, N)，对第二变量同理；② 零元检测：Extⁿ ＝ 0 当第一变量投射或第二变量内射；③ 矩阵读法：关系矩阵 A 的不变因子直接决定 Ext（3.13 手册）；④ 对偶回望：Hom(ℤ/m, ℤ/n) ≅ ℤ/gcd(m, n) 与 Ext¹(ℤ/m, ℤ/n) ≅ ℤ/gcd(m, n) 同款不同位——前者是「能落进去的映射」，后者是「落进去后差多少才能满」。

为什么 Ext² 消失。pid 上每个有限生成模都有塔高 1 的分解（Smith 标准形一步到位），于是上链复形只有两站，第三站开始无账可记。这是 pid 的福气——多项式环 k[x, y] 上塔可以任意高（第四章的 Koszul 复形），Ext²、Ext³ 才开始显出真正的威力。

同款不同位再一例。Hom(ℤ/2, ℤ) ＝ 0：ℤ 无 2 阶元，「落不进去」；Ext¹(ℤ/2, ℤ) ＝ ℤ/2：「落不进去」这件事本身有个 2 阶的读数。同调代数把「失败」也变成可以分级的量——这是全册方法论的缩影。

第三章 导出函子：从 Ext 看扩张3.10 群上同调：Ext 的第一个舞台

★★ 定义。群 G、G-模 A（交换群带 G 作用），群上同调定义为Hⁿ(G; A) ＝ Extⁿ_ℤG(ℤ, A)：把系数环从 ℤ 换成群环 ℤG，第一变量固定为平凡模 ℤ。Ext 机器原样开动，只是「关系矩阵」换成 G 的乘法表——群的结构被翻译成 ℤG 上的 relations。

H² 与群扩张。群扩张 1 → A → E → G → 1 的等价类由 H²(G; A) 分类（中心情形）。样例：H²(C₂; ℤ/2) ＝ ℤ/2，两类扩张即 ℤ/2 ⊕ ℤ/2 与 D₄ 的四元旋转子群版本 ℤ/4——「同一个商、同一个核，黏出不同的群」。半直积对应一类特殊扩张，其分类片段落在 H¹ 与作用信息里。

周期性。循环群的群上同调有惊人秩序：H^2k(C_m; ℤ) ≅ ℤ/m、H^2k+1(C_m; ℤ) ≅ 0——每两格重复一次（ℤC_m 的分解塔周期为 2）。「环的代数决定同调的节拍」，这是 Ext 思想最干净的展示之一。

第三章 导出函子：从 Ext 看扩张3.11 应用：Galois 上同调一瞥

★★ 把群上同调的 G 换成 Galois 群，A 换成域的乘法群或加法群，Ext 的账本立即开始回答数论问题。样例：Hilbert 定理 90 说，对 Galois 扩张 L/K，H¹(Gal(L/K); L^×) ＝ 0——「范数为一的元素都是已知的斜积」。非零的 H² 则度量「交叉同态的阻碍」，其读数恰好给出门类齐全的中心单代数（Brauer 群的构造性一面）。

为什么 Ext 是对的工具。Galois 群作用在域上，「不变量的补全」「约束的松弛」天然是扩张问题：1 → L^× → GL₂(L) → PGL₂(L) → 1 能否由 GL₂(K) 在中间「接住」？障碍是什么量？把问题写成正合列、把障碍交给 H²，答案自动落账——这是「把问题翻译成正合列」这一方法论最著名的战场。

一瞥即止。本节不展开证明（需要域论的铺垫），只立路标：Galois 上同调 → Brauer 群 → 有限域上的「所有中心单代数都是矩阵代数」——Weil 界限与 Frobenius 的同调解读，都在这条路的延长线上。只需留下一个印象：Ext 的账本在数论里同样通用。

第三章 导出函子：从 Ext 看扩张3.12 现代接口：层上同调

★★ 再换一次变量。把「模」换成拓扑空间或代数簇上的层（stalk 上是模的局部-整体数据），投射分解换成层的内射分解（脆层、flasque），Ext 机器原样运转——产出层上同调 Hⁿ(X, F)。这是现代代数几何与复几何的标准语言。

三个路标。① H¹(X, O^×) ＝ Pic(X)：线丛（可逆层）的分类群——「局部都可解、整体有阻碍」的几何翻译；② 紧黎曼面上 H¹(X, O) 量全纯结构的形变自由度，与 H¹(X, O^×) 携手给出除子类的记账；③ 常值层的 H² 与拓扑同调在良好空间上一致——层上同调把拓扑与分析接在同一本账上。

与本册的接口。第六章的导出范畴将把「取分解再取同调」这套两步流程封装成新的语言：对象即复形、态射即链映射、同构即拟同构。届时 Ext 与层上同调都是同一台机器的输出——Grothendieck 的名言「一般性 functor 化」正是本册「导出函子」思想的最大兑现。此处先立碑，第六章再见。

第三章 导出函子：从 Ext 看扩张3.13 Ext 的计算手册：自由消元法

★★ 手册三步。给定 ℤ 上的有限生成模 M：① 写关系矩阵 A（列＝关系生成元），M ＝ coker(A)；② 作用 Hom(−, N)：对 N ＝ ℤ，映射矩阵变为 A 的转置 A^T（「关系」变「约束」）；③ 读账：Ext⁰ ＝ ker A^T，Ext¹ ＝ coker A^T，不变因子由Smith 标准形读出（第一章的看家本领原样回归）。

子式 gcd 读法。不变因子定理的现代记法：d₁⋯d_k ＝ gcd(全体 k 阶子式)。对角阵 diag(2, 3)：一阶子式 gcd(2, 3) ＝ 1，二阶子式唯一为 6，故不变因子 [1, 6]——Ext¹(ℤ/2 ⊕ ℤ/3, ℤ) ≅ ℤ/6。注意读数是 ℤ/6 而非 ℤ/2 ⊕ ℤ/3：Smith 合并把互素因子卷成一条——中国剩余定理的同构在账本上显形（实验页将逐字验算）。

换系数 N ＝ ℤ/n。此时 Hom 的映射要在 ℤ/n 里读：Ext¹(ℤ/m, ℤ/n) ≅ ℤ/gcd(m, n)——gcd 就是「在 n 的世界里 m 的约束强度」。本表与 3.9 的命题共同构成本章全部计算的理论底盘。

第三章 导出函子：从 Ext 看扩张3.14 同调维数：量「堵」的尺子

★★★ 定义（投射维数）。pd(M) ＝ min{p : Extⁿ(M, −) ＝ 0 对一切 n > p}——使 Ext 全零的最短塔高。环 R 的左整体维数 gl.dim ＝ sup pd(M)（M 取遍一切左模）。这是「Hom 失灵最多失几层」的正式刻度。

三档读数。① 域：一切模自由，pd ＝ 0，gl.dim ＝ 0——线性代数的世界无堵；② 主理想整环：pd(ℤ/n) ＝ 1，gl.dim ≤ 1（ℤ 与 k[x] 皆是）——堵最多一层；③ k[x₁, …, x_n]：Hilbert 合冲定理断言 gl.dim ＝ n——「n 个变量的消元至多 n 层、且确有要 n 层的模」（第四章正面证明，此处先记账）。

长正合列的天平用法。由 3.8 的维数迁移：0 → ℤ --×n→ ℤ → ℤ/n → 0 中 ℤ 的 pd ＝ 0，ℤ/n 不投射（Ext¹ ≠ 0）故 pd ＝ 1——两端夹出，不必亲手铺塔。「用长正合列夹维数」是日常手艺，习题课（二）将整页演练。

第三章 导出函子：从 Ext 看扩张3.15 从 Ext 看正则与奇点

★★★ 几何影子。局部环的「光滑与否」有同调判据：Auslander–Buchsbaum–Serre 定理说，正则局部环 ⟺ 整体维数有限。以多项式局部环 k[x, y]_{(x, y)} 为镜：它是正则的（维数 2），gl.dim ＝ 2——「两个变量的几何，同调至多堵两层」。

奇点的账单。对比 k[[x, y]]/(x², y²)：它有 nilpotent（x² ＝ 0），不是正则环。同调读数：k 作为其模的 pd 无穷——Ext 永不消失。「奇点 = Ext 的账本收不了场」——代数几何里「光滑即无奇点」的同调表达由此落地。

为什么值得在一瞥里讲。本册的 Ext 至此三线并进：纯代数线（扩张分类）、群论线（群上同调）、几何线（层与奇点）。三条线共用同一台机器、同一套长正合列、同一把维数尺——「同调代数是数学的公共会计系统」不再是口号，而是三张对得上账的报表。奇点的完整理论（深度、Cohen–Macaulay）是第四章 Tor 与维数理论的下一站。

第三章 导出函子：从 Ext 看扩张3.16 收束：扩张是结构的接缝

★ 本章一回望。我们从「Hom 右端断裂」出发，造出导出函子 Ext：投射分解摊塔、Hom 作用反转、逐阶取同调。良定义性由链同伦的斜桥担保；Ext¹ 分类扩张（Baer），长正合列供递推，pid 上退化为 gcd 速算；群上同调、Galois 上同调与层上同调是同一台机器的三个舞台；同调维数量「堵」，正则性与否由账本能否收场裁决。

一句总纲。「正合」是理想世界的平整；现实是接缝，而 Ext 为每道接缝编号、量深、定类。分裂与否、延拓可行与否、维数几层——散落各处的定性问题统一成一张可以加减运算的账。这一「把失败算成不变量」的姿势，是同调代数对全部现代数学的方法论馈赠。

下一章预告。Hom 的对偶面是张量积：Hom(−, N) 左正合，而 − ⊗ N 右正合——断裂在另一端。补全它的账本叫 Tor，它与挠元的关联比 Ext 更原始（ℤ/m ⊗ ℤ/n ≅ ℤ/gcd）；平坦模、局部化、Hilbert 合冲定理与正则环的第二判据依次登场。翻页即达。

一行预告：Ext 记「延拓之堵」，Tor 记「放大之胀」——同调代数的左手与右手。

第三章 导出函子：从 Ext 看扩张例题一：Ext 的计算

★★ 例 3-1。依 3.13 手册计算：（i）Ext¹(ℤ/12, ℤ)；（ii）Ext¹(ℤ/4 ⊕ ℤ/6, ℤ)；（iii）Hom(ℤ/12, ℤ/18) 与 Ext¹(ℤ/12, ℤ/18)。

解（i）。标准分解 0 → ℤ --×12→ ℤ → ℤ/12 → 0，作用 Hom(−, ℤ) 得 0 → ℤ --×12→ ℤ → Ext¹ → 0。长正合列末端读出 Ext¹(ℤ/12, ℤ) ≅ ℤ/12。（手册一句话：×m 的余核就是 ℤ/m。）

解（ii）。可加性：Ext¹(ℤ/4 ⊕ ℤ/6, ℤ) ≅ ℤ/4 ⊕ ℤ/6。再经 Smith 合并：关系矩阵 diag(4, 6) 的一阶子式 gcd ＝ 2、二阶子式 24，不变因子 [2, 12]，故同构于 ℤ/2 ⊕ ℤ/12。两种写法阶都是 24——账目平衡。

解（iii）。速算表：Hom(ℤ/12, ℤ/18) ≅ ℤ/gcd(12, 18) ＝ ℤ/6（映射由 1 ↦ 6k 决定，像落在 6 的倍数里）；Ext¹(ℤ/12, ℤ/18) ≅ ℤ/6——同款不同位：一个数「能落进的映射」，一个数「落不完的余数」。方法论：pid 上 Ext 的计算＝分解、查表、合并三步，全程不铺高于 1 层的塔。

第三章 导出函子：从 Ext 看扩张例题二：扩张的分类

★★ 例 3-2。分类 8 阶群的扩张：求一切短正合列 0 → ℤ/2 → E → ℤ/2 → 0的等价类（E 为 4 阶群），并写出 Baer 和的加法表。

第一步：账本定容量。Ext¹(ℤ/2, ℤ/2) ≅ ℤ/2（速算表 gcd(2, 2) ＝ 2）——恰两个等价类。直觉核对：4 阶交换群只有 Klein 四元群与 ℤ/4，两类各认领一个。

第二步：对号入座。Klein 版：0 → ℤ/2 → ℤ/2 ⊕ ℤ/2 → ℤ/2 → 0（第一个入射为因子的第一分量），分裂，类为零元。ℤ/4 版：0 → ℤ/2 --×2→ ℤ/4 → ℤ/2 → 0（ℤ/4 的子群 {0, 2}），非分裂——ℤ/4 中没有 2 阶补元（唯一的 2 阶元已在核里）。非零类。

第三步：Baer 和。[ℤ/4] ＋ [ℤ/4] ＝ [Klein]（扭两次弹回并排）：把 ℤ/4 ⊕ ℤ/4 对 ⟨(2, 2)⟩ 作商、重新剪裁两端，得 ℤ/2 ⊕ ℤ/2。加法表两行两列、与 ℤ/2 完全一致——「分类群」名副其实。方法论：先算 Ext 定容量，再逐一对号验证正合性，最后用 Baer 和收口。

第三章 导出函子：从 Ext 看扩张习题课（一）：基本功

★ 以下四题只用 3.9 与 3.13 的速算表。

练 3-1。求 Ext¹(ℤ/5, ℤ) 与 Ext¹(ℤ/m, ℤ)（m ≥ 1）。

答。ℤ/5；一般 ℤ/m。关键一步：×m 非满，长正合列末端读出余核。

练 3-2。求 Hom(ℤ/8, ℤ/12) 与 Ext¹(ℤ/8, ℤ/12)，并指出二者为何同构不同义。

答。都是 ℤ/gcd(8, 12) ＝ ℤ/4。前者是「落得进去的映射」（1 ↦ 3k），后者是「落不满的余账」。

练 3-3。判断扩张 0 → ℤ/3 --×3→ ℤ/9 → ℤ/3 → 0 是否分裂，并给出账本证据。

答。非分裂：Ext¹(ℤ/3, ℤ/3) ≅ ℤ/3，本列对应非零元（ℤ/9 中 3 阶元唯一，无补）。

练 3-4。求 Ext¹(ℤ, ℤ/6)，并用消失判据解释。

答。0：ℤ 自由（投射），第一变量零贡献——消失判据直接判定。

第三章 导出函子：从 Ext 看扩张习题课（二）：进阶

★★★ 以下四题动用长正合列与维数语言。

练 3-5。由扩张 0 → ℤ/2 → ℤ/4 → ℤ/2 → 0 对 ℤ 作用Hom(−, ℤ)，写长正合列并反推 Ext¹(ℤ/2, ℤ)。

答。0 → Hom(ℤ/2, ℤ) ＝ 0 → Hom(ℤ/4, ℤ) ＝ 0 → Hom(ℤ/2, ℤ) ＝ 0 --δ→ Ext¹(ℤ/2, ℤ) → Ext¹(ℤ/4, ℤ) → ⋯。中段 Hom 全零，δ 处直接读 Ext¹(ℤ/2, ℤ) ≅ Ext¹(ℤ/4, ℤ) ≅ ℤ/2。

练 3-6。证明 pd(ℤ/n) ＝ 1。

答。非投射（Ext¹ ≠ 0）故 pd ≥ 1；塔高 1 的分解存在故 pd ≤ 1。夹出。

练 3-7。两种读法核对：Ext¹(ℤ/6, ℤ) 直接算与拆成 ℤ/2 ⊕ ℤ/3 计算，结果一致吗？

答。直接 ℤ/6；拆算得 ℤ/2 ⊕ ℤ/3 ≅ ℤ/6（CRT）。可加性与 Smith 合并互证。

练 3-8（展望）。ℚ 可除故内射，但作为 ℤ-模不投射。问 Ext¹(ℚ/ℤ, ℤ) 的「体量」如何？（提示：ℚ/ℤ ≅ ⊕_pℤ^∞/p——直和爆炸，可加性给出一眼望不到头的直积。这是第四章 Tor 与平坦世界的先声。）

第三章 导出函子：从 Ext 看扩张第三章地图：概念依赖关系

三条阅读路线。① 主线速通（3.1 → 3.5 → 3.7 → 3.8）：断裂、造机器、分类扩张、递推——约十页，是第四章的最低装备；② 计算侧翼（3.3 → 3.9 → 3.13 → 3.14）：分解、速算、手册、维数，适合先动手再回主线；③ 舞台侧翼（3.10 → 3.12）：群、Galois、层，看同一台机器的三种布景。例题与实验页在三条线交汇：例 3-1 走计算线，例 3-2 走主线，实验页把手册变成代码。

与邻章的关口。入口承接第一章的分解与 Smith 标准形、第二章的同调机与长正合列手艺；出口有二：向第四章交出「维数」这把尺（Tor 侧的重演）与「正合列翻译」的方法论；向第六章交出「导出函子即万有 δ-函子」的伏笔（挑战页）。

第三章 导出函子：从 Ext 看扩张第三章小结（上）：概念与定理

★ 概念与定理一表存档；「▶」标全册反复引用项。

概念卡齐。下一页方法与回望。

第三章 导出函子：从 Ext 看扩张第三章小结（下）：方法与回望

★ 四件手艺。① 正合列翻译：把「能否延拓」「是否分裂」写成正合列，把未知量交给 Ext；② 三步计算：分解 → 作用 → 取同调（实验页的代码即此）；③ 长正合列夹读数：六段知五段，第六段被夹出；④ 维数天平：用迁移规则在短正合列两端夹塔高。

两处易错。其一，Ext¹ 的元素是扩张的等价类，不是扩张本身——同一类里 B 同构，类间必有不可延拓的差别；其二，消失判据有方向：第一变量投射则全消，第二变量投射不保证消失（ℤ/n 接 ℤ/m 照样出 ℤ/gcd）——内射才管第二变量。

回望一句。第二章把「误差」装订成同调，本章把「失灵」装订成 Ext：两章共用「分层、取核、模像」三板斧，只是台上的主角从复形换成了函子。会算 ℤ/n 的 Ext，就已摸到群上同调（H²(C_m; ℤ) ＝ ℤ/m）与代数几何（正则 ⟺ 有限维数）的门环——会计系统的通用性正是它最大的美德。

下一步：思想卡——「堵」的哲学，随后挑战万有性。

第三章 导出函子：从 Ext 看扩张思想卡：不可逆时，量它的「堵」

★★ 三个堵的读数。×2 : ℤ → ℤ 是单而不满的映射：它的「堵」有一个名字 coker ＝ ℤ/2，有精确的厚度（2 阶）、可以参与运算（ℤ/2 ⊕ ℤ/3 ＝ ℤ/6）。 Hom 的右端断裂是一族这样的堵，Ext¹ 把它们编号立账；Ext 也会失灵，于是 Ext²、Ext³ 继续——「量堵」本身也分层。

与 d² ＝ 0 的血缘。第二章思想卡说「d² ＝ 0 是同调的天赋」，本章补上另一半：正因 d² ＝ 0，Hom 作用后 δ² ＝ 0 自动成立，「取核模像」才能在断裂处继续营业。公理一层不丢地过户——这正是「导出」二字的深意：导出的不是公式，是整座公理体系。

方法论的外延。「不可逆时量它的堵」远不止代数：统计里不可逆过程量熵增，分析里不可解方程量障碍类（下一章的 Tor 将量「放大的胀」）。同调代数的独特贡献是：堵的厚度可以成为群——可以加、可以分类、可以互相印证。当一个领域的「失败」开始成群运算，它就具备了结构科学的雏形。

第三章 导出函子：从 Ext 看扩张挑战：导出函子的万有性

★★★★ 目标：证明 Ext 不只是「一种取同调」，而是 Hom 的万有右导出函子——任何与 Hom 在投射处一致的同调式函子都由 Ext 唯一实现。这是导出函子理论的拱顶石。

第三章 导出函子：从 Ext 看扩张实验：Ext 的数值对拍

★★ 把 3.13 的手册交给程序：对五个有限呈现模实算 Ext¹(M, ℤ)，并与速算表对拍。约定 DT 存 Hom 后的矩阵 A^T（ℤ^g → ℤ^r），不变因子由子式 gcd 定理读出。

# Ext 的自由消元法：M = coker(A)，A 的列是 M 的关系生成元。
# 分解 0 -> Zr --A--> Zg -> M -> 0 作用 Hom(-, Z)，箭头反转：
#   Ext0(M,Z) = ker AT = Hom(M,Z)，Ext1(M,Z) = coker AT。
# 不变因子用子式 gcd 读出：d1...dk = gcd(全体 k 阶子式)。
from math import gcd
from itertools import combinations

def det(A):
    n = len(A)
    if n == 1: return A[0][0]
    if n == 2: return A[0][0]*A[1][1] - A[0][1]*A[1][0]
    return sum((-1)**i * A[i][0] * det([r[1:] for r in A[:i]+A[i+1:]])
               for i in range(n))

def invs(M):
    """Smith 不变因子 (>1)：d_k = D_k/D_(k-1)，D_k = gcd(k 阶子式)。"""
    m = len(M); n = len(M[0]) if M else 0
    out, prev = [], 0
    for k in range(1, min(m, n) + 1):
        g = 0
        for rs in combinations(range(m), k):
            for cs in combinations(range(n), k):
                g = gcd(g, abs(det([[M[i][c] for c in cs] for i in rs])))
        if g == 0: break
        out.append(g // prev if prev else g); prev = g
    return [t for t in out if t > 1]

def grp(m, iv, free):
    parts = (['Z'] if free == 1 else ['Z^%d' % free] if free else [])
    parts += ['Z/%d' % t for t in iv]
    return ' ⊕ '.join(parts) if parts else '0'

def ext1(DT):
    """DT = AT（映射 Zg -> Zr）：Ext1(M, Z) = coker DT 的型。"""
    if not DT: return '0'
    m, n = len(DT), len(DT[0])
    rk = 0
    for k in range(1, min(m, n) + 1):
        g = 0
        for rs in combinations(range(m), k):
            for cs in combinations(range(n), k):
                g = gcd(g, abs(det([[DT[i][c] for c in cs] for i in rs])))
        if g == 0: break
        rk = k
    return grp(m, invs(DT), m - rk)

print('Ext1(Z/2, Z)     =', ext1([[2]]))
print('Ext1(Z/6, Z)     =', ext1([[6]]))
print('Ext1(Z/2+Z/3, Z) =', ext1([[2, 0], [0, 3]]))
print('Ext1(Z/2+Z, Z)   =', ext1([[2, 0]]))
print('gcd 样例：Ext1(Z/4, Z/6) = Z/%d' % gcd(4, 6))

实跑输出。

Ext1(Z/2, Z)     = Z/2
Ext1(Z/6, Z)     = Z/6
Ext1(Z/2+Z/3, Z) = Z/6
Ext1(Z/2+Z, Z)   = Z/2
gcd 样例：Ext1(Z/4, Z/6) = Z/2

读数。① 五例程序读数与速算表逐行相符——「Ext¹ ＝ coker A^T」的消元法可放心当计算器用；② 第三行是全场亮点：输入 ℤ/2 ⊕ ℤ/3，程序写出 ℤ/6——子式 gcd 给出不变因子 [1, 6]，互素因子在账面上自动合并，中国剩余定理的同构被程序「亲手」执行；③ 末行 gcd 样例与练 3-2 呼应：Ext¹(ℤ/4, ℤ/6) ＝ ℤ/2；④ 分解长均为 1，上链复形只有两站——Ext² 及以上无处立账，这正是 3.9「pid 上 Ext^≥2 ＝ 0」的程序版。

第三章 导出函子：从 Ext 看扩张〖札记〗大衍求一术与同余

★ 秦九韶《数书九章》（1247）集大成的大衍总数术，是中国古代同余理论的巅峰：物不知数类的一次同余方程组 x ≡ a_i (mod m_i)，先「两两不成倍」地把模数化约成互素的定数，再对每个定数求乘率——「大衍求一术」以辗转相除的奇偶步进，解 k·M_i ≡ 1 (mod m_i)，最后合成答案。整台机器的两个核心动作：化互素、求逆元——与 Smith 标准形把关系矩阵化成不变因子、与扩展欧几里得求模逆，一脉同源。

求一与求和。大衍术的落点是合并：x ≡ 2 (mod 3)、x ≡ 3 (mod 5)、x ≡ 2 (mod 7) 的解x ≡ 23 (mod 105)——互素模可合并成一个复合模，ℤ/3 ⊕ ℤ/5 ⊕ ℤ/7 ≅ ℤ/105。本章实验页里，程序把 Ext¹(ℤ/2 ⊕ ℤ/3, ℤ) 直接写成 ℤ/6，同一出戏的现代重演：不变因子是「合并后的写法」，初等因子组是「分账的写法」，两种记法在 Smith 标准形里互换。

求一术的同调侧影。乘率 k 满足 k·M ≡ 1 (mod m)，即「M 在 ℤ/m 里可逆」——而 Ext¹(ℤ/m, ℤ/n) ≅ ℤ/gcd(m, n) 恰好量出「m 在 n 的世界里有多可逆」：gcd ＝ 1 时账目清零（可逆、无堵），gcd > 1 时堵出 ℤ/gcd。九百年前的求一术与今天的 Ext 速算，都在回答同一个问题：一个数在另一个数的世界里，还剩多少转身的余地。

第三章 导出函子：从 Ext 看扩张第三章速查表

★ 全章核心结论一页备查；「▶」标全册反复引用项。

第三章至此收官。下一页衔接讲义，通往 Tor 与平坦。

第三章 导出函子：从 Ext 看扩张衔接讲义：通往Tor 与平坦——张量积的另一面

★★ Hom 有一个形影相对的伙伴：张量积 − ⊗ N。第一章 1.9 已见过它的脾气：ℤ/m ⊗ ℤ/n ≅ ℤ/gcd(m, n)——张量积会把挠元「放大」出来。它与 Hom 恰成对偶：Hom(−, N) 左正合（右端断裂），− ⊗ N 右正合（左端断裂）——把短正合列送进 ⊗ N，得 A ⊗ N → B ⊗ N → C ⊗ N → 0 正合，但最左端 A ⊗ N → B ⊗ N 未必单：张量积会吞单射。

第四章的剧本。与本章逐字镜像：① 取投射分解F_• → M，作用 − ⊗ N（这次不反转箭头——张量共变），逐阶取同调，得 Tor_n(M, N)；② Tor₁ 接住被吞掉的单性，Tor₀ ＝ 张量积本身；③ Tor 对称：Tor_n(M, N) ≅ Tor_n(N, M)——Ext 没有的福利。随之登场的是平坦模：⊗ N 永不断裂 ⟺ N 平坦——「没有涟漪的作用」，局部化是最重要的例子；而 Hilbert 合冲定理与正则环的第二判据，将把本章的维数尺锻造成型。

为什么值得期待。Ext 量「延拓之堵」，Tor 量「放大之胀」；一个反变、一个共变；一个管 Hom、一个管 ⊗。两手都全之后，谱序列（第五章）才有资格把两本账合订——万有系数定理正是 Ext 与 Tor 的同台演出。机器已热，翻页即达。

一行预告：Hom 的镜子照断口，⊗ 的镜子照胀缝——Tor 是那一半还没写的账。

第四章 Tor、平坦与维数第四章导引：张量积何时保持正合

★ 第三章把 Hom 的断口立了账，收获 Ext。本章换一面镜子照同一个世界：张量积模 − ⊗ N。它与 Hom 恰成对偶——Hom(−, N) 反变、左正合，断在右端（映射不必满）；− ⊗ N 共变、右正合，断在左端（单射会被吞）。把左端补全的账本，就是 Tor（图 4-0）。

本章的三步走。① 立 Tor 的定义并证明它与 Ext 的镜像关系，顺手收获一份礼物——对称性 Tor_n(M, N) ≅ Tor_n(N, M)（4.1–4.3）；② 命名一类「不起涟漪」的作用：平坦模，即 ⊗ N 处处不断裂者，局部化是最重要的例子（4.4–4.8）；③ 把维数升格为环的刻度：整体维数、弱维数、平坦维数，直到 Hilbert 合冲定理 与 Auslander–Buchsbaum 把「多项式消元步数」与「几何光滑」焊在一起（4.9–4.15）。

一行预告：Hom 的镜子照断口，⊗ 的镜子照胀缝——第三章写了一本账，本章写它的对偶本，两本合订才有万有系数定理。

第四章 Tor、平坦与维数4.1 张量函子与右正合

★★ 张量积回顾。模 M 与 N 的张量积 M ⊗_R N 由双线性映射的泛性质定义；对固定的 N，− ⊗ N 是共变函子。它与 Hom 由伴随关系相连：Hom(M ⊗ N, P) ≅ Hom(M, Hom(N, P))——这正是「⊗ 与 Hom 互为对偶」的精确含义。

证明骨架。右半段的正合性来自「张量是右正合函子」的泛性质论证：满射张量 N 后仍满，核处由 im 与 im ⊗ N 的对齐给出。左端为何可能失单：看第一章的老朋友 0 → ℤ --×2→ ℤ → ℤ/2 → 0，张量 ℤ/2 后 ×2 在 ℤ/2 上退化为零映射——单性被「吞」掉了（图 4-1）。

被吞掉的单性去哪了。它的核是一个干净的模：ker(ℤ/2 --×2→ ℤ/2) ≅ ℤ/2。这不是偶然，而是 Tor 的第一次亮相：Tor₁ 就是「被吞掉的单性」的账本。与 Ext 的构造逐字镜像，只差箭头不掉头这一处——而这处差别，正是 Tor 比 Ext 多出对称性的根源。

第四章 Tor、平坦与维数4.2 Tor 的定义与对称性

★★★ 定义（Tor）。取 M 的投射分解 F_• → M，张量 N 得复形 F_• ⊗ N（共变，箭头不掉头），令Tor_n(M, N) ＝ H_n(F_• ⊗ N)。

对称性从哪来。把 M 与 N 的分解各取一次、拼成双复形，两条路上的同调一致——这是第二章「复形的两种分解给出同一同调」（比较定理）的直接产物，也是 Ext 不具备的额外便利：Ext 反变于第一变量，掉头就换不来对称；Tor 共变，两边都走得通。

为什么第 0 层是张量积。分解的末段 F₀ → M → 0 张量 N 后仍是 F₀ ⊗ N → M ⊗ N → 0，取 H₀ 得 coker ＝ M ⊗ N。于是 Tor 是一条「张量积的续写」：Tor₀ 是张量积本身，Tor₁ 记下它丢掉的第一层，更高的 Tor_n 记下更深处的断裂。pid 上 Tor 高度 ≤ 1——与 Ext^≥2 ＝ 0 对仗工整。

第四章 Tor、平坦与维数4.3 Tor 与挠元：最初的动机

★★ 最早的例子。第一章 1.9 已算过 ℤ/m ⊗ ℤ/n ≅ ℤ/gcd(m, n)。用循环模的分解 0 → ℤ --m→ ℤ → ℤ/m → 0 张量 ℤ/n，得 ℤ/n --×m--> ℤ/n → ℤ/m ⊗ ℤ/n → 0，于是 Tor₁(ℤ/m, ℤ/n) ＝ ker(×m : ℤ/n → ℤ/n) ≅ ℤ/gcd(m, n)。第 0、1 层同时等于 ℤ/gcd——「挠元相遇必留一笔账」（图 4-3）。

Tor 的名字。Tor 源自 torsion（挠）。整数的挠元就是「阶有限」的元素，而张量一遇到它们就放大：ℤ/4 ⊗ ℤ/6 ≅ ℤ/2 恰是 gcd 那一部分。记号 Tor₁ 直觉上读作「张量积丢掉的那一层挠性」。反过来，把有挠的 N 换成无挠的，账目立刻清零——这正是下一节「平坦」的伏笔。

两个极端。① 若 N 无挠（如 ℤ、ℚ），则 Tor₁(ℤ/m, N) ＝ N[m] ＝ 0——ℤ/m 在无挠世界里找不到「被 m 杀死」的元素；② 若 m、n 互素（如 2 与 3），则 gcd ＝ 1，ℤ/2 ⊗ ℤ/3 ≅ ℤ/3——这是中国剩余定理的前半句，另一句「ℤ/2 ⊗ ℤ/3 ＝ 0」则是它的张量版本。

第四章 Tor、平坦与维数4.4 平坦模：张量的忠实使者

★★★ 定义（平坦模）。模 N 称平坦，若函子 − ⊗ N 是正合函子——即对任一短正合列，张量后左右两端都不断裂（图 4-4）。等价地：Tor₁(M, N) ＝ 0 对一切 M 成立。

「不起涟漪」。把平坦译成图像：− ⊗ N 作用上去，正合列的「水面」一丝不皱——单射仍单、正合仍正合。齐整的例子：自由模平坦（自由模张量不过是各分量摊开）、投射模平坦（它是自由的直和项，直和项保持正合）、局部化平坦（4.6）。反例则总是带挠的：ℤ/n（n ≥ 2）必不平坦。

为什么重要。平坦是「可以用 ⊗ 自由运算」的许可证。代数几何里平坦态射保证「纤维的维数不跳变」，交换代数里平坦延拓保持正合性、可算纤维积——它是「没有意外」的代数保证。本章后半段的维数理论，正是「平坦性到底能有多好」的系统回答。

第四章 Tor、平坦与维数4.5 平坦性的判据与例子

★★ 三张判据。直接按定义验证平坦要检查「一切短正合列」，工程量大。实践中改用等价判据（图 4-5）：① 定义判据：− ⊗ N 保单射；② Tor 判据：Tor₁(M, N) ＝ 0 ∀M；③ 理想判据：当 N 有限生成且 R Noether 时，只需对理想 I ⊆ R 检验 I ⊗ N → N 是单射。

pid 上的简化。当 R 是主理想整环（如 ℤ、k[x]）时，理想都由单元素生成，理想判据退化为一句最省事的话：N 平坦 ⟺ N 无挠。于是 ℤ、ℚ、ℤ[1/2]、ℤ_(p) 全部平坦，而 ℤ/n（n ≥ 2）有 n-挠，必不平坦。

一批例子（判据速查）。自由模 ✓；投射模 ✓；局部化 S⁻¹R ✓；无挠 ℤ-模 ✓；ℚ ✓；ℤ/n（n ≥ 2）✗；k[x]/(x²) ✗（有 x-挠）；ℤ/2 ⊕ ℚ ✗（第一个分量有挠）。记忆锚点：挠 ＝ 涟漪，验平坦先摸「有没有挠」。

第四章 Tor、平坦与维数4.6 局部化是平坦的

★★ 定理（局部化平坦）。设 S ⊆ R 是乘性集，则 S⁻¹R 是平坦 R-模，且 S⁻¹R ⊗_R M ≅ S⁻¹M。∎

为什么。局部化的泛性质给出自然的同构 S⁻¹R ⊗ M ≅ S⁻¹M（两边都「把分母变可逆」）。而局部化函子把短正合列送往短正合列（分母不变，核与像原样搬运），于是 S⁻¹R ⊗ − 正合——局部化平坦。这条定理把「局部研究」合法化：要判断局部性质，可以把模搬到 S⁻¹R 上做而不走样。

实算一例。取 R ＝ ℤ、S ＝ {1, 2, 4, 8, …}，得 ℤ[1/2]。公式 ℤ[1/2] ⊗ ℤ/n ≅ ℤ/(n 的奇部) 一目了然：ℤ/12 → ℤ/3（2-部分被消去），ℤ/8 → 0（纯 2 幂被清零），ℤ/18 → ℤ/9。局部化就是一次「筛选」：把分母中的素数因子对应的成分投影掉，剩下的原样保留——这正是「只看奇素数」的平坦写法（实验页扫描）。

第四章 Tor、平坦与维数4.7 平坦与投射的比较

★★ 层级关系。自由 ⟹ 投射 ⟹ 平坦，三环相套而箭头不可逆（图 4-7）。前两个箭头好理解：自由模有基，张量不过是分量摊开；投射是自由的直和项，直和项保持正合性。困难在平坦 ⟹ 投射不成立。

经典反例：ℚ 对 ℤ 平坦而不投射。平坦：ℚ 无挠（pid 判据）。不投射：用 Baer 判据，投射模须free（ℤ 上投射即自由），而 ℚ 作为 ℤ-模不能有基——任何两个有理数都线性相关于整数系数，ℚ 不是自由模的直和项（它是可除模，自由模不可除）。本质差异就在「无限生成」。

加闸门即重合。补上「有限生成」这道闸门，两者立刻合一：Noether 环上有限生成平坦模即投射；局部环上更进一步，有限生成投射模即自由（Nakayama 引理）。所以「平坦 ⊋ 投射」这块多余的部分，全由无限生成撑起——这正是 Lazard 定理要清理的疆界（4.8）。

第四章 Tor、平坦与维数4.8 纯子模与 Lazard 定理

★★★ Lazard 定理。一个模平坦，当且仅当它是有限生成自由模的滤过直极限；即 N ≅ colim_i F_i，其中每个 F_i 自由、指标集被滤过（图 4-8）。∎

定理的分量。「⟸」好说：自由模平坦、滤过直极限保持平坦。「⟹」是深的一侧：把平坦 N 的所有「有限自由拼块」（即 Rⁿ → N 的有限表达）组织成一个滤过系统，证明 N 是它的极限。这条定理让「平坦」这一抽象条件获得了构造性面孔：平坦模＝自由模的「拼装品」。

纯子模。子模 A ⊆ B 称纯，若对一切 M，A ⊗ M → B ⊗ M 是单射。等价刻画：B/A 平坦 ⟺ A 纯于 B。「纯」是「分裂」在无限世界的替身：有限层上「分裂」意味着B ≅ A ⊕ B/A；到了无限层，完全的分裂太苛刻，纯把要求降到「张量后仍单」——这是同调代数惯用的「软化」手法。

第四章 Tor、平坦与维数4.9 整体维数：环的「同调海拔」

★★★ 定义（整体维数）。模 M 的投射维数 pd(M) 是使 Extⁿ(M, −) ＝ 0 （n ＞ pd）的最小 n，等价于最短投射分解的长度。环 R 的整体维数gldim(R) ＝ sup_M pd(M)（图 4-9）。

基本刻度。域：gldim ＝ 0（一切模自由）；主理想整环：gldim ＝ 1（第三章已算过 Ext^≥2 ＝ 0，而 ℤ/n 的 pd ＝ 1 非零）；多项式环：gldim k[x₁, …, x_n] ＝ n（4.11 的 Hilbert 合冲定理）。整座同调代数的「海拔表」由此铺开。

维数的语义。gldim 量「分解最长能有多深」，也量「Ext 链条要爬到多高才全零」。维数低＝世界简单：gldim ＝ 0 只有半单环（域、M_n(D)），一切模投射，一切正合；gldim ＝ 1 是遗传环（Dedekind 整环、pid 的推广）；维数越高，可用的「层」越多，Ext 梯子爬得越高。第六章的导出范畴将把这条梯子本身做成研究对象的坐标。

第四章 Tor、平坦与维数4.10 弱维数与平坦维数

★★ 平坦维数。仿照投射维数定义平坦维数 fd(M)：使 Tor_n(M, −) ＝ 0（n ＞ fd）的最小 n，等价于最短平坦分解的长度。弱维数 wdim(R) ＝ sup_M fd(M)（图 4-9）。

证明思路。投射分解也是平坦分解（投射 ⟹ 平坦），故 fd ≤ pd，取上确界即得 ≤。等式何时成立的边界，正是「平坦≠投射」的补偿：对 Noether 环，wdim ＝ gldim。

Dedekind 整环。弱维数 ≤ 1 的整环称遗传环；对整环这是「Dedekind 整环」的等价刻画之一 （与「每个理想可逆」「局部化是离散赋值环」并列）。于是 Dedekind 整环上任何模的平坦维数 ≤ 1——与 pid 上「任何模的投射维数 ≤ 1」遥相呼应，只是一边用平坦、一边用投射。三把尺各管一摊，把「环有多深」这件事量得严丝合缝。

第四章 Tor、平坦与维数4.11 Hilbert 合冲定理：多项式环的维数

★★★★ 定理（Hilbert 合冲定理）。设 R ＝ k[x₁, …, x_n]，k 是域。则任何有限生成 R-模 M 都有长度不超过 n 的自由分解；从而 gldim(R) ＝ n。∎

证明的骨架（归纳）。对 n 归纳。设 M 有限生成，取生成元得满射 F₀ ↠ M（F₀ 自由）；核 K ＝ ker 仍是有限生成 R-模。关键一步：把 scalar 限制到 k[x₁, …, x_n-1]，K 在该子环上有限生成，由归纳假设有长度 ≤ n−1 的自由分解；再借 k[x_n] 上的「无挠即自由」补上最后一层。合起来 M 的分解长度 ≤ n（图 4-10）。

Koszul 复形。最简样板：R ＝ k[x₁, …, x_n] 上剩余域 k ＝ R/(x₁, …, x_n) 的极小自由分解即Koszul 复形，各层秩为二项式系数 C(n, k)，总和 2ⁿ。n ＝ 2 时分解 0 → R → R² → R → k → 0——像极了圆周复形，却出现在多项式世界里。

为什么叫「合冲」。分解中每一层的核（关系）称 syzygy（合冲，希腊语「成对同行」）。定理断言：多项式环里合冲链在至多 n 步后终止，剩下的核自由。「多项式消元至多 n 步」——这句话的精确同调版本，就是 Hilbert 合冲定理。

第四章 Tor、平坦与维数4.12 合冲链的终止：Syzygy 定理的证明

★★★★ 要证的命题。在 R ＝ k[x₁, …, x_n] 上，任何有限生成模 M 的第 n 个合冲（即反复取核第 n 次所得）是自由模——这就是「合冲链至多 n 步终止」。∎

第一步：化归为多项式的整除。设 M 有限生成。取 k[x₁, …, x_n-1]（记 R′）为基环，把 M 看成 R′-模。由归纳假设，M 作为 R′-模有长度 ≤ n−1 的自由分解0 → G_n-1 → ⋯ → G₀ → M → 0，其中 G_i 是 R′-自由模。

第二步：升到 R ＝ R′[x_n]。对 R′ 上的自由模 G_i，考虑 R-模 G_i ⊗_R′ R（即系数升到多项式环）。记 P_i ＝ G_i ⊗_R′ R，得 R-模的链0 → P_n-1 → ⋯ → P₀ → M → 0，各项是 R-自由模（自由模基变换后仍自由），但最左端的核 K 未必自由。关键在于 R′ 上的序列0 → G_n-1 → ⋯ → G₀ → M → 0 是否正合；若最末一段出现「扭」——即 G_n-2 → G_n-1 的核，交给 k[x_n] 上的 syzygy 计算。

第三步：R′ 上的链是正合的。由归纳假设，R′ 上分解长度 ≤ n−1，故 P_n-1 → ⋯ → P₀ → M → 0 在 P_n-1 处已正合。现在把整条链在 R ＝ R′[x_n] 上重张：每项升为自由模时，系数上的 x_n 乘法不会破坏正合性，因为 k[x_n] 是 pid，其上的模理论由「无挠即自由」一把管住。如此 M 的 R-自由分解长度 ≤ n，合冲链终止。∎

一句话总结：把多元消元递给一元消元——归纳在「变量个数」上走，每减一个变量，分解长度减 1，n 步之后核自由。这是 Hilbert 1890 年同步解决的「不变式有限性」与「合冲终止」两条难题的同调面貌。

第四章 Tor、平坦与维数4.13 正则局部环与 Auslander–Buchsbaum

★★★★ 深度回顾。局部环 (R, m) 上，M 的 depth 是M 上最长的正则列（每个元素都不是前一个商模的零因子）的长度。总有 depth(M) ≤ dim(M)；等号成立时称 M 为 Cohen–Macaulay 模。R 称 Cohen–Macaulay 若 depth(R) ＝ dim(R)。

推论（正则环的刻画）。设 (R, m, k) 局部 Noether，则 R 正则 ⟺ gldim(R) ＜ ∞，且此时 gldim(R) ＝ dim(R)。证明主干：取 M ＝ k，ABS 给出 pd(k) ＝ depth(R)；而 pd(k) ＝ dim(R) 恰是正则的切空间刻画；有限维数则保证每个 M 的 pd ≤ gldim(R) 有限。

几何味道。「正则」即「局部环的极大理想由 dim(R) 个正则参数生成」，等价于切空间维数 ＝ 局部维数——没有奇点。ABS 定理把它翻译成「每个模都有有限投射分解」，也把「几何光滑」化成了「同调海拔有限」。这正是交换代数与同调代数最著名的一次握手。

第四章 Tor、平坦与维数4.14 应用：相交重数与 Serre 判据一瞥

★★★ Serre 判据。Serre 1956 年给出：局部环 R 正则，当且仅当每个有限生成 R-模都有有限投射维数（并附维数公式 gldim(R) ＝ dim(R)）。这把 4.13 的 ABS 推论升格为全局判据：「环是否正则」＝「同调维数是否有限」。代数几何里读作：「簇在每一点光滑」＝「层上同调不够复杂」。

相交重数。两条曲线相交于一点，「相交几次」直觉上是切触阶数。Serre 公式把它代数化：对局部环中的理想 I, J，相交重数e(I, J) ＝ Σ_i(−1)ⁱ length(Tor_i^R(R/I, R/J))。当相交「横截」（Intersection multiplicity 有意义）时高次 Tor 全消，e(I, J) 退化为长度相除——「两条曲线横截交于一点」的同调判据正是 Tor_{i ≥ 1} ＝ 0。这是 Tor 从「账本」走上「几何测量工具」的第一步。

一瞥的意义。本节不求完备，只求呈现一件事：本章前面的抽象机器（Tor、平坦、维数）一旦上阵，立刻化为几何里可算的整数（重数、维数、切空间）。第四章之后，同调代数不再是「为抽象而抽象」——它给出的是几何的量尺。

第四章 Tor、平坦与维数4.15 现代接口：平坦分解与全纯

★★★ 平坦分解。把投射分解里的「投射」换成「平坦」，得平坦分解：⋯ → F₁ → F₀ → M → 0，F_i 平坦。投射分解总可退化为平坦分解（投射平坦），故平坦分解「更容易存在」——它的长度正是 4.10 的 fd(M)。弱维数有限（wdim ＜ ∞）的环称「有限弱维数环」，是一类比 Noether 环更宽的族。

导出张量积。把 − ⊗_R N 的导出函子写成M ⊗^L_R N（导出张量积），它把 M 的平坦／投射分解与 N 张量后取全同调——换言之 H_n(M ⊗^L N) ＝ Tor_n(M, N)。导出张量积是第六章导出范畴的核心对象，也是代数几何「纤维积」「基变换」的现代语言。「平坦」在这套语言里成为「导出张量积集中在 0 层且无挠」的干净情形。

全纯（faithfully flat）。比平坦更强的一档：N 称忠实平坦，若「M ⊗ N ＝ 0 ⟹ M ＝ 0」——它能「忠实反映是否为零」，故可用来「下降」：要证 M 的性质，可先证 M ⊗ N 的性质再「抬回来」。忠实平坦是代数几何「下降理论」（faithful flat descent）的引擎，让「局部地成立」等价于「整体地成立」——与 4.6 局部化平坦一脉相承，只是这次要把话说得更绝。

第四章 Tor、平坦与维数4.16 收束：平坦是没有涟漪的作用

★★ 本章的两条主线。① Tor 是张量的账本：它接住被吞掉的单性，与 Ext 镜像而立，还多一份对称性；② 平坦是「不起涟漪」的作用：⊗ N 保持一切正合，Tor 全消。局部化是最重要的平坦模，而「无挠」是 pid 上平坦的日常判据。

维数是两条线的交汇。立完 Tor 与平坦，自然要问「到底能有多好」——于是有了三把尺：整体维数（投射侧）、弱维数（平坦侧）与平坦维数。Hilbert 合冲定理给出多项式环的刻度为 n，Auslander–Buchsbaum 把 pd 与 depth 焊在一起，最终炼出「正则 ⟺ 有限整体维数」这块界碑——几何的光滑，成了同调的海拔。

与前后章的接口。入口承接第三章的导出函子工艺与第一章的张量积直觉；出口有二：向第五章交出「Ext 与 Tor 同台」的舞台（Tor 与 Ext 将在万有系数定理与 Künneth 公式里首次同台演出），向第六章交出「导出范畴」的现代舞台（导出张量积）。本章的两本账——一本 Ext、一本 Tor——下一章就要被订成同一册。

一行收束：Ext 量「延拓之堵」，Tor 量「放大之胀」；一堵一胀，一Hom一张量，同调代数的两面镜子至此配齐。

第四章 Tor、平坦与维数例题一：Tor 的计算

★★ 例 4-1。依 4.3 的速算计算：（i）Tor₁(ℤ/12, ℤ/18)；（ii）Tor₁(ℤ/2 ⊕ ℤ/3, ℤ/6)；（iii）Tor₁(ℤ/m, ℚ)。

解（i）。Tor₁(ℤ/12, ℤ/18) ≅ ℤ/gcd(12, 18) ＝ ℤ/6。直接读：0 → ℤ --12→ ℤ → ℤ/12 → 0 张量 ℤ/18，得 ℤ/18 --×12--> ℤ/18，其核由 18/gcd(12,18) ＝ 3 生成，阶为 6，故 ≅ ℤ/6。（与真跑账本首行 (12,18) → 6 一致。）

解（ii）。可加性：Tor₁ ＝ ℤ/gcd(2, 6) ⊕ ℤ/gcd(3, 6) ＝ ℤ/2 ⊕ ℤ/3 ≅ ℤ/6。另一路：ℤ/2 ⊕ ℤ/3 的 Smith 不变因子为 [6]（互素因子合并），故 M ≅ ℤ/6，而 Tor₁(ℤ/6, ℤ/6) ≅ ℤ/6——两路一致。

解（iii）。Tor₁(ℤ/m, ℚ) ＝ ℚ[m]：ℚ 无挠，「被 m 杀死的元素」只有 0，故 ＝ 0。一般原理：N 无挠 ⟹ Tor₁(ℤ/m, N) ＝ 0；ℚ 更彻底——它是可除模，一切 Tor 都消。方法论：Tor 的计算＝「gcd 查表 + 可加性 + 合并」三招，与 Ext 完全对称。

第四章 Tor、平坦与维数例题二：平坦性的判定

★★ 例 4-2。判定下列 ℤ-模是否平坦：（i）ℤ/6；（ii）ℤ[1/2]；（iii）ℚ/ℤ；（iv）ℤ₍₂₎（在 2 处局部化）。

解（i）。不平坦。ℤ/6 有 2-挠（元素 3 满足 2·3 ＝ 0），Tor₁(ℤ/2, ℤ/6) ＝ ℤ/2 ≠ 0——账目留痕，故非平坦。（pid 判据：有挠 ⟹ 不平坦。）

解（ii）。平坦。ℤ[1/2] 是局部化（S ＝ {1, 2, 4, …}），由 4.6 局部化平坦。也可直接看无挠：a/2^k 被 n 杀死当且仅当 a ＝ 0。

解（iii）。不平坦。ℚ/ℤ 每个元素都有有限阶（a/b ＋ ℤ 的阶整除 b），是纯挠模。例如 Tor₁(ℤ/2, ℚ/ℤ) ＝ ℚ/ℤ[2] ≅ ℤ/2 ≠ 0。

解（iv）。平坦。ℤ₍₂₎ ＝ S⁻¹ℤ，S ＝ ℤ ∖ (2)（分母取奇），是局部化故平坦；亦无挠。但注意：若改问「是否投射」——ℤ₍₂₎ 对 ℤ 而言非有限生成，故虽有挠性为零，仍不投射（4.7）。方法论：平坦判定走「有没有挠」三步，投射还要额外过「有限生成」这道闸门。

第四章 Tor、平坦与维数习题课（一）：基本功

★ 以下四题只用 4.3 与 4.5 的速算。

练 4-1。求 Tor₁(ℤ/5, ℤ/10) 与 Tor₁(ℤ/m, ℤ)。

答。ℤ/5（gcd(5,10) ＝ 5）；ℤ/m ⊗ ℤ 与 Tor₁(ℤ/m, ℤ) 皆为 0——ℤ 自由（投射），张量后正合性保持，无账可留。

练 4-2。求 Tor₁(ℤ/6, ℤ/10) 与 Tor₁(ℤ/4 ⊕ ℤ/9, ℤ/12)。

答。ℤ/gcd(6,10) ＝ ℤ/2；可加性 ℤ/gcd(4,12) ⊕ ℤ/gcd(9,12) ＝ ℤ/4 ⊕ ℤ/3 ≅ ℤ/12（Smith 合并 4、3）。

练 4-3。判断 0 → ℤ/3 --×2→ ℤ/6 → ℤ/2 → 0张量 ℤ/3 后是否仍正合。

答。张量得 ℤ/3 --×2--> ℤ/3 → ℤ/3 → 0。×2 在 ℤ/3 上可逆（2 与 3 互素），仍单——此列恰好仍正合；但一般情形会断，断口由 Tor₁(ℤ/2, ℤ/3) ＝ 0 担保。（若换成 ℤ/1 之类就未必。）

练 4-4。若 M 是无挠 ℤ-模，说明 Tor₁(M, N) 是否为零？

答。当 M 无挠时 M 平坦（pid 判据），故 Tor₁(M, N) ＝ 0 对一切 N。方向对比：Tor 判据里「N 平坦」是对第二变量，而对称性让平坦的一边不管在第一还是第二位都清零。

第四章 Tor、平坦与维数习题课（二）：进阶

★★★ 以下四题动用长正合列与维数语言。

练 4-5。由 0 → ℤ --2→ ℤ → ℤ/2 → 0 张量 ℤ/2，写长正合列并读出 Tor。

答。Tor₁(ℤ/2, ℤ/2) → ℤ/2 --0--> ℤ/2 → ℤ/2 ⊗ ℤ/2 → 0。中段 ×2 为零映射，故左边读出 Tor₁(ℤ/2, ℤ/2) ≅ ℤ/2，右边 ℤ/2 ⊗ ℤ/2 ≅ ℤ/2。

练 4-6。证明 fd(ℤ/n) ＝ 1。

答。fd ≥ 1：ℤ/n 不平坦（有挠）故 0 层不行；fd ≤ 1：0 → ℤ --n→ ℤ → ℤ/n → 0 给出长度 1 的平坦分解（ℤ 平坦）。夹出 ＝ 1。与 pd(ℤ/n) ＝ 1 并列。

练 4-7。设 R 是域，问 gldim(R) 与 wdim(R)。

答。皆 0：域上任何模自由（＝投射＝平坦），一切分解在第 0 层终止。

练 4-8（展望）。用 ABS 证明「局部环 (R, m, k) 正则 ⟺ pd(k) ＝ dim(R)」的思路。

答。ABS 给出 pd(k) ＋ depth(k) ＝ depth(R)；k 上正则列长度为零（m k ＝ 0 已把一切压平），故 pd(k) ＝ depth(R) ＝ dim(R)（正则 ⟺ CM）。于是「k 的投射维数恰等于局部维数」——这就是正则性的同调刻画，是第五章谱序列与第六章导出范畴的起点。

第四章 Tor、平坦与维数第四章地图：概念依赖关系

三条阅读路线。① 主线速通（4.1 → 4.2 → 4.4 → 4.9 → 4.11 → 4.13）：右正合、立 Tor、命名平坦、升格维数、多项式环、正则判据——十五页读通本章骨架；② 平坦深潜（4.4 → 4.5 → 4.6 → 4.7 → 4.8）：判据、局部化、与投射的差、Lazard，一条线摸清「平坦到底是什么」；③ 维数侧翼（4.9 → 4.10 → 4.12 → 4.13 → 4.14）：三把尺、合冲终止、ABS、相交重数，偏交换代数与几何应用。

与邻章的关口。入口承接第三章的导出函子工艺（摊塔、取同调）与第一章的张量积直觉（ℤ/m ⊗ ℤ/n）；出口有二：向第五章交出「Ext 与 Tor 同台演出」的舞台（万有系数定理与 Künneth 公式将用到两本账）；向第六章交出「导出张量积与导出范畴」的伏笔（4.15）。

第四章 Tor、平坦与维数第四章小结（上）：概念与定理

★ 概念与定理一表存档；「▶」标全册反复引用项。

概念卡齐。下一页方法与回望。

第四章 Tor、平坦与维数第四章小结（下）：方法与回望

★ 四件手艺。① 镜像构造：把 Ext 的三步搬到张量上，箭头不掉头，换来完成一套 Tor；② gcd 速算：pid 上 Tor 与 ⊗ 都读 gcd，配可加性与 Smith 合并；③ 平坦体检：先摸有没有挠，再看是否局部化，必要时用理想判据；④ 维数天平：用 pd／fd／depth 三条量度在短正合列两端夹数。

两处易错。其一，Tor 是共变的：F_• ⊗ N 的箭头不掉头，与 Hom(F_•, N) 正相反——别把第三章的箭头习惯带过来；其二，平坦 ≠ 投射：ℚ 平坦却不投射，「有限生成」这道闸门一加才重合，别把 pid 上「无挠即平坦」误当成通用规律。

回望一句。第三章与本章是一对镜像：Hom 与 ⊗、Ext 与 Tor、内射与平坦、投射维数与弱维数。两章共用同一台机器（分层、取核、模像），却照出世界相反的两面——一面量「堵」，一面量「胀」。会算 ℤ/n 的 Tor 与判 ℤ[1/2] 的平坦，就已同时握住代数几何的两把常用尺：相交重数（Tor）与下降理论（忠实平坦）。

下一步：思想卡——「没有涟漪」的哲学，随后挑战维数不等式。

第四章 Tor、平坦与维数思想卡：平坦是没有涟漪的作用

★★ 涟漪的三种来源。张量作用会「吞掉单射」，根源是挠：ℤ/2 里的元素能被 2 杀死，于是 ×2 一落到它就塌成零。ℚ 却没有这样的元素——任何非零有理数乘 n 都不归零，涟漪无处可生。所以「无挠」在 pid 上就是「无涟漪」的同义词，而局部化 ℤ[1/2] 更进一步：连分母里的 2 都被搅碎，水面愈发平滑。

与 Ext 的对偶。第三章思想卡说「不可逆时量它的堵」，本章说「不断裂时不立账」：平坦正是 Tor 账目恒零的情形。两台机器的关系像放大镜的正反两面——一面专找瑕疵（Ext），一面专证清白（平坦）。而维数理论把「清白的程度」量化：整体维数高，说明「堵」能爬到高层；弱维数高，说明「胀」也能爬到高层；正则环则两面同时清爽（有限维数）。

方法论的外延。「不打扰的作用」在数学各处现身：线性代数里保范映射、分析里保测度的变换、几何里保距的等距嵌入——它们都在做同一件事：把结构原样搬运而非扭曲。同调代数的独特贡献是把它写成了一条可验证的判据（Tor ＝ 0），并配上度量（维数）。正交投影不动、张量平坦不皱——「不起涟漪」是数学里最被珍视的一类温柔。

第四章 Tor、平坦与维数挑战：弱维数与整体维数

★★★★ 目标：证明wdim(R) ≤ gldim(R)，并说明在 Noether 环上二者相等——这是本章维数三把尺之间最核心的关系。

第四章 Tor、平坦与维数实验：Tor 与平坦性的数值检验

★★ 把 4.3 的手册交给程序：对五个循环模组合枚举 ℤ/n，直接量出 |Tor₁| 与 |Tor₀|，并与 gcd(m, n) 逐行对拍；再取 ℤ[1/2] 演示「平坦地筛」。

# Tor 的自由消元法：M = coker(A)。对循环模 Z/m 与 Z/n，
#   Tor0(Z/m, Z/n) = coker(x m) 的阶，Tor1 = ker(x m) 的阶。
# pid 上二者都等于 gcd(m, n)，枚举 Z/n 即验。
from math import gcd

def tor_cyclic(m, n):
    """枚举 Z/n：乘 m 的核（=Tor1）与余核（=Tor0）的阶。"""
    kern = [x for x in range(n) if (m * x) % n == 0]
    img  = {(m * x) % n for x in range(n)}
    return len(kern), n // len(img)

print('(m, n)   |Tor1|  |Tor0|  gcd')
for m, n in [(2, 2), (4, 6), (12, 18), (2, 3), (8, 12)]:
    t1, t0 = tor_cyclic(m, n)
    print('(%2d,%2d)    %2d      %2d     %2d' % (m, n, t1, t0, gcd(m, n)))
print()
print('对称：Tor1(4,6) =', tor_cyclic(4, 6)[0], '= Tor1(6,4) =', tor_cyclic(6, 4)[0])
print('局部化消去 2-部分：Z[1/2] x Z/12 = Z/3')

实跑输出。

(m, n)   |Tor1|  |Tor0|  gcd
( 2, 2)     2       2      2
( 4, 6)     2       2      2
(12,18)     6       6      6
( 2, 3)     1       1      1
( 8,12)     4       4      4
对称：Tor1(4,6) = 2 = Tor1(6,4) = 2
局部化消去 2-部分：Z[1/2] x Z/12 = Z/3

读数。① 五例程序读数与 gcd 速算逐行相符——「Tor₁ ＝ gcd」的枚举法可放心当计算器用；② 对称行 Tor₁(ℤ/4, ℤ/6) ＝ Tor₁(ℤ/6, ℤ/4) ＝ ℤ/2 是 4.2 对称性的机器证据：两边都要摊塔，结论却同一；③ 末行 ℤ[1/2] ⊗ ℤ/12 ＝ ℤ/3 兑现 4.6：局部化把 2-部分筛尽，奇数部原样留下——这正是「平坦扫描」里无挠模 Tor 全消的微观机制；④ 反观 ℤ/2、ℤ/6：扫描留账 ℤ/2 ≠ 0，故非平坦，与 4.5「有挠即不平坦」的判据一致。

第四章 Tor、平坦与维数〖札记〗开方术与逐位逼近：维数的直观

★ 《九章算术》「少广」章的开方术，与北宋贾宪《黄帝九章算经细草》的增乘开方法，是中国古代逐位逼近的巅峰：求 √N 时，先定最高位，再「借算」逐次下移、层层修正——每退一位，就把误差压小一个数量级。整台机器的精神是把未知量一层层剥出：每一位的确定都是前一位的「余数」再开一次方。

与合冲结构同型。本章 4.11 的 Hilbert 合冲定理把「模 M」一层层摊成自由模：F₀ 先铺平 M，F₁ 铺平第一层「关系」（第一次余数），F₂ 铺平关系的关係……每加一层，就消掉一部分「偏差」，直到核自由、账目归零。开方术的「借算」与合冲链的「取核」是同一种手艺：层层剥离、步步逼近。

维数的直观。开方术为何要逐位而下？因为√N 一般不是有限小数，「一次问不出答案」。同调代数里，一个模为何要摊好几层？因为它的「关系」本身还有关系——环的整体维数，就是剥到自由所需的最深层次。多项式环 k[x₁, …, x_n] 的维数恰为 n，对应「n 元消元至多 n 步」——正是多元版的开方术。九百年后，Hilbert 用自由分解把这份直觉铸成了定理；而秦九韶、贾宪的算筹上，逐位逼近的手感早已把这层结构摸得滚瓜烂熟。

第四章 Tor、平坦与维数第四章速查表

★ 全章核心结论一页备查；「▶」标全册反复引用项。

第四章至此收官。下一页衔接讲义，通往谱序列。

第四章 Tor、平坦与维数衔接讲义：通往谱序列——把误差分页

★★ 第三章与本章各立了一本账：Ext 记「延拓之堵」，Tor 记「放大之胀」。但真实的复形往往两个方向都有微分——行有行账、列有列账，总微分横跨两向，一笔算不动。账房先生的老办法是分页：先按月结，再按年结，最后汇总。

第五章的剧本。① 装机器：定义双复形、滤链与谱序列 E⁰, E¹, E², …，每页配微分 d_r，取同调翻页，页页逼近极限 E^∞；② 发动：Grothendieck 谱序列把「导出函子的复合」写成分页公式，Leray 谱序列让「先投影再算同调」成为可能；③ 读数：Künneth 公式与万有系数定理正是Ext 与 Tor 的同台演出——0 → H_i(X) ⊗ G → H_i(X; G) → Tor₁(H_i−1(X), G) → 0，两本账第一次被订在同一页上。

为什么值得期待。本章的 Ext、Tor 是「一层」的杀手锏；谱序列是「多层」的总调度。它把「层层误差」组织成可迭代的页面，让原本望不到头的计算有了分期偿还的耐心。机器已造好，账本已备齐——下一章，给它们装一台分页机。

一行预告：一本账管一层，一台机管全局——谱序列是同调代数的自动汇总程序。

第五章 谱序列：分页计算的机器第五章导引：当一步算不动时

★ 第三章立了 Ext，第四章立了 Tor，两本账各管一层断裂。但真实的计算往往一层套一层：双重复形上行有行微分、列有列微分，总微分横竖交错（图 5-0 左），一页算不动。账房先生的办法从来只有一种——分页：先按月结，再按年结，最后汇总。

本章的三步走。① 装机器：双重复形、滤链，谱序列的定义与收敛（5.1–5.6）；② 升格：Grothendieck 谱序列把「导出函子的复合」写成一张 E₂ 表，Leray 让「先投影再算同调」成为可能（5.7–5.8）；③ 读数：Künneth 公式与万有系数定理——Ext 与 Tor 第一次同台演出的两台读数（5.9–5.10），随后是图追踪手艺与代数拓扑、层、表示论的三处应用（5.11–5.14）。

一行预告：一本账管一层，一台机管全局——谱序列是同调代数的自动汇总程序。

第五章 谱序列：分页计算的机器5.1 谱序列的动机：双重复形

★★ 定义（双重复形）。一族模 D_{p, q} 铺成网格（p, q ≥ 0），配横向微分 d^h : D_{p, q} → D_{p−1, q} 与纵向微分 d^v : D_{p, q} → D_{p, q−1}，满足 d^h2 ＝ d^v2 ＝ 0 且两向交换（每个方块交换）。沿对角线加总得总复形：Tot_n ＝ ⊕_p＋q＝n D_{p, q}，微分 D ＝ d^h ＋ (−1)^p d^v——符号交错保证 D² ＝ 0（图 5-1）。