本册定位。 一个集合 X 上叠的结构越多、越细，能「保持它」的置换就越少：无结构的 3 元素集合有 S3（6 个）置换作自同构；装上路径图只剩 C2；装上 C3 群结构还是 C2；装上 F3 域结构、或一个全序，就只剩恒等映射了——刚性（Aut(X) = {id}）是「结构细到没有多余对称」的状态。本册把第一章群论开篇那句「集合带上运算」彻底演一遍：图、群、域、全序在 n 个标号元素上的结构计数如何被 |Aut| 统治（主公式：标号结构数 = 未标号类数 × n!/|Aut|），以及一个反直觉的定理——几乎每个有限图都是刚性的（Erdős–Rényi：n 个顶点上随机取边，图有非平凡对称的概率随 n 趋于 0）。文末按叙事链预告其九（范畴）：G-set 的「对象化」视角（其六）把结构保持映射打包成态射，本册的刚性谱系正是那个世界的「物件清单」，属对称/刚性线 ③→⑤→⑧。
一刚性：对称的尽头
第一章开篇把群定义为「集合上带一个满足三条公理的二元运算」。本册把这个过程倒过来看：一个集合可以装很多种结构，每一种结构都圈定一批「保持它的置换」——这批置换恰成群。固定 3 元素集合 X = {0, 1, 2}，依次往上面叠加：
刚性谱系（A1–A4 数值）。 X 本身（无结构）：一切 3! = 6 个置换都「保持」它，Aut = S3。 ① 装路径图 0—1—2：只有翻转 0 ↔ 2 保持它，Aut = C2； ② 装 C3 群结构（0 为单位元的加法表）：保持它的映射是「把 1 映到 1 或 2」的两个群同构，Aut = C2； ③ 装 F3 域结构：域同构必保 0（加法单位）与 1（乘法单位），第三个元素 −1 无处可去，Aut = 1——刚性； ④ 装 全序 0 < 1 < 2：保序双射只有恒等，Aut = 1——刚性。
定义 1.1（刚性）。 称一个有限结构 X 是刚性的（rigid，亦译无对称/asymmetric），若 Aut(X) = {id}。直觉：结构把每个元素钉死在它该在的位置上，任何「搬动」都会弄坏结构。集合（6）> 图/群（2）> 域/全序（1）：数字越小，结构越细——这就是「刚性作用」：结构像模具一样压住对称。
结构计数是第一张账本。 同一集合上，某类结构能放多少份？答案是主公式的雏形：若该类结构都同构于 X（只有一个同构类），则标号结构数 = n! / |Aut(X)|。于是 3 元素集合上：群结构 3!/2 = 3 份（单位元 3 选，每选唯一），域结构 3!/1 = 6 份（0、1 各有 3×2 选法，每选唯一）——域比群「多一倍」，恰恰因为域更刚（Aut(F3) = 1 而非 2）。刚性越强，标号结构越自由。
教材接口。 ①「集合 + 运算」的群定义与「保持结构的映射 = 同构」在教材 §1.1、§1.4；本册把「结构」从运算推广到图、序、域，但「同构 = 保持结构」的原则一字未动。② Aut(X) 在 X 的全体置换 Sym(X) 里成群，是 §1.2 子群判定的又一次应用（其五已用它定义 Aut(G)）。③ 3 元素谱系的数字 (6, 2, 2, 1, 1) 直接回收其五「刚度谱系」一节——当时从自同构群内部看，今天从结构外部看。
二三元素小宇宙：账本细读
n = 3 太小，一切可穷举。脚本 A 组把 3 元素集合上五类结构全部数清（标号对象、未标号类、单件 |Aut|）：
结构 | 标号对象数 | 同构类数 | 单件 |Aut| | 最刚标本与 Aut |
|---|---|---|---|---|
无结构集合 | 1 | 1 | 6 = 3! | —— （一切置换都是对称） |
图 | 8 = 23 | 4 | 6 或 2 | 路径图 P3 ： Aut = C2 （ 0 个刚性图） |
群结构（ C3 ） | 3 = 3!/2 | 1 | 2 | Aut(C3) = C2 （单位元 3 选） |
域结构（ F3 ） | 6 = 3!/1 | 1 | 1 | Aut(F3) = 1 ： 刚性 |
全序 | 6 = 3! | 1 | 1 | Aut = 1 ： 刚性 |
读账本的三条规律（A2/A3 数值）。 ① 图有类无刚性：8 个 3 顶点图分 4 类，Aut 直方图 {6: 2 个（∅ 与 K3 互补）、2: 6 个（三条单边 + 三条 P3）}——没有任何一个 Aut = 1，最刚也只有 C2。② 域结构 = 全序的个数：都是 6 = 3!，因为 F3 的域结构与 3 元素上的线性序一一对应（0 为最小、1 次之、−1 最大——或相反序，凡 6 种皆成域结构），而全序本身就刚性。③ 结构数 = 3! / |Aut|：群 3 = 6/2、域 6 = 6/1；域结构恰好比群结构多一倍，因为 F3 比 C3 少了一半对称——本册标题里的「刚性作用」在此第一次显出威力。
注 2.1（为什么要「标号」）。 「图」常常画成不带名字的抽象形状（同构类）；但计数时若给顶点贴上 0, 1, 2 的标签，同一形状会有多个标号版本。标号与未标号两个世界由 |Aut| 桥接（第五节主公式），这也是组合学里 Burnside/Polya 计数的出发点（其六已见 Burnside）。
三图的自同构账本：从全柔到半刚
图是「最便宜的结构」（只需选边），所以它的对称谱系最丰富。脚本 B 组把标准图族逐一过秤：
图 | 顶点 | |Aut| | 同构的群 | 解读 |
|---|---|---|---|---|
完全图 Kn 、空图 | n | n! | Sn | 最柔：任意搬动顶点 |
路径 Pn | 3..6 | 2 | C2 | 只能整条翻转 |
圈 Cn | 3..6 | 6, 8, 10, 12 | Dn | 旋转 + 翻转 = 二面体 |
星 K1,3 | 4 | 6 | S3 | 中心固定、叶子任意排 |
轮 W5 （ C5+ 中心） | 6 | 10 | D5 | 中心唯一、外圈 D5 |
三条观察（B1–B3 数值）。 ① 补图保对称：X 与其补图有相同的自同构群（脚本对 n = 3, 4, 5 的 1096 个图逐一验证）——因为「保边」与「保非边」是同一句话。于是 Kn 与空图、Cn 与其补（n 为奇时 Cn 的补还是圈）成对出现。② 连通性不决定对称：路径（连通）与「单边 + 孤立点」（不连通）同为 C2。③ 图的自同构 = 图论化的 Dn/Sn：圈的 Aut 是 Dn 在 n 个顶点上的忠实置换表示——它是其三「二面体群是正 n 边形的对称群」的抽象化：不再需要几何，边的邻接关系自己生成了群。
注 3.1（账本里没有 Aut = 1）。 注意表里最小的 |Aut| 是 2（路径）。n ≤ 5 时所有图都有至少 C2 的对称（脚本 C1 全枚举证实）；要到 n = 6 才出现第一批刚性图——下一节的主角。
四最小刚性与「几乎处处刚性」
刚性图存在吗？把路径 P5 的两端接成圈 C5，Aut = D5（10）；把 C5 加一条弦打破旋转，剩下的反射可能还在……脚本 C1 的结论干脆利落：
n = 3, 4, 5：刚性图 0 个 → n = 6：刚性图 5760 个
最小非对称图有 6 个顶点（Erdős–Rényi 1963 的经典结论，此处全枚举复证）。6 顶点共 215 = 32768 个标号图，其中 5760 个 Aut = 1，占 17.6%——对称破缺需要「足够的零件」：5 个顶点以内的图结构太稀疏/太对称，总留着一条中轴或一只镜像手。到 6 个顶点，边数选择（15 条）第一次多到可以「精确地」把每个顶点区分开。
n | 标号图总数 | 刚性比例 | 方式 |
|---|---|---|---|
3 | 8 | 0 | 全枚举 |
4 | 64 | 0 | 全枚举 |
5 | 1 024 | 0 | 全枚举 |
6 | 32 768 | 0.176 （ 5 760 个） | 全枚举 |
7 | 2 097 152 | 0.373 | 采样 6 000 |
8 | 268 435 456 | 0.560 | 采样 5 000 |
为什么「几乎处处」？（C2/C3 的渐近图像） 设 X 是 n 个顶点上每边独立以 ½ 概率出现的随机图。固定一个非平凡置换 σ，X 被 σ 保持的概率是 2−c(σ)，其中 c(σ) 是 σ 在全部边上的轨道数——σ 把边们「绑成捆」，整捆必须同色。对绝大多数 σ，c(σ) 随 n 线性增长，于是「存在非平凡 σ 保持 X」的概率被 n!·2−Ω(n) 压向 0。严格地说：
P(随机图 G(n, ½) 有非平凡自同构) → 0（n → ∞）这就是「几乎每个有限图都是刚性的」：对称是稀有事件，刚性才是常态。采样数字 0.176 → 0.373 → 0.560 只是这条指数收敛曲线的开头——真正的压倒性要到 n ≳ 12 之后（上界 ≈ n2·21−n 量级）。
注 4.1（图论版的「结构压对称」）。 第二节的谱系在 n = 3 上只有「域/全序」达成刚性；图的世界里，同样的规律换了一种节奏：结构（边集）太小时对称压不住，一旦 n 够大，「随便选」的边集就以压倒性概率自动把每个顶点区分开——刚性不是精心设计的特例，而是随机结构的默认状态。这一句是整个本册「刚性作用」的总纲。
五未标记世界与主公式
把「标号图」按同构归并，得到「未标记图」（抽象形状）。n = 4 时：64 个标号图、11 个形状。二者之间的精确关系是组合计数的第一定理：
标号图数 = Σ同构类 n! / |Aut(X)| （X 取每类任一代表）
理由：固定一个形状 X，它的标号版本们构成 Sn 在「全体标号图」上作用的一个轨道，而稳定子恰是 Aut(X)——轨道-稳定子定理（其六）给出轨道大小 n!/|Aut(X)|。脚本 D1 逐类验算：
|Aut(X)| | 类数 | 每类标号数 4!/|Aut| | 标号小计 | 代表形状 |
|---|---|---|---|---|
24 （ = S4 ） | 2 | 1 | 2 | ∅ 与 K4 （互补） |
8 | 2 | 3 | 6 | 匹配 K2∪K2 与圈 C4 （互补） |
6 | 2 | 4 | 8 | K3+ 孤立 与 星 K1,3 |
4 | 2 | 6 | 12 | 单边 K2+ 两孤立 与其补（ K4 去一边） |
2 （ = C2 ） | 3 | 12 | 36 | P4 、 P3+ 孤立 与其补（ 4 边图） |
核对（D1–D3 数值）。 五档合计 2 + 6 + 8 + 12 + 36 = 64 = 总标号图数 ✓；类数 2 + 2 + 2 + 2 + 3 = 11 ✓。两条独立路径互相印证：① 逐类求和（主公式）得 64；② Burnside 引理（其六）：把 S4 的 24 个置换逐个数在 6 条边上的轨道数 c(σ)，求和 Σ 2c(σ) 再除以 24，得未标号类数 11——同一批数据两个入口，殊途同归。表中没有 |Aut| = 1 的档：n = 4 最刚的形状也只有 C2 对称（D3），印证第四节「最小刚图 6 顶点」。
注 5.1（刚性类在账本里的特殊地位）。 若 n 足够大、某形状 X 刚性（|Aut| = 1），它在主公式里独占 n! 个标号版本——比任何带对称的形状都「多产」。这正是第五节总纲的另一面：刚性形状多（几乎处处），且每个都贡献最大份额的标号对象。
六群自己有多刚：有限群中的「无对称者」
把刚性的探照灯转向群自身。什么有限群 G 满足 Aut(G) = 1？循环群的情形由其五的 |Aut(ℤn)| = φ(n) 立刻解决：φ(n) = 1 当且仅当 n = 1, 2（E1 数值 n ≤ 40 复核）。非循环群呢？
定理 6.1（有限刚性群只有两个）。 有限群 G 若 Aut(G) = 1，则 |G| ≤ 2。证明只有两种武器：G 非交换 ⟹ 内自同构 x ↦ gxg−1 非平凡（g ∉ Z(G) 时），故 Aut(G) ≥ |Inn(G)| > 1；G 交换且 |G| > 2 ⟹ 反演 x ↦ x−1 是非平凡自同构（它保持乘法，且因存在 2 阶以上元素不是恒等）。两条路都堵死，刚性群只剩 C1、C2。
注 6.1（与图形成反差）。 有限图里刚性是常态（第四节）；有限群恰恰相反——「装运算」比「装边集」苛刻得多，两个元素以上几乎必然留下对称（至少有个反演或内自同构）。群论里比 Aut = 1 更常讨论的是其五的完全群（Z(G) = 1 且 Aut(G) = Inn(G)，如 S3）：完全群「没有外来的对称」，但仍可能有一大堆内禀对称。
G | |G| | |Aut(G)| | 备注 |
|---|---|---|---|
C1 、 C2 | 1, 2 | 1 | 仅有的刚性群（定理 6.1 ） |
Cn （ n = 3..8 ） | 3..8 | φ(n) ： 2, 2, 4, 2, 6, 4 | 其五公式 |Aut(ℤn)| = φ(n) |
Dn （ n = 3..6 ） | 6, 8, 10, 12 | 6, 8, 20, 12 = n·φ(n) | 其五公式复核（ D6 有 6 阶外自同构） |
V4 | 4 | 6 | = |GL(2,2)| = S3 （其五 B3 ） |
S3 | 6 | 6 | 完全群： Aut = Inn |
S4 | 24 | 24 | Aut(S4) = Inn(S4) （ S4 亦完全） |
Q8 | 8 | 24 | = S4 ：四元数的「外」对称全来自 S3 换 i, j, k |
账本的三句读法（E2）。 ① 序号两端的哲学对照：图论里「最刚的 6 顶点图」成百上千，群论里 8 阶以内除了 C1、C2 全都带对称——运算结构自带「语义」太重，对称想躲都躲不掉。② Q8 的 24 与 S4 的 24 不是巧合：Aut(Q8) ≅ S4（±i, ±j, ±k 只许这些对称），数值上 24 = 24。③ D5 的 |Aut| = 20 = 5·φ(5) 是表里唯一超过 |G| 的：五边形的对称群小于它自己的自同构群——结构越「欠对称」，能搬动它的映射越多。
注 6.2（自同构群的反问）。 Frucht 定理（1939）说：每个有限群都是某个有限图的自同构群——图论几乎处处刚性的世界其实足够大，装得下一切群论对称。脚本 G 组给出最简雏形：Aut(P3) ≅ C2、Aut(K3) ≅ S3、Aut(C4) ≅ D4（同构判定用其五的乘法表枚举器）。「给定 G，找最小图使 Aut ≅ G」至今是活跃课题（最小阶数叫 Frucht 数）。
七域的刚性：素域、Frobenius 与 GL
域是最「沉」的有限结构（加法、乘法两套运算咬合），它的自同构被钉得最死。脚本 F 组用精确加乘表枚举自同构（保 0、保 1 后穷举）：
Aut(F_p) = 1（p = 2, 3, 5, 7） Aut(F4) = C2 Aut(F8) = C3
为什么素域刚性。 域同构 σ 必保加法单位 0 与乘法单位 1；而 F_p 由 1 生成（1 + 1 + ⋯ 出一切元素），σ 被 σ(1) = 1 完全钉死——素域没有任何多余对称。F4 = F2[x]/(x2 + x + 1) 则多出一个真正的对称：Frobenius 自同构 x ↦ x2（共轭，把 ω 与 ω2 = ω + 1 互换），它阶 2，生成 Aut(F4) ≅ C2；F8 的 Frobenius x ↦ x2 阶 3（固定 F2 不动点集恰为素域），生成 Aut(F8) ≅ C3——这是其五「Galois 小标本」的延续：有限域的 Galois 群 Aut(Fpk/F_p) = C_k 由 Frobenius 生成，其五验证过 F4 的 C2，本册补上 F8 的 C3。
注 7.1（唯一性定理与刚性同源）。 「同阶有限域唯一（到同构）」的证明核心正是刚性：Fpk 的乘法群是 pk − 1 阶循环群，任一本原元 ω 在 F_p 上的极小多项式决定整个结构，而 Frobenius 把本原元们排成一条轨道——结构被 σ 的「循环对称」钉得恰好只剩 C_k。标号视角：p 个元素的集合上，域结构数 = p!/|Aut(F_p)| = p!（素域刚性 ⟹ 每个标号恰好一个域结构），与第二节的 3! = 6 呼应。
对象 | 结构 | Aut | 阶 |
|---|---|---|---|
F22 （ 4 元向量空间） | 加法群 V4 | GL(2,2) | 6 |
F32 （ 9 元） | 加法群 C3×C3 | GL(2,3) | 48 |
F23 （ 8 元） | 加法群 C23 | GL(3,2) | 168 |
F33 （ 27 元） | 加法群 C33 | GL(3,3) | 11 232 |
对照是为了看清「装结构」的两极：域把加乘钉死（Aut 微小）；向量空间只认加法与数乘，放过了全部基变换（Aut = GL 巨大）。其五的 Aut(C_p×C_p) = GL(2,p) 正是这一行的群论化身。域与向量空间是同一批底层集合的两种刚性档位。
八术语考古与阅读指引
8.1 名词与历史的来路
- rigid / rigidity（刚性）。 拉丁 rigēre「僵硬、挺直」：rigid body（刚体）是几何里「只许平移旋转、不许变形」的物体。图论中 asymmetric / rigid graph 指 Aut = 1 的图；「刚性」在数学各分支都指「没有非平凡保持结构的映射」——与力学刚体共享「动弹不得」的图像。中文「刚」兼有坚强与恰好之意，Aut = 1 的「恰好无冗余」与此相合。
- labeled / unlabeled（标号 / 未标号）。 组合学把「贴着名字的对象」（顶点 0, 1, 2…）与「抽象形状」（同构类）分开计数；标号 ↔ 未标号的桥梁是除以 |Aut|（第五节主公式）。这套传统可溯至 Cayley 的标号树定理（1889：n 个标号顶点的树恰 nn−2 棵）与 Redfield–Polya 理论（1927/1937）——后者把 Burnside 引理升级成带权的「配分」机器，其六的 Burnside 是其特例。
- asymmetric graph（非对称图）。 Erdős 与 Rényi 1963 年论文《Asymmetric graphs》给出本册最锋利的数字：最小非对称图有 6 个顶点（n ≤ 5 全部对称），且「几乎每个图都是非对称的」——6 顶点 5760 个刚性图正是那篇论文的引理在 n = 6 的穷举回响。
- random graph / Erdős–Rényi（随机图）。 Paul Erdős（1913–1996）与 Alfréd Rényi（1921–1970）1959–1960 年创立随机图论：n 个顶点、每边独立概率 p，记 G(n, p)。他们证明「几乎每个图都有性质 P」的典型方法是计数反例——本册第四节的上界 n!·2−Ω(n) 正是该方法的雏形。几乎同一时刻 E. N. Gilbert 独立提出等价模型；但「几乎处处」的哲学（随机典型性质）由 Erdős–Rényi 发扬光大。
- almost all / almost surely（几乎每个 / 几乎必然）。 渐近概率语言：性质 P 对「几乎所有有限对象」成立，指 P 在 n → ∞ 时以概率 1 出现。「几乎每个有限图是刚性的」是这一语言的代表句——它是存在性定理的加强版：不仅存在刚性图，而且随机一抓就是。
- Frucht's theorem（Frucht 定理）。 Robert Frucht（1906–1997）：生于德国布伦瑞克、后移居智利的数学家，1939 年在智利发表定理：每个有限群都同构于某个有限图的自同构群——把群论整体塞进图论（求最小阶 Frucht 图至今未完全解决）。
- complete group / 完全群（Hölder）。 Otto Hölder（1859–1937）1895 年研究「没有外来对称」的群：Z(G) = 1 且 Aut(G) = Inn(G)（内自同构即全部）。最小的非平凡完全群是 S3（其五 Aut 塔在 S3 处稳定 6 → 6）；S4、S5 亦完全。完全群 ≠ 刚性群：它允许内禀对称，只是拒绝「外面来的」——与第六节的刚性群（连内禀对称也没有）恰成两级。
8.2 三句话总结
① 同一有限集合上的结构越细，Aut 越小：3 元素谱系 S3（6）→ 路径图 / C3 群（2）→ F3 域 / 全序（1 = 刚性），且标号结构数 = 3! / |Aut|（群 3 份、域 6 份——域更刚所以更多产）。 ② 图论里刚性是常态：最小非对称图有 6 顶点（n ≤ 5 全对称，n = 6 全枚举 5760 个、17.6%），随机图 G(n, ½) 有对称的概率 → 0（采样 0.176 → 0.373 → 0.560 只是指数收敛的开头）；未标记计数由主公式「标号 = Σ 类 n!/|Aut|」与 Burnside 双证（n = 4：11 类 = 64 标号）。 ③ 群与域几乎从不刚性：有限群 Aut(G) = 1 仅 C1、C2（交换群有反演、非交换群有内自同构）；素域 Aut = 1，F4 / F8 的 Aut = C2 / C3 由 Frobenius 生成——域的加乘咬合把对称钉死，而向量空间放走一切基变换（GL(2,2)=6、GL(2,3)=48、GL(3,2)=168）。
8.3 阅读指引
- 图论入门（自同构、未标号计数、非对称图）：F. Harary, Graph Theory（Addison-Wesley, 1969）——「Automorphism group」一节含补图保 Aut、最小非对称图 6 顶点；未标记计数与 Burnside 见其组合章节。
- 随机图与「几乎处处」（本册第四节的理论来源）：B. Bollobás, Random Graphs, 2nd ed.（Cambridge, 2001）——几乎必然性质的系统处理；同作者 Modern Graph Theory（Springer GTM 184）更适合本科。
- 抽象代数标准参考（Aut 与完全群）：D. S. Dummit & R. M. Foote, Abstract Algebra, 3rd ed.（Wiley）——「Automorphism of groups」与完全群（S3、S4）、有限域 Frobenius 自同构的标准处理。
- 组合计数（标号/未标号、Burnside–Polya）：P. J. Cameron, Combinatorics: Topics, Techniques, Algorithms（Cambridge, 1994）——计数主公式与轮换指标；其五/其六的 Burnside 家族在此汇入 Polya 计数。
- 代数图论（图自同构与群论的接口）：C. Godsil & G. Royle, Algebraic Graph Theory（Springer GTM 207, 2001）——图自同构群、Frucht 定理与 Frucht 数、距离传递图（Aut 很大的图）。
- 历史注记：Erdős–Rényi 的图论开山论文与 Frucht 1939 的来龙去脉，见 I. Kleiner, A History of Abstract Algebra（Birkhäuser, 2007）相关章节与 Bollobás 前引书的导言。
《代数学基础（下·第 2 版）》第一章补充读物 群论专题读本·其八 ｜ 九章格数学 ｜ 2026