本册定位。 §2.2「整环的商域」教我们一件漂亮事：从 ℤ 出发，允许分母取一切非零元，就得到 ℚ——「把不能整除的除法补上」。本册把这个构造推到一般：分母不必取全部非零元，只取一个选好的乘法封闭集合 S，得到局部化 S-1R。自由度一经打开，几何立刻涌现：S 取「全部非零元」得商域；S 取「{2, 4, 8, …}」得二进分数环 ℤ[1/2]；S 取「不被素数 p 整除的一切整数」得 ℤ(p)——只有一个极大理想的环（局部环），其五的「局部块」在此有了制造车间。局部化是现代交换代数与代数几何使用频率最高的操作（「研究一个环，就是在它的每个素理想处局部化地研究」），而它的种子就是 §2.2。
一商域：把除法补齐的教科书构造
定义 1.1（商域）。 设 R 是整环。在集合 R × (R∖{0}) 上定义等价关系
(a, b) ~ (c, d) ⟺ ad = bc，
等价类记作 a/b。全体记 Frac(R)，配加法 a/b + c/d = (ad + bc)/(bd)、乘法 (a/b)(c/d) = ac/bd，成为域——R 的商域（field of fractions）。
两条验证是本构造的全部技术内容：等价关系确是等价（自反、对称、传递各一行），运算良定义（换代表不改变结果，各一行消去）。脚本 A1 对 300 组随机分数核对「ad = bc ⟺ 分数相等」——良定义性的运行时样本。
两个必看的例子：Frac(ℤ) = ℚ（教科书原案）；Frac(F[x]) = F(x)（有理函数域——第四章域扩张的常备素材）。注意构造中「整环」不可省：若 R 有零因子，分数等价会失效（0 与非零元乘出 0，传递性破裂）——这是 §2.2 把商域限定在整环上的原因。
局部化的哲学动机。 商域一步跨得太满：ℚ 里 2 可逆、3 可逆、一切可逆，ℤ 的素因子结构全被抹平。有没有折中——只让一部分元素可逆？这就是局部化。
二分式环：选一批分母
定义 2.1（乘法封闭集）。 R 的子集 S 称为乘法封闭子集（multiplicative set），若 1 ∈ S 且 s, t ∈ S ⟹ st ∈ S。
定义 2.2（局部化）。 设 S 乘法封闭。在 R × S 上定义 (a, s) ~ (b, t) ⟺ 存在 u ∈ S 使 u(at − bs) = 0（整环情形就是 at = bs）。等价类全体配加乘（与商域同样的公式），记作 S-1R。
「存在 u ∈ S」这半句是相对于商域的新增件：当 R 有零因子时，直接要求 at = bs 会出毛病，需要让 S 来「稀释」差异。本册主要在整环与 ℤ/n 上工作，两种情形都能在脚本里看到。
三组标准取法，各有性格：
S 的取法 | S-1R | 得到什么 |
|---|---|---|
R ∖ {0}（整环） | Frac(R) | 商域（一步到位） |
{1, s, s2, s3, …} | R[1/s] | 只让 s 可逆：ℤ[1/2] = 二进分数 |
R ∖ P（P 素理想） | RP | 局部环：只留「P 处」的世界 |
命题 2.3（ℤ[1/2] 的画像）。 ℤ[1/2] = {m/2k : m ∈ ℤ, k ≥ 0}。它的单位群恰是 {±2k}，理想恰由奇数 m 生成——偶因子全部被单位吸收：(6) = (3)（因为 6 = 3·2 而 2 可逆）。
数值注记（B 组）。 脚本验证单位判据：±2k 全体可逆（逆 = ±1/2k 仍在环里），奇数 p 不可逆（p/2k 的逆 2k/p 不在环中，B1）；(6) = (3) 的吸收现象直接算出（B2）。局部化改变的不只是元素，还有理想的标号系统——这与 G 组的素理想对应是一体两面。
三局部环：只有一个极大理想的世界
定义 3.1（局部环）。 交换含幺环 R 称为局部环，若它恰有一个极大理想。
定理 3.2（局部判据）。 R 局部 ⟺ 非单位全体构成一个理想（此时它就是那个唯一的极大理想）。
证明方向的关键一步：若非单位全体成理想 M，则任何真理想都只含非单位，故含于 M——M 包含一切真理想，是唯一的极大理想。反向亦易。□
原型是 ℤ(p) = {a/b : p ∤ b}（分母与 p 互素的分数）：
命题 3.3。 ℤ(p) 是局部环，唯一极大理想 pℤ(p) = {a/b : p | a}；单位恰是 {a/b : p ∤ a, p ∤ b}。
直觉：把 ℚ 的元素按「分子是否带 p 因子」一分为二——带的进极大理想（「无穷小」），不带的可逆。环被挤压到一个素数的近旁：3 的倍数全部沦落为非单位，其它一切都生龙活虎。
数值注记（C、D 组）。 脚本对 8 个样本分数按判据「3 ∤ 分子」分类：非单位 = {3/2, 9/4, 6/7, 12/5}，全是 3 的倍数分子（C1）；非单位对加法封闭（分子仍是 3 的倍数），构成理想（C2）。对照 ℤ：非单位集 = ℤ ∖ {±1}，但 2 + (−3) = −1 是单位——不封闭，故 ℤ 非局部（D1）。这一对例子把判据的正反两面都点亮了。
例 3.4（局部环在课内已见过）。 其五的 ℤ/16 是局部环（唯一极大理想 (2)，幂零）；其四的 F[[x]] 是局部环（唯一极大理想 (x)）。定理 3.2 在两者上的验证：非单位集 = (2) 与 (x)，各自恰是理想。本册的 ℤ(p) 是「非有限环」的第一例——局部性不依赖有限。
局部环还有一枚重要的「指纹」——剩余域。设 R 局部、极大理想 M，则商 R/M 是一个域（M 极大），称为 R 的剩余域（residue field）。三个样本：
- ℤ(3)：M = 3ℤ(3)，剩余域 ℤ(3)/3ℤ(3) ≅ 𝔽3——「把 3 挤成 0 之后剩下的世界」。
- ℤ/16（其五）：M = (2)，剩余域 ≅ 𝔽2。
- F[[x]]（其四）：M = (x)，剩余域 ≅ F——商映射恰好是「取常数项」。
剩余域回答「这个世界里 1 + 1 等于几」：ℤ(3) 的剩余域 𝔽3 里是 2，ℤ/16 的剩余域 𝔽2 里是 0，F[[x]] 的剩余域里是 2·1F。局部化的聚焦、其五的链条件、其四的精度阶梯，在「商掉极大理想」这一步会师——这也是代数几何「点 = 局部环 ＋ 剩余域」定义的两个组成部分。本册 E1/E2 的两次 ℤ/6 手术，用剩余域的语言重述就是：S-1(ℤ/6) ≅ 𝔽3 与 𝔽2 恰是 ℤ/6 在素理想 (3)、(2) 处的剩余域——手术刀落下的位置，正是剩余域开口的地方。
四把局部化做在有限环上：ℤ/6 的两次手术
局部化不只属于无限世界。把 ℤ/6 拿来，S 取「素理想 (3) = {0, 3} 的补集」{1, 2, 4, 5}：
命题 4.1。 S-1(ℤ/6) ≅ 𝔽3。
证明要点. 在局部化中 2·3 = 0 而 2 ∈ S 可逆 ⟹ 3 = 0——素因子 3 的成分被杀死，剩下的正是 ℤ/6 的 3-部分。脚本的分数类引擎给出 3 个等价类，加法表为 3 阶循环、乘法表为 𝔽3（E1）。
反方向同样可行：S = R∖(2) = {1, 3, 5}，则 3 可逆、2·3 = 0 逼死 2，得到 S-1(ℤ/6) ≅ 𝔽2（E2）。两个素理想各领走一个成分：局部化 = 在环上安放一台「成分提取机」，S 选谁，谁的补成分就被除名。这正是其五结构定理「ℤ/12 ≅ ℤ/3 × ℤ/4」的手术原理——局部化是那把手术刀。
注 4.2（与直和分解的关系）。 ℤ/6 ≅ 𝔽2 × 𝔽3（其六的 CRT），而局部化恰好把乘积环的两个因子分别「取出来」：S = R∖(3) 时 𝔽2 成分变零、𝔽3 成分保留。一般地，对乘积环 R × T，取 S = {(r, t) : r 可逆} 的局部化 ≅ T——局部化与直和分解互为两面。其六的幂等元（焊缝标记）在此再次上岗：非平凡幂等元 e 对应分解，局部化沿 e 或 1−e 各取一块。
五万有性质：局部化为什么「最经济」
构造给了解决方案，万有性质给出身份：
定理 5.1（万有性质）。 环映射 φ : R → S-1R（a ↦ a/1）把 S 的每个元素送到可逆元；并且它是初始的——任何把 S 全部送到可逆元的环同态 ψ : R → T，都存在唯一的环同态 ψ′ : S-1R → T 使 ψ = ψ′∘φ（显式公式：ψ′(a/s) = ψ(a)ψ(s)-1）。
读法：局部化是「让 S 可逆」这件事的最小实现——不多做任何事，只强制 S 可逆，其余结构原样保留。「最小」在数学里就意味着可逆、唯一、不依赖选择：ψ′ 的唯一性是定理的内容，它保证不同途径算出的同态必然相同。
数值注记（F 组）。 脚本验证万有性质的最小样本：ψ : ℤ → 𝔽3 把 2 送到 2（单位，2·2 = 1 mod 3），于是延拓 ψ′ 必须把 1/2 送到 ψ(2)-1 = 2；对样本分数核对 a/2k ↦ a·2−k 的良定义性——等价分数 2/4 与 1/2 的像一致（F1）。唯一性不是空话：延拓没有自由度，被 ψ(s) 的逆钉死。
对照：不满足「S 全部可逆」的同态（如 ℤ → 𝔽2，把 2 送到 0）不允许延拓到 ℤ[1/2]——2 在那里可逆，像也必须可逆，而 𝔽2 里 0 不可逆。万有性质自动给出了「哪些同态能延拓」的判别法。
5.1 万有性质为什么是「最经济」：三个失败的对手
对照三个「也想让 S 可逆」的候选构造，看它们输在哪里：
- 强行让 s = 1。 加关系 s − 1 = 0：对 S = {2} 这就是 2 − 1 = 1 = 0，直接得到零环——为了给 2 一张「可逆」的牌，把整个环打碎了。ℤ[1/2] 则保住 ℤ ↪ ℤ[1/2] 的单射，信息分毫未损。
- 强行让 s = 0。 0 不可逆（除非零环），此路从一开始就不通。
- 不做等价类、直接挂形式分母。 (a, s) 与 (b, t) 若不按「ad = bc」认同，通分公式立刻自相矛盾：同一个分数会有两套写法而无法化简。A1 的 300 组等价类核对正是这一步的运行时验证。
S-1R 是唯一「恰好做到、不多做」的构造：它让 S 可逆（s/1 的逆是 1/s），又不多添任何新关系。「最经济」不是修辞，是万有性质里「初始对象」的准确含义。
六素理想的对应：局部化是「聚焦」
定理 6.1。 S-1R 的素理想与 R 中与 S 不交的素理想一一对应（P ↦ S-1P，其逆为收缩）。
例：ℤ 对 S = {1, 2, 4, …} 局部化，得 ℤ[1/2]。ℤ 的素理想是 (p)（p 素数）与 (0)；与 S 相交的只有 (2)（因 2 ∈ S），于是 ℤ[1/2] 的素理想恰是奇素数的 (p) 加上 (0)（G 组验证：(2) 在 ℤ[1/2] 中变成全环，因为 2 已是单位）。
这条对应是局部化最重要的几何后果：局部化 = 放大镜。把注意力集中到素理想 P 附近（S = R∖P），其它素理想被移出画面，环变成局部环 RP，其唯一极大理想 P RP 就是「P 点的邻域」。代数几何的基本口诀「在每点局部化地研究概形，再把局部信息粘合」的操作核心就是它。对本书而言，先把最小样本 ℤ、ℤ/6 的「聚焦」算清楚（本册 E、G 组），第四章域论与模论中的分式构造（§2.2 的商域是 R 取 S = R∖{0} 的局部化）就有了统一的框架。
数值注记（B、C 组）。 构造的机器样本：ℤ[1/2] 的单位恰为 ±2k，奇数 p 全都不可逆（p/2k 的逆 2k/p 不在环里，B1）；理想吸收现象 (6) = (3) 直接算出——偶因子全被单位 2 吸收，理想改由奇数标号（B2）。局部判据的数值对照见第三节的 C、D 组。
数值注记（G 组）。 素理想对应的机器样本：ℤ 对 S = {1, 2, 4, …} 局部化后，(2) 变成全环（2 已是单位），其余 (p) 原样保留（G1）；对应的抽象形态——S-1R 的素理想 ↔ R 中与 S 不交的素理想——在同一组断言里验证（G2）。「局部化是聚焦」不是比喻，是可以逐个理想点名的对应。
七分式构造家族：一张对照表
局部化不是孤立技巧，而是「允许哪些分母」的自由度谱系。把本册出现过的构造并排：
构造 | 分母集 S | 单位群的变化 | 理想的变化 | 本册样本 |
|---|---|---|---|---|
商域 Frac(R) | 全体非零元 | 除 0 外全部可逆 | 只剩 (0) 与全环 | ℚ、F(x) |
R[1/s] | {1, s, s2, …} | s 升为单位 | s 的因子被吸收 | ℤ[1/2]：(6) = (3) |
RP（P 素理想处） | R ∖ P | P 外可逆 | 只留 P 处的素理想 | ℤ(3) 局部环 |
ℤ/6 的手术 | R ∖ (3) | 2 升为单位 | 素因子 3 被杀死 | S-1(ℤ/6) ≅ 𝔽3 |
读法：S 越大，可逆元越多，理想越少——商域是「全部非零元可逆」的端点（理想最稀薄），RP 是「只留一个素理想邻域」的中段。谱系的两端各有一册接力：朝「更多可逆」走，完备化（p 进数）把 ℤp∧ 与 ℤ(p) 区分开（阅读指引的 Gouvêa 一章）；朝「更少理想」走，其八的有限环把维数 0 的世界全部枚举。
这张表也是第二章与第四章的接口清单：§2.2 的商域 = 表的第一行；§2.5 的素理想 = 第三行的「坐标」；第四章域扩张的「局部度」则把商域一行推向完备化。分式构造是贯穿环论的一条经线——把 S 选什么、死谁、活谁三个问题答清楚，一部交换代数的目录就浮现了。
八术语考古、三句话与阅读指引
8.1 名词与历史的来路
- localization（局部化）。 「使局部」的动词化：操作的结果是局部环（或更接近局部的环）。术语在 1940–50 年代随 Chevalley、Zariski 的代数几何定型；法国学派作 « localisation »。它与「局部性质」（在 RP 成立 ⟺ 在某处成立）配套，构成交换代数的「局部—整体」方法论。
- multiplicative set（乘法封闭集）。 也叫 multiplicatively closed set，缩写 m.c.s.。要求 1 ∈ S 与封闭性两条；「被 zero 除」的风险由饱和性条件（或等价类定义中的 u）挡住。这是分式构造两百年演化（从分数到分式环到一般分式）的最终安全设计。
- field of fractions（商域 / 分式域）。 也作 fraction field、quotient field。构造的原始形态是「把整数扩成有理数」，代数化归功于 19 世纪（戴德金对代数数域的处理）；20 世纪被 van der Waerden 教科书固化为「整环 → 商域」的标准定理。
- RP（在素理想处局部化）。 记号读作「R at P」。它是格罗滕迪克概形语言的字母表：素诣点 P 处的局部环 𝒪X,P 就是坐标环在 P 的局部化。「粘合局部」的直觉全部编码在这个记号里。
- 大衍求一术与分式。 本册的分数引擎（等价类 + 通分运算）在算法史上的亲戚是秦九韶的「大衍求一术」——模逆即「单元分母的分子」；其二已用 ℤ[i] 的范数做除法，本册用 S-1R 把「允许的分母」制度化。两条历史线在「除法的制度化」上会师。
8.2 三句话总结
① 商域（§2.2）是局部化的满配版本：S-1R 只让选定的 S 可逆——ℤ[1/2] 的单位恰是 ±2k、理想由奇数标号（偶因子被单位吸收），自由度的收放直接改写环的算术。
② 局部判据「非单位成理想」把 ℤ(p)（唯一极大理想 pℤ(p)）与 ℤ（2+(−3) = −1 破坏封闭）分开；有限样本 ℤ/6 的两次局部化得到 𝔽3 与 𝔽2——局部化是 CRT 分解的成分提取机。
③ 万有性质（ψ 延拓唯一，1/2 ↦ ψ(2)-1）给局部化以「最小实现」的身份；素理想对应（S-1R 的素理想 = R 中与 S 不交者）把局部化变成放大镜——「在每点局部化、再粘合」的现代方法论由此起步。
8.3 阅读指引
- 教材：张英伯、王恺顺《代数学基础（下·第 2 版）》§2.2（整环的商域）——本册是它的直接推广；§2.5（素理想）与 §2.4（直和）是 E、G 组的接口。
- 局部化的标准处理：M. F. Atiyah & I. G. MacDonald, Introduction to Commutative Algebra 第 3 章（Localization，含万有性质与素理想对应）——本册全部定理的完整证明，仅 10 页。
- 分式环与模：N. Jacobson, Basic Algebra I §2.8（商域与局部化）；D. S. Dummit & R. M. Foote, Abstract Algebra §7.5、§15.4（含 ℤ/n 局部化的习题）。
- 代数几何视角（进阶）：R. Hartshorne, Algebraic Geometry I §2.1（局部环与概形的点）；或更友好的 K. Smith et al., An Invitation to Algebraic Geometry §4（局部化作为放大镜的图景）。
- p 进数的预告：F. Q. Gouvêa, p-adic Numbers, 3rd ed. 第 3 章——ℤ(p) 的完备化是 ℚp；本册的 ℤ(p) 是它的第一步（完备化在第四章域扩张的语境中再看）。
《代数学基础（下·第 2 版）》第二章补充读物 · 环论专题读本其七 ｜ 九章格数学 ｜ 第 2 版 · 2026