本册定位。 群论读本收束于「群范畴的自由对象」，环论读本收束于「环范畴的自由对象」——两族读本都有一个漂亮的两侧对齐。域论读本的末册必须回答同一个问题：域范畴 Field 有自由对象吗？答案是一个干脆的「没有」，而且「没有」这件事本身，恰好暴露了域与群、环最深刻的差别。本册要把这个「没有」讲成一个完整的范畴论故事：域同态必单射（第一条铁律）→ Field 无初始对象也无终对象 → 遗忘函子 Field → Set 没有左伴随（自由域不存在）→ 直积与张量积都不保持「域」性（Field 既不完备也不余完备）→ 最后，域的「绝对伽罗华群」作为一台 profinite 机器登场，它是域的基本群——这是 Field 范畴给出的最深刻的构造。
〇系列地图：九册读本与第四章的接口
本系列为第四章「域的扩张」的每一块骨架配置延伸读本，编排如下（「→」表示后续册将深化）：
其一 从 ℚ 到 ℂ：代数数论的领地（接口：§4.1、§4.2）。
其二 域的自同构群——Aut(F) 与 F-自同构（接口：§5.2）。
其三 极小多项式与扩域构造法——造域机器 F[x]/(p)（接口：§4.1）。
其四 尺规作图的域论解释——可作图数 = 二次塔（接口：§5.8）。
其五 ℝ 上一元多项式的分裂域（接口：§4.3）。
其六 伽罗华扩域——正规＋可分＝伽罗华（接口：§5.4）。
其七 域在 Abel 群上的作用（接口：§5.3）。
其八 有限域与域论中的有限条件（接口：§4.4）。
其九（本册）范畴论中的域——Field 范畴无自由对象，绝对伽罗华群是一台 profinite 机器（接口：§4.1 的重述）。
本册是九册里唯一的「元层面」一册：前面八册都在域内部做算术，本册站到域外面，把「域」当成一类对象来审视——正如群论其九与环论其九所做的那样。
一Field 范畴：对象、态射与第一条铁律
定义 1.1（Field 范畴）。 Field 是由「全体域」与「全体域同态」构成的范畴：对象是域，态射是保 1 的环同态 φ : F → K。类似地，Ring 是全体环与环同态构成的范畴。
第一条铁律：域同态必单射。 设 φ : F → K 是域同态。φ 的核 ker φ = {x ∈ F : φ(x) = 0} 是 F 的理想。域只有两个理想：(0) 与 F 自身（因为若 0 ≠ a ∈ I，则 a 可逆，故 1 = a·a−1 ∈ I，于是 I = F）。又 φ(1) = 1 ≠ 0（K 是真环，1K ≠ 0），故 1 ∉ ker φ，于是 ker φ ≠ F，只能 ker φ = (0)。故 φ 单射。
这条铁律的三重后果。
- Field 中每个态射都是单态射（monomorphism），但这只是单射的推论，不比它更强。
- Field 的任何两个对象之间，态射集合 Hom(F, K) 要么空、要么是一组单射——没有任何「真的塌缩」。这与 Ring、Grp、Set 里到处都是非单射同态形成尖锐对照。
- 特征决定「能不能谈」。 若 φ : F → K 存在，则 F 与 K 特征相同（φ 保 1，故 n·1F ↦ n·1K）。于是 char F ≠ char K ⟹ Hom(F, K) = ∅。域之间的「联系」被特征一刀切开。
数值注记（A 组）。 脚本 A 组核验：𝔽pm 到 𝔽pn 存在（单射）同态 ⟺ 同特征且 m | n；而 char 不同的 𝔽2 → 𝔽3 之间无任何同态。
二没有初始对象，没有终对象
定义 2.1。 范畴的初始对象 I 满足：对每个对象 X，Hom(I, X) 恰有一个元素。终对象 T 满足：对每个 X，Hom(X, T) 恰有一个元素。
定理 2.2。 Field 既没有初始对象，也没有终对象。
没有初始对象。 假设 I 是初始对象。取 X = 𝔽2 与 X = 𝔽3：需 Hom(I, 𝔽2) 与 Hom(I, 𝔽3) 都非空且各含一元。但由第一条铁律，I 至多有一种特征，不可能同时带上到 𝔽2（特征 2）与到 𝔽3（特征 3）的同态。矛盾。（用域的更细划分同样可证：𝔽2 与 𝔽5 之间无同态。）
没有终对象。 若 T 是终对象，则对每个域 F 存在同态 F → T。但它们都是单射，故 |T| ≥ |F| 对一切域 F —— 而域的大小无上界（ℚ, ℚ(t), ℂ, …），任何 T 都会被某个更大的域击破。矛盾。
反观 Ring 与 Grp。 Ring 有零环 {0} 作终对象，有 ℤ 作初始对象（ℤ → R 由 1 ↦ 1 唯一决定）；Grp 有平凡群作零对象（既初始又终）。Field 两个极端都缺，因为「域」这个条件把两端（零环、大域）都排除在外。 本册的「没有」从这里开始。
三为什么没有自由域（遗忘函子的左伴随）
这是本册的核心命题。
定义 3.1（自由对象）。 设 U : Field → Set 是遗忘函子。域范畴中集合 X 上的自由对象是一个域 F(X) 与映射 i : X → U(F(X))，满足万有性质：对任意域 K 与任意映射 f : X → U(K)，存在唯一域同态 f̄ : F(X) → K 使 U(f̄) ∘ i = f。等价地：HomField(F(X), K) ≅ Set(X, U(K))（自然同构）。
定理 3.2。 对任何集合 X（含 X = ∅），Field 中 X 上的自由对象都不存在。因此遗忘函子 U : Field → Set 没有左伴随。
证明（两行）. 假设 F(X) 存在。取 K = 𝔽2 与 K = 𝔽3。对 X ≠ ∅，集合 Set(X, 𝔽2) 与 Set(X, 𝔽3) 都非空（常值映射），故由万有性质，Hom(F(X), 𝔽2) 与 Hom(F(X), 𝔽3) 都非空。但 F(X) 是一个域，只有一种特征，不能同时有到 𝔽2（特征 2）与到 𝔽3（特征 3）的同态——矛盾。对 X = ∅：自由对象就是初始对象（Hom(F(∅), K) 恰一个元素），而 Field 无初始对象（定理 2.2）。□
「没有自由域」的直觉。 自由对象的精神是「用生成元造出最一般的对象，不附加任何多余关系」。群与环都能这样做：自由群 ⟨X⟩ 是「最一般的群」，多项式环 ℤ[X] 是「最一般的环」。但域加不进「最一般的」这个修饰——因为域强迫每个非零元可逆，而「可逆」是一条极强的关系。您无法在「不附加关系」与「每元可逆」之间取得平衡。自由域的缺失，是「域太刚」的范畴论表述。
数值注记（C 组）。 脚本 C 组给出该论证的核验：若自由域存在，则 Hom 的基数必须同时等于 |𝔽2X| 与 |𝔽3X|——不可能，因为同态存在性被特征锁死。
四域与环的对照：Ring 有自由对象，Field 没有
把本册与其八、环论其九并排，得到一张漂亮的对照表。
范畴 | 初始对象 | 终对象 | 自由对象 F(X) |
|---|---|---|---|
Set | ∅ | 单点集 | X |
Grp | 平凡群 | 平凡群（零对象） | 自由群 ⟨X⟩ |
Ring | ℤ | 零环 {0} | 多项式环 ℤ[X] |
Field | 无 | 无 | 无 |
Ring 的自由对象为什么存在？ 在环里，「1 上的作用」不受限制：ℤ[X] = 全体以 X 为变量的整系数多项式，是「最一般的环」。而在域里，您甚至不能自由地造「最一般的域」——因为 𝒙 必须在某个域里可逆，而 𝒙 可逆与否取决于您选的域。
另一条对照：域是环的「局部化」。 一个交换环 R 要成为域，需要把每个非零元局部化——但这只在 R 是整环时可行（得到它的商域 Frac(R)）。对一般的环（含零因子），这个操作崩塌（局部化到零环）。「环 → 域」不是一个可以随意施加的函子操作：Field 不是 Ring 的反射子范畴。这从另一角度解释了自由的缺失。
五极限与余极限：域不封闭于直积与张量积
Field 连「标准构造」都不封闭——这是本册的第二组「没有」。
定理 5.1（直积不是域）。 若 F1, F2 是域，则 F1 × F2（分量运算）不是域（零因子）：取 (1, 0) 与 (0, 1)，积为 (0, 0)。
数值注记（D 组）。 脚本 D 组核验 𝔽2 × 𝔽3 中 (1, 0)·(0, 1) = (0, 0)——齐整的零因子，而 𝔽4 中不存在任何零因子（对照）。
定理 5.2（张量积未必是域）。 两个域张量积可以不是域，甚至含零因子：ℂ ⊗ℝ ℂ ≅ ℂ × ℂ（分量为两个 ℝ-嵌入）。同理 𝔽p(t) ⊗𝔽p 𝔽p(t) 含零因子。
推论 5.3（Field 不完备、不余完备）。 Field 中一般的「乘积」（极限）与「余积」（余极限）不总是存在于 Field 内（虽有一小类被证明存在，如有限伽罗华扩张的特定张量积）。域范畴是一个「稀疏」范畴：对象刚性强，构造的封闭性差。 这与 Set、Grp、Ring 的丰富完备形成对照。
数值注记（E 组）。 脚本 E 组核验张量积/直积不保持域性（ℂ ⊗ℝ ℂ 含零因子），并对照 𝔽4 的无零因子。
六绝对伽罗华群：域的「基本群」
本册最深刻的构造是：给每个域配一个群——它的绝对伽罗华群。
定义 6.1（绝对伽罗华群）。 设 F 是域、F̄ 是它的代数闭包。取 F 的全部有限伽罗华扩张 K/F，它们（在包含与 Gal 限制映射下）构成一个逆向系统。定义
GF = Gal(F̄/F) = lim← Gal(K/F)（K 跑遍全部有限伽罗华扩张），
称为 F 的绝对伽罗华群。
三层含义。
- 它是 profinite 群。 每个 Gal(K/F) 有限，逆向极限自动带上 Krull 拓扑，得到一个紧致、Hausdorff、完全不连通的拓扑群。绝对伽罗华群永远 profinite。
- 它是域的「基本群」。 类比拓扑：若 X 是「好」的空间，其 étale 基本群 π1ét(X) 分类有限覆盖。Grothendieck 的纲领把「域 F」对应到「一个点的概形 Spec F」，于是GF = π1ét(Spec F)：有限伽罗华扩张 K/F 就是「F 的有限覆盖」。这是伽罗华理论在 20 世纪的最高抽象化，也是现代算术几何（Grothendieck、Deligne）的起点。
- 它给出本的「域 ↔ 群」字典。 由伽罗华对应（其六），F 的有限扩张 ↔ GF 的开子群；F 的无限扩张 ↔ GF 的闭子群（Krull 拓扑下）。这是我们全书「域与群双向翻译」的终极形态。
例 6.2（三个绝对伽罗华群）。
- G𝔽p = Ẑ。 有限层 Gal(𝔽pn/𝔽p) = Cn，逆向极限 = Ẑ ≅ ∏ℓ ℤℓ。这是最简单的 profinite 群（其二定理 6.1、其八第三节的收束）。
- Gℝ = C2。 因 ℝ 的有限伽罗华扩张只有 ℂ/ℝ，Gal = C2 = {±1}。
- Gℚ 巨大且神秘。 Gal(ℚ̄/ℚ) 是一个极其复杂的 profinite 群，其结构至今是数论的核心未解问题（逆伽罗华问题：哪些有限群能作为它的商群出现？）。Kronecker–Weber（其七）说：Gℚ 的Abel 商全部来自分圆——即 Gℚab ≅ Ẑ× = ∏ℓ ℤℓ×。
数值注记（F 组）。 脚本 F 组核验逆向系统的结构：n | m ⟹ 限制映射 Cm → Cn 满射（Gal(𝔽pm/𝔽p) → Gal(𝔽pn/𝔽p) 存在），于是 lim Cn = Ẑ 结构自洽。
七从环论其九到本册：两极的收束
把三套「九册读本」的末册并排，得到一个关于「极端」的对照：
- 群论其九：群范畴有自由对象（自由群），因为群运算「无约束」——只需结合律。
- 环论其九：环范畴有自由对象（多项式环），因为环运算「几乎无约束」——只需结合律与分配律，1 的作用自由。
- 域论其九（本册）：域范畴没有自由对象，因为域运算「约束最强」——每个非零元被强迫可逆。
三族的收束点落在同一条轴上：结构的约束越强，自由对象越难存在，直到消失。 群（最松）有自由群；环（中等）有多项式环；域（最紧）自由对象蒸发。这条「约束—自由」的轴，是抽象代数用三个范畴讲的一个统一故事。
但它不是终点，而是换轨。域失去「自由对象」的同一个原因，换来了另一样东西：绝对伽罗华群。域虽然无法自由生成，却能被一个 profinite 群「完全编码」——GF 与 F（更准确地说，与 F 的全体有限扩张的范畴）互相决定。群论的群、环论的环，最终都在域论的 GF 里「聚会」：GF 是群，它的开子群对应 F 的有限扩张（域），它的连续表示对应算术对象（环与模）。这就是本册标题「范畴论中的域」的最终含义——域不是范畴里孤立的点，而是一整台「用群与拓扑组织起来」的机器。
八术语考古、三句话与阅读指引
8.1 名词与历史的来路
- category（范畴）。 希腊 katēgoria「陈述/类别」，Aristotle 的用语。数学意义的范畴由 Eilenberg 与 Mac Lane 1945 年（《General theory of natural equivalences》）提出，最初就是为了统一代数拓扑与同调代数。
- initial / terminal object（初始 / 终对象）。 「初始」= 唯一出发，「终」= 唯一到达。术语由 Mac Lane 在 20 世纪 50–60 年代定型；对偶性（初始 ↔ 终，乘积 ↔ 余积）是范畴论的核心美学。
- free object（自由对象）。 「自由」指「无附加关系」：自由群 ⟨X⟩ 的元素是 X 上的字，自由环 ℤ[X] 的元素是 X 上的多项式。由 Birkhoff 1935 的泛代数（variety）理论统一为「遗忘函子的左伴随」。
- adjoint functor（伴随函子）。 Daniel Kan 1958 年提出。自由 ⊣ 遗忘是「伴随」的第一范例：Left adjoint 造对象，Right adjoint（遗忘）忘结构。
- profinite group / Krull topology（profinite 群 / Krull 拓扑）。 Wolfgang Krull 1928 年在伽罗华理论中引入有限群的逆向极限与相应拓扑；「profinite」一词后起。绝对伽罗华群是它的第一主角。
- étale fundamental group / Spec（étale 基本群 / 素谱）。 Grothendieck 1957–1961 年（SGA 1）把伽罗华理论重写为概形与基本群的语言：Spec F 是「一个点」，GF = π1ét(Spec F)。这是 20 世纪代数几何的中枢。
- 「域无自由对象」这一观察。 在标准教材（Mac Lane, Categories for the Working Mathematician 第 III 章；Adámek–Herrlich–Strecker, Abstract and Concrete Categories）中作为「Field 无反射且无自由对象」的练习出现，与本册的「两侧对齐」主题正好契合。
8.2 三句话总结
① 域同态必单射（核是理想，域只有 (0) 与自身，而保 1 排除后者）——这是 Field 范畴的第一条铁律，也是其后一切「没有」的总根源。
② Field 既无初始对象、也无终对象，更没有自由对象：遗忘函子 Field → Set 没有左伴随。根源是「域强迫非零元可逆」这条极强的约束；对照之下 Grp、Ring 都有自由对象（自由群、多项式环）。
③ 作为补偿，域换来了最深刻的构造——绝对伽罗华群 GF = Gal(F̄/F) = lim Gal(K/F)，一台 profinite 机器，是域的基本群 π1ét(Spec F)：它的开子群 ↔ F 的有限伽罗华扩张，把群论其九（群）与环论其九（环）在域的层面重新聚齐。
8.3 阅读指引
- 教材：张英伯、王恺顺《代数学基础（下·第 2 版）》§4.1（单扩张）、§5.2（域的嵌入）——本册每节的「教材接口」即回指这些位置。
- 范畴论入门：S. Mac Lane, Categories for the Working Mathematician（Springer GTM 5）第 I、III、IV 章（初始/终对象、伴随、极限）；E. Riehl, Category Theory in Context（Dover）第 2、4 章。
- 自由对象与泛代数：P. M. Cohn, Universal Algebra 第 II 章；关于 Field 无自由对象的练习见 Mac Lane 第 IV 章习题。
- profinite 群与绝对伽罗华群：J. Neukirch, Algebraic Number Theory 第 IV 章；L. Ribes & P. Zalesskii, Profinite Groups（Springer）第 2、5 章。
- 概形与 étale 基本群：R. Hartshorne, Algebraic Geometry 第 II 章（Spec 语言）；Grothendieck, SGA 1（Revêtements étales et groupe fondamental）；科普向综述见 J. S. Milne, Lectures on Étale Cohomology。
- 逆伽罗华问题：J.-P. Serre, Topics in Galois Theory（A K Peters）；M. Fried & M. Jarden, Field Arithmetic 第 I 部分。
《代数学基础（下·第 2 版）》第四章补充读物 · 域论专题读本其九 ｜ 九章格数学 ｜ 第 2 版 · 2026