闭包不泛之怪鸟事
关于“在同构意义下唯一”与“在唯一同构意义下唯一”
1 谜之锐评
关于代数闭包（algebraic closure），如下评述常见于课堂内外：“代数闭包没有真正意义上的泛性质（universal property）．”鲜有人理解它的真实含义．乍一看，这令人费解：代数闭包当然在同构意义下唯一（unique up to isomorphism）．常见的各种泛性质构造，如自由对象（free object）、张量积（tensor product）、直积（direct product），也是如此．那么，为什么代数闭包会得到不同的待遇？
这是因为不是所有唯一性论述都具有同等的强度．我们常说的泛性质的标准 slogan 是“在唯一同构意义下唯一”（unique up to a unique isomorphism），而代数闭包是“在同构意义下唯一”．在后一陈述中，同构只是存在而已；而在前一陈述中，这个同构本身也是唯一的．不区分“唯一”一词出现的次数会掩盖了这额外的一层．
事实证明，就保结构的（structure-preserving）同构而言，代数闭包并不满足这一唯一性要求．
因此，即使在代数闭包 \(\mathbb R\hookrightarrow\mathbb C\) 被选定之后，\(\mathbb R\) 上仍存在不止一个自同构．代数闭包因此有足够的结构来确定一个同构类，却不足以确定同构本身．
本文首发于 sun123zxy’s blog，移步获取更新、文内跳转和更好的阅读体验．
本文多格式排版工作由 \(\mathrm{\SunQuarTeX}\) 提供技术支持．SunQuarTeX：你喜爱的中文数学学术写作，现更以 Markdown 格式呈现．
本文为英文原文中译版，或有信息损失．原文请移步博客链接．
鸟是形容词．没有怪鸟在本文撰写过程中受到伤害．
2 两种机制
让我们更仔细地考察这两种抽象机制．区别在于同构是如何获得的．
2.1 泛性质：唯一的保结构映射
设 \(X\) 与 \(Y\) 是满足同一泛性质的两个泛对象（universal object）．在两个方向上应用该性质，得到唯一的保结构映射 \[ f:X\longrightarrow Y, \qquad g:Y\longrightarrow X. \] 复合 \(gf\) 是 \(X\) 的保结构自同态．但 \(X\) 的恒等映射是另一个这样的自同态，因此由唯一性， \[ gf=\operatorname{id}_X. \] 类似地， \[ fg=\operatorname{id}_Y. \] 于是 \(f\) 与 \(g\) 互为逆同构．但这个论证给出的不止是 \(X\) 与 \(Y\) 之间的一个同构：泛性质已经表明 \(f\) 是从 \(X\) 到 \(Y\) 唯一的保结构映射．因此该同构是唯一的．
2.2 一套更弱的机制：保结构自同态可逆
现在去掉唯一性要求．我们仍保证保结构映射的存在性，但改为要求候选对象的每个保结构自同态都是自同构．若 \(X\) 与 \(Y\) 都满足该性质，我们可以选取映射 \[ f:X\longrightarrow Y, \qquad g:Y\longrightarrow X. \] 复合 \(gf\) 与 \(fg\) 分别是 \(X\) 与 \(Y\) 的保结构自同态，因而都是自同构．由于 \(gf\) 可逆， \[ (gf)^{-1}g \] 是 \(f\) 的左逆．由于 \(fg\) 可逆， \[ g(fg)^{-1} \] 是 \(f\) 的右逆．这两个逆一致，因此 \(f\) 是同构．
这个论证仍然证明了 \(X\) 与 \(Y\) 同构，却没有证明同构是唯一的．\(f\) 的选取可能有多种，而没有任何条件迫使它们一致．两种机制都得到的同构类都唯一，但只有泛性质才能使同构类内部保结构的同构也唯一．
3 例：代数闭包
现在我们回到代数闭包．代数闭包 \(\overline K\) 的定义性质可以描述为如下基于映射的表述：若 \(L\) 是 \(K\) 的代数闭扩张，则嵌入把 \(K \hookrightarrow L\) 可扩张为嵌入 \[ \overline K\hookrightarrow L. \] 换言之，虚线箭头总可以用一个嵌入来填补：
事实证明，这一刻画正是上一节中较弱的泛性质（weak universal property）的一个实例：\(\overline K\) 可 \(K\)-嵌入到 \(K\) 的每个代数闭扩张中，且从 \(\overline K\) 到自身的每个 \(K\)-嵌入都是自同构．
证明. 设 \[ \sigma:\overline K\longrightarrow\overline K \] 是一个 \(K\)-嵌入．它自动是满同态：事实上，其像 \(\sigma(\overline K)\) 是代数闭的，因为它与 \(\overline K\) 同构．另一方面，\(\overline K\) 在 \(\sigma(\overline K)\) 上是代数的，因为 \(\overline K\) 在 \(K\) 上是代数的，且 \(\sigma\) 固定 \(K\)．代数闭域（field）没有真代数扩张（algebraic extension）；因此 \[ \sigma(\overline K)=\overline K. \]
于是从 \(\overline K\) 到自身的每个 \(K\)-嵌入都是自同构．
小节 2.2 中的较弱论证现在表明，\(K\) 的任意两个代数闭包都是 \(K\)-同构的．所需的嵌入存在，但没有任何条件使它们唯一．
4 例：投射覆盖
这种弱化版泛性质的另一个例子出现在模论中．每个模 \(M\) 都是某个投射模（projective module）的商模，但一个随便选取的 \(P\twoheadrightarrow M\) 通常含有超出所需的投射成分．投射覆盖（projective cover）则投射满同态其中“极小”的一个．
与前面一样，我们很自然想用一个基于映射的性质来表达这一极小性要求．设 \(p:P\twoheadrightarrow M\) 是投射覆盖．给定另一个投射模 \(Q\) 与一个满同态 \(f:Q\twoheadrightarrow M\)，我们希望存在满同态 \(\widetilde f:Q\twoheadrightarrow P\) 使下图交换：
若没有满同态性要求，这一点会自动成立：\(Q\) 的投射性给出映射 \(Q\to P\)．因此，真正刻画极小性的是提升的满同态性．下面的定理表明，这再次是上文所述弱泛性质的一个实例：
证明. （3）⟺（4）． 对每个子模 \(N\subseteq P\)，有 \[ p(N)=M \iff N+\ker p=P. \]
（4）⟹（1）． 设 \(h:Q\to P\) 对某个满同态 \(q:Q\twoheadrightarrow M\) 满足 \(ph=q\)．则 \[ p(\operatorname{im}h)=M. \] 由条件 4，\(\operatorname{im}h\) 不可能是 \(P\) 的真子模，故 \(h\) 是满同态．
（1）⟹（4）． 设 \(N\subseteq P\) 映满 \(M\)．选取投射模 \(Q\) 连同满同态 \(r:Q\twoheadrightarrow N\)．
若 \(i:N\hookrightarrow P\) 是包含映射，令 \(h=ir\)．条件 1 使 \(h\) 为满同态．由于 \(\operatorname{im}h=N\)，得到 \(N=P\)．
（4）⟹（2）． 设 \(u:P\to P\) 满足 \(pu=p\)．则 \[ p(\operatorname{im}u)=M, \] 故条件 4 使 \(u\) 为满同态．由于 \(P\) 投射，\(u\) 可裂，\(\ker u\) 是 \(P\) 的直和项．此外， \[ \ker u\subseteq\ker p. \] 由条件 3，\(\ker p\) 是多余子模，因而不会含非零直和项．于是 \(\ker u=0\)，从而 \(u\) 是自同构．
（2）⟹（4）． 设 \(N\subseteq P\) 映满 \(M\)．由于 \(P\) 投射，映射 \(p\) 可穿过限制 \(p|_N:N\twoheadrightarrow M\) 提升：
记 \(i:N\hookrightarrow P\) 为包含映射，交换三角形给出 \(pih=p\)．条件 2 使 \(ih\) 为自同构．其像含于 \(N\)，但作为自同构其像应为整个 \(P\)．因此 \(N=P\)．
注记 (文献参考).
条件（3）与（4）是经典的定义．参见，例如，[1, section 4.6]．
条件（1）的一种轻微改写是说 \(p\) 是本质满同态（essential epimorphism）：对每个 \(\varphi\)，若 \(p\varphi\) 是满同态（epimorphism），则 \(\varphi\) 是满同态．
文献中有时称条件（2）为“\(p\) 是右极小的（right minimal）”．
条件（1）与（2）的等价性有一个范畴论风格的证明．参见，例如，[2, lemma 3.4]．
条件（1）与（2）的等价性也可以通过代数闭包来理解．我们未能找到解释这一相似性的参考文献．TODO：欢迎提供参考文献与讨论．
因此我们便获得了较弱机制的两个要素：保结构映射的存在性来自投射性，自同构性质来自 定理 1．小节 2.2 中的论证进而表明，\(M\) 的任意两个投射覆盖同构．
同样地，保结构同构不必唯一；因此投射覆盖不被视为泛对象．
5 最后的范畴废话
到目前为止，我们已通过几个例子用初等语言阐明了这两种机制的区别．现在让我们升级语言：用范畴论使两类唯一性不言自明．
设 \(F:J\to\mathcal C\) 是一个图表（diagram）．对对象 \(L\in\mathcal C\)，记 \(\Delta L:J\to\mathcal C\) 为把 \(J\) 的每个对象送到 \(L\)、每个态射送到 \(\operatorname{id}_L\) 的常函子（constant functor）．以 \(L\) 为顶点的 \(F\) 上的锥（cone）是自然变换（natural transformation） \[ \lambda:\Delta L\Longrightarrow F. \] 按分量来看，锥由对每个 \(j\in J\) 的一个映射 \(\lambda_j:L\to F(j)\) 组成．自然性说明，对 \(J\) 中每个态射（morphism）\(a:j\to k\)， \[ F(a)\lambda_j=\lambda_k. \] 于是图表中各映射形成的所有三角形都交换．
范畴 \(\operatorname{Cone}(F)\) 以这些锥 \((L,\lambda)\) 为对象．态射 \[ f:(L,\lambda)\longrightarrow(L',\lambda') \] 是满足 \[ \lambda'_j f=\lambda_j \] （对每个 \(j\in J\)）的映射 \(f:L\to L'\)，等价地 \[ \lambda'\circ\Delta f=\lambda. \] 这些正是锥之间的保结构映射．\(F\) 的极限（limit）是 \(\operatorname{Cone}(F)\) 的终对象（terminal object）．这是泛性质的终端形式；始端形式通过反转所有箭头得到．若不想区分二者，终对象与始对象（initial object）合称为泛对象．
5.1 泛对象构成可缩群胚
假设 \(F\) 有极限，并设 \(\mathcal U\) 为 \(\operatorname{Cone}(F)\) 中由所有极限锥组成的全子范畴（full subcategory）．若 \(L,L'\in\mathcal U\)，终对象性质给出唯一态射 \[ L\longrightarrow L'. \] 由 小节 2.1 的论证，两个方向上的唯一映射互为逆．因此 \(\mathcal U\) 中每个态射都是同构，且 \[ \#\operatorname{Hom}_{\mathcal U}(L,L')=1. \] 于是 \(\mathcal U\) 是任意两个对象之间恰好有一个态射的群胚（groupoid）．
到目前为止，这只是每个研究生都耳熟能详的标准抽象废话．接下来的话可能就没那么熟悉了：上述性质存在如下道尽一切：
- 泛对象的群胚是可缩的（contractible）．
我们说一个范畴可缩，如果它等价于 \(*\)——只有一个对象及其恒等态射的终范畴．这个术语借自同伦论（homotopy theory）——恰如其分：在此范畴等价（categorical equivalence）扮演了同伦等价（homotopy equivalence）的角色．要明白这句口号为何是一种无损压缩，回想范畴等价的通常刻画：“完全忠实（fully faithful）加本质满（essentially surjective）”．事实上，唯一函子 \(\mathcal U\to *\) 是本质满的，因为 \(\mathcal U\) 非空；它是完全忠实的，因为两侧每个态射集（hom-set）都只有一个元素．因此 \[ \mathcal U\simeq *. \]
这便是“在唯一同构意义下唯一”的全部含义．泛对象可能有不同的构造方式，但任意两个构造之间恰好有一个保结构同构．这就是为什么我们能安然写下记号 \(\bigoplus\)、\(\prod\)、\(\varprojlim\)，仿佛它们生来只有一个的原因：泛性质以独一无二的方式将它们全部等同起来．
5.2 弱终对象与极小对象
小节 2.2 中的较弱机制也有范畴形式．范畴 \(\mathcal D\) 的对象 \(L\) 称为具有弱终对象性质（weakly terminal），若每个对象 \(X\in\mathcal D\) 都至少有一个到 \(L\) 的态射： \[ \operatorname{Hom}_{\mathcal D}(X,L)\ne\varnothing. \] 在本篇中，若弱终对象 \(L\) 的每个自同态都是自同构，则称 \(L\) 是极小的（minimal）．这个形容词来自我们为投射覆盖中遇到的右极小条件准备的对象层面的简写．
设 \(\mathcal M\) 为由此意义下极小的弱终对象构成的全子范畴．给定 \(L,L'\in\mathcal M\)，弱终对象性质提供映射 \[ f:L\longrightarrow L', \qquad g:L'\longrightarrow L. \] 自同态 \(gf\) 与 \(fg\) 都是自同构，于是 小节 2.2 中的较弱论证使 \(f\) 成为同构．由于这对每个态射 \(L\to L'\) 成立，范畴 \(\mathcal M\) 是群胚．它还是连通的：任意两个对象之间至少存在一个同构．
不过，与 \(\mathcal U\) 不同，它的每个态射集不见得只有唯一元素．选定一个对象 \(L\in\mathcal M\) 后，整个群胚在等价意义下事实上由 \(L\) 的自同构群（automorphism group）决定： \[ \mathcal M\simeq B\operatorname{Aut}(L). \] 其中 \(B\operatorname{Aut}(L)\) 是单对象群胚，其态射恰为 \(\operatorname{Aut}(L)\) 的元素．
对偶地，始端版本通过反转所有箭头得到．按域嵌入的通常方向，代数闭包是 \(K\) 的全体代数闭扩张中的极小弱始对象（weakly initial）：总存在从它出发到其它任何对象的态射，且它在 \(K\) 上的所有自同态都是自同构．（“弱始对象”是本文私自定义的说法，并非通用的做法．）另一方面，按此处采用的术语，投射覆盖是映满 \(M\) 的投射模中的极小弱终对象．
6 尾声
我们的旅程还有最后一页．对代数闭包 \(\overline K\) 来说，唯一性缺失所遗留下的对称性并非无人问津．限制到可分闭包（separable closure）上，可将它等同于 \[ \operatorname{Aut}_K(\overline K)\cong \operatorname{Gal}(K^{\mathrm{sep}}/K)=G_K, \] 即 \(K\) 的绝对伽罗瓦群（absolute Galois group）．
记 \(\mathcal A_K\) 为 \(K\) 的全体代数闭包及其间 \(K\)-同构构成的群胚．现在选定一个代数闭包，便得到 \[ \mathcal A_K\simeq BG_K. \] 起初看似恼人的一个小小缺陷——并不唯一的同构——却揭示出域扩张的深刻结构．代数闭包泛性质的缺失恰是伽罗瓦理论（Galois theory）的起源：对称性仍然存在．泛性质会让它们沉寂；伽罗瓦理论则始于倾听它们．
致谢
本文缘起于与 GPT 5.6 Sol 的一系列讨论，并由其在本人的高压监督下完成．大体框架和编辑决定均为我拍版，跑题废话和语法错误一概归本人负责．至于 GPT-5.6 Sol，它得为在 Codex 里比浏览器版本莫名笨上一截负责．本文的中文翻译版由 DeepSeek v4 Flash 在轻量人工审校下完成．大肥鱼为它近日高攀不起的价格、绕口的译名和道尽一切负责．