本册定位。 其一曾把群放进「代数结构谱系」，其三用几何对称群 Dn 反复解剖第一章的概念，其四发现「解集 = 核的陪集」贯穿方程理论。这一册问一个更「自指」的问题：保持结构的一一自映射（自同构）本身组成什么群？ Aut(G) 是「结构」的签名——结构越密，允许的自同构越少。同一个三元素集合：当它是纯集合时有 6 个自同构（凯利定理的母体），是路径图时只剩 2 个，是群 ℤ3 时 2 个，是域 F3 时只有 1 个恒等。本册从 Aut(ℤn) = 单位群（第二节）、Aut(V4) = GL(2,2) = S3（第三节）一路算到内自同构与外自同构（第四节：D6 竟然有一个 6 阶的「类互换」外自同构）、特征子群（第五节）、以及环与域的自同构——高斯整数、有限域 F4 的 Frobenius、ℚ(√2) 的共轭（第六节），最后收在「Aut 塔」与 Galois 理论的门口（第七节）。
一对称的升级：自同构 = 保持结构的一一自映射
第一章的对称群 Sn 实际是「无结构集合」的自同构群：n 个点之间没有任何关系要保护，于是任意置换都合法——这正是凯利定理（§1.7）的容器。可一旦集合上长出了结构（乘法、邻接、序、域运算），自同构就被要求「先保持结构、再搬动元素」：σ 是自同构当且仅当它是一一自映射且
σ(x·y) = σ(x)·σ(y) （群） σ(x+y) = σ(x)+σ(y)、σ(xy) = σ(x)σ(y) （环/域） （x~y ⟹ σ(x)~σ(y)） （图/序）
于是同一批元素、不同结构，得到不同的群。脚本 F1 把「同一个底层集合 {0, 1, 2}」依次装上五种结构，数出各自的（保结构自同构）个数：
数据表 7（先睹）：底层 3 元素，结构越密 Aut 越小（F 组） 无结构集合 6 （= S3：凯利定理的母体） 路径图 0-1-2 2 （只允许「翻转」这一非平凡自同构） 群 (ℤ3, +) 2 （x ↦ x 与 x ↦ 2x） 域 F3 1 （域自同构必须固定素域，只剩恒等） 全序 0<1<2 1 （保序双射只有恒等）
有限群的自同构怎么数？ 直接对 |G|! 个置换筛选是灾难（D6 有 12! 种候选）。好在自同构被生成元完全决定：
命题 1.1（自同构由生成元像决定）。 设 G = ⟨g1, …, gs⟩。任一自同构 σ 由像组 (σ(g1), …, σ(gs)) 唯一决定；反过来，给生成元任意指定「同阶」的目标元素，若由此定义的映射在整张乘法表上保持一致（σ(ab) = σ(a)σ(b) 对全部 a, b 成立）且单射，就得到一个自同构。
数值实现（本册配套脚本）：对每个生成元只尝试同阶元素（自同构保阶），从生成元像出发沿乘法表「闭包扩张」σ，检查良定义与单满性——Dn 的候选从 (2n)! 锐减到 φ(n)·(n+1) 个左右。这个枚举器是本册全部 |Aut| 数字的来源。
注 1.2（ℤ 的自同构：无限群的第一个例子）。 加法群 ℤ 由 1 生成。自同构 σ 由 σ(1) 决定；σ(1) = k 时 σ(n) = kn，而像 kℤ = ℤ 当且仅当 k = ±1（脚本 A5 用「1 ∈ kℤ」判据对 k = −7…7 全验）。故 Aut(ℤ) = {id, x ↦ −x} ≅ C2——无限循环群的自同构群是一个二阶群，「取相反数」是整数唯一真正的结构性对称。
教材接口。 ① 命题 1.1 是「同态由生成元决定」的复习：第一章多次用生成元-关系表示压缩信息（如 Dn = ⟨r, s⟩），这里把同一招用于「数自同构」。② §1.2 里「元素阶」的概念是枚举器的剪枝器：自同构必须保阶，故 r 只能映到同阶元素——阶第一次成为计算工具而非仅定义。
二Aut(ℤn) = 单位群：生成元只能映到生成元
循环群 ℤn 由 1 生成，所以 Aut(ℤn) 的故事一句话讲完：
定理 2.1（Aut(ℤn) = (ℤ/nℤ)^×）。 加法群 ℤn 的自同构恰为 x ↦ kx（k 与 n 互素），故
Aut(ℤn) ≅ (ℤ/nℤ)^× （乘法单位群）， |Aut(ℤn)| = φ(n)其中 φ 是欧拉函数。理由：1 是生成元，σ(1) 必须仍是生成元（阶 n），而 ℤn 中阶 n 的元素恰是 {k : gcd(k, n) = 1}；复合 σk∘σl = σkl，乘法结构自动是模 n 单位群。脚本 A1 对 n = 1…20 逐一枚举自同构并与 φ(n) 对账（全中）。
注 2.2（Aut(ℤn) 本身是群——但常常非循环）。 单位群的结构因 n 而异：Aut(ℤ5) = U(5) ≅ C4（由「乘 2」生成：2 → 4 → 3 → 1）；而 Aut(ℤ8) = {1, 3, 5, 7} 里每个非平凡元都满足 k2 ≡ 1 (mod 8)，三个二阶元给出 U(8) ≅ C2 × C2（非循环！）。一般判定（A4）：U(n) 循环 ⟺ n = 1, 2, 4, pa 或 2pa（p 奇素数）；n ≤ 20 时循环名单为 1,2,3,4,5,6,7,9,10,11,13,14,17,18,19，8、12、15、16、20 非循环。于是「自同构群长什么样」从第一步起就比「自同构有几个」更微妙。
数据表 1：|Aut(ℤn)| = φ(n)（A1 枚举，n=1..20） n 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 φ 1 1 2 2 4 2 6 4 6 4 10 4 12 6 8 8 16 6 18 8 代表 Aut(ℤ5)≅C4（乘 2 生成） Aut(ℤ8)≅C2×C2（A3，型 {1:1,2:3}） Aut(ℤ12)≅C2×C2（A6，U(12)={1,5,7,11} 全二阶） Aut(ℤ)≅C2（A5）
教材接口。 ① 「生成元必须映到生成元」呼应第一章循环群小节：ℤn 的生成元 = 与 n 互素的剩余类。② U(ℤ/nℤ) 是第二章环论里「单位群」概念在本册的提前出场——Aut(ℤn) 与环的单位群是同一只动物。③ Aut(ℤ8) ≅ C2 × C2 预告本册第七节的「Aut 塔」：ℤ8 的自同构群又是 V4 型，而 V4 的自同构群是 S3……
三有限 Abel 群：Aut(C_p × C_p) = GL(2, p)
把 ℤn 换成它的「二维版」C_p × C_p（p 素数，加法分量模 p）。自同构要同时保持两个分量的加法。关键观察：
命题 3.1（Aut(F_p^r) = GL(r, p)）。 对向量空间 F_p^r，任何保加法的一一自映射自动保数乘——因为数乘 c·v 就是 v 自己加 c 次（c ∈ F_p = ℤ/pℤ，c·v = v + ⋯ + v）。于是「加法群自同构」=「向量空间自同构」= 可逆线性映射，即
Aut(C_p × ⋯ × C_p) ≅ GL(r, p)， |GL(r, p)| = (pr−1)(pr−p)⋯(pr−pr−1)数值（B1–B3）：Aut(V4) = GL(2,2) 阶 6 = (4−1)(4−2)；Aut(ℤ3 × ℤ3) = GL(2,3) 阶 48 = (9−1)(9−3)。
注 3.2（V4 的意外：Aut(V4) ≅ S3）。 二阶群直积 V4 = C2 × C2 的四个元素是 {0, a, b, c}，其中 a + b = c（异或关系）。自同构必须保持这张「加法表」，于是三个非零元只能整体置换——任何置换都合法（B2 验证 6 个自同构实现三个非零元的全部 6 个置换），所以 Aut(V4) ≅ S3。几何上这相当反直觉：V4 是矩形（含正方形退化情形）的对称群 D2，三条「轴」在几何里不可互换（水平反射 ≠ 180° 旋转），但抽象群 V4 认不出哪条轴是哪条——三个二阶元地位完全平等，S3 任意搬动它们。其三里 D2 ≅ V4 ≅ C2 × C2 的「退化」在此兑现为 Aut 的膨胀。
数据表 2：有限 Abel 群的自同构 = 线性群（B 组） Aut(V4) 阶 6 = (22−1)(22−2) = |GL(2,2)| ≅ S3（非零元全体置换） Aut(ℤ3 × ℤ3) 阶 48 = (32−1)(32−3) = |GL(2,3)| 一般：Aut(C_p^r) = GL(r, p)——保加法自动保数乘（数乘 = 重复加法）
教材接口。 ① V4 = C2 × C2 的 Aut 是 S3，与 §1.1 的 V4、§1.2 的子群结构对读：V4 的三个二阶子群在几何（矩形）中可分、在抽象群中不可分——「结构」是分层级的。② GL(r, p) 是本册第一次遇到的「矩阵群」；第一章之后（第二章及以后）线性表示将把任意群塞进 GL，这里的方向正好相反（Aut 自己就是 GL）。
四内自同构 ◁ 自同构：Inn、Out 与 Aut(Dn)
每个群都「自带」一族自同构——共轭：固定 g，映射 c_g : x ↦ gxg−1 显然是同构（且是双射）。这些内自同构是「群在自身上的动作」，而 Aut(G) 里还有更多「局外人」。
命题 4.1（Inn(G) ≅ G / Z(G)，且 Inn ◁ Aut）。 映射 g ↦ c_g 是群同态 G → Aut(G)；它的核是 Z(G)（c_g = id ⟺ g 与一切元素交换）。由第一同构定理，
Inn(G) ≅ G / Z(G)并且 Inn(G) 是 Aut(G) 的正规子群（共轭之后再复合一个自同构仍是共轭）。商群 Out(G) = Aut(G)/Inn(G) 的元素叫外自同构类。脚本 C1 数值验证：|Inn(S3)| = 6 = 6/1、|Inn(D6)| = 6 = 12/2、|Inn(D5)| = 10 = 10/1，全部符合 |G|/|Z|。
注 4.2（Aut(Dn) 的完整账本）。 脚本 C3 枚举 n = 3…8 的全部自同构，得到漂亮公式：|Aut(Dn)| = n·φ(n)（n ≥ 3），配合 |Inn(Dn)| = 2n / |Z(Dn)| 得到 Out 表（C4 数据表 3）。公式的来历见命题 4.3 前的一段：r 只能映到 rk（k ∈ U(n)，φ(n) 种选法），s 可以映到 n 条反射中的任意一条，故 n·φ(n)。
数据表 3：Aut(Dn)/Inn/Out（n=3..8，C3/C4 枚举） n |Dn| |Aut| = n·φ(n) |Z(Dn)| |Inn| = |Dn|/|Z| |Out| 3 6 6 1 6 1 4 8 8 2 4 2 5 10 20 1 10 2 6 12 12 2 6 2 7 14 42 1 14 3 8 16 32 2 8 4 小 n 特例：Aut(D3) = Aut(S3) = S3（无外，C2）；Aut(D2) = Aut(V4) = S3（第三节）
命题 4.3（Dn 的自同构长什么样）。 设 α ∈ Aut(Dn)，r 是 n 次旋转、s 是反射。则 α(r) = rk（k ∈ U(n)，因 r 是唯一生成元且阶 n 的元素只在旋转子群里）、α(s) 是某条反射 s·ri。共 n·φ(n) 个候选，逐一验证关系 srs = r−1 被保持即可（枚举器全做）。 几何的搬动 = Inn，抽象的重标号 = Out。 固定一点的正 n 边形的「真正对称」（旋转 + 翻转）作用在自身上的共轭正是 Inn(Dn)。而 r ↦ rk（k ≠ ±1）把 72° 的旋转「重标号」成 144°——这不是图形的对称，却是合法的抽象自同构。Out 表告诉我们每个 Dn 有多少这种「看不见的额外对称」。
注 4.4（D6 的六阶类互换外自同构——本册最妙的数值）。 取 α : r ↦ r、s ↦ rs。检查三条生成关系（r6 = s2 = (sr)2 = 1）全部保持，α 是自同构；但它不在 Inn 里（C4：r 不动而 s 动，共轭做不到）。α 的阶是 6：它把六条反射轴循环平移（s → rs → r2s → ⋯），每平移一根轴就换一次「轴类」。其三的数据表告诉我们：正六边形的六条对称轴分两类——3 条过对顶点的 V 类与 3 条过对边中点的 E 类；α 把 V 类整类映到 E 类（C5 数值：[s, sr2, sr4] ↦ [rs, r3s, r5s]）。结论：抽象群 D6 认不出「过顶点」与「过边」的差别——轴类只是几何概念，不是代数不变量。反过来，只有 Inn 才「守规矩」地把每条轴送到同类轴：几何的对称群 = Inn，抽象的自同构群 = 更大的 Aut。
数据表 4：D6 的外自同构 α（C4/C5） α(r) = r，α(s) = rs；α6 = id（6 阶，C4b）；V 类 {s, sr2, sr4} ↦ E 类 {rs, r3s, r5s} Inn(D6) 阶 6（= |D6|/|Z(D6)| = 12/2），Out(D6) 阶 2
教材接口。 ① Inn(G) ≅ G/Z(G) 是 §1.3 中心与 §1.5 第一同构定理的合流。② 注 4.4 把其三「轴类 = 共轭类」的结论往前推一步：共轭类被 Inn 保持是必然，但自同构只保持「类的集合」，可以整体交换两类——几何信息 vs 代数信息的分界线在此格外清晰。③ 对称群 Sn 的 Aut 是另一条传奇：S6 是唯一 n ≥ 3 中 Aut(Sn) 严格大于 Inn(Sn) 的（|Aut(S6)| = 1440，Hölder 1895），这曾是 19 世纪末的著名惊诧，与 §1.6 对对称群深层结构的探索一脉相承。
五特征子群：被「一切自同构」纹丝不动的子结构
正规子群 N ◁ G 的定义是「被共轭（内自同构）保持」：gNg−1 = N。若把内自同构升级为一切自同构，就得到更强的概念：
定义 5.1（特征子群）。 子群 H ≤ G 称为特征子群（characteristic），若对每个自同构 α ∈ Aut(G) 都有 α(H) = H。特征 ⟹ 正规（Inn ⊂ Aut），反之不然。 两个天然的特征子群。 中心 Z(G) 是特征的（自同构保持「与一切元交换」）；导群 [G, G] 也是特征的（自同构把换位子 [x, y] 送到换位子 [α(x), α(y)]）。导群将在其七（「导群」与「导函数」）成为主角——这里先记下它的特征性。
注 5.2（D6 标本：谁特征、谁不特征）。 脚本 D1/D2 让 D6 的全部 12 个自同构逐一过堂：旋转子群 C6 = ⟨r⟩（唯一的 6 阶元集合）、中心 Z(D6) = {1, r3}、以及导群 ⟨r2⟩ = {1, r2, r4}（D6 偶 n 时 Dn′ = ⟨r2⟩）——三者都被 12 个自同构保持为集合，是特征子群；而反射子群 ⟨s⟩ 不是：α 把它送到 ⟨rs⟩，12 个自同构把它送到 6 条不同的反射轴（每个像出现两次）。「⟨s⟩ 与 ⟨rs⟩ 在 D6 里地位相同」再次出现——这次是用特征性的语言说的。
数据表 5：D6 特征性检查（D1/D2，12 个自同构全数） 特征：⟨r⟩、Z(D6) = {1, r3}、导群 ⟨r2⟩ = {1, r2, r4}（全部 α 保持集合不变） 非特征：⟨s⟩ —— 12 个像 = {0,s},{0,rs},… 共 6 个不同反射子群（α: ⟨s⟩ ↦ ⟨rs⟩）
教材接口。 ① §1.2 的正规子群是「被共轭保持」；本节把它放到 Aut 的放大镜下。② 导群 [G, G] 的特征性是它比普通正规子群更「结构」的证据——其七《「导群」与「导函数」的家族相似》将把导群、导子、Leibniz 律串成一条线；D6 的 ⟨r2⟩ = D6′ 在这里就是导群的第一个数值标本。
六环与域的自同构：固定基域的 σ
自同构的舞台不限于群：环、域的自同构要求同时保持加法与乘法。域论里最重要的一族自同构是固定某个子域（基域）的自同构——它们组成 Galois 群。数值剧本挑了三个最小标本：
例 6.1（高斯整数：Aut(ℤ[i]) = C2）。 ℤ[i] 里 i 满足 i2 = −1，是「4 阶单位」；任何环自同构必须把 i 送到同样满足 x2 = −1 的元素，即 ±i。两个候选都合法：恒等与共轭 a + bi ↦ a − bi（脚本 E1：300 组随机整数对验证共轭保加保乘、固定 ℤ、σ2 = id）。故 Aut(ℤ[i]) = {id, 共轭} ≅ C2——「虚部反号」是高斯整数的唯一非平凡结构对称。 例 6.2（F4/F2 的 Galois 群 = C2：Frobenius）。 有限域 F4 = F2[ω]/(ω2 + ω + 1)，ω2 = ω + 1。特征 2 的域上，映射
Frob : x ↦ x2自动是环同态（(x+y)2 = x2 + 2xy + y2 = x2 + y2，交叉项被特征 2 吃掉），且固定素域 F2 = {0, 1}。脚本 E2 对 F4 的 16×16 加乘表全验：Frob 保运算、Frob(ω) = ω + 1、Frob2 = id；而固定 F2 的域自同构恰有 {id, Frob} 两个（E2b）。故 Gal(F4/F2) = C2。一般地：Gal(Fpk/F_p) ≅ C_k，由 Frob 生成。 例 6.3（ℚ(√2)/ℚ：共轭 = C2）。 σ(a + b√2) = a − b√2 固定 ℚ、2 阶、保加乘（E3：300 组浮点采样验证）——与例 6.1 的「共轭」是同一个动作的不同化身。
注 6.4（为什么总是 C2？下一步在哪）。 三个例子都是 C2，因为「二次对象只有一个真正的对称：把那个 √ 换成 −√」。真正的 Galois 理论从这里起飞：ℚ(√2, √3)/ℚ 的 Galois 群是 V4，分圆域的 Galois 群是 U(n)（= Aut(ℤn)！第二节的群在域论里重生了），而一般多项式的 Galois 群可以是任意有限群（逆 Galois 问题）。「域扩张的自同构群」是第一章 Aut 思想在代数里最深远的分支——它将证明五次方程无根式解。
数据表 6：三个 C2 自同构（E 组） ℤ[i]：共轭 a+bi ↦ a−bi（保加乘 300 采样、固定 ℤ） Aut ≅ C2 F4 ：Frobenius x↦x2，Frob(ω)=ω+1、Frob2=id、固定 F2 Gal(F4/F2) ≅ C2 ℚ(√2)：σ(a+b√2)=a−b√2（保加乘 300 采样、固定 ℚ、σ2=id） Gal ≅ C2 共同点：把「那个二次元」的符号反过来；次元越高的扩张，Galois 群越丰富
教材接口。 ① 例 6.2 的 Frobenius 是第二章多项式理论（x2 + x + 1 在 F2 上不可约）与有限域的自然接口——第一章结束时您可能还没见过有限域，但 F4 的乘法表只有 4 行。② Galois 群「固定基域的自同构」是 Aut 思想离开第一章后最重要的去向；本册只在门口张望，其八（代数结构中的「刚性」）会再遇「固定子结构」的自同构思想。
七刚度谱系与 Aut 塔：自同构作为「结构的测度」
把前六节的观察排成一列，Aut 的「大小」是结构密度的天然测度：结构越细，能无损搬动元素的方式越少。三元素底层的谱系（F1）只是缩影；换成四元素，集合有 24 个自同构、群 ℤ4 只有 2 个、域 F4 只有 1 个（固定素域）。Aut 甚至可以是「零个」意义上的刚硬——无不动点的自同构极少（其八主题）。
Aut 塔：对自同构群再取自同构。 Aut(G) 本身是群，于是可以再问 Aut(Aut(G))……得到塔 G → Aut(G) → Aut(Aut(G)) → ⋯。数值剧本 F2 走了一段著名的塔：
ℤ8 →(Aut) C2×C2 →(Aut) S3 →(Aut) S3 → ⋯第二节知道 Aut(ℤ8) ≅ C2×C2（V4 型）；第三节知道 Aut(V4) = S3；第四节知道 Aut(S3) = S3。于是塔在第三步起稳定：S3 是「自同构完备」的——它已经是自己的自同构群。一般问题（塔何时停、会不会无限膨胀）是群论的名题：Wielandt 定理说有限群在中心平凡后塔必在有限步稳定，而无限群可以造出永不停止的爆炸塔。
注 7.1（展望：每个群都是某个东西的 Aut）。 Aut 不只是「从结构读出群」，它还能「造出」群：Frucht 定理（1939）说每个有限群都同构于某个有限图的自同构群——把群「画」成一幅图，让图的对称恰好就是它。这是其八《代数结构中的有限刚性》的前奏：Frucht 定理与「无自同构图」（刚硬图）把 Aut 从度量变成构造工具。更远处，Aut(八元数 𝕆) 是 14 维例外李群 G2（八元数由 Graves 与 Cayley 于 1843/1845 独立发现；G2 在 Killing–Cartan 1890 年代对复单 Lie 代数的分类中作为例外出现，Aut(𝕆) ≅ G2 随后被证明）——自同构群自己长成了数学里最深刻的新对象，这就是「结构的签名」可以走多远。
教材接口（结语）。 本册把第一章的三块料——元素的阶（§1.2）、中心与共轭（§1.3）、同态与第一同构定理（§1.5）——拧成一台「自同构机器」：阶做剪枝、中心算 Inn 的核、同构定理把 Inn ≅ G/Z 与 Out 表算清。Aut 是第一章诸概念合体后的第一件新工具；它的三个去向——图的自同构（其八）、G 在自身上的作用即 G-set（其六）、以及 Galois 群（第二章之后的域论）——将分别在后继读本与教材正文里重逢。下一册若做其六，将从「群作用」本身出发：用 G-set 的语言重写第一章，Aut 将作为「作用在集合上的对称」与 G-set 同构分类的桥梁再次登场。
八术语考古与阅读指引
8.1 名词与历史的来路
- automorphism（自同构）。 auto-（自己）+ isomorphism（同构）。概念随 19 世纪的「变换群」研究成形：Cayley 以降把「保持结构的自对应」当作群来研究，Galois 的遗产（方程根的置换）则是域自同构最早的温床；术语与理论的系统化过程见 Kleiner 的数学史专著。中文「自同构」即「自己到自己的同构」。
- inner / outer（内 / 外）。 内自同构是「由群内部元素共轭产生」的——它来自群对自身的作用，元素 g 亲自出马搬动一切。外自同构类则是 Aut 里 Inn 之外的部分；「外」不是怪，而是「需要把群放进更大的背景才看得见」：S6 的外自同构要把 S6 看成它在 6 个 5-Sylow 子群上的作用才显现（Rotman 书有清晰构造）。D6 的 α 也一样——它要「跳出」正六边形的几何（那里轴类不可互换）才存在。
- characteristic（特征的）。 特征子群是「结构逼出来的」子群：任何自同构都动不了它。词源与「特征标/特征」家族共享——指那些不依赖具体表示、由结构本身决定的量。中心与导群是其天然成员；「特征 ⟹ 正规」是它和普通正规子群的分水岭。
- Frobenius（弗罗贝尼乌斯）。 F. G. Frobenius（1849–1917）在有限域与群表示论上奠基；特征 p 域上 x ↦ xp 这一自动的域自同构以其命名。它同时是有限域 Galois 群的主角（Gal(Fpk/F_p) = C_k）与密码学/代数几何的基石。
- Galois 群之名。 Évariste Galois（1830 年代）研究的是多项式根的置换群（今称分裂域自同构群）；「Galois group」作为「固定基域的域自同构群」的正式术语是后世对其工作的重述与致敬。例 6.2 的 Gal(F4/F2) = C2 是这个宏大理论的第一个元细胞。
- S6 的例外与 Hölder。 O. Hölder 1895 年确定 Aut(S6) 的阶为 1440 = 2·720：S6 是唯一 n ≥ 3 中「有外自同构」的对称群。这个「异常」在 19 世纪末引发长期困惑，后来成为理解对称群深层结构的试金石——也提醒我们：Aut 的「惊喜」往往藏在最大的对称对象里。
- 八元数与 G2。 八元数 𝕆 由 W. R. Hamilton 的朋友 J. T. Graves 1843 年发现（Cayley 1845 年独立发表）；W. Killing 与 É. Cartan 在 1887–1894 年分类复单 Lie 代数时发现例外代数 G2；「Aut(𝕆) 是 14 维例外群 G2」随后成为 Lie 理论与非结合代数的著名交汇点——自同构群自己长成了新对象，Baez 的综述是这条线的现代入口。
8.2 三句话总结
① 自同构 = 保持结构的一一自映射，结构越密 Aut 越小（三元素底集：集合 6、图 2、群 ℤ3 2、域 F3 1）；有限群的自同构由生成元像决定，枚举器只试同阶元素再沿乘法表扩张。 ② Aut(ℤn) ≅ U(n)（|Aut| = φ(n)），Aut(C_p^r) = GL(r, p)（V4 给 Aut ≅ S3）；Inn(G) ≅ G/Z(G) ◁ Aut(G)，|Aut(Dn)| = n·φ(n)，D6 有 6 阶外自同构把两类反射轴互换——几何轴类不是代数不变量。 ③ 中心、导群总是特征子群（⟨s⟩ 不是）；固定基域的 Aut 给出 Galois 群（ℤ[i] 共轭、F4 的 Frobenius、ℚ(√2) 共轭皆 ≅ C2）；Aut 塔 ℤ8 → C2×C2 → S3 → S3 稳定，而 Frucht 定理说每个有限群都是某图的自同构群。
8.3 阅读指引
- 本科入门（Aut/Inn/特征子群的标准习题场）：J. A. Gallian, Contemporary Abstract Algebra, 9th ed.（Cengage）——「Automorphism」与「Inner Automorphism」两章习题系统覆盖本册第二至五节。
- 群论标准参考（Aut 塔、S6、Frucht）：J. J. Rotman, An Introduction to the Theory of Groups, 4th ed.（Springer GTM 148）——外自同构、S6 的例外、自同构塔与 Frucht 定理的严格处理都在书中。
- 矩阵群与 Galois 的桥梁：M. Artin, Algebra, 2nd ed.（Pearson）——以 GL 与自同构贯穿全书，Galois 理论部分可作第六节续篇。
- 有限域：R. Lidl & H. Niederreiter, Finite Fields, 2nd ed.（CUP）——Frobenius 与 Gal(Fpk/F_p) = C_k 的标准出处。
- 八元数与 G2：J. Baez, "The Octonions", Bull. Amer. Math. Soc. 39 (2002) 145–205——Aut(𝕆) = G2 及八元数家族的现代导览（兼有历史注记）。
- Aut 概念的来历（历史向）：I. Kleiner, A History of Abstract Algebra（Birkhäuser 2007）——「自同构」如何从 19 世纪置换群与 Galois 理论中结晶；Hölder 1895 对 Aut(S6) 的确定见该领域经典文献综述。
《代数学基础（下·第 2 版）》第一章补充读物 群论专题读本·其五 ｜ 九章格数学 ｜ 2026