本册定位（系列收官）。 九册叙事到这里合拢：其一至其三把 ℤ、F[x]、ℤ[i] 的算术并排摊开，其四至其七（形式幂级数、链条件、CRT、局部化）在「算术」之外补上「结构」，其八把最小尺度的乘法表数完。最后一册回到最上面的问题：多项式环 ℤ[x] 到底是什么东西？ 第二章开篇说「环 = 集合 + 两种运算」，这句话同时定义了两个方向——配结构（装）与忘结构（拆）。自由环就是「装」的极致：只把两种运算装上去，别的什么都不加。于是多项式环的身份被一条万有性质钉死：要造一个同态 ℤ[x] → R，只需要挑定 x 送到哪个元素——|Hom(ℤ[x], ℤ/n)| 恰是 n，|Hom(ℤ[x1,…,xk], ℤ/n)| 恰是 nk。这就是「自由」二字的准确含义：同态由生成元的像任意选择、唯一扩张。加一条关系（做一个商）就砍掉一部分同态：ℤ[x]/(x2+1) 到 ℤ/n 的同态数正是 x2 ≡ −1 的解数（3 → 0、5 → 2、13 → 2、65 → 4），与高斯整环册的素数分裂/惯性判据逐项吻合。
一遗忘与自由：一对反向的「装卸」
每个环 R 都有一个底层集合 U(R)（写成环时隐去了它，需要时才露出）；每个环同态 φ : R → T 都只是一个「既保加又保乘、还把 1 送到 1」的映射，忘掉运算后就是集合间的映射 U(φ)。这个「只拆不装」的动作叫遗忘函子 U : Ring → Set。
反方向的「装」是：给一个集合 S，造一个由 S 生成的、除环公理外不含任何多余关系的环。群论册其九已经把这个动作做过一次（自由群：元素是约化词）；环的版本来了个转折——环有两种运算，且加法是交换群，于是词会自动折叠：
- 「x·x·x」按结合律写成 x3；
- 「x + x + x」按交换律与分配律写成 3x（整数系数）；
- 「x·y + y·x」在交换情形下折成 2xy，在非交换情形下则折不动（这是自由代数与多项式环的唯一分歧点）。
折叠的结果就是多项式。定义 1.1（自由环 / 多项式环）。 集合 S 上的自由环 ℤ⟨S⟩ 是「以 S 为生成元、系数取整数」的一切形式多项式的全体：元素是有限的整系数形式和 Σ cs · 单项式(s)，加法逐项相加，乘法按分配律展开再合并同类项。当 S = {x1, …, xn} 且乘法交换时，它就是 ℤ[x1, …, xn]。
定义 1.2（自由对象，万有性质版）。 称 F 在集合 S 上（关于遗忘函子 U）自由，若存在映射 η : S → U(F)，使得对任意环 R 与任意映射 f : S → U(R)，都存在唯一的环同态 φ : F → R 满足 U(φ) ∘ η = f。等价的说法是集合间的自然双射
HomRing(F, R) ≅ HomSet(S, U(R))。
数值注记（A、B 组）。 剧本把这条性质放到 ℤ/n 上逐一数：|Hom(ℤ[x], ℤ/n)| = n（x 的像可任取 0, 1, …, n−1），|Hom(ℤ[x1, x2], ℤ/n)| = n2。自由环的同态数 = 目标环的元素个数的 |S| 次幂——这就是「随便一放、唯一扩张」的算术表达。
二万有性质：随便一放，唯一扩张
定理 2.1（ℤ[x] 的万有性质）。 设 R 是含幺环，r ∈ R。则存在唯一环同态 φr : ℤ[x] → R 使 φr(x) = r，它就是求值同态 φr(p) = p(r)。
证明（一行半）。 同态保 1、保加法、保乘法，故对 p = Σ ck xk 必有 φr(p) = Σ ck φr(x)k = Σ ck rk；这既给出唯一性（任何同态都必须这么算），也给出存在性（直接验证求值是同态即可）。□
数值注记（A1–A3）。 剧本用自写多项式引擎（加法、乘法、Horner 求值）把两件事都算了：
- 同态性：对 n = 6, 12, 7, 4 的每个 r 与 7 组采样多项式 p、q，逐项验证 p(r) + q(r) = (p + q)(r)、p(r)·q(r) = (pq)(r)（全对）；
- 唯一性：凡在 x 上取值相同的两个同态，在所有采样多项式上取值全同。
二元情形的对照（A3）：ℤ[x, y] 的同态由像对 (i, j) 决定，剧本对 n = 6, 7 的全部像对（共 36 + 49 组）验证了「先乘后求值 = 先求值后乘」。
这条性质的重要性在于它反向给出了多项式环的必要性：只要一个环 R 里挑定一个元素 r，就有一份来自 ℤ[x] 的「礼物」——唯一确定的注入式对应。群论册其九的版本是 HomGrp(F(S), G) ≅ G|S|（词的自由）；本册的版本是 HomRing(ℤ[S], R) ≅ R|S|（多项式的自由）。两个公式形状完全一样，这正是范畴论把「自由」移到万有性质上的原因：自由与元素长什么样无关，只与同态怎么来有关。
三关系如何卡住同态
自由的反面是「立法」。给定多项式 f ∈ ℤ[x]，商环 ℤ[x]/(f) 就是把 f 变成 0 的最小代价。万有性质随之改写：
定理 3.1。 存在自然双射 HomRing(ℤ[x]/(f1, …, fm), R) ≅ {(r1, …, rk) 型数据} —— 一元情形最清楚：HomRing(ℤ[x]/(f), R) ≅ {r ∈ R : f(r) = 0}。
数值注记（E1/E2）。 剧本统计 ℤ[x]/(x2+1) → ℤ/n 的同态数，即 x2 ≡ −1（mod n）的解数：
n | 3 | 5 | 7 | 13 | 17 | 65 |
|---|---|---|---|---|---|---|
同态数 | 0 | 2 | 0 | 2 | 2 | 4 |
其中 65 = 5 × 13 的 4 个解正是 CRT 下的两两相乘（2 × 2）。把范围放到 p ≤ 100：p ≡ 1（mod 4）的 11 个素数（5, 13, 17, 29, 37, 41, 53, 61, 73, 89, 97）各给 2 个同态，p ≡ 3（mod 4）的 13 个素数（3, 7, 11, 19, 23, 31, 43, 47, 59, 67, 71, 79, 83）给 0 个——同态计数把高斯整环册的「分裂 / 惯性」判据原样复现了一遍。这不是巧合：x2 + 1 有根 ⟺ p 在 ℤ[i] 中分裂（其二）。
群论对照（C2）。 自由群 F({a, b}) 到 S3 的同态恰有 62 = 36 个（每个生成元的像任取）；加上一条关系 a2 = 1 后，a 的像必须是 4 个对合之一，同态数掉到 4 × 6 = 24。关系就是卡尺：每条关系砍掉一批同态，砍掉的多少由它在目标结构中的解数决定。这与 E1 的表格是同一件事的两种说法。
四商与表现：每个环都是自由环的商
定理 4.1。 任意含幺环 R 都是某个自由环的商：取 S = R 的全体元素，映射 ℤ⟨xr : r ∈ R⟩ → R，xr ↦ r，是保 1 的满同态（因为它已经满射）。其核由「R 中成立的全部关系」生成：
xr+s − xr − xs = 0， xrs − xr xs = 0， x1 − 1 = 0。
数值注记（F 组）。 剧本把这件事算到了具体条数：以 S = ℤ/6 全体为生成元，加法关系 n2 = 36 条、乘法关系 n2 = 36 条、保 1 一条，共 73 条（F2）。更实用的例子是用一元多项式做商：
- ℤ/6 ≅ ℤ[x]/(6, x − 1)。剧本验证：任意 p 都被 (x − 1) 整除掉 p(x) − p(1)（7 组采样多项式带余除法余式全 0），故剩余类恰由 p(1) mod 6 决定——6 个元素（F1）。
- ℤ[i] ≅ ℤ[x]/(x2 + 1)。剧本用两种实现算 36 × 36 = 1296 组乘法：一边是商环里的「x2 = −1 约化」，一边是 ℤ[i] 的 (a + bi)(c + di)，两边逐项相同（D1）。
- ℤ[C2] ≅ ℤ[x]/(x2 − 1)（二阶循环群的群环）。同态数 = R 中平方为 1 的元素个数（对合数）：ℤ/6 → 2、ℤ/12 → 4、ℤ/15 → 4、ℤ/8 → 4（F3）。
- 𝔽4 ≅ 𝔽2[x]/(x2 + x + 1)：其八的含幺 4 阶环之一，去掉「x2 = x + 1」这条关系就退回 𝔽2[x]（无限）。
表现（生成元 ＋ 关系）是同一个对象的立法书：关系越少越自由，关系越多越具体。𝔽2[x] 里有无限多个多项式，加上一条二次关系只剩 4 个元素——这就是「商」的削减力。同一套语言在后续册里还会反复出现：其三的 ℤ[√−5] = ℤ[x]/(x2 + 5)，其七的局部化「把 S 中的元素强制可逆」也是一种万有解（其七的定理 5.1 与本册的伴随对是同一个道理）。
五伴随对 F ⊣ U：万有性质的现代说法
把「自由」与「遗忘」并排写，得到范畴论中最标准的一对：
定理 5.1。 自由函子 F : Set → Ring（S ↦ ℤ[S]）与遗忘函子 U : Ring → Set 构成伴随对 F ⊣ U：存在自然同构 HomRing(F(S), R) ≅ HomSet(S, U(R))，且在 S 上取 η 为自然包含即得前两节的全部内容。
伴随的三点好处（对本册而言）：
- 左伴随保余极限。 自由函子把集合的余积（不交并）送到环的张量积：ℤ[S ⊔ T] ≅ ℤ[S] ⊗ℤ ℤ[T]。特例：ℤ[x] ⊗ℤ ℤ[y] ≅ ℤ[x, y]——两个自由对象张在一起还是自由对象。
- 右伴随保极限。 遗忘函子保乘积与等化子：环的积的底层集合就是集合的积（其六 CRT 里 ℤ/60 ≅ ℤ/3 × ℤ/4 × ℤ/5 的「两边元素个数相乘」就是这个）。
- 单位与余单位。 uS : S → U(ℤ[S])（把生成元看作一次多项式）与 cR : ℤ[U(R)] → R（把 R 的元素当自变量求值，即第四节定理 4.1 的满同态）构成伴随的两把「把手」。
数值注记（G 组）。 剧本用计数把伴随的「左伴随保余积」验证成两个数字相等：|Hom(ℤ[x, y], ℤ/6)| = 36 = |Hom(ℤ[x], ℤ/6)| × |Hom(ℤ[y], ℤ/6)|。自由性是「可乘的」：两个自由变量不产生任何新约束（这正是「无关系」的量化含义）。另一处数字是「自由也有有限的一天」：商环 ℤ/n⟨x⟩ 中次数 ≤ d 的元素恰有 nd+1 个（ℤ/6 的二次以下有 216 个，𝔽2 的三次以下有 16 个）——而 ℤ[x] 本身有无穷多个元素，其「自由」是无穷的自由。
六三种自由对象：词、线性组合、多项式
自由对象 | 结构公理 | 元素形态 | 同态计数 | 典型例子 |
|---|---|---|---|---|
自由群 F(S) | 只有乘法（无逆元亦可） | 约化词（其九已算 1, 4, 12, 36, …） | ∣G∣∣S∣ | F(a, b) |
自由 Abel 群 ℤS | 只有加法（且交换） | 整系数线性组合（形式有限和） | ∣G∣∣S∣ | ℤ2 |
自由环 ℤ⟨S⟩ | 加法 ＋ 乘法 ＋ 分配律 | 多项式（单项式的整系数和） | ∣R∣∣S∣ | ℤ[x, y] |
数值注记（B、C、G 组）。 剧本把三行公式都算了一遍：|Hom(ℤ2, ℤ/6)| = 62 = 36（B1/B2，996 组样本验证加法保持）；F({a, b}) → S3 的同态 62 = 36（C2）；|Hom(ℤ[x1, x2], ℤ/6)| = 62 = 36（A3/G2）。三者的计数公式完全平行，元素形态却截然不同。
这提示了「自由」的准确定位：它不是关于「元素长什么样」的形容词（词 vs 线性组合 vs 多项式），而是关于「同态怎么来」的形容词（生成元的像任选、唯一扩张）。哪一个结构更「自由」，不能靠元素形态比较——自由群里的词比多项式「野」得多，但在各自范畴里它们同样自由。
一个结构性观察：自由环的加法群就是自由 Abel 群（基 = 全部单项式）。反之则不成立：ℤ2 作为 Abel 群自由，却没有一个环结构是「自由地」长在它上面的唯一选择——本册剧本其八里 C2 × C2 上的 8 类环就是证据（同样的加法群，乘法有 8 种本质不同的装法）。装得越多，自由越少；这正是「遗忘函子忘掉的东西多少」决定自由对象形态的直接体现。
七环与群的分工：为什么环的自由对象是多项式
把两个范畴的自由对象并排，可以看到结构公理如何决定元素形态：
- 群只有一个运算，生成元的任意并列都无法化简，故元素是词（a b a-1 b2 …），约化规则只有「相邻的互逆对消去」；
- 环有两个运算，且加法是交换群：重复加法被指数记法（3x）吸收、重复乘法被幂（x3）吸收，分配律再把二者交织成单项式的整系数和——词被折叠成多项式，这是分配律的功劳；
- 若放弃乘法交换性，折叠不完全：非交换自由代数 ℤ⟨x, y⟩ 的元素是「非交换多项式」（仍是 words），其乘法即为词的连接。其八的 T2(𝔽p) 里由两个元素生成的非交换子代数，就是这种对象的有限影子。
由此得到一条判据，可以带走：自由对象的存在性只依赖遗忘函子（忘掉结构后还剩什么），而它的形态由结构公理（公理有多强、能化简多少）决定。 群到环、环到模（第三章）、环到代数（𝔽p-代数）的每一次「加结构」，都在这条判据下产生新的自由对象：自由模、自由代数、张量代数、对称代数。
对照样本（C1）。 自由群的词计数 1, 4, 12, 36, 108, 324（长度 0…5 的约化词，2k(2k − 1)n−1）是「不做任何化简」的量尺：多项式的单项式之所以能合并（x·x·x → x3、x + x + x → 3x），正因为环的公理比群多出交换的加法与分配律。剧本 C2 还给出一只「关系的卡尺」：F({a, b}) → S3 的同态恰 62 = 36 个，加一条 a2 = 1 后掉到 24 个（a 的像必须是 4 个对合之一）——与本节 E1 的「同态数 = 方程解数」是同一机制在两个范畴里的显影。
7.1 自由对象的唯一性：自由没有两样
万有性质不只给出存在性，还把对象钉死：若 F 与 F′ 都在 S 上自由，则存在唯一的同构 F ≅ F′ 且它与生成元的嵌入相容。论证是万有性质的两次自我引用：F 的万有性质给 φ : F → F′（把 S 送到 S），F′ 的给 ψ : F′ → F；合成 ψφ 与 idF 都是「把 S 原地不动」的同态，由唯一性二者相等，故 ψφ = id；同理 φψ = id。「自由」不是一种结构，而是结构的一种身份——这正是万有性质优于「元素构造」的地方：换一种构造（系数写成别的次序、单项式另作排列）得到的对象必然同构。
7.2 换系数：从 ℤ⟨S⟩ 到 𝔽⟨S⟩
交换系数环是自由对象的常规操作：对任何含幺交换环 k，多项式环 k[x] ≅ k ⊗ℤ ℤ[x]——把 ℤ[x] 的整系数「换成」k 系数。特例：𝔽2[x] = 𝔽2 ⊗ ℤ[x]，其八的四阶环 𝔽2[x]/(x2) 就是在这里再商掉一条二次关系。一般地 k⟨S⟩ 仍是「S 上的自由 k-代数」，万有性质逐字照抄。第三章主理想环上的模将把这套语言再推一步：自由模 kn、生成元与关系、以及标准形——群论其九的「自由 Abel 群与格」会在模的语境里全面复活。
八术语考古、三句话与收官回望
8.1 名词与历史的来路
- polynomial（多项式）。 词根 poly-（多）＋ ‑nomial（项，源自拉丁 nomen「名字」）；17 世纪由 Vieta、Descartes 的符号代数定型，18 世纪被欧拉用作「整式函数」的标准说法。「多项式环」作为自由对象的理解则是 20 世纪范畴语言的再解释——同一个对象在算术传统与结构传统中的两种身份。
- free object（自由对象）、universal property（万有性质）。 术语在 1940 年代由 Eilenberg 与 Mac Lane（《General Theory of Natural Equivalences》, 1945）奠基；「万有性质」由 Bourbaki 学派推广为公理化定义的标准格式。自由群、自由模、自由环是最早被收入这一框架的例子。
- adjoint functor（伴随函子）。 D. Kan 1958 年引入；「F ⊣ U」读作「F 左伴随于 U」。Mac Lane 的名言「Adjoint functors arise everywhere」正是从自由-遗忘、张量-Hom 这两对最基本的例子来的。
- presentation（表现）。 生成元与关系的语言来自群论：Cayley 与 Dyck 在 1880 年代建立群的表现，Dehn 1911 年正式提出词问题。环的表现沿用同一套语法，只是关系可以是多项式（本册的 ℤ/6 ≅ ℤ[x]/(6, x − 1)）。
- 与群论册其九的对称。 群论读本最后一册走的是「自由群 → 表现 → Abel 化 → 自由 Abel 群与格」；环论读本最后一册走的是「自由环 → 表现 → 张量积 → 三种自由对象对照」。两册并读，可以看到「装结构」与「忘结构」这对动作在两种代数体系里的同一套逻辑——这也是九册读本叙事的收束之处。
8.2 三句话总结
① 多项式环是环范畴的自由对象：|Hom(ℤ[x], ℤ/n)| = n、|Hom(ℤ[x1, …, xk], ℤ/n)| = nk——同态由生成元的像任意选择、唯一扩张，这就是万有性质 HomRing(ℤ[S], R) ≅ R|S|，也是「自由」区别于「随便」的严格含义。
② 加关系就是做商：Hom(ℤ[x]/(f), R) = {r ∈ R : f(r) = 0}；ℤ[x]/(x2+1) → ℤ/n 的同态数（3 → 0、5 → 2、7 → 0、13 → 2、65 → 4）与高斯整环的素数分裂/惯性判据逐项吻合，而每个环都是自由环的商（ℤ/6 ≅ ℤ[x]/(6, x − 1)，关系到 73 条）。
③ 三种自由对象的同态计数公式完全平行（|目标||S|），差异只在元素形态：自由群＝约化词、自由 Abel 群＝整系数线性组合、自由环＝多项式——「自由」是关于同态的性质，不是关于元素的性质；自由环的加法群是自由 Abel 群，反之则不成立（C2 × C2 上有 8 种乘法装法）。
8.3 阅读指引
- 教材：张英伯、王恺顺《代数学基础（下·第 2 版）》§2.1–§2.3（环、理想、商环与多项式环的构造）——本册是其思想层面的「上封顶」；第三章主理想环上的模将把「自由对象」从环搬到模上（自由模）。
- 范畴与万有性质：S. Mac Lane, Categories for the Working Mathematician 第 4 章（伴随函子）；P. Smith, Category Theory: A Gentle Introduction §5（自由对象与伴随的入门处理）。
- 多项式环与表现：D. S. Dummit & R. M. Foote, Abstract Algebra §7.6、§9.5、§13.1–13.2；S. Lang, Algebra 第 II 章 §5、第 IV 章 §2。
- 环的表现与计算：D. Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry 第 1–2 章（生成元与关系、Gröbner 基的入口）。
- 群论对照：群论专题读本其九《群范畴的自由对象》——词计数 2k(2k−1)n−1 与「F({a, b}) → S3 的 36 个同态」两处，与本册 C 组逐项呼应。
《代数学基础（下·第 2 版）》第二章补充读物 · 环论专题读本其九 ｜ 九章格数学 ｜ 第 2 版 · 2026