环论专题读本 · 其八

本册定位。 第二章从 §2.1 的零因子、单位一路走到 §2.8 的欧氏环，「有限」一词始终没有正面登场：ℤ 无限、F[x] 无限、R[[x]] 无限。可有限环才是这个结构谱系里最贴地气的一支——其四、其六的主角 ℤ/n 就是有限环，而它的乘法表在 n 不太大时可以完整写出。本册把「有限」本身当显微镜：先对小阶环做穷举（2 阶 16 张乘法表、3 阶 19683 张），把「阶 p² 的环恰有 11 类」这个经典小定理亲手数出来；再用不变量指纹（单位数、幂等元数）把 4 阶与 9 阶的四个含幺环逐一辨认出来（ℤ/p²、𝔽_p × 𝔽_p、𝔽_p[x]/(x²)、𝔽_p²）；然后用一行「乘 a 是单射，有限故满射」证明含幺有限整环必为域，并由此走向 Wedderburn 小定理——「有限的世界里不存在真正的非交换除法」。其五的升链与降链条件在有限环上自动成立，本册则说明：有限条件下的环论，是一门可以用程序做完的分类学。

一有限环：小到可以枚举的世界

定义 1.1（有限环的阶）。 环 R 的阶（order）指它作为集合的元素个数 |R|；阶有限的环称有限环。以下的环默认含幺。

有限环立刻给出两条结构性收获：

• 特征。 含幺环的特征是 1 的加法阶，故必整除 |R|；若 R 还是整环，特征只能是素数 p，此时 ℤ 的自然像 ℤ/p 落在 R 中——每个有限整环（更一般地，每个特征 p 的环）都含一个素域 𝔽_p，因而是 𝔽_p 上的代数。
• 链条件自动成立。 元素只有有限多个，理想（作为元素子集）也就有限多个：升链与降链都不可能在无穷步之后仍严格变化。故有限环既是诺特环也是阿廷环（其五），且维数为 0——每个素理想都极大。

一批样板里最该记牢的是这五个：ℤ/n（加法群 C_n，阶 n）；𝔽_p[x]/(f)，deg f = d（阶 p^d）；M_n(𝔽_p)（阶 pⁿ²，n = 2、p = 2 时只有 16 个元素）；𝔽_p × 𝔽_p（阶 p²，零因子满地）；群环 𝔽_p[G]（|G| = m 时阶 p^m，有限群表示论就住在这里）。

数值注记（A 组）。 剧本把 2 阶与 3 阶的所有乘法表逐一检验，结果比想象更细致：

• 2 阶：2⁴ = 16 张乘法表中，满足双分配律与结合律的只有 2 张——零乘环（一切乘积为 0）与 ℤ/2，含幺者 1 张（零乘环没有幺元）。
• 3 阶：3⁹ = 19683 张表中合法者 3 张——零乘环，以及 ℤ/3 的两种标号：1·1 = 1（幺元是 1）与 1·1 = 2（幺元是 2，因为 2·2 = 4 ≡ 1）。后两张表由 x ↦ 2x 给出同构，故 3 阶环的同构类只有 2 个。

这个小样本教出本册最重要的方法论：枚举给的是「带标号的环」，分类要做的是「商掉同构」。 表数与类数常不相等，其六里 ℤ/15 有 4 个幂等元、ℤ/5 × ℤ/3 也有 4 个，是同一类「标号与结构分家」的现象。

二枚举的三件套：表、公理、规范化

2.1 从 nⁿ² 张表到一列同构类

把加法群固定下来（ℤ/n，或 p 群情形下的 C_p × C_p），乘法表的所有可能即 nⁿ² 张（3 阶 19683 张；4 阶若限于加法群 C₂ × C₂，则乘法只能是 𝔽₂-双线性的，8 个结构常数给出 2⁸ = 256 张）。接着做三件事：

• 筛公理。 双分配律（2n³ 条等式）与结合律（n³ 条）。这一步不依赖任何理论，纯机械。
• 筛条件。 要研究含幺环就再筛「存在幺元」，要研究整环就再筛「无零因子」，要研究除环就再筛「每个非零元可逆」。
• 商同构。 在加法群自同构群（p² 阶情形即 GL₂(𝔽_p)：p = 2 时 6 个、p = 3 时 48 个）作用下把表搬到规范形，取最小字典序代表元去重。

一个真实的坑。 含幺环的幺元未必落在坐标 (1, 0) 或 (1, 1) 上——3 阶的两张含幺表，幺元分别是 1 与 2。统计「单位数」「幂等元数」时若想当然地拿 (1, 1) 当幺元，得到的指纹会全错（剧本第一版正是栽在这里：把 𝔽₃ × 𝔽₃ 的幂等元数报成了 4 之外的值，又误把 ℤ/16 的单位群当成循环）。正确做法是先用线性同构把幺元搬到 (1, 1) 再统计。程序化分类里，规范化不是可省的漂亮步骤，而是正确性的前提。

2.2 指纹：给环做一次体检

表中数字全部由剧本枚举统计得出。指纹的组合恰好把这几类分开：4 阶时 (1, 4) 只能是 𝔽₂ × 𝔽₂（幂等元最多、单位最少）、(3, 2) 只能是域 𝔽₄（单位最多）、(2, 2) 是 𝔽₂[x]/(x²)；9 阶时 (4, 4) = 𝔽₃ × 𝔽₃、(8, 2) = 𝔽₉、(6, 2) = 𝔽₃[x]/(x²)。注意 ℤ/4 与 𝔽₂[x]/(x²) 指纹撞车、ℤ/9 与 𝔽₃[x]/(x²) 也撞车——指纹能把环分开，却绝不等于同构类清单；真正的判定还得看乘法表本身（这两对加法群不同，本就不该同构）。

标号表数的定量副产品。 p = 2 时 12 张含幺表中三类分别占 6、3、3 张；p = 3 时 72 张里三类各占 24 张。规律是 |GL₂(𝔽_p)| / |Aut(R)|：𝔽₄ 与 𝔽₂ × 𝔽₂ 的自同构群都是 2 阶（6 / 2 = 3，𝔽₄ 的自同构来自 Frobenius），𝔽₂[x]/(x²) 只有一个自同构（6 / 1 = 6）；p = 3 时三个环的自同构群都是 2 阶（48 / 2 = 24）。

三阶 p² 的环恰有 11 类

排序第一步是加法群。有限阿贝尔群基本定理的最小样本：阶 p² 的加法群只有两种——循环群 C_p² 与初等交换群 C_p × C_p。分头处理。

命题 3.1（循环情形）。 设 R 的加法群为 C_p²。此时 1 是加法生成元，乘法被 b = 1·1 完全决定：x·y = b·xy（x、y 是 1 的整数倍）。结合律自动成立；并且 R_b ≅ R_b′ ⟺ b′ = bu（u 取遍单位）。单位就是与 p 互素的那些数，故轨道只有 3 个：b = 0（零乘环）、b 为单位（ℤ/p²）、b 为非零的真倍数（即 p，得「p·(ℤ/p²)」型环）。剧本的 G1 用同一套轨道计数验证了更一般的事实：循环加法群 C_n 上的环恰有 τ(n) 个同构类（τ 为因子个数），n = 4, 6, 9, 10, 15, 21, 25, 49 分别给出 3, 4, 3, 4, 4, 4, 3, 3。

命题 3.2（非循环情形）。 加法群 C_p × C_p 上，环结构就是 𝔽_p-代数结构，由 8 个结构常数（四对基元乘积各两个坐标）决定：p = 2 时 256 张表、p = 3 时 6561 张。筛掉不合法者（含幺与结合律）后剩 28 张（p = 2）与 121 张（p = 3），经 GL₂(𝔽_p) 规范化后两者都恰剩 8 类——表数相差 4 倍，类数却完全相同，这正是「商掉同构」的威力。

定理 3.3（阶 p² 的环）。 对每个素数 p，阶 p² 的环恰有 11 个同构类：循环加法群上 3 类 ＋ 非循环加法群上 8 类。其中含幺的只有 4 个：

ℤ/p²、　𝔽_p × 𝔽_p、　𝔽_p[x]/(x²)、　𝔽_p²。

剧本在 p = 2（A3/A4、B1/B2）与 p = 3（B3/B4）上把 11 与 4 都枚举证实（p = 2 的 11 类正是「C₄ 上 3 类 ＋ Klein 四元群上 8 类」）。四个含幺环的来历非常整齐：加法群二选一；若取非循环的 C_p × C_p，则在一个生成元 x 上二选一——「x² = 0」给出 𝔽_p[x]/(x²)（对偶数环），「x² = x」给出分裂的 𝔽_p × 𝔽_p，「x² 不可约」给出域 𝔽_p²（对照 2.2 的指纹表，这三个恰好由单位数 2、1、3 与幂等元数 2、4、2 分辨）。

注 3.4（加不加 1，面貌大不同）。 11 类里除这 4 个含幺环外，其余 7 类都无幺元（零乘环、幂零环等）。「含幺」这一个条件把 11 砍到 4——本册与其余八册（默认含幺）的分工边界就在这里。顺带得到阶 pq（p ≠ q 素）的经典计数：加法群只能循环，轨道数 τ(pq) = 4，故阶 pq 的环恰 4 类（剧本 G2）。

四Wedderburn 小定理：有限的除法必交换

定理 4.1（Wedderburn 1905）。 有限除环必为域。

三条看法，一条比一条短：

① 原始证明（类方程 ＋ 分圆多项式）。 设 D 为有限除环，中心 Z(D) = 𝔽_q，取极大子域 𝔽_q^d。对单位群 D^× 用共轭类方程，把 qⁿ − 1 写成 q − 1 加上各共轭类的大小，会出现分圆多项式 Φ_m(q) 这类整数因子；再用 m > 1 时 |Φ_m(q)| > q − 1 的初等估计把方程逼成矛盾。这是有限群论「类方程」方法最著名的应用之一。

② Witt 1931 的向量空间证明。 把 D 同时看作中心 𝔽_q 上（维数 n）与极大子域 𝔽_q^d 上（维数 e）的向量空间，用乘法给出的单射比较两边的尺寸，几步就得到交换性。

③ 枚举样本。 剧本对 4 阶与 9 阶的全部含幺结合表逐个检查「每个非零元可逆」：得到的除环在 4 阶有 3 张表、9 阶有 24 张表，全部交换，规范化后各只剩 1 类（即 𝔽₄ 与 𝔽₉）。枚举不能代替证明，但它把「最小的非交换除环长什么样」问得很具体：四元数除环 ℍ 有 8 个元素，却必须借助无限域（ℝ、ℂ 上的 2 × 2 矩阵）造出来；在有限环的世界里，这样的环永远等不到。

推论 4.2（有限域分类的入口）。 有限除环就是有限域，于是每个有限域都是 𝔽_p^n——第四章域扩张将证明 pⁿ 元域存在且在同构意义下唯一。有限射影平面的坐标、编码理论、有限域上的矩阵群，全部建立在这条小定理之上。

反面提醒。 「有限」二字不可省：ℍ 是非交换除环；M_n(ℝ)（n ≥ 2）非交换但有零因子。小定理的完整叙述是「有限 ＋ 无零因子 ⟹ 交换且可除」；只保留「无零因子 ＋ 有限维」，结论中「交换」一般不再成立。

五有限整环 ⟹ 域：一行论证及其推广

定理 5.1。 含幺有限整环 R 是域。

证明。 取 a ≠ 0，考察映射 m_a : R → R，x ↦ ax。若 ax = ay，则 a(x − y) = 0，由无零因子得 x = y，故 m_a 单射；R 有限，单射必为满射，于是存在 b ∈ R 使 ab = 1。a 任意，故 R 为域。□

这一行论证是「有限性免费提供逆元」的原型，值得记住它的三种化身：

• 有限半群/群论。 其二的格林关系里，有限半群中单侧的消去律足以把 ℋ-类变成群；同样的「单射即满射」在置换群、有限变换幺半群中反复出现。
• 线性代数。 有限维结合代数中「无零因子 ⟹ 除代数」——但不必交换（四元数就是反例）。也就是说：定理 5.1 结论里的「交换」不能靠这一行论证得到，它另有出处，正是上节的 Wedderburn 小定理。
• 模论。 对无限模，「单自同态」推不出满自同态（ℤ 上 x ↦ 2x 单而不满），所以「有限」不能换成「有限生成」。其五的诺特条件是另一条路，不能混用。

推论 5.2。 ℤ/n 是域 ⟺ n 为素数；n 合数时既有零因子（其四），又必可被 CRT 拆成两块（其六）。

数值注记（D 组）。 剧本对枚举出的含幺表复核定理 5.1：所有无零因子的表（4 阶 3 张、9 阶 24 张）都满足「每个非零元可逆」，一个例外也没有。

六单位群与幂等元：有限环的两枚指纹

6.1 U(ℤ/n)：从样本到结构定理

定理 6.1。 设 n = ∏ p_i^k_i，则 U(ℤ/n) ≅ ∏ U(ℤ/p_i^k_i)；其中 U(ℤ/p^k) 在 p 为奇素数或 k ≤ 2 时循环，而 k ≥ 3 时 U(ℤ/2^k) 总是一个 2 阶循环群与一个 2^k−2 阶循环群的直积——不是循环群。

剧本 E 组把上表逐个算出，并核对 |U(ℤ/n)| = φ(n)（n ≤ 16 依次为 1, 1, 2, 2, 4, 2, 6, 4, 6, 4, 10, 4, 12, 6, 8, 8）。为什么 U(ℤ/16) 不能循环？8 阶循环群理应有一个 8 阶元，而表中最大阶是 4：模 16 下 −1 与 1 相距 2，而 2 与 16 不互素，单个元素无法同时生成 −1 和 5。单位群的结构，是 ℤ/n 的「乘性 DNA」。

6.2 幂等元 = 环的分解接口

定理 6.2。 ℤ/n 的幂等元个数恰为 2^ω(n)，其中 ω(n) 是 n 的相异素因子个数。

ℤ/12 的幂等元恰是 {0, 1, 4, 9}：其中 4·9 ≡ 0（正交）、4 + 9 = 13 ≡ 1，于是 4 与 9 像两只开关，把 ℤ/12 拆成两块。其六已讲过一次「幂等元 = 焊缝标记」：在 ℤ/3 × ℤ/4 的四角里 4 ↔ (1, 0)、9 ↔ (0, 1)，两边的幂等元在 CRT 下一一对上（剧本 F1/F2 把这四个数搬过去验过）。反过来，局部环只有平凡幂等元（其五的 ℤ/16、其四的 F[[x]]、其七的 ℤ_(p)）：这正是「局部」二字的代数含义——它已经不能再拆。

七有限条件：有限环在环论里的坐标

其五立起了两根柱子：诺特（升链终止）与阿廷（降链终止）。有限环自动满足两者，于是成为「有限条件下的结构定理」的实验室。

• Hopkins–Levitzki（阿廷 ⟹ 诺特）在有限环上无需证明；它的锋芒在无限环上（F[x] 诺特而非阿廷，其五已列）。有限环把这类反例挡在门外，恰好衬出定理的边界。
• 维数 0。 有限环的素理想都极大（其五的维数表：ℤ/n 维数 0）；有限环可写成有限多个局部环的乘积，每块对应一个素因子——这就是其六 CRT 的一般化形态。
• Jacobson 根幂零。 有限环的 Jacobson 根必幂零（其五的 ℤ/16 中 (2) 幂零即最小样本），于是有限环的「半单部分」是有限个矩阵环的乘积（Artin–Wedderburn 定理）。本册 G 组给出第一个非交换实例：上三角环 T₂(𝔽_p) 的严格上三角部分（1 个非零元素，当 p = 2）是幂零理想，商掉它正是 𝔽_p × 𝔽_p——从非交换环里剥出交换块的最简模型。
• 非交换要「够大」才出现。 Eldridge 1968 的两个定理值得一提：含幺有限环的阶若为 cube-free 分解（每个素因子指数 ≤ 2），则该环必交换；而阶为 p³ 的含幺非交换环只有一种——上三角环 T₂(𝔽_p)。剧本 G3 把 T₂(𝔽_p) 造出来核对：阶 p³、含幺、非交换；p = 2 时 8 个元素中有 2 个单位、6 个幂等元、1 个非零幂零元。本册枚举过的 2 阶、3 阶、4 阶、9 阶含幺环则全部交换（G4），与「阶 ≤ p² 必交换」完全吻合。
• 有限 与 有限生成。 这是最容易混淆的一对：ℤ[x] 无限但有限生成（故诺特，Hilbert 基定理，其五）；𝔽_p[x] 无限但是主理想环；而本册的有限阶环是真正的有限。第四章的 𝔽_p^n 属「有限」一侧，第五章伽罗瓦理论则让有限群作用在无限域上——把这三处的「有限」对照读一遍，才能看清这个词在环论里到底承担了什么。

八术语考古、三句话与阅读指引

8.1 名词与历史的来路

• order（阶）。 与群论同源，指元素个数。「有限环的阶」是 19 世纪有限域研究的伴生用语，在 van der Waerden、Jacobson 的教科书中定型；「阶为 n 的环有多少个」则成为 20 世纪中期的一个小专门领域。
• Wedderburn 小定理。 J. H. M. Wedderburn 1905 年在《A theorem on finite algebras》（Trans. Amer. Math. Soc. 6, 349–352）中证明；他 1927 年的《Lectures on Matrices》里另有「大定理」（半单代数结构定理），后人遂以「小定理」区分二者。「小」并不含轻视：它一次解决了有限域的存在唯一性与有限射影平面的坐标问题。1931 年 E. Witt 给出向量空间维数比较的短证明。
• idempotent（幂等元）。 引入者是 Benjamin Peirce 在 1870 年代对线性结合代数的研究（Peirce 分解）：代数元素可拆成幂等部分与幂零部分，幂等元由此成为「把代数切成块」的通用工具。本册 ℤ/12 的 4 与 9、其六的焊缝标记，都是 Peirce 分解在最小尺度上的影子。
• φ(n) 与单位群。 欧拉 1760 年代引入 φ 函数并证明 a^φ(n) ≡ 1（mod n）；高斯《算术研究》(1801) 系统处理了单位群的循环性与原根问题。用今天的语言，高斯已在计算 U(ℤ/p) ≅ C_p−1——群论诞生之前，单位群已被算了一百年。
• 小阶环的枚举。 阶 p² 的 11 类（B. Fine 给出显式清单，阶 4 的两页证明由 D. M. Bloom 完成）、阶 pq 的 4 类、阶 p³ 的 3p + 50 类（p > 2；Antipkin–Elizarov 1982 修正了 Gilmer–Mott 1973 的计数）构成了这条小传统；今日可在 OEIS A027623（全部环）与 A037291（含幺环）中查到计数表。本册把 p = 2、3 的情形完全程序化，作为「分类学可自动化」的示范。

8.2 三句话总结

① 有限环是可以用程序穷举的世界：2 阶 16 张表得 2 个环，3 阶 19683 张表得 3 个带标号环（同构类 2 个）；枚举给标号对象，分类要商同构、先规范幺元——这一步做错，后面所有指纹都是错的。

② 阶 p² 的环恒有 11 类（循环加法群上 3 类 ＋ C_p × C_p 上 8 类），含幺者只有 4 个：ℤ/p²、𝔽_p × 𝔽_p、𝔽_p[x]/(x²)、𝔽_p²；「乘 a 单射，有限故满射」一行证明有限整环必为域，Wedderburn 小定理进而断言有限除环必交换——非交换要到 T₂(𝔽_p)（阶 p³）才登场。

③ 有限环的两枚常用指纹：单位群（U(ℤ/8) ≅ C₂ × C₂、U(ℤ/12) ≅ C₂ × C₂、U(ℤ/16) ≅ C₂ × C₄）与幂等元计数（ℤ/n 有 2^ω(n) 个幂等元，ℤ/12 的 {0, 1, 4, 9} 与 CRT 的四角一一对应）；幂等元的多少正是「能否再拆」的判据，局部环则只有平凡幂等元。

8.3 阅读指引

• 教材：张英伯、王恺顺《代数学基础（下·第 2 版）》§2.1（零因子与单位）、§2.4（直和分解）、§2.8（ℤ 与 F[x] 的欧氏样板）——本册是这三处的「有限尺度」合成。
• 有限域与有限环的标准处理：R. Lidl & H. Niederreiter, Finite Fields, 2nd ed. 第 2 章（𝔽_q 的构造与单位群）；N. Jacobson, Basic Algebra I §2.11（小阶环举例）与 §4.5–4.6（有限域）。
• Wedderburn 小定理的多种证明：T. Y. Lam, A First Course in Noncommutative Rings 第 3 章（类方程版与 Witt 版并列）；I. N. Herstein, Noncommutative Rings 第 3 章。
• 幂等元与分解：D. S. Dummit & R. M. Foote, Abstract Algebra §7.6、§13.6（幂等元与中国剩余定理）——与本系列其六、其七合看。
• 枚举与数据：OEIS A027623（环计数）、A037291（含幺环计数）可作交叉核对；本册剧本稍加改造即可做阶 p³ 的枚举练习（p = 2 时已是 52 类量级，适合做进阶作业）。

《代数学基础（下·第 2 版）》第二章补充读物 · 环论专题读本其八 ｜ 九章格数学 ｜ 第 2 版 · 2026