本册定位（九册开篇）。 《代数学基础（下）》第二章把「环」作为继群之后的第二个代数结构端上来，开篇第一个例子永远是整数环 ℤ，第二个例子永远是系数取自某个域的一元多项式环 F[x]。这不是偶然的编排：ℤ 与 F[x] 在算律上几乎是同一个环——两者都有带余除法、都有欧几里得算法、都有唯一分解、都能谈「互素」与「最小公倍」。本册要做的第一件事，就是把这两个舞台并排摆开、逐条比对，让您看清「同一个算法在两个对象上同时成立」这件事背后，是一条共同的公理：存在一个良序的「大小」函数（ℤ 上是绝对值，F[x] 上是次数）。这条公理就是后来「欧氏环」（§2.8）的定义。走完本册，您会发现课本第二章后面的每一个概念——零因子、单位、整环、理想、唯一分解——都能先在 ℤ 与 F[x] 这两个样板间里试演一遍。
〇系列地图：九册读本与第二章的接口
本系列为第二章的每一块理论骨架配置延伸读本，编排如下（「→」表示后续册将深化）：
其二 高斯整环 ℤ[i]——二次整环的第一个例子：范数即「大小」，欧氏算法照常运转；费马两平方和定理是它的战利品（接口：§2.8 欧氏环、§2.6 唯一分解环）。
其三 主理想环与唯一分解环——为什么「欧氏 ⟹ 主理想 ⟹ 唯一分解」，以及 ℤ[√−5] 里 6 = 2·3 = (1+√−5)(1−√−5) 的著名崩塌（接口：§2.6、§2.7）。
其四 形式幂级数环 R[[x]]——无穷和的世界：可逆性只看常数项，理想只有 (xn) 一串，是「局部环」的第一张面孔（接口：§2.1 单位、§2.3 理想）。
其五 阿廷环与诺特环——环上升链与降链的两极：希尔伯特基定理与 Hopkins–Levitzki 定理（接口：§2.5 素理想、§2.3 理想）。
其六 环论中的中国剩余定理——互素的理想、环的直和、幂等元，以及《孙子算经》「物不知数」的现代回响（接口：§2.4 环的直和）。
其七 环的局部化——从「整环的商域」这个特例出发，造出 S-1R 与局部环的万有性质（接口：§2.2 整环的商域）。
其八 有限环与环论中的有限条件——枚举 4 阶、9 阶环，看清有限结构的分类骨架与 Wedderburn 小定理（接口：§2.1、§2.5）。
其九 环范畴的自由对象——多项式环是遗忘函子 Ring → Set 的左伴随，「自由变量」四个字的精确含义（接口：§2.1 的重述）。
本册（其一）是这条链的共同地基：它只做一件事，把 ℤ 与 F[x] 立起来，后面的八册才有立足的样板。
一环的三件事：加法群、乘法与分配律
课本给环的定义是「装备了两条运算的集合，使 (R, +) 是 Abel 群、(R, ·) 是幺半群、且乘法对加法分配」。这句话可以拆成三件事来读：
第一件，加法单独看是一个 Abel 群。 这意味着减法永远可做、加法永远可交换——环的「加」这一半天生完美，没有任何限制。
第二件，乘法单独看只是一个幺半群。 它结合、有单位元 1（本课程约定环含幺），但不要求交换、不要求可逆、不要求消去。环论的所有麻烦与所有趣味都来自这半边。
第三件，分配律把两半焊在一起。 分配律是唯一让「加」与「乘」互相说话的桥；缺了它，两个独立的结构并排站着，不成其为环。
把这三件事记住，第二章后面每个新概念都能对号入座：理想（§2.3）是「加法子群 + 吸收乘法」，正是第一件事与第三件事的组合；商环（§2.3）之所以要理想而非普通子环，正是因为只有吸收律才让陪集乘法良定义；整环（§2.1）是在第二件事上加了「无零因子」，好让消去律回来；域是第二件事上加满「除 0 外皆可逆」，让乘法也变成群。第二章其实是一部「第二件事的分级改造史」。
例 1.1（两件平凡但重要的事）。 ① 零环 O = {0}：唯一元素 0 同时充当 1。本课程多数定理默认真环（1 ≠ 0），零环是排除在外的边界情形。② 每个环都是 ℤ-代数：存在唯一的环同态 ℤ → R，把 n 送到 n·1。这条不起眼的同态解释了「为什么 ℤ 是环论的原型」——它是任何环里都藏着的那个 ℤ。
二整数环 ℤ：算术的样板间
定义 2.1（整除）。 设 a, b ∈ ℤ。称 a 整除 b，记 a | b，若存在 q ∈ ℤ 使 b = aq。a 称为 b 的因子，b 称为 a 的倍数。
整除是 ℤ 上的一个二元关系，它把整数排成一棵「因子树」。注意三条易被忽略的性质：① 传递性（a | b, b | c ⟹ a | c）；② 自反性（a | a）；③ 0 的异常（任何数整除 0，而 0 只整除 0）。由 ① ② 可知整除是一个预序；取商掉「互相整除」的对 (a, −a)，它就变成一个偏序——这正是 §2.6 谈唯一分解时的视角：唯一分解本质是「因子格」的结构陈述。
单位与相伴。 单位（unit）是可逆元。ℤ 的单位群 U(ℤ) = {1, −1} ≅ C2；一般环记为 U(R) 或 R×。若 a = bu 且 u 是单位，称 a 与 b 相伴（associate）。在 ℤ 中相伴的就是 a 与 −a——「素数 7 与 −7 在整除理论里是同一个东西」，唯一分解的表述必须考虑到这一点（通常要求因子首一或正）。
定义 2.2（素数）。 p > 1 称为素数，若 p 的正因子只有 1 与 p。等价地：p 不能写成两个大于 1 的整数之积。
欧几里得引理是素数定义真正有用的形式，也是唯一分解的门枢：
命题 2.3（欧几里得引理）。 若 p 是素数且 p | ab，则 p | a 或 p | b。
证明. 设 p ∤ a。则 gcd(a, p) = 1（因为 p 的因子只有 1 与 p，而 p 不整除 a）。由贝祖恒等式（命题 6.2）存在 s, t 使 sa + tp = 1。两边乘 b：s(ab) + t(pb) = b。左端两项都被 p 整除（p | ab 与 p | pb），故 p | b。□
数值注记（C 组）。 ℤn 的零因子现象是「素数 vs 合数」的分水岭。脚本对 n = 6, 8, 9, 12, 15, 16, 20, 30 统计出 (φ(n), 零因子数 n−1−φ(n)) 分别为 (2,3)、(4,3)、(6,2)、(4,7)、(8,6)、(8,7)、(8,11)、(8,21)：n = 7 时单位 6 个、零因子 0 个（ℤ7 是域），n = 12 时单位 4 个、零因子 7 个。同一张表里「零因子是否为零」恰好对应「n 是否素数」——这是 §2.1「ℤn 是整环 ⟺ n 为素数」最直观的一次核对。
三带余除法：两个舞台上的同一个算法
定理 3.1（ℤ 的带余除法）。 设 a ∈ ℤ，b ∈ ℤ \ {0}，则存在唯一的 q, r ∈ ℤ 使
a = bq + r， 0 ≤ r < |b|。
「唯一」两个字的证明只用到一个事实：余数的取值区间 [0, |b|) 里任意两数之差小于 |b|，若两个余数 r, r′ 都落在此区间且 b | (r − r′)，则只能 r = r′。
这条定理之所以是全章的地基，因为它给 ℤ 装上了一个「下降」机制：余数严格小于除数。反复做下去，序列 |b| > r1 > r2 > ⋯ ≥ 0 必然终止（ℕ 良序），这就是欧几里得算法。而 ℤ 之所以能做带余除法，靠的是「绝对值」这个把 ℤ 映到 ℕ 的函数——一旦把它抽象出来，就是 §2.8 的欧氏环定义。
算法 3.2（欧几里得算法）。 输入 a, b；令 (a, b) ← (b, a mod b)，直到 b = 0；输出的 a 即 gcd(a, b)。
算法正确性的核心是一句话：gcd(a, b) = gcd(b, a mod b)。因为 a 与 b 的公因子，和 b 与 a−bq 的公因子，是同一批。脚本 B2 用扩展欧几里得跑了 200 组随机整数对，每组都验证 s·a + t·b = gcd(a, b) 字面成立。
四域上一元多项式环 F[x]：把 ℤ 的算律整体搬过来
设 F 是域，F[x] 表示系数取自 F 的一元多项式全体，配通常的多项式加法与乘法。它是交换含幺环（各条公理逐项验证：加法是系数向量空间、乘法是卷积、分配律来自系数的分配律）。真正的关键在这一条：
定理 4.1（多项式的带余除法）。 设 F 是域，f, g ∈ F[x]，g ≠ 0，则存在唯一的 q, r ∈ F[x] 使
f = gq + r， deg r < deg g（约定 deg 0 = −∞）。
证明的关键在「域」二字：g 的首项系数 a 可逆，因而可以做「首项消去」——模仿整数竖式除法，每步用 (f 的首项)/(g 的首项) 乘 g 从 f 中减去，次数严格下降，直到余式次数低于 g。若 F 只是环而非域（如 ℤ[x]），首项系数未必可逆，带余除法不再处处成立（例：x 除 2x 于 ℤ[x] 中无解，因 2x = x·2，商 2 不是问题，但 2x + 1 除以 2 就无解）。这正是 §2.1「域上多项式环是欧氏环，而 ℤ[x] 不是」的源头。
对照。 两个舞台的带余除法完全同构，只需把「绝对值」换成「次数」：
『除数非零』 『余数 < 除数（绝对值 / 次数）』 『反复做必然终止』——三条一字不差。
数值注记（A 组）。 脚本用系数在 𝔽5 上的多项式引擎跑了 12 组带余除法，每一组都验证 f = gq + r 且 deg r < deg g；整数侧则用 4 组样本（含负被除数）验证 0 ≤ r < b 的唯一性。两个舞台的输出被并排打印——这是本册最想让您看见的一幕。
域上一元多项式环的三个「好消息」。 ① 它是整环（没有零因子，域上没有「系数相乘得 0 而不为零」的事）；② 它带余除法成立，因而可做欧几里得算法；③ 它的单位恰是 F× 里的常数多项式（次数 0 且非零——一个非常数多项式乘任何多项式次数只增不减，永不等于 1）。第三条是 §2.8「欧氏环单位 = 范数最小元」在多项式上的化身。
例 4.2（ℚ[x] 与 ℝ[x] 的差异不在算律而在可约性）。 ℚ[x] 与 ℝ[x] 的环结构（能否带余除法、是否整环）完全一样，差异只在「哪些多项式不可约」：x2 − 2 在 ℚ[x] 不可约、在 ℝ[x] 可约；x2 + 1 在 ℝ[x] 不可约、在 ℂ[x] 可约。这提示：代数数论与伽罗瓦理论研究的正是「不可约性如何随底域变化」——第二章的 §2.8、第四章的域扩张都在追这条线。
五单位、零因子与整环：谁在妨碍「消去」
群的乘法可以无条件消去（乘逆元即可）。环没有这一路特权，于是「消去律什么时候成立」变成一个真问题。
定义 5.1（零因子）。 交换环 R 中，非零元 a 称为零因子，若存在非零元 b 使 ab = 0。不含零因子的非零交换环称为整环（integral domain）。
命题 5.2（整环 ⟺ 消去律）。 交换环 R 无零因子，当且仅当对任意 a ≠ 0，ax = ay ⟹ x = y。
证明. (⟹)：a(x−y) = 0 且 a ≠ 0，无零因子故 x−y = 0。(⟸)：若 ab = 0 = a·0 且 a ≠ 0，消去得 b = 0。□
这条等价是「整环」概念的用途所在：它把「能不能消去」简化为「有没有零因子」。第二章后面大量论证（尤其是唯一分解、商域的构造）都以它为跳板。
环的三级台阶。 用零因子与可逆性可以把交换环分成一列台阶：
『环 R』→『整环（无零因子）』→『唯一分解环 UFD』→『主理想环 PID』→『欧氏环 ED』→『域 F』
每往右一步就多一条性质：UFD 是「唯一分解成立」，PID 是「每个理想由一元生成」，ED 是「有带余除法」，域是「非零元全部可逆」。本系列其一到其三（ℤ、ℤ[i]、PID/UFD）连同 §2.6–2.8 就在走这条链；链的严格性（ED ⟹ PID ⟹ UFD，反之皆不成立）是其三的主题。
数值注记（C 组）。 ℤ6 的单位 2 个、零因子 3 个（2·3 = 0 是零因子的范例）；ℤ9 里 3·3 = 0，零因子 2 个。零因子不是病态，而是「模数分解」的代数显影——其六会看到，ℤn 的零因子结构正好被中国剩余定理切成「各素幂成分」的直和，零因子是「跨成分的对角线」。
六互素、贝祖与最小公倍：一个算法，两种对象
定义 6.1（公因子与最大公因子）。 在整环 R 中，d 称为 a, b 的公因子，若 d | a 且 d | b；称 d 为最大公因子（gcd），若 d 是公因子且每个公因子都整除 d。gcd 在相伴意义下唯一（若存在）。
命题 6.2（贝祖恒等式）。 在 ℤ 与 F[x] 中，gcd(a, b) = d 当且仅当 d 是集合 {sa + tb : s, t} 中「范数最小」的非零元；特别地存在 s, t 使 sa + tb = d。
证明. 设 d = gcd(a, b)，令 I = {sa + tb}。取 I 中范数（|·| 或 deg）最小的非零元 e。用带余除法把 a 除以 e：a = eq + r，则 r = a − eq 仍在 I 中且范数小于 e，故 r = 0，e | a；同法 e | b，e 是公因子，于是 e | d；另一方面 d | a, b ⟹ d | (sa+tb) ⟹ d | e。两者相伴，取首一/正代表即得 d = e。□
这段证明是全章的枢纽：它同时用上了带余除法（下降）、理想思想（集合 I 就是理想 (a, b)）、以及范数函数。§2.3 会把它重述为「PID 中每个理想由一元生成」；§2.6 会用它证明唯一分解。可以说，贝祖恒等式是「带余除法」升格为「理想理论」的那一刻。
最小公倍。 lcm(a, b) 是「同时是 a, b 倍数的元中最小者」（相伴意义唯一）。在 ℤ 与 F[x] 中有漂亮的公式
gcd(a, b) · lcm(a, b) = ab（首一/正代表意义下）
数值注记（B 组、D 组）。 脚本 B1 在 𝔽5[x] 上对 4 组多项式验证 s·a + t·b = gcd 且 gcd 首一；B2 在 ℤ 上跑 200 组扩展欧几里得。D 组进一步验证 F[x] 的整除结构：𝔽2[x] 上次数 1–4 的不可约首一多项式恰有 2, 1, 2, 3 个（合计 8 个：x、x+1、x2+x+1、x3+x+1、x3+x2+1、x4+x+1、x4+x3+1、x4+x3+x2+x+1），与「F[x] 类比 ℤ、不可约多项式类比素数」完全对应——8 这个数也是「𝔽2 上次数 ≤4 且不可约」的计数，是有限域理论（第四章）的起手式。
七从更相减损到欧几里得：《九章》与《几何原本》的相遇
带余除法有两位祖先，分别来自中国与希腊。
中国的更相减损术。《九章算术》「方田」章给出约分术：「可半者半之，不可半者，副置分母、子之数，以少减多，更相减损，求其等也。」翻成现代语言：要化简分数，就把分子分母两数反复以大减小，直到两数相等，这个相等的数就是最大公因子。这是减法版的求 gcd 算法。
希腊的欧几里得算法。《几何原本》卷七命题 1–2 用除法反复求余：「给定两个不相等的数，用辗转相除求它们的最大公度量。」这是除法版。
两者是同一条算法的两种实现：减法版每步减去一个除数，除法版一步减够商那么多倍。脚本 E 组把两者并排跑，验证它们求出的 gcd 完全一致；效率差异在数字上立刻显现——对 (1071, 462)，更相减损需要 11 步，而欧几里得除法只需 3 步（1071 = 2·462 + 147，462 = 3·147 + 21，147 = 7·21）。于是同一件事在东方以「减法」登场、在西方以「除法」定形，最终在「带余除法 + 良序下降」这条现代公理上合流。
刘徽的注进一步把「更相减损」与「等比」联系起来，指出只要两数之比是有理数，减损必终止——这正是良序性的古代表述。现代计算中，减法版在二进制机器上有优势（无需除法，只要移位与减法），是 gcd 的「binary algorithm」，至今用于密码学库。
八术语考古、三句话与阅读指引
8.1 名词与历史的来路
- integral domain（整环）。 「integral」来自 integer（整数）：整环的字面意思是「行为像整数的环」——无零因子、可消去、能谈整除与素数。术语在 20 世纪初随抽象代数的公理化而固定（van der Waerden《Moderne Algebra》1930 系统使用）。中文「整环」的「整」即「整数」的整。
- unit（单位）。 拉丁 unus「一」：环里充当「1 的因子」的元素——u 是单位 ⟺ u 整除 1。ℤ 的单位群 {±1} 是「符号」的抽象，这个映射 ℤ → {±1} 是数论里最早的环同态之一。
- Euclidean domain（欧氏环）。 得名于欧几里得：一个交换整环若装备了「欧氏范数」φ : R \ {0} → ℕ 使带余除法成立，就称为欧氏环。ℤ（φ = |·|）、F[x]（φ = deg）、ℤ[i]（φ = 范数）是三大原型。术语由 Dedekind 与 Weber 在 19 世纪末的函数域研究中提炼。
- associate（相伴）。 「associated」即「伴随在一起」：a = bu（u 为单位）把「同一个理想生成元的不同写法」组织成一个等价类。唯一分解必须聊到相伴，否则 6 = 2·3 = (−2)·(−3) 就成反例——术语的存在是为了让陈述干净。
- Bézout identity（贝祖恒等式）。 Étienne Bézout（1730–1783，法国数学家）在《Théorie générale des équations algébriques》（1779）中给出多项式版的表述；整数版更早见于欧几里得的辗转相除。它是「最大公因子 = 线性组合」的代数核心，是 PID 与 UFD 理论的公共源头之一。
- primitive polynomial（本原多项式）。 系数互素的多项式；高斯引理说「两个本原多项式之积仍本原」，这条引理是「ℤ[x] 是 UFD（若 ℤ 是 UFD）」的关键桥段，其一会用到，其三会正式把它接进唯一分解的证明。
8.2 三句话总结
① ℤ 与 F[x] 是同一个环的两个化身：都有带余除法、都能做欧几里得算法、都有贝祖恒等式——差异只在「大小函数」是绝对值还是次数，把这条抽象出来就是 §2.8 的欧氏环。
② 环的定义是三件事的焊接：加法是 Abel 群（无限制）、乘法只是幺半群（这是全部麻烦的来源）、分配律把两半焊在一起；第二章后面的每个概念都在对第二件事做改造。
③ 唯一分解的门枢是欧几里得引理「p | ab ⟹ p | a 或 p | b」，而它的证明靠贝祖恒等式；贝祖恒等式又靠带余除法——一条链从「余数比除数小」一直长到「每个整数分解唯一」。
8.3 阅读指引
- 教材：张英伯、王恺顺《代数学基础（下·第 2 版）》§2.1（环的零因子和单位）、§2.8（欧氏环）——本册每节的「教材接口」即回指这些位置。
- 环论入门（概念并置的系统处理）：M. Artin, Algebra, 2nd ed.（Pearson）第 11 章；D. S. Dummit & R. M. Foote, Abstract Algebra, 3rd ed.（Wiley）第 7、8 章（环、欧氏环与 UFD 的经典叙述）。
- 多项式环与不可约判定：S. Lang, Algebra, rev. 3rd ed.（Springer GTM 211）第 IV 章；关于有限域上不可约多项式计数（本册 D 组）见 R. Lidl & H. Niederreiter, Finite Fields（Cambridge），第 3 章。
- 中国古算：《九章算术》方田章「约分术」与刘徽注（李继闵《九章算术校证》或郭书春《汇校》）；更相减损与欧几里得算法的比较见吴文俊主编《中国数学史大系》第一卷。
- 算法与计算：gcd 的 binary algorithm（减法版）见 D. E. Knuth, The Art of Computer Programming Vol. 2（半数值算法）§4.5.2；扩展欧几里得在现代密码学（RSA、椭圆曲线）中的核心地位见任何公钥密码教材。
《代数学基础（下·第 2 版）》第二章补充读物 · 环论专题读本其一 ｜ 九章格数学 ｜ 第 2 版 · 2026