群表示论初步 · 从线性作用到特征标：对称的解剖学

本书怎么读：一门关于「用矩阵研究对称」的学问

本书讲一门学问：群表示论——它把抽象的群「翻译」成矩阵，用线性代数这把现成的尺子去丈量对称。它从一个朴素的观察出发：一个正方形有八种「转回自己」的方式，它们构成一个群；但「正方形」这个具体对象太碍事，抽象群 D₄ 又太悬空——把每个对称动作写成一块矩阵，群就从「演员表」变成了一台可计算的机器。顺着这条线，本书还要回答：为什么每个有限群的表示都能拆成不可约表示的直和（Maschke 定理）？为什么一张特征标表——若干行数字——能背下整群的结构？为什么 S_n 的不可约表示恰好对应整数的分拆，Young 图一举收编？为什么球谐函数、角动量、基本粒子，全都是 SU(2) 与 SU(3) 表示论的舞台？从 Frobenius 1896 年的群行列式、Burnside 的 p^aq^b 定理，到 Weyl 的紧群与 Brauer 的模表示，一百三十年只做一件事：把「对称」翻译成「线性」，再用矩阵把对称算清楚。

本书按章组织：绪论并置「群与线性」两种语言，从正方形对称、置换与矩阵讲到 Frobenius 的难题与特征标的诞生；第一章立起骨架——群作用、轨道与稳定子、置换表示、表示的定义 ρ：G → GL(V)、不可约表示与表示的同构，并以 Burnside 引理与正则表示收束；第二章把群装进一个环——群代数 k[G]、表示＝模、Maschke 定理与完全可约、Schur 引理、中心幂等元与半单代数一瞥；第三章点亮指纹——特征标的定义与类函数空间、两族正交关系、维数平方和、特征标表与计算套路；第四章动手分类——循环群、二面体群、四元数群、S_n 与 Young 图、A₅ 的单性、诱导表示与 Frobenius 互反、Burnside p^aq^b 定理；第五章走进连续与量子——紧群与 Peter–Weyl、U(1) 与 Fourier 级数、SU(2) 与球谐函数、角动量与 Clebsch–Gordan 分解、晶体点群与分子振动；第六章抵达现代疆界——SU(3) 八正法、Schur–Weyl 对偶、模表示与 Brauer 特征、权与最高权、量子群与 Langlands 的侧影；综合站用年表、人物谱、方法决策树、两个综合实验与二十四题自查收束全书。

写作的三条约束（本书的自我要求）。① 直觉与例子先行：每一个概念都从一张图、一个具体的小例子讲起——先看见 D₄ 与 S₃ 的矩阵怎样转起来，再抽成定义；每一个定理先有「为什么它是对的」的直觉，再有完整的证明。② 一步一图：凡能画的都画——正方形的对称八拍、表示分解的直和积木、特征标表的方阵与正交格、SU(2) 的自旋阶梯、SU(3) 的权图与十重态。表示论最漂亮的地方正藏在「群论—线性代数对照表」里：一条定义、一句定理，画出来便一目了然。③ 自给自足：本书不假设手边另有教材，所需工具在书内随用随补——群、子群与陪集，线性代数的矩阵、迹与 Hermite 内积，多项式与整数分拆的组合，都在需要它的那一页现学现用；每一条定义都同时给出形式陈述与一句大白话的直觉，每一个反复出现的记号都在首次出现处交代清楚。个别深刻而整体的结论（Peter–Weyl 定理、Schur–Weyl 对偶、Langlands 纲领的相关事实在本书中的用法）给出精确陈述、证明思路与文献指引，数值与程序对拍在实验页随附、可自行复算。

页型节奏。每章以 导引 开篇（一页说清这一章要解决什么）；主体是 讲义 页（概念、定理、证明，一步一图）；每章配 例题 与 习题（先示范再放手）、知识地图 一页（本章概念怎么连成网）、小结（正面清单＋易错清单）、思想卡（一句话立起本章的哲学）、挑战（一道通向文献的硬题）、实验（一段可复算的程序）、格物札记（中西算学传统里的平行直觉）、速查表（本章公式与记号一页备翻）；章末另设 衔接讲义，把下一章的问题提前立起来。所有编号 可跳读：每一页都自带上下文，随手翻开一页也能读下去。

难度标记。讲义页用 ★–★★★★★ 标出阅读难度：★ 高中基础即可，★★ 需要线性代数的熟练经验（矩阵乘法、迹、特征值，书内自给），★★★ 需要抽象代数的入门（群、子群、陪集，书内自给），★★★★ 需要紧群分析或模表示的一点经验（书内随用随补），★★★★★ 需要最高权理论与算术几何的观点（第六章疆界各页）。若只求理解主线，读绪论、第一至第三章的主干与第四章的分类实践即可；若求完整掌握，按章顺序逐页推进，并把每章习题做完。

三条线索贯穿全书：

① 明线——从群到矩阵：先让对称「动起来」（绪论），再把群装进一个环（第一章），用群代数与 Maschke 领到「拆积木的许可证」（第二章），然后点亮特征标这枚指纹（第三章），动手把小群一一拆开（第四章），让对称走进连续与量子（第五章），最后站在从粒子到量子群的现代疆界上（第六章）——这正是群表示论一百三十年从群行列式难题长成物理语法的轨迹。

② 暗线——对称决定结构。一个群能拆出多少种不可约表示、维数各几许，不由矩阵的具体写法决定，而由群的共轭类结构决定；「特征标是群的指纹」正是这句格言的第一次亮相。找出「在什么眼光下两个表示等价」，是全书反复演练的招式。

③ 接口——通往四个邻域。群表示论是现代数学与物理的支点：与数论（Frobenius 群与 Artin 表示）、物理（角动量、粒子分类与量子计算）、组合（Young 图与整数分拆）、计算（GAP 与 Sage 的符号对拍）四条战线相通，第六章与综合站余韵两页逐条架桥。

写法约定（TEX 标准）：群记 G、子群记 H（变量斜体）；表示记 ρ：G → GL(V)，表示空间记 V；特征标记 χ，类函数空间记 𝒞(G)；内积记 ⟨χ, ψ⟩；诱导与限制记 Ind^G_H、Res^H_G；群代数记 k[G]；权记 λ。变量用斜体，群名（S_n、D_n、SU(2)、SU(3)）与数字用正体；关键一步配图，群论与线性代数逐章对照。

绪论 对称的两种语言：群与线性本册导引：为什么群要「长成」矩阵

先看一件小事。把一张正方形的卡片放在桌上，只允许它回到原来的轮廓上。能做到这一点的操作有多少种？答案是八种：绕中心转 0°、90°、180°、270°，以及沿两条对角线、两条中位线各翻一次。八种操作，闭合成一个群——正方形的对称群 D₄。

可这八种操作只是「动作」，说得清它们的名字，却算不清它们的后果。比如连做两次翻折会是旋转吗？连做三次又会怎样？要回答这类问题，需要把这些动作写成矩阵：每翻一次，平面上的每个点 (x, y) 被送到一个新位置，而这一切恰好是一个 2 × 2 矩阵在做乘法。八种操作，于是变成八个矩阵。

这一步「把群写成矩阵」，就是群表示论（group representation theory）的全部起点。它只做一件事：让抽象的群，活在一个具体的线性空间上，用矩阵的语言把对称说尽。

本书要讲的，就是这一步如何长成一门学问。会看到：本来为解决一个行列式难题而发明的「特征标」，最后成了整个有限群论的万能尺子；本来只关心「把群写开」的技艺，最后成了量子力学中角动量与粒子的分类语言。

绪论 对称的两种语言：群与线性一个正方形能转出多少种自己：对称群初现

把上面的八种操作摆开细看，先给它们起名字：e 表示不动，r 表示转 90°，r² 转 180°，r³ 转 270°；再取 s 表示沿一条固定轴的翻折。这样，任何一次对称操作都可以写成 r^k 或 r^ks（k = 0, 1, 2, 3）的形式，一共八种。

关键在于这些操作之间的合成规则。先转 90° 再转 90°，等于转 180°；先翻折再翻折，就得回到原处。写成公式便是

r⁴ = e，　s² = e，　s r s = r⁻¹。

这三条关系，把八种操作的全部乘法表都锁定了。所谓「群」，就是这样一套带合成运算的集合：封闭、有单位元、有逆元、结合律成立。正方形对称群记作 D₄，阶为 8。

值得注意的是：r 与 s 并不交换——r s 是转后再翻，s r 是翻后再转，二者结果不同。这一点看似小，却正是「非交换群」的典型：矩阵乘法本就不交换，而对称群，天然长成矩阵的样子。

绪论 对称的两种语言：群与线性从置换到矩阵：Laplace 与 Galois 的两条线索

对称群并不是从方块游戏里冒出来的。它有两条更古老的根。

第一条根是置换。十八世纪后半，Lagrange 研究五次方程的根如何互换位置而不改变方程，发现了「根的置换」自成一群。这正是最早的群论雏形：不去直接解方程，而是观察解之间的对称。Galois 随后把这条线索推到底——一个方程能用根式解出，当且仅当它的置换群有某种「可解」结构。群，第一次成了判断问题可解与否的判据。

第二条根是矩阵。几乎同时，Cauchy、Jacobi 等人把线性方程组的系数排成方阵，研究行列式与线性变换。矩阵作为「线性映射的坐标写法」，逐渐独立成为研究对象。两条根各自生长，却还没相遇。

把两条根接到一起的，是这样一个观察：置换本身，也可以写成一个 0-1 矩阵。比如把 1, 2, 3 换成 2, 3, 1 的三轮换，对应矩阵

001100010

用这个矩阵去乘列向量 (1, 2, 3)^T，得到的正是 (2, 3, 1)^T。于是置换——离散的对称——被翻译成了线性代数里的矩阵。翻译一旦可行，整个线性代数的机器（迹、行列式、特征值、不变量）就都可以用来研究群了。

绪论 对称的两种语言：群与线性1896：Frobenius 的群行列式难题

真正让「表示论」作为独立学问站起来的，是一个具体的技术问题——群行列式（group determinant）。

设 G 是一个有限群，给每个元素 g 配一个不定元 x_g。把 |G| × |G| 的方阵的第 (g, h) 格填上 x_{g h⁻¹}，取这个方阵的行列式，就是一个关于诸 x_g 的多项式，称为群行列式。Dedekind 在研究它时发现：这个行列式可以分解，而分解的方式与群的结构纠缠在一起。

1896 年，Frobenius 一举解决了这个问题。他的办法是：不去硬算行列式，而是把群送到矩阵群上去。每个不可约的矩阵表示 ρ，都给出群行列式的一个不可约因子 det(Σ_g x_g ρ(g))；把所有不可约的因子乘起来，恰好得到原来的群行列式。于是，「分解群行列式」这件难事，被换成了「找出群的全部不可约表示」这件有章法的事。

这条思路的价值远超问题本身：它第一次说明，一个群的全部信息，可以被一组矩阵（乃至一组特征标）完整地编码。表示论由此诞生。

绪论 对称的两种语言：群与线性特征标诞生：一个函数背下一整个表示

解决群行列式的同时，Frobenius 顺手铸出了一个更锋利的工具。给定一个表示 ρ，对每个群元素取矩阵的迹：

χ_ρ(g) = tr ρ(g)。

这个函数 χ_ρ 称为表示的特征标（character）。看起来只是把矩阵换成了一串数，损失了大量信息；但事实恰恰相反，它是一个惊人的压缩：

① 共轭不变：χ(h g h⁻¹) = χ(g)，因为迹在相似变换下不变。于是特征标在每个共轭类上取定值，是一个类函数——只需要 k 个数（k 为共轭类个数），就录完了整个表示。

② 保直和：χ_ρ⊕σ = χ_ρ + χ_σ，所以特征标看得见「积木如何拼装」。

③ 保张量：χ_ρ⊗σ(g) = χ_ρ(g) · χ_σ(g)，乘积结构一目了然。

更关键的是 Frobenius 与 Schur 随后发现的正交关系：不同的不可约特征标彼此正交，同者内积为一。这条关系意味着特征标不仅录得全，而且可以被「测量」——只要算内积，就能把任意表示拆成不可约积木。

绪论 对称的两种语言：群与线性三条路线：Burnside 的有限群、Weyl 的紧群、物理的对称

表示论诞生后的半个世纪里，它沿着三条路线同时展开。

第一条：有限群的算术表示论。Burnside 用特征标证明了著名的 p^aq^b 定理——阶只有两个素因子的群必可解，这个纯群论的结论，其最简洁的证明来自表示论。Frobenius、Burnside、Schur 三人把有限群的特征标理论搭成完整的骨架：正交关系、特征标表、诱导表示。群论里许多乍看无从下手的结构问题，都被一串数解决了。

第二条：紧群与连续对称。1910 年代起，Weyl 把有限群的结果推广到连续的紧群。对紧群取积分代替求和，正交关系依旧成立（Weyl 积分），于是紧群的表示可以像 Fourier 展开那样——把任意函数按不可约表示展开。Peter–Weyl 定理给这件事一个完整的形式：紧群上的函数，都可以由矩阵系数的线性组合逼近。连续对称的表示论由此建立，它是谐波分析的抽象形态。

第三条：物理中的对称。1920 年代量子力学兴起，Wigner 与 Weyl 几乎同时指出：物理系统的对称群，其不可约表示恰好对应可能的量子态与守恒量。角动量、自旋、原子光谱的分裂与选择定则，全部由 SU(2) 的表示统辖；后来的粒子物理，更是直接用 SU(3) 的表示把基本粒子排成「八正法」。表示论从纯数学的工具，变成了物理的语言。

绪论 对称的两种语言：群与线性中国源流：《易经》卦变的对称与《九章》的线性方程

对称的思想，在中国古代数学与哲学中早有原型，只是未走向「群」的抽象形式。

卦变的对称。《易经》以阴阳两爻组合成八卦、再重叠为六十四卦。卦与卦之间存在多种变换：把每一爻阴阳互换（错卦），把六爻上下颠倒（综卦），只变中间四爻（互卦）。这些变换作用在六十四卦的集合上，构成今日所说的「置换群作用的雏形」。六十四卦在交换与颠倒之下分成若干等价类，恰是「轨道分解」的实例；「错综其数」的对称眼光，实为对置换不变性的一次朴素把握。

线性方程与行列式。《九章算术》第八章「方程」用「遍乘直除」消元，其程序与今日的 Gauss 消元完全一致。系数排布成方阵、逐步化去未知数的做法，实质上是把线性方程组写成矩阵并做初等变换。中国算法传统中「以行列排数、以消元求解」的自觉，比欧洲同类方法早了千余年。

两者走的是相反方向：中国的卦变从具体变换出发，线性从具体算法出发；而现代表示论把「变换」抽象成群、把「算法」抽象成矩阵，再让两者互相翻译。东方源流提醒我们，表示论的两根支柱——对称与线性——原本就在不同的文明里各自立起过。

绪论 对称的两种语言：群与线性本册读法：抽象群是演员表，表示是剧本，特征标是指纹

绪论走到这里，可以给全书一个总的读法。记住三句话就够：

① 抽象群是演员表。它列出了有哪些对称操作、它们如何相乘，却没说这些操作「作用」在什么上、造成什么后果。演员表本身无法演出。

② 表示是剧本。给群找一个线性空间，让每个群元素都对应一个可逆线性变换，使乘法关系被忠实保持。剧本一写，群就活了——它的每个动作，都可以在坐标上被算出来。

③ 特征标是指纹。剧本再复杂，取迹便得一组数。不可约表示的指纹两两不撞（正交），于是只要比对指纹，就能认出任意表示由哪些积木拼成。

本书的组织，正对应这三句话：绪论说明这门学问从哪里来、要往哪里去；第一、二章教如何写剧本——群作用、线性表示、群代数、完全可约；第三章教如何读指纹——特征标与正交关系；第四章把常见的小群逐一拆开、算出清单——分类；第五、六章让表示论走进几何与物理。综合站用年表、人物谱、总图与实验收束全书。

最后给出一个贯穿全书的提示：每当遇到一个抽象的说法，都问三件事——它作用在什么空间上？它的矩阵长什么样？它的特征标是什么？把这三问答完，任何表示论问题都会立刻变得具体。

第一章 群、作用与表示：让对称动起来第一章导引：让抽象的群动起来

一个群写在纸上，只是一张乘法表。它知道自己有哪些元素、如何相乘，除此之外一无所知——它不知道元素「长得像什么」，因为它根本没有长相。D₄ 里的 r 与 s，若只看乘法表，只是两个满足 r⁴ = e、s² = e 的符号。

要让群「动起来」，就得让它作用在某个东西上。作用可以很朴素——让群作用在一个集合上，这就是群作用；作用也可以很丰富——让群作用在一个向量空间上，每个元素对应一个可逆线性变换，这就是线性表示。

第一、二章的任务是搭好这套语言的骨架：第一章先讲群作用与它的两个不变量（轨道、稳定子），再看如何把作用升级为线性变换，得到表示的定义与第一批例子；第二章引入「拆积木」的概念——不变子空间、直和、不可约表示，并证明对于有限群在特征 0 上，任何表示都能拆成不可约积木（Maschke 定理），章末以 Schur 引理收束——它是下一章特征标正交关系的全部技术来源。

第一章 群、作用与表示：让对称动起来1.1 群作用：把群变成「变换」

说一个群 G 作用在一个集合 X 上，意思是给每个 g ∈ G 配一个置换 φ(g) : X → X，使得

φ(e) = id_X，　φ(gh) = φ(g) ∘ φ(h)。

换句话说，φ 是一个从 G 出发的同态——群元素被翻译成 X 上的置换，且乘法被保持。D₄ 作用在正方形的四个顶点上、S₃ 作用在三个字母上，都是群作用的实例。

群作用有两个基本不变量。给定 x ∈ X：

① 轨道：Gx = { φ(g)(x) : g ∈ G }，即 x 在全部群元素作用下能到达的所有位置。

② 稳定子：G_x = { g ∈ G : φ(g)(x) = x }，即不让 x 动的那些元素，它总是 G 的子群。

两者由一条漂亮的公式联系在一起——**轨道–稳定子定理**：

|Gx| = [G : G_x] = |G| / |G_x|。

「一个点能走多远（轨道大小）」，等于「不让它走的元素有多少（稳定子指数）」。这条公式把作用的空间结构，化成了群的阶数计算，是后面计算与分类的一把常用工具。

第一章 群、作用与表示：让对称动起来1.2 轨道与稳定子：作用的两个不变量

轨道–稳定子定理有一个直接的推论：X 是若干轨道的无交并。因为「y 与 x 同轨道」是一个等价关系，等价类就是轨道。把每个轨道各取一个代表元，便得到著名的轨道分解公式：

|X| = Σ |G| / |G_xi|，

其中和式遍历各轨道的代表元 x_i。当作用不改变任何点（每个点自成一轨）时，公式退化为「不动点计数」，这正是 Burnside 引理的入口。

先看两个简单的例子，把概念落到地上。

例一：循环群作用在正 n 边形的顶点上。设 G = ℤ/nℤ 由旋转生成，作用在 n 个顶点上。任取一个顶点 x，它被转到所有顶点，故轨道大小 n；而不让它动的只有单位元，稳定子大小为 1。公式两边一致：n = n/1。

例二：S₃ 作用在三个字母上。此时每条轨道就是全部三个字母（作用可迁，轨道大小 3）；固定字母 1 的置换有 2 个（e 与交换 2, 3 的对换），稳定子大小 2。公式给出 3 = 6/2，吻合。

第一章 群、作用与表示：让对称动起来1.3 置换表示：作用在集合上的离散形态

群作用一旦给定，就能立刻写成一种最朴素的表示。设 φ 是 G 在 n 元集合 X = {x₁, …, x_n} 上的作用。给每个 g 配上它在 X 上诱导的置换矩阵 P(g)——一个 0-1 矩阵，第 i 行第 j 列为 1 当且仅当 φ(g)(x_j) = x_i。这样得到

φ̃ : G → GL_n(k)，　g ↦ P(g)，

它保持乘法（置换的合成对应矩阵相乘），故是一个置换表示。置换表示是介于「抽象作用」与「线性表示」之间的桥：它已经是矩阵，但矩阵特别稀疏（每行每列恰一个 1）。

把置换矩阵的行列式取出来，得到一个一维的量：符号 sgn(g) = det P(g) = ±1。偶置换给 +1，奇置换给 −1。这本身就是一个一维表示，而且是群论里最常用的一个：交错群 A_n 恰是它的核。

第一章 群、作用与表示：让对称动起来1.4 从置换到线性：表示的定义 ρ：G → GL(V)

置换表示的矩阵只有 0 与 1，太稀疏。若允许矩阵取任意可逆值，就能得到更一般、更有力的工具。

定义。设 G 是群，V 是域 k 上的向量空间。一个从 G 到 V 的可逆线性变换群的线性表示，是一个群同态

ρ : G → GL(V)，

即对任意 g, h ∈ G 有 ρ(gh) = ρ(g) ρ(h)，且 ρ(e) = I。V 称为表示空间，它的维数 dim V 称为表示的次数或维数。

沿袭惯例，域 k 取复数域 ℂ（本书绝大多数结论在特征 0 的域上成立）。取定 V 的一组基后，ρ(g) 就写成具体的矩阵；换一组基，则全部矩阵同时作相似的变换 M ↦ S⁻¹M S。

由此引出「两个表示何时算同一个」的判据：如果存在可逆线性映射 T : V → W 使

ρ_W(g) ∘ T = T ∘ ρ_V(g)，　∀g ∈ G，

则称两个表示同构（等价），记 ρ_V ≅ ρ_W。同构的表示只是同一件事在不同坐标下的写法，应当在一切讨论中视为相同。

第一章 群、作用与表示：让对称动起来1.5 表示的第一批例子：循环群、二面体群、对称群

把定义落到几个最熟悉的群上，看看表示「长什么样」。

循环群 C_n = ⟨r : rⁿ = e⟩。ρ 由 ρ(r) 一个矩阵决定，而它必须满足 ρ(r)ⁿ = I。取特征值 ω^j（ω = e^2πi/n 是本原单位根），可得 n 个一维表示 ρ_j(r^k) = ω^jk，j = 0, …, n−1。它们恰好把循环群的表示完全列尽——循环群的全部不可约表示都是一维的。

二面体群 D_n = ⟨r, s : rⁿ = s² = e, s r s = r⁻¹⟩。最自然的表示是它在平面上的作用：把 r 对应到旋转矩阵

cos θ−sin θsin θcos θ，　θ = 2π/n，

把 s 对应到沿 x 轴的反射。这是二维不可约表示（当 n ≥ 3 时），因为它虽然保住了二维平面，却拆不出更小的不变子空间。

对称群 S_n。除了置换表示（n 维）与符号表示（1 维），还有更丰富的表示，它们要到第四章用 Young 图才能系统列出。

第一章 群、作用与表示：让对称动起来1.6 矩阵形式的表示：字母表与乘法表

取定基以后，一个表示就是一组矩阵。为了便于检查，人们常把每个 ρ(g) 逐一列出，做成一张「字母表」，并核对它与群的乘法表一致。

以 S₃ 的二维表示为例（把 3 个字母看成平面上正三角形的三个顶点）。取轮换 a = (1 2 3) 与对换 b = (1 2)，它们的矩阵可写成

ρ(a) = 0−11−1，　ρ(b) = 1−10−1。

其余四个元素的矩阵由乘法得到：ρ(a²) = ρ(a)²，ρ(ab) = ρ(a)ρ(b)，如此类推。这样得到的六个矩阵，两两不同（表示是忠实的），且乘积关系与 S₃ 的乘法表逐格吻合。

核对矩阵与乘法表，是判断「是不是表示」最直接的办法，也是最容易出错的地方。一个实用的检验办法是：只需核对生成元之间的关系。若 G 由 g₁, …, g_m 生成，且它们满足关系 R₁ = e, …, R_t = e，那么只要矩阵赋值使这些关系全部成立，它自动是 G 的一个表示。

第一章 群、作用与表示：让对称动起来1.7 子表示与不变子空间

一个表示 ρ : G → GL(V) 常常太大，需要拆开看。拆的第一步是找「被群保住的子空间」。

定义。子空间 W ⊆ V 称为 G-不变（或 ρ-不变），若对任意 g ∈ G 都有 ρ(g)(W) ⊆ W。此时把每个 ρ(g) 限制在 W 上，得到一个新的表示 ρ|_W : G → GL(W)，称为子表示。

不变子空间总是成对出现的。若 W 不变，则其商空间 V/W 上也自然地诱导出一个表示，称为商表示。于是

0 → W → V → V/W → 0

这条短正合列说明：一个大表示可以拆成「一块子表示」加上「一块商表示」。但要注意：商表示并不总能被「补回来」成为直和——能不能补，正是下一节「完全可约」要回答的问题。

找不变子空间有一个常用技巧：取群作用的公共特征向量。若某条直线 W = ℂv 上的每个向量都被所有 ρ(g) 保持在一维（即 v 同时是所有 ρ(g) 的特征向量），则 W 是一维子表示。特别地，交换群的复表示中总有一条这样的公共直线（因为可交换的矩阵族可同时上三角化），这解释了为什么循环群、交换群的不可约表示全是一维的。

第一章 群、作用与表示：让对称动起来1.8 表示的直和：积木的加法

如果 V 能分解成两个不变子空间的直和 V = W₁ ⊕ W₂，那么每个 ρ(g) 都是分块对角的：

ρ(g) = ρ₁(g)00ρ₂(g)。

也就是说，大表示是两块小表示的直和（direct sum），记作 ρ = ρ₁ ⊕ ρ₂。直和的矩阵在基的重排下呈分块对角形——这正是「把大问题拆成小问题」的线性代数版本。

直和运算有以下基本性质：

① 结合、交换：ρ₁ ⊕ ρ₂ ≅ ρ₂ ⊕ ρ₁，(ρ₁ ⊕ ρ₂) ⊕ ρ₃ ≅ ρ₁ ⊕ (ρ₂ ⊕ ρ₃)。

② 维数相加：dim(ρ₁ ⊕ ρ₂) = dim ρ₁ + dim ρ₂。

③ 可反复进行：n 份同一个表示相加记作 n · ρ，称为 ρ 的 n 重。

有了直和，「拆表示」的目标就可以说得更精确了：一个表示若能写成若干小表示的直和，就称它可约（reducible）；若连非平凡的直和分解都做不到，就称它不可约（irreducible）。不可约表示是表示论的「原子」——一切表示都由它们拼成，正如一切整数都由素数乘成。

第一章 群、作用与表示：让对称动起来1.9 不可约表示：拆不动的积木

定义。非零表示 (ρ, V) 称为不可约（或单表示），若它没有非平凡的不变子空间：不变子空间只有 0 与 V 两个。否则称为可约。

注意「可约」与「完全可约」的区别：可约只意味着存在一个真不变子空间 W，但 V/W 未必能补成直和；完全可约则要求每个不变子空间都对应一个补空间，即 V 真能拆成不可约表示的直和。对有限群与紧群（特征 0），这两件事等价（Maschke 定理），但对一般情形则不然。

几个常用事实：

① 一维表示总是不可约的，因为一维空间没有非平凡子空间。

② 子表示与商表示继承不可约性：不可约表示的子表示只能是 0 或全体。

③ 不可约性是「对群」而言的：同一线性空间，对 G 可能不可约，对更大的群则可能可约（更大的群提供了更多可用的变换）。

把不可约表示想成积木，是理解整个表示论的钥匙。任何表示都希望拆成不可约积木的堆叠；而「能拆到什么程度」「每一块出现几次」，正是第三章特征标理论要精确回答的问题。

第一章 群、作用与表示：让对称动起来1.10 同态与同构：什么时候两个表示「一样」

「两个表示同构」的定义已在图 1-5 给出。这里补充两类常用的映射。

表示的同态（交错映射）。给定两个表示 (V, ρ) 与 (W, σ)，线性映射 T : V → W 称为同态，若 T ρ(g) = σ(g) T 对一切 g 成立。所有这样的 T 构成向量空间 Hom_G(V, W)。若 T 还可逆，就是同构。

同态有两个基本性质，它们把「同态」与「子表示/商表示」连起来：

① 核 ker T 是 V 的不变子空间；

② 像 im T 是 W 的不变子空间。

于是同态诱导出表示的短正合列，与图 1-8 的结构完全平行。

为什么同构重要。因为表示论的所有问题——可约吗？由哪些不可约积木拼成？——都在同构的意义下提问。同一个表示换一组基就是另一个矩阵写法，但它们本质上是同一个对象。把「同构」当作「相等」来用，是表示论的一大便利：可以随时按方便选择坐标，而结论不依赖坐标。

第一章 群、作用与表示：让对称动起来1.11 Burnside 引理：用作用来计数

第一章前半把群变成了变换，本节兑现它最直接的红利：数数。「本质不同」是一句模糊的话——两个涂色看起来不一样，转个身却是一样的，该算一个还是两个？群作用给了精确答案：它们在同一条轨道上。于是「本质不同的方案数」就是轨道数，而轨道数有一个惊人好算的公式。

证明（双计数）。数一数集合 {(g, x) : g·x = x} 里的点对，按 g 分组共 ∑|Fix(g)| 对，按 x 分组时，x 所在轨道里的每个 y 恰有 |G|/|轨道(x)| 个元素把它送到 y——用轨道–稳定子定理化简后，每条轨道恰好贡献 |G| 对。两边一除，轨道数就是平均不动点数。把「数过的东西按两种方式再数一遍」——这是组合数学最锋利的一把刀，第五章的蛇形引理是它的同门。

「取平均」之所以灵，是因为作用把所有点一视同仁——恒等元素的「全家不动」被其余元素的「几乎全动」摊薄。第一章习题将让亲手数项链与手镯，体会这句话的分量。

第一章 群、作用与表示：让对称动起来1.12 循环群的表示：一根旋转的谱

最简单的群给出最干净的表示论。设 C_n = ⟨r⟩ 是 n 阶循环群，rⁿ = e。一个表示被 ρ(r) 完全决定，而 ρ(r)ⁿ = I 要求 ρ(r) 的极小多项式整除 xⁿ − 1——在复数域上它无重根，故 ρ(r) 可对角化，特征值全为 n 次单位根。

有限交换群是循环群的直和，其表示恰是各分量表示的逐项张量积——这条「拆分量、再相乘」的路线将在第二章由群代数自动给出。

第一章 群、作用与表示：让对称动起来1.13 正则表示：群自己演自己

有没有一个「包罗万象」的表示？有——让群在自己的成员名单上搬动自己。正则表示取表示空间 ℂ[G]（以 G 的元素为基的向量空间），令 ρ(g)h = gh。取基按群元素排列，则 ρ(g) 是一块置换矩阵：每行每列恰有一个 1——群的乘法表，被原样画进了矩阵。

为什么说它「包罗万象」？因为任何不可约表示都能由正则表示割出：第三章将把这句话精确化——正则表示之于表示论，恰如整数 1 之于乘法：本身平平无奇，却生出一切。

第一章 群、作用与表示：让对称动起来1.14 对偶表示与张量积初见

表示不是孤立的标本，它们之间有代数运算。本节立起两条最基本的：取对偶与张量积——并且预告一个贯穿全书的事实：一旦有了特征标，这些运算全部变成「数」的运算。

第五章将把张量积推上主角位：SU(2) 的自旋耦合（Clebsch–Gordan 分解）就是「谱相乘后再拆开」——两个自旋 ½ 拼出自旋 1 与自旋 0，恰似 χ ⊗ χ = χ_对 ⊕ χ_反对 的第一次预演。

第一章 群、作用与表示：让对称动起来1.15 正多面体的对称群：几何里的作用

群作用最古老、最直观的舞台是几何：让多面体的旋转群作用在顶点上。这一节用它证明一张「对号入座表」——三种柏拉图体的旋转群，恰好是三个最熟悉的群。

「让群作用在合适的东西上」，是把抽象群变成具体群的标准姿势——Klein 的埃尔朗根纲领把这一姿势推成几何观：一种几何，就是一种群作用。本章札记页将回到这个话题。

第一章 群、作用与表示：让对称动起来1.16 常见误读与澄清

本章概念环环相扣，最易在「看似显然」处走岔。把四类高频误读摆上解剖台。

读书如读法条：定义是正文，前提是但书。「在什么域上、对什么群」永远是定理的一半——这个习惯将从本章一直保护到第六章的权图。

第一章 群、作用与表示：让对称动起来例题课（一）：二面体群 D₄ 的表示分解

问题。把 D₄（正方形对称群，阶 8）的置换表示（作用在四个顶点上）分解成不可约表示。

解。四个顶点记为 1, 2, 3, 4（顺时针）。D₄ 作用在它们上，设 V = ℂ⁴，基 e₁, e₂, e₃, e₄ 对应四个顶点。

首先找不变子空间。两条明显的：

① 常数直线 U = ℂ(e₁ + e₂ + e₃ + e₄)：置换只是重排坐标，故和向量被固定——一维平凡表示。单位向量取 v₀ = (1,1,1,1)/2。

② 符号直线 U′ = ℂ(e₁ − e₂ + e₃ − e₄)：旋转把四个坐标轮转，+ − + − 这条向量被送到 −(− + − +)，即乘 −1；反射也保持符号模式。故这是一维表示 sgn。

剩下的正交补 U^⊥ ∩ U′^⊥ 是二维的，记作 W。它由形如 (a, b, −a, −b) 与 (a, −b, a, −b) 的向量张成，可以验证它在旋转与反射下封闭，因此是二维子表示。它不可约（因为旋转 90° 在 W 上没有实的不变直线）。

结论：置换表示 ≅ 平凡 ⊕ sgn ⊕ 二维不可约。维数核对：1 + 1 + 2 = 4。✓

第一章 群、作用与表示：让对称动起来例题课（二）：置换表示与计数

本课示范两道「作用＋表示」联手的例题：一道拆置换表示，一道数轨道。它们各为第一章立一条「标准作业流程」。

第一章 群、作用与表示：让对称动起来习题课（一）：群作用与轨道计数

1. 设 S₄ 作用在 {1,2,3,4} 的二元子集上（共 6 个）。求这个作用的轨道数与每条轨道的大小，并用轨道–稳定子定理核对。

2. 证明：群作用的稳定子 G_x 是子群，且同一轨道上两点 x, y 的稳定子互为共轭。

3. 用 Burnside 引理计算：用 2 种颜色给正方形四条边染色（可旋转相同视为同一种），共有多少种本质不同的染色？

4. 设 G 作用在 X 上，证明轨道构成 X 的一个划分；并说明「特征标是类函数」与「共轭类构成划分」是同一个道理。

第一章 群、作用与表示：让对称动起来习题课（二）：表示的基本功

六道题，前四道巩固「定义＋循环群」，后两道向 Burnside 与张量积伸一只脚。建议先独立完成，再对照章末速查表检验公式。

第 5 题的答案（92 类）与第 1、2 题的「谱」观点，将在实验页由程序逐一对拍——纸上公式与机器枚举握手，是本书的一贯仪式。

第一章 群、作用与表示：让对称动起来第一章知识地图

第一、二章的概念按「从作用到表示、从可约到可拆」的顺序串成一条主线。下图给出它们之间的依赖关系：沿着箭头走，就能从最朴素的群作用一路走到 Maschke 定理与 Schur 引理。

第一章 群、作用与表示：让对称动起来第一章小结（上）：从作用到表示

把第一、二章的要点收成六条：

① 群作用是把抽象群变成「变换」的最朴素方式；两个不变量是轨道与稳定子，由轨道–稳定子定理连在一起。

② 线性表示是群同态 ρ : G → GL(V)，把群乘法翻译成矩阵乘法；置换表示是它最朴素的特例。

③ 不变子空间与子表示是「拆表示」的入口；直和是拼装积木的运算；不可约是拆不动的原子。

④ 群代数 k[G] 把群线性化成一个环，表示等价于 k[G]-模——表示论于是成为环论的一个分支。

⑤ Maschke 定理：有限群在特征 0 上完全可约。证明有两法：平均投影、不变内积取正交补。

⑥ Schur 引理：不可约表示之间的同态要么零要么同构。它的三大推论（交换群全一维、中心元作用为纯量、不可约判别）将是下一章的全部技术来源。

一句总结：这两章教会了怎么写剧本——如何让抽象的群在向量空间上活起来，以及如何判断这个剧本能不能拆成更小的独立桥段。

第一章 群、作用与表示：让对称动起来第一章小结（下）：从可约到可拆

如果说小结（上）是「正面清单」，本页就是易错清单——把前两章最常踩的四个坑逐一标出，每个坑都配一个「回魂实验」：回到哪一页、哪道题能自检。

一句话带走：不可约是原子，直和是分子式，Maschke 保证「万物皆可写成分子式」——而原子清单本身，要等群代数（第二章）与特征标（第三章）来开列。

第一章 群、作用与表示：让对称动起来思想卡：把「对称」翻译成「线性」

这两章的全部技术，都服务于一个观念上的转身：把「对称」当作「作用」来理解，再把「作用」翻译成「线性」。

转身之前，一个群是静态的：它只是一张乘法表，元素之间如何相乘是它知道的全部。转身之后，群活了：它作用在某个空间上，每个元素都成了可见的动作。当这个空间是向量空间、动作是线性变换时，对称就被彻底「计算化」了——矩阵可以相乘、求迹、求行列式，一切线性代数的工具都为之所用。

这个转身为什么重要？因为它改变了问题的形态。抽象群里的题目（这个群有哪些结构？两个群是否同构？）往往是组合的、难以把握的；翻译成表示之后，就变成了「有哪些不可约表示、它们如何分解」这样一个有章法可循的问题。很多时候，表示论给出的答案，是纯群论方法望尘莫及的。

还有一层更深的洞见：群的全部信息，可以被一组矩阵忠实编码。这不是显然的——抽象群本来只是一个乘法表，凭什么能被压缩成几个矩阵？Maschke 与 Schur 的定理保证了这一点（在特征 0 上），而特征标理论（第三章）进一步把它压缩成几个数。真要说起来，这正是二十世纪数学最漂亮的「等价翻译」之一：结构相同的对象，可以彼此代言。

第一章 群、作用与表示：让对称动起来挑战：不变内积与平均化技巧

本页给出一个稍具分量、但完全可做的挑战：把 Maschke 定理的一个变体完整证出来。

命题（Handel 引理，此处取其表示论形式）。设 G 是有限群，V 是 G 的复表示空间。则存在 G-不变的正定 Hermite 内积，即对所有 g ∈ G、u, v ∈ V 有 ⟨ρ(g)u, ρ(g)v⟩ = ⟨u, v⟩。

证明要求（分四步，逐步完成）。

① 任取 V 上一个正定 Hermite 内积 ⟨·,·⟩₀（这总是存在的，例如任取一组基令其为标准内积）。

② 定义平均内积 ⟨u, v⟩ = (1/|G|) Σ_g ⟨ρ(g)u, ρ(g)v⟩₀；验证它仍是 Hermite、双线性、且正定（正定性用每项都 ≥ 0 且群作用可逆）。

③ 验证不变性：⟨ρ(h)u, ρ(h)v⟩ = ⟨u, v⟩。关键步骤是换元 g ↦ h⁻¹g（或 gh）把求和重排——这正是「平均」的全部魔力。

④ 由此推出推论：ρ(g) 关于该内积是酉变换；进而任何不变子空间的正交补也不变，故表示完全可约。

加题。把第 ③ 步的换元说清楚：为什么要换元？换元后求和式为什么与原来相同？（提示：求和遍历整个群，重排不改变总和。）

第一章 群、作用与表示：让对称动起来实验：用 Python 生成置换群与矩阵表示

本页用 Python 把「置换 → 矩阵」这一步亲手做一遍，并核对表示关系是否成立。

# 环境：Python 3，无需第三方库
import itertools

# 1) 构造 S_3 的全部元素（三个字母上的置换，用元组表示）
S3 = list(itertools.permutations([0,1,2]))

def compose(a, b):
    # 先做 b 再做 a
    return tuple(a[b[i]] for i in range(3))

# 2) 置换 → 置换矩阵（3x3）
def perm_matrix(p):
    M = [[0]*3 for _ in range(3)]
    for i in range(3):
        M[p[i]][i] = 1   # 第 p[i] 行第 i 列置 1
    return M

def matmul(A, B):
    return [[sum(A[i][k]*B[k][j] for k in range(3)) for j in range(3)] for i in range(3)]

def mat_eq(A, B):
    return all(A[i][j] == B[i][j] for i in range(3) for j in range(3))

# 3) 核验：ρ(ab) = ρ(a)ρ(b) 对全部元素成立
ok = True
for a in S3:
    for b in S3:
        if not mat_eq(perm_matrix(compose(a,b)), matmul(perm_matrix(a), perm_matrix(b))):
            ok = False
print('置换表示成立:', ok)

# 4) 顺带算出符号（det）与共轭类个数
def det3(M):
    return (M[0][0]*(M[1][1]*M[2][2]-M[1][2]*M[2][1])
           -M[0][1]*(M[1][0]*M[2][2]-M[1][2]*M[2][0])
           +M[0][2]*(M[1][0]*M[2][1]-M[1][1]*M[2][0]))
sgn = {p: det3(perm_matrix(p)) for p in S3}
print('符号:', sorted(sgn.values()))     # 应为 [-1,-1,-1,1,1,1]

要点。把置换矩阵定义成「第 p[i] 行第 i 列置 1」，恰好使复合对应矩阵相乘。运行后应当看到 置换表示成立: True。这亲手确认了「置换表示是表示」这一点。

扩展。把 S₃ 换成 C₄（四个旋转），再把矩阵换成复数旋转矩阵，验证 r ↦ i 与 r ↦ e^2πik/4 都是表示——它们给出 C₄ 的全部四个一维表示。

第一章 群、作用与表示：让对称动起来〖札记〗群作用的古希腊影子与 Klein 的埃尔朗根纲领

「用作用理解结构」这一思路并不始于表示论，它可以一直追溯到古代对「对称」的直观把握，而在 Klein 那里获得了第一次明确的表述。

古典的影子。古希腊的几何学里有一种典型的说法：判定两个图形「相同」，靠的是能找到把它们互相叠合的变换（平移、旋转、翻折）。Euclid《几何原本》中「叠合」的用法，实质上是把几何对象放在变换群下考察——虽然当时并没有「群」这个词。中国《周髀算经》里对圆周对称的运用、对「方」「圆」互换的讨论，同样体现着变换下的不变性观念。这些朴素的观察，是「作用」思想的最早形态。

Klein 的纲领（1872）。德国数学家 Felix Klein 在就职演讲中提出：几何学就是研究某个变换群下的不变量。欧几里得几何研究的是「刚体运动群」下的不变量（长度、角度）；仿射几何研究「仿射群」下的不变量（平行性、面积比）；射影几何研究「射影群」下的不变量（交比）。几何学的不同分支，被统一为不同群的表示与不变量理论。

与表示论的呼应。Klein 纲领的精髓——「结构由作用的群刻画，几何量由不变量刻画」——正是表示论的核心方法：群通过它在空间上的作用被理解，空间通过群作用下的不变量被理解。不同之处在于，Klein 关注的是变换群作用在几何空间上（连续、几何的不变量），而表示论关注的是抽象群作用在向量空间上（代数、可计算的不变量）。两者的先后呼应，显示了十九世纪几何传统与二十世纪代数传统的血脉相连。

第一章 群、作用与表示：让对称动起来第一章速查表

第一章 群、作用与表示：让对称动起来衔接讲义：通往群代数——把整个群装进一个环

第一章结束时，我们手里有两样东西：一套词汇（作用、表示、不可约、直和）与一条许诺（Maschke：有限群的表示总能拆干净）。但「拆」这个动作至今靠手：找不动向量、试零和子空间、逐一核对——对 S₃ 尚可，对 24 阶的立方体旋转群已嫌吃力。能不能造一台一次装配、处处适用的机器？

关键的一步棋是把视角翻过来。第一章的写法是「先有群，再为它找矩阵」——每个 ρ(g) 各自为政，群公理 ρ(gh) = ρ(g)ρ(h) 逐点验证。下一章把这串矩阵打包成一个代数对象：以群元素为基、以卷积为乘法，造出群代数 k[G]。这一打包立刻带来三件礼物：

代数化的好处，数学史反复验证：把「逐点的操作」变成「一个对象的结构」，往往就把零散的技巧收编成系统的理论。群代数正是这样一次打包——下一位主角，登台。

第二章 群代数与完全可约：拆积木的许可证第二章导引：把群线性化成一个环

第一章的表示论是一台一台单独的机器：要研究 G，就为每个 ρ(g) 逐一造矩阵、逐一验证同态公理。本章做一次「打包」：把 G 的全部元素收进一个环——群代数 k[G]，让零散的技巧变成系统的理论。这一章回答三个问题——

章末三节（p49–p52）把解剖刀伸向群代数自身：双边理想与块分解、中心幂等元、Wedderburn 半单代数一瞥——「拆表示」将被翻译成「拆代数」。

上一章教会怎么写剧本；本章给出剧场本身——群代数是群的一切表示共同居住的建筑，读完它，拆解任何表示都变成「在建筑里辨认房间」。

第二章 群代数与完全可约：拆积木的许可证2.1 群代数 k[G]：把群线性化成一个环

表示论与环论之间有一座精巧的桥，它把「群」这个乘法结构整个搬进线性代数。

定义。设 G 是有限群，k 是域。群代数 k[G] 是所有形式线性组合

Σ_g∈G a_g g，　a_g ∈ k

构成的向量空间，其乘法是群乘法的双线性延拓：(Σ a_gg)(Σ b_hh) = Σ (a_gb_h) gh。它把群元素当作基，因而同时是向量空间与环——这样的对象叫代数。

群代数的价值在于它下面的等价：

G 的表示　⟷　k[G]-模。

验证是直接的：给定表示 ρ : G → GL(V)，让 k[G] 线性地作用在 V 上（g · v = ρ(g)(v)），V 就成了 k[G]-模；反过来，模的乘法限制到基元素 g 上，就是表示。于是，表示论的问题就全部翻译成了环论的问题：不可约表示就是单模，完全可约就是半单，Maschke 定理就是 k[G] 的半单性——这类翻译让许多定理可以「借用」环论的工具一次性证成。

第二章 群代数与完全可约：拆积木的许可证2.2 表示＝k[G]-模：环论与表示论握手

上一页给出的等价「表示 ⟷ k[G]-模」值得细说，因为它把两类术语逐一对应起来，让人可以自由地在两套语言间切换。

词典：

① 表示 ρ　⟷　左 k[G]-模 V；

② 子表示　⟷　子模；

③ 不可约表示　⟷　单模（无非平凡子模）；

④ 直和 ρ₁ ⊕ ρ₂　⟷　模的直和 V₁ ⊕ V₂；

⑤ 完全可约　⟷　半单（每个子模都是直和项）；

⑥ 表示同态　⟷　模同态。

有了这本词典，环论中关于半单代数的一般定理便可以直接拿来用。例如：一个环是半单的，当且仅当它是若干单模的直和；半单代数上的任何模都完全可约。把 k[G] 的半单性（Maschke 定理）代进去，立刻得到：有限群在特征 0 上的表示都完全可约。

这条翻译还有深一层的意义：它说明，群表示论并不是孤立的技巧，而是「非交换环的模论」的一个特例。这种把具体理论提升为一般结构、再回过来统摄具体理论的思路，正是现代数学的典型风格。

第二章 群代数与完全可约：拆积木的许可证2.3 Maschke 定理：有限群表示完全可约

本章的主定理登场。

定理（Maschke，1899）。设 G 是有限群，k 是特征不整除 |G| 的域（例如特征 0）。则 G 在 k 上的任何表示都完全可约：若 W 是 V 的不变子空间，则存在不变补空间 W′ 使 V = W ⊕ W′。

证明思路（平均法）。先任取线性补空间 U（不一定不变），对应投影 π₀ : V → W。它未必与 G 相容；但可以对它关于群做平均：

π = (1/|G|) Σ_g∈G ρ(g) π₀ ρ(g)⁻¹。

这个平均过的 π 仍是到 W 的投影，而且现在与所有 ρ(g) 交换——因为它是在全群上求和的，群元素只是把求和项重排了一遍。于是 ker π 是一个不变补空间，V = W ⊕ ker π。

证明中除以 |G| 一步，正是「特征不整除群阶」这个条件的用处：它保证 1/|G| 在 k 中有意义。若特征整除群阶（比如特征 p 而 p | |G|），平均法失效，完全可约性可能真的不成立——这正是第六章模表示论的起点。

第二章 群代数与完全可约：拆积木的许可证2.4 完全可约性的三种等价说法

Maschke 定理可以用三种看起来不同、实则等价的方式陈述。理解它们的等价，是掌握表示论结构的关键。

说法一（补空间）。每个不变子空间 W 都有一个不变补空间 W′，使 V = W ⊕ W′。这是 Maschke 定理的原始形式。

说法二（分解成不可约）。任何表示都能写成不可约表示的直和：

V ≅ V₁ ⊕ ⋯ ⊕ V_r，　V_i 不可约。

由说法一可以无限细分：只要能补，就能不断把可约的块再拆，直到每块都不可约；有限维保证过程终止。

说法三（群代数的半单性）。k[G] 是半单代数：它的每个左理想都是直和项。这是环论的说法，也是三者的枢纽——把 k[G] 的（左）理想看作子表示，半单性恰好等价于说法一。

三种说法各有各的用处：说法一便于证明与构造，说法二便于具体计算（把表示拆成清单），说法三便于连接环论的一般结论。它们合起来说明一件事：在特征 0 上，有限群的表示论是「完全通透」的——没有拆不开的纠缠，一切表示都由不可约积木的堆叠构成。

第二章 群代数与完全可约：拆积木的许可证2.5 反例：当特征整除群阶时，可约不再完全

Maschke 定理里的条件「特征不整除群阶」不是装饰，去掉它就会出真问题。看一个最小的反例。

取 G = ℤ/2ℤ = {e, σ}，域 k = 𝔽₂（特征 2，恰好整除群阶 2）。在二维空间上定义表示

ρ(σ) = 1101。

它满足 ρ(σ)² = I，因为在特征 2 下 1 + 1 = 0，矩阵平方确实是单位矩阵。但看这个矩阵：它不是对角阵，且不可对角化（是 Jordan 块）。说明什么？

它有一条不变直线 W = 𝔽₂ · (1, 0)^T（因为第一列是 (1, 0)），所以表示可约；但不存在与之互补的不变直线——如果把 W 补成 W′ = 𝔽₂·(0,1)，会发现 ρ(σ) 把 (0,1) 送到 (1,1)，跑出了这条直线。故表示可约但不完全可约。

原因何在？Maschke 证明里的平均法用到 1/|G| = 1/2，而在 𝔽₂ 里 2 = 0，除法无意义，平均无从谈起。这个「除不下去」的障碍，正是正特征表示论（模表示论）必须另起炉灶的根本原因。

第二章 群代数与完全可约：拆积木的许可证2.6 Schur 引理：不可约表示之间的同态

本章最后一件、也是最重要的一件工具。

引理（Schur）。设 (V, ρ) 与 (W, σ) 是不可约表示，T : V → W 是表示同态。则 T 要么是零映射，要么是同构。

证明。ker T 是 V 的不变子空间，由不可约性只能是 0 或 V。

· 若 ker T = V，则 T = 0；

· 若 ker T = 0，则 T 单射，此时 im T 是 W 的非零不变子空间，由不可约性 im T = W，即 T 满射。故 T 同构。

推论极其有力：不可约表示之间的同态空间是「极简」的。当 V = W、ρ = σ 时，与 ρ 交换的自同态 End_G(V) 中，非零的都必须是同构——而可逆的线性映射只是一些矩阵，简单场合下它只能是倍乘：

T = λ I。

这条「Schur 引理的标准形」要在保证 End_G(V) 中每个元素都有特征值的前提下才能下（例如 k 代数闭，取 ℂ）。它一旦成立，紧接着就能推出：不可约表示的中心元作用、张量积的分解、乃至正交关系，全部有了着落。

第二章 群代数与完全可约：拆积木的许可证2.7 Schur 引理的推论：一维表示与中心

Schur 引理看似只是一句「要么零要么同构」，推开的门却很多。挑三条最常用的。

推论一：交换群的不可约表示全是一维。设 G 交换，(V, ρ) 不可约。对每个 h ∈ G，ρ(h) 与所有 ρ(g) 交换（因群交换），故 ρ(h) ∈ End_G(V)。由 Schur 引理标准形 ρ(h) = λ(h) I。于是每个 ρ(h) 都是纯量，它的任何一维子空间都不变；由不可约性 dim V = 1。

推论二：中心元作用为纯量。设 z 属于群的中心 Z(G)，则在任何不可约表示上 ρ(z) = λ(z) I。这条推论在第四章算计特征标表时天天用到：中心元把表示空间整体按同一个数拉伸，不搅乱内部结构。

推论三：不可约表示的判别。一个表示不可约，当且仅当 dim End_G(V) = 1（代数闭域情形）。因为若可约，能造出不止一个独立的自同态（往一个直和项上投影）；反之若不可约，由 Schur 引理自同态只有纯量。这条判别在计算上极有用：只要数一数「能与群交换的自同态有几个」，就能判断不可约性。

第二章 群代数与完全可约：拆积木的许可证2.8 不变内积：平均化的魔法

Maschke 定理还有一个更几何的证法，它引入一件在下一章反复使用的工具——不变内积。

在表示空间 V 上任取一个内积 ⟨·,·⟩₀，定义新的内积

⟨u, v⟩ = (1/|G|) Σ_g∈G ⟨ρ(g)u, ρ(g)v⟩₀。

这是把原内积在全群上平均的结果，因此对群作用不变：

⟨ρ(h)u, ρ(h)v⟩ = ⟨u, v⟩，　∀h ∈ G。

也就是说，每个 ρ(g) 关于这个内积都是正交变换。于是可以取正交补：给定不变子空间 W，它的正交补 W^⊥ 也是不变的（因为群作用保内积，把 W 保持就必把 W^⊥ 保持），且 V = W ⊕ W^⊥。

这给出 Maschke 定理的第二个证明：存在不变内积 ⟹ 存在不变补空间 ⟹ 完全可约。这个证法比平均投影更直观——它把「能不能拆」变成了「能不能取正交补」这样一个几何问题，也让「有限群的表示可以取成酉表示」这一事实一目了然。

第二章 群代数与完全可约：拆积木的许可证2.9 群代数的双边理想与块分解

有了群代数，「拆表示」就升格为「拆代数」。环论里最有力的拆解工具是双边理想——既当左理想又当右理想的子空间，它能被整个代数「两边吸收」。

块的哲学：群代数不是一块铁板，而是一间由独立房间组成的大厦。表示住在房间里，块是房间的隔墙；拆懂了平面图，任何表示都只是「在哪个房间、放了几件家具」的问题。

第二章 群代数与完全可约：拆积木的许可证2.10 中心幂等元：群代数的解剖刀

块分解是「存在性定理」，本节把手术刀交到手上里：把每块显式写出来。刀具是一种特殊的元素——既是幂等元（自乘不变），又待在群代数的中心（与一切元素交换）。

「取平均」第二次立功：第一章用平均造不变内积，本节用特征标加权平均切分群代数——对称问题的答案，往往就藏在「对所有对称取平均」的姿势里。

第二章 群代数与完全可约：拆积木的许可证2.11 半单代数与 Wedderburn 定理一瞥

块分解的最后一块拼图，是代数学里一条大定理：半单代数的 Wedderburn 分类。它把「一切半单代数」一口气数完——而特征 0 的群代数，正是半单代数的标准样本。

Wedderburn 定理是「结构主义」的样板：先立抽象公理（半单），再证明所有对象都由一种零件（矩阵代数）拼成——分类学代替穷举法。第六章的「权与最高权」将把这一哲学推向李群的世界。

第二章 群代数与完全可约：拆积木的许可证2.12 常见误读与澄清

群代数把群、环、模三个世界接在一起，跨界处最容易迷路。把四类高频误读摆上解剖台。

学术阅读的通用护身符：定理的名字越大，前提越要逐字读——Wedderburn 的「半单」、Maschke 的「特征不整除」，都是被反例喂养出来的 precision。

第二章 群代数与完全可约：拆积木的许可证例题课（一）：用 Schur 引理算交换群的不可约表示

问题。设 G 是有限交换群。用 Schur 引理证明：G 的每个不可约复表示都是一维的，因而 G 恰有 |G| 个不可约表示。

解。第一步（不可约 ⟹ 一维）：已由 Schur 引理推论一给出——交换群的不可约表示上每个 ρ(h) 都是纯量，任何一维子空间不变，故 dim V = 1。

第二步（计个数）：一维表示就是群同态 χ : G → ℂ^×。有限交换群有结构定理

G ≅ ℤ/n₁ ⊕ ⋯ ⊕ ℤ/n_r。

一个同态 χ 由它在各生成元 g_i 上的取值 χ(g_i) 唯一决定，而各取值必须是 n_i 次单位根，各有 n_i 种选法。于是同态总数为

n₁ n₂ ⋯ n_r = |G|。

所以 G 恰有 |G| 个不可约表示，与群阶相等。这也顺带给出一个可验证的判据：交换群的不可约表示个数 = 群阶 = 共轭类个数（因每个元素自成一类），与第三章的一般公式「不可约个数 = 共轭类个数」一致。

一句话小结。交换群是最简单的一类群：它的所有不可约表示都是一维的，本质上就是「把群元素送到单位根」的乘法函数。这类函数有一个专门的名字——群的特征（character，与后面的特征标 χ 同源），也是数论中 Dirichlet 特征与 Fourier 分析的共同祖先。

第二章 群代数与完全可约：拆积木的许可证例题课（二）：群代数中的幂等元

本课把 2.10 的公式用到底：亲手算出 ℂ[C₃] 的三个中心幂等元，并验证它们的正交性——一条「纸上推导＋数值对拍」的标准流程。

第二章 群代数与完全可约：拆积木的许可证习题课（一）：表示与群代数的模

5. 写出 C₄ 的全部不可约复表示，并验证它们的维数平方和为 4。

6. 设 ρ 是 G 的表示，证明：ker ρ = {g : ρ(g) = I} 是 G 的正规子群，且 ρ 诱导出 G/ker ρ 的一个忠实表示。

7. 证明：k[G] 的左理想与 G 的子表示一一对应；并说明「完全可约」如何翻译成「每个左理想是直和项」。

8. 谈谈 Maschke 定理中「平均」这一步为什么必须除以 |G|。举出特征整除群阶时完全可约性失效的一个例子（除正文中 𝔽₂ 的例子外）。

第二章 群代数与完全可约：拆积木的许可证习题课（二）：进阶

六道题沿「群代数 → 模语言 → 幂等元」的台阶上升。建议先做前四道，第 5、6 题供挑战。

第 5 题的「中心由类和张成」是块理论的地基：中心维数＝共轭类数，第三章将从特征标一端独立地重新发现这个数——两条路在此会师。

第二章 群代数与完全可约：拆积木的许可证第二章知识地图

第二章的概念比第一章更「代数」，但主线只有一条：把群打包成环，然后把环拆开。上图给出依赖关系：群代数是地基，字典（表示＝模）是通行证，Maschke 与 Schur 是两大支柱，中心幂等元与 Wedderburn 是解剖与分类的两只手。

读图提示：第三章将把「e_χ 里的特征标」铸成独立的主角——本图右下角的 Wedderburn 与下一章的正交关系，是同一块蛋糕的两刀。

第二章 群代数与完全可约：拆积木的许可证第二章小结：从群代数到半单性

把第二章的要点收成六条：

① 群代数 k[G]：以群元素为基、卷积为乘法；群乘法表升格为代数结构。

② 字典：表示＝k[G]-模；单模＝不可约表示；环论工具可整体进口。

③ Maschke 定理：特征不整除 |G| 时群代数半单——每个表示完全可约；证明的发动机是「对全体群元素取平均」。

④ Schur 引理：不可约表示之间的同态非零即同构；交换群的不可约全一维、中心元素纯量作用，都是它的推论。

⑤ 中心幂等元 e_χ：特征标加权的平均元素；正交系 e_χe_ψ = δ_χψe_χ 把群代数切成块。

⑥ Wedderburn 定理：半单代数同构于矩阵代数直和；维数表 (d₁,…,d_r) 满足 Σd_i² = |G|。

一句总结：本章领到了拆积木的许可证，还配发了手术刀（幂等元）与产品目录（Wedderburn）——但「每个群的维数表长什么样」仍要逐群手算。第三章的特征标表，就是把这张目录自动化的机器。

第二章 群代数与完全可约：拆积木的许可证思想卡：整个群，一个环

本章的全部内容服务于一个观念的升级：把「一群各自为政的矩阵」升格为「一个有内部结构的环」。

升级之前，表示论是一门「手艺」：每接手一个群，就从头为它造矩阵、验公理、找不变子空间——技巧再娴熟，也是一次性劳动。升级之后，表示论成了一门「结构科学」：群代数把群的全部表示收进同一座建筑，拆解问题变成建筑学问题——半单性是施工许可，中心幂等元是平面图，Wedderburn 是建材清单。

这次升级为什么威力惊人？因为它把「逐点验证」变成「一次结构定理」。Maschke 不再是「对每个表示分别找补」的体力活，而是群代数「半单」这一条代数性质的直接推论；Schur 引理不再是「逐对验算同态」，而是不可约模之间 Hom 空间的两分法。结构一旦建立，定理就开始批量生产。

还有一层更深的洞见：打包启示了一种普遍的数学姿势——当反复对同一类对象做同一种操作时，就把这类对象整体装进一个更大的结构里。群→群代数如此，函数空间→算子代数如此，数→数系（ℚ→ℝ→ℂ）亦如此。数学的历史，一半是「打包」的历史。

第二章 群代数与完全可约：拆积木的许可证挑战：群代数的中心与共轭类数

本章的挑战题通向一条本书只踩一脚的深隧道：群的中心结构如何决定群代数的中心结构。它是第三章「共轭类数＝不可约个数」的代数预演。

第二章 群代数与完全可约：拆积木的许可证实验：用程序算群代数的块分解

本实验把 2.10 与例题课的「纸上幂等元」交给浮点机器对拍：卷积乘法直接按定义实现，正交关系 e_ie_j = δ_ije_j 与完备性 Σe_k = 1 逐条检验。

from cmath import exp, pi
# C3 的三个一维特征标：chi_k(rj) = exp(2*pi*i*k*j/3)
G = [0, 1, 2]                      # 记 1=0, r=1, r2=2（加法群）
chi = lambda k, g: exp(2j*pi*k*g/3)

# 中心幂等元 e_k = (1/|G|) * sum_g conj(chi_k(g)) * rg
e = []
for k in range(3):
    e.append([chi(k, g).conjugate() / 3 for g in G])   # 系数表：arg
for k in range(3):
    print(f"ek =", ["%.3f%+.3fj" % (c.real, c.imag) for c in e[k]])

# 卷积乘法 (a*b)(t) = sums a[s] b[t-s mod 3]
def conv(a, b):
    return [sum(a[s] * b[(t - s) % 3] for s in G) for t in G]

one = [1, 0, 0]
print("sum e_k =", ["%.3f%+.3fj" % (c.real, c.imag)
                    for c in [sum(e[k][t] for k in range(3)) for t in G]])
print("e1*e2   =", ["%.3f%+.3fj" % (c.real, c.imag) for c in conv(e[1], e[2])])
print("e1*e1   =", ["%.3f%+.3fj" % (c.real, c.imag) for c in conv(e[1], e[1])])
print("e0 vs 1 :", ["%.3f%+.3fj" % (c.real, c.imag) for c in e[0]])

# 真跑输出（保留 3 位小数）
e_0 = ['0.333+0.000j', '0.333+0.000j', '0.333+0.000j']
e_1 = ['0.333+0.000j', '-0.167-0.289j', '-0.167+0.289j']
e_2 = ['0.333+0.000j', '-0.167+0.289j', '-0.167-0.289j']
sum e_k = ['1.000+0.000j', '0.000-0.000j', '0.000-0.000j']
e1*e2   = ['0.000-0.000j', '0.000-0.000j', '0.000-0.000j']
e1*e1   = ['0.333+0.000j', '-0.167-0.289j', '-0.167+0.289j']
e0 vs 1 : ['0.333+0.000j', '0.333+0.000j', '0.333+0.000j']

第二章 群代数与完全可约：拆积木的许可证〖札记〗《易经》卦变与对称的分解

「把一个整体拆成独立成分」，在《易经》的卦变体系里早有一次宏大的实践。这不是附会——把两套符号系统并排看，恰能照见「正交分解」这一现代观念的原型。

现代数学把「拆整体」做成了定理：存在性（Maschke）、唯一性（块分解）、手术刀（幂等元）一应俱全。古代象数学则把它做成了一套可操作的诠释学。两者对待「部分与整体」的态度惊人一致：整体的信息，由彼此正交的部分分摊保管——这正是特征标表（下一章）最深的哲学。

第二章 群代数与完全可约：拆积木的许可证第二章速查表

第二章 群代数与完全可约：拆积木的许可证衔接讲义：通往特征标——一个函数说尽一个表示

第二章末尾，我们手里握着一把奇怪而锋利的刀具：中心幂等元 e_χ = (d/|G|)Σχ(g)g。它的系数里出现了一个尚未正式登场的角色——特征标 χ。到目前为止，特征标只是「表示取迹」的副产品；可块分解的大戏里，它分明是第一主角。

下一章把这个配角扶正，并围绕它建立整座计算大厦：

幂等元公式里那个「加权平均」的 χ，曾是本书第一处「先使用、后定义」的记号。下一章开场，就把这张欠条兑成现金——特征标，正式登场。

第三章 特征标与正交关系：一张表背下一群第三章导引：一个函数说尽一个表示

第一、二章末尾留下一个悬念：既然每个表示都能拆成不可约积木，那要如何知道「拆成了哪几块、各出现几次」？直接找不变子空间当然可以，但表示空间一维数升高，计算量就爆炸。需要一个更省力的办法。

这个办法就是特征标。给定表示 ρ，只记下每个群元素对应矩阵的迹 χ(g) = tr ρ(g)。一个 d 维的矩阵有 d² 个元素，而迹只有一个数——看起来损失惨重。但事实相反：在特征 0 上，特征标把表示的全部信息一个不落地保存了下来。更妙的是，特征标之间满足一组正交关系，使得「分解表示」这件事变成了一道简单的内积计算题。

本章先定义特征标并列出它的基本性质；然后建立类函数空间上的内积，证明两组正交关系；由此推出两个惊人的计数定理：不可约表示的个数等于共轭类的个数，维数的平方和等于群阶。最后把一切落到一张「特征标表」上——几个数就录下整个群。

第三章 特征标与正交关系：一张表背下一群3.1 特征标的定义：χ(g) = tr ρ(g)

先把定义立准。

定义。设 ρ : G → GL(V) 是有限维复表示。称函数

χ_ρ : G → ℂ，　χ_ρ(g) = tr ρ(g)

为 ρ 的特征标。表示的维数称为特征标的次数，记 χ_ρ(e) = dim V（因 ρ(e) = I，迹就是维数）。

几个记号上的约定：

① 若 ρ 不可约，称 χ_ρ 为不可约特征标（简称 irr）。不可约特征标的全体记作 Irr(G)。

② 若 ρ 是一维表示，χ_ρ(g) 就是那个标量本身，此时特征标与表示重合。

③ 平凡表示的记法：ρ_triv(g) = 1，记其特征标为 𝟙 或 χ₀，恒等于 1。

用矩阵的话说，特征标就是把整个矩阵「投影」到对角线之和这一个数上。为什么要这样投影？因为 迹在相似变换下不变：tr(S⁻¹M S) = tr M，而换基正是相似变换，同构的表示轨迹一致。这保证特征标是同构不变量——同一个表示用什么坐标写，特征标都相同。

第三章 特征标与正交关系：一张表背下一群3.2 迹的共轭不变性：特征标是类函数

特征标的第一个基本性质，来自迹的循环性。

命题。特征标是共轭不变的：对任意 g, h ∈ G，

χ(h g h⁻¹) = χ(g)。

证明。χ(hgh⁻¹) = tr(ρ(h)ρ(g)ρ(h)⁻¹) = tr(ρ(g)) = χ(g)，用了迹的循环性 tr(AB) = tr(BA)。

这条命题有一个直接的后果：特征标在共轭类上取定值。称这样的函数为类函数（class function）：f(hgh⁻¹) = f(g)。

类函数是表示论中一个极其省力的概念：要录下一个特征标，不必给出 |G| 个值，只需给出每个共轭类上的一个值。例如 S₃（阶 6）只有 3 个共轭类，所以它的每个特征标只需记 3 个数；D₄（阶 8）有 5 个共轭类，特征标只需记 5 个数。

所有类函数构成一个复向量空间 CF(G)，其维数等于共轭类个数。后面会看到，不可约特征标恰好构成这个空间的一组正交基——这是本章最核心的结论。

第三章 特征标与正交关系：一张表背下一群3.3 特征标的基本性质与运算

特征标之所以好用，是因为它把表示的运算翻译成函数的运算。下面五条性质，是后续全部计算的依据。

① 直和相加。χ_ρ⊕σ = χ_ρ + χ_σ。因为分块对角矩阵的迹是对角块迹之和。

② 张量相乘。χ_ρ⊗σ(g) = χ_ρ(g) · χ_σ(g)。因为 tr(A ⊗ B) = tr A · tr B。

③ 对偶共轭。χ_ρ*(g) = χ_ρ(g)。因为 ρ(g) 可由酉矩阵表示（第一、二章不变内积），酉矩阵特征值的模为 1，其逆的迹即共轭。

④ 单位元处取维数。χ(e) = dim V，这是正整数的量。

⑤ 取值是代数整数。作为 ρ(g) 的特征值之和，χ(g) 是若干个单位根之和，因而是代数整数。这条性质在数论一侧（第四章的整除性论证）时会用到。

所有这些性质都有一个共同的来源：特征标是「表示的函子性不变量」——表示的每一个自然运算（直和、张量、对偶、取维数），都在特征标上对应一个具体的函数运算。这正是「用一个函数背下一整个表示」之所以可能的道理。

第三章 特征标与正交关系：一张表背下一群3.4 内积空间：类函数上的 Hermite 内积

要谈「正交」，先要有内积。在类函数空间 CF(G) 上定义一个配对：

⟨φ, ψ⟩ = (1/|G|) Σ_g∈G φ(g) ψ(g)。

这是全群上的平均，与 Maschke 证明里的「平均」同源。它满足内积的全部公理：

① 共轭对称：⟨φ, ψ⟩ = ⟨ψ, φ⟩；

② 线性（第一变元）：⟨aφ₁ + bφ₂, ψ⟩ = a⟨φ₁, ψ⟩ + b⟨φ₂, ψ⟩；

③ 正定：⟨φ, φ⟩ ≥ 0，等号仅当 φ ≡ 0。

因为被积的是类函数，求和可以按共轭类分组，得到等价的写法

⟨φ, ψ⟩ = (1/|G|) Σ_{类 C} |C| φ(C) ψ(C)，

其中 φ(C) 表示 φ 在该共轭类上的值。计算时常按这个分组式来做——只需对共轭类求和，效率高得多。

有了内积，就可以谈「长度」（‖φ‖² = ⟨φ, φ⟩）与「正交」（⟨φ, ψ⟩ = 0）。下一节将证明：不可约特征标两两正交，且各自长度为 1——它们构成 CF(G) 的正交规范基。

第三章 特征标与正交关系：一张表背下一群3.5 第一正交关系：不可约特征标两两正交

本章的主定理之一。

定理（第一正交关系）。对不可约表示 ρ_i, ρ_j，其特征标满足

⟨χ_i, χ_j⟩ = (1/|G|) Σ_g χ_i(g) χ_j(g) = δ_ij。

即不同不可约特征标正交，相同的长度为 1。

证明思路（Schur 引理的路子）。取不可约表示 V, W。任取线性映射 T : V → W，做平均

T̃ = (1/|G|) Σ_g ρ_W(g) T ρ_V(g)⁻¹。

与 Maschke 证明中完全相同的换元论证表明 T̃ 是表示同态。由 Schur 引理：

· 若 V ≇ W，则 T̃ = 0；

· 若 V = W，则 T̃ = λI。

把两个结论写成分量形式，再取迹，恰好得到 Σ_g ρ_W(g)_kl ρ_V(g⁻¹)_mn 的两种表达式，令二者相等便直接推出正交关系（细节见挑战页）。这条证明的枢纽，正是第一、二章埋下的 Schur 引理——它是特征标正交性的全部技术来源。

第三章 特征标与正交关系：一张表背下一群3.6 第二正交关系：列的正交与中心

第一正交关系说的是「行与行」之间的关系（把每个特征标看成一行）。还有一个「列与列」的对偶关系。

定理（第二正交关系）。对任意 g, h ∈ G，

Σ_i∈Irr(G) χ_i(g) χ_i(h) = |G| / |C(g)| · δ_g~h，

其中 C(g) 是 g 的中心化子，δ_g~h 在 g 与 h 共轭时为 1，否则为 0。

换句话说，不同的列（共轭类）正交，同一列的元素之间由中心化子的大小决定。

第二正交关系有一个常用的等价形式：对共轭类 C 与类函数 φ，特征标表看作矩阵 (χ_i(C))，则这张矩阵的行正交（第一关系）与列正交（第二关系）互为对偶——给定行正交与「行数 = 列数」这一事实（不可约个数 = 共轭类个数，下节证明），列正交自动成立。

这两组关系把特征标表变成一张具有完美对称结构的「正交表」：无论横着看还是竖着看，都满足正交。这是特征标表最迷人的性质，也是它可以「由少数据补全」的根本原因。

第三章 特征标与正交关系：一张表背下一群3.7 维数平方和：Σ d_i² = |G|

第一正交关系立刻给出一个全局计数定理。

定理。设 Irr(G) = {χ₁, …, χ_r}，d_i = χ_i(e) 为各不可约表示的维数。则

d₁² + d₂² + ⋯ + d_r² = |G|。

证明思路。把正则表示（G 作用在群代数 k[G] 上，见第一、二章）分解成不可约表示：

k[G] ≅ ⊕_i d_i · V_i，

其中每个不可约表示 V_i 出现的重数恰好是它的维数 d_i（这一事实本身可由特征标算得：⟨χ_reg, χ_i⟩ = d_i）。比较两边的维数：左边 dim k[G] = |G|，右边 Σ d_i · d_i，即得结论。

这个公式威力极大：它是一条必须满足的硬约束，常用来猜出小群的不可约维数。例如：

· S₃（阶 6）：可能分解为 1² + 1² + 2² = 6，故维数是 1, 1, 2。

· D₄（阶 8）：1² + 1² + 1² + 1² + 2² = 8，维数是 1,1,1,1,2。

第三章 特征标与正交关系：一张表背下一群3.8 不可约个数＝共轭类个数

另一个同样深刻的计数定理。

定理。不可约特征标的个数等于共轭类的个数：|Irr(G)| = k(G)，其中 k(G) 是共轭类个数。

证明思路。不可约特征标都是类函数，且由第一正交关系知它们两两正交，故在 CF(G) 中线性无关，于是 |Irr(G)| ≤ dim CF(G) = k(G)。反向不等式需要一点论证：中心 Z(k[G]) 的维数等于 k(G)（因为类元素 Σ_g∈C g 构成中心的一组基），而由 Schur 引理，不可约表示在中心上作用为纯量，故每个不可约表示给出中心的一个特征，不同的不可约表示给出线性无关的特征；中心是半单的，其不可约表示个数等于 dim Z，即 k(G)。于是 |Irr(G)| = k(G)。

两个计数定理合起来，是一副「定规矩」的锁链：

|Irr(G)| = k(G)，　Σ_i d_i² = |G|。

对一个具体的小群，这两个公式常常已经足以定出不可约表示的个数与它们的维数分布——特征标表的「骨架」由此确定，剩下的只是填数。

第三章 特征标与正交关系：一张表背下一群3.9 重数公式：用内积算分解

现在回答本章开头的问题：给定任意表示 ρ，如何算出它由哪些不可约积木拼成、各几块？

重数公式。设 χ 是任意表示的特征标，χ_i 遍历不可约特征标。则

χ = Σ_i m_i χ_i，　m_i = ⟨χ, χ_i⟩ = (1/|G|) Σ_g χ(g) χ_i(g)。

其中 m_i 是 V_i 在 V 中出现的重数（非负整数）。

为什么成立。由第一正交关系，把 χ 在正交基 {χ_i} 上做 Fourier 展开，系数正是内积 ⟨χ, χ_i⟩；又因 χ 由整数重数拼成，这些系数自动是整数。

重数公式有几个立刻可用的推论：

① 不可约判别。χ 不可约 ⟺ ⟨χ, χ⟩ = 1；χ 可约 ⟺ ⟨χ, χ⟩ ≥ 2（且为整数）。于是不必找子空间，算一个内积就能判断可约性。

② 分解的范数。⟨χ, χ⟩ = Σ m_i²，即「重数平方和」。

③ 不可约个数可查。把平凡特征标 𝟙 与其他内积逐一算，就能把整个表示拆清楚。

第三章 特征标与正交关系：一张表背下一群3.10 特征标表：一张方阵背下整群

把不可约特征标与共轭类排成一张表，就是特征标表（character table）。它的行是不可约特征标 χ₁, …, χ_r，列是共轭类 C₁, …, C_r，第 (i, j) 格填 χ_i 在类 C_j 上的值。

以 S₃ 为例（三个共轭类：{e}、三个对换、两个三轮换）：

几个读表要领：

① 第一列是维数。χ(e) 即该行表示的维数。上表为 1, 1, 2，平方和 1 + 1 + 4 = 6 = |S₃|。

② 平凡行全为 1。因为平凡表示每个元素都送 1。

③ 行正交。任两行按类加权内积为 0；每行自内积为 1。

④ 列正交（带权）。不同类之间 Σ_i χ_i(C) χ_i(C′) = 0。

这张三行三列的小表，把 S₃ 的全部表示信息（共 3 个不可约表示及其分解规律）一次说尽。对更大的群，特征标表也随之变大，但表越大，正交关系越能把未知项「挤」出来——往往只需少量已知数据，整张表就被唯一确定。

第三章 特征标与正交关系：一张表背下一群3.11 特征标表的正交格与计算套路

随手算一张特征标表，有一套固定的套路。把步骤写下来，第四章的小群分类就可以照方抓药。

第一步：列共轭类。写出 G 的所有共轭类 C₁ = {e}, C₂, …，数出个数 k，并记下各类的大小 |C_j|。

第二步：定骨架。由 |Irr| = k 知共有 k 个不可约表示；再由 Σ d_i² = |G| 解出维数组合 (d₁, …, d_k)（通常解唯一或极少）。

第三步：填已知行。平凡表示标 χ₁ 全填 1；一维表示（如符号表示）由 G/[G,G] 的交换化给出，可先填；换位子群是核的那些一维表示也在此列出。

第四步：用正交关系补全。对每个未知行，写出与已知行的正交方程 ⟨χ_i, χ_j⟩ = 0、以及自内积 ⟨χ_i, χ_i⟩ = 1，联立求解。也可用列正交关系，从已知列的数值推另一列。

第五步：核验。把全表逐行逐列查一遍正交关系；再核对第一列平方和等于群阶。

这套套路中最关键的是第四步：正交关系提供的方程往往比未知数还多，表因此有「唯一解」。这也解释了为什么特征标表是一种极强的数据压缩——群的全部不可约表示，被一张满足正交的小方阵完全锁定。

第三章 特征标与正交关系：一张表背下一群3.12 特征标的更多例子：四元数群 Q₈

3.1–3.11 把特征标的机器全部造好，本节开进一座「比交换群更有趣、比 S₃ 更陌生」的园区：四元数群 Q₈。它是最小的「非交换但每个子群都正规」的群，也是「一维表示不够用」的第一现场。

Q₈ 与 D₄ 有相同的特征标表（逐行重排后完全一致）——特征标表认不出这两个群！这张「表不能区分」的著名后门，第六章将用模表示补上封条。

第三章 特征标与正交关系：一张表背下一群3.13 特征标与概率：随机游走一瞥

特征标不只「数表示」，还能算概率。本节用一页展示它在随机游走上的招牌应用——这也是「特征标＝群的傅里叶分析」这一身份最直观的出场方式。

这套「群上的傅里叶分析」正是现代应用的骨架：洗牌问题（多少次 riffle 才算乱）、随机化算法、图上的扩散，全部由「表示展开＋谱隙」一套话术覆盖——第五章 Peter–Weyl 定理是它在紧群上的无穷维版本。

傅里叶变换把信号拆成频率，特征标展开把分布拆成表示——「拆成正交成分」这件事，从ℤ到任意群，语法不变。下一节把这句话做成一条代数：特征标自己会相乘。

第三章 特征标与正交关系：一张表背下一群3.14 特征标环：逐点乘法的代数

把全部不可约特征标的整系数组合收成集合 R(G)，装备「加法＝直和、乘法＝张量积」两件运算——它成为一个环，特征标环。这是特征标理论从「表格」升格为「代数」的一步，也是通往现代表示论（第六章）的桥。

一句话定位：特征标表是「字典」，特征标环是「语法书」——表记录有哪些词，环规定词与词如何组合。读表的人多，读环的人少；而组合爆炸的秘密都藏在乘法表里。

第三章 特征标与正交关系：一张表背下一群3.15 常见误读与澄清

特征标理论公式密集，最易在「谁正交于谁」「内积定义在哪」上走岔。四类高频误读逐一澄清。

「特征标表认不出 Q₈ 与 D₄」不是理论的污点，而是路标：它提示还差一层信息——那层信息（模表示的分解数）要到第六章才进账。知道自己「什么时候会失灵」，是理论成熟的标志。

第三章 特征标与正交关系：一张表背下一群例题课（一）：S₃ 的特征标表

问题。用本章的方法完整算出 S₃ 的特征标表，并核验两组正交关系。

第一步：共轭类。S₃ 有三个共轭类：

· C₁ = {e}，大小 1；

· C₂：三个对换，大小 3；

· C₃：两个三轮换，大小 2。

故 k = 3，恰有 3 个不可约表示。

第二步：定维数。解 Σ d_i² = 6：唯一可能是 1 + 1 + 4，即维数 (1, 1, 2)。

第三步：填已知行。平凡 χ₀ = (1, 1, 1)；符号（S₃ 的交换化是 ℤ/2）给 χ₁ = (1, −1, 1)。

第四步：正交补第三行。设 χ₂ = (2, a, b)（第一列已知为 2）。

· 与 χ₀ 正交：1·2 + 3·a + 2·b = 0，即 2 + 3a + 2b = 0；

· 自内积为 1：(1·4 + 3·a² + 2·b²)/6 = 1，即 4 + 3a² + 2b² = 6。

解二元方程：由第一式 a = −(2 + 2b)/3，代入第二式得 b = −1（另一解舍去，因 a 须为整数或符合代数整数约束），于是 a = 0。

结果：χ₂ = (2, 0, −1)。核验：1+1+4 = 6 ✓；行正交：⟨χ₂, χ₀⟩ = (1·2 + 3·0 + 2·(−1))/6 = 0 ✓。

第三章 特征标与正交关系：一张表背下一群例题课（二）：用正交关系反推未知特征标

问题。不直接构造表示，只用正交关系求出 D₄ 的特征标表（阶 8）。

第一步：共轭类。D₄ = ⟨r, s⟩ 有 5 个共轭类：

{e}（1）、{r²}（1）、{r, r³}（2）、{s, r²s}（2）、{rs, r³s}（2）。故 k = 5，有 5 个不可约表示。

第二步：维数。解 Σ d_i² = 8，唯一可能 1 + 1 + 1 + 1 + 4，即四个一维 + 一个二维。

第三步：四个一维表示。D₄ 的交换化是 ℤ/2 × ℤ/2，给出四个一维表示，由 r ↦ ±1、s ↦ ±1 组合而成。列表：

第四步：补二维行。由与四个一维行正交（加权和为零）：

· 与 χ₀：2 + x₂ + 2x₃ + 2x₄ + 2x₅ = 0（x_j 为各类上的值）；

· 与 χ₁：2 + x₂ + 2x₃ − 2x₄ − 2x₅ = 0；

两式相加得 4 + 2x₂ + 4x₃ = 0；同理与 χ₂、χ₃ 正交又得两式，联立解得

x₂ = −2，　x₃ = 0，　x₄ = 0，　x₅ = 0。

结果：χ₄ = (2, −2, 0, 0, 0)。核验自内积：(1·4 + 1·4)/8 = 1 ✓。

一句话小结。四个一维行完全已知，二维行由正交方程唯一解出——这生动说明特征标表的「自我约束」有多强：几乎不用碰表示空间，光靠正交就把表定死了。

第三章 特征标与正交关系：一张表背下一群例题课（三）：置换特征标与 Burnside 引理

问题。设群 G 作用在有限集合 X 上，π 是对应的置换特征标（π(g) = #X^g，即 g 不动点的个数）。证明轨道数等于 ⟨π, 𝟙⟩，即 Burnside 引理。

解。置换特征标可写成 π = Σ_i 𝟙_xi，其中 𝟙_x 是点 x 的轨道指示特征标（1 若 g 固定 x，否则 0）。由内积的线性：

⟨π, 𝟙⟩ = Σ_x∈X ⟨𝟙_x, 𝟙⟩ = Σ_x (1/|G|) Σ_g 𝟙_x(g)。

对内层和：Σ_g 𝟙_x(g) = |G_x|（稳定子大小）。再由轨道–稳定子定理 |G_x| = |G|/|Gx|（|Gx| 为轨道大小），于是

⟨π, 𝟙⟩ = Σ_x 1/|Gx| = Σ_轨道 1 = 轨道数。

最后一步是因为把 X 按轨道分组求和时，每条含 m 个点的轨道贡献 m · (1/m) = 1。这正是 Burnside 引理：

轨道数 = (1/|G|) Σ_g #X^g。

意义。这条经典的组合计数公式，在表示论里只是「置换特征标与平凡特征标的内积」这一句。它示范了表示论的一种典型用法：把一个离散的计数问题，翻译成一次内积计算。

第三章 特征标与正交关系：一张表背下一群习题课（一）：正交关系的直接计算

1. 证明：若 χ 是表示 ρ 的特征标，则 ⟨χ, χ⟩ 是正整数，且 ⟨χ, χ⟩ = 1 当且仅当 ρ 不可约。

2. 设 χ, ψ 是两个不可约特征标。计算 ⟨χ, ψ⟩ 当 χ ≅ ψ、以及当 χ ≇ ψ 时各为多少。

3. 用维数平方和公式判断：是否存在阶为 6 的群，其不可约表示的维数为 1, 1, 1, 1, 2？（提示：算平方和。）

4. 设 χ 是 G 的一个不可约特征标。证明其共轭 χ̄ 也是不可约特征标；并说明 χ ⊗ χ̄ 中含有平凡表示的次数恰好为 1。

第三章 特征标与正交关系：一张表背下一群习题课（二）：特征标表的补全与检验

5. 已知 G 有 4 个共轭类，阶为 12，且已知三个一维表示与一个三维表示。写出维数组合并核验平方和。

6. 对 C₆（阶 6 的循环群），写出其 6 个不可约特征标，并验证特征标表是 6×6 的正交表。

7. 设 G 有共轭类大小 1, 3, 3, 3, 1, 1（阶 12），用第二正交关系验证：任意两列的加权内积为零。

8. 证明：一个一维表示 χ（即 χ(g) 为单位根）满足 χ(g⁻¹) = χ(g)；并说明这在特征标表中表现为「共轭类互为逆元的两列数值共轭」。

第三章 特征标与正交关系：一张表背下一群第三章知识地图

第三章的全部结论都从「特征标」这一个概念出发，经由内积与正交关系，抵达两个计数定理与一张表。下图给出依赖关系。

第三章 特征标与正交关系：一张表背下一群第三章小结（上）：正交是一把万能的尺子

把第三章的要点收成六条：

① 特征标 χ_ρ(g) = tr ρ(g) 是表示的同构不变量，且是类函数——只在共轭类上有值。

② 表示运算 → 特征标运算：直和相加、张量相乘、对偶共轭、e 处取维数。这把「拆表示」变成了函数计算。

③ 类函数内积 ⟨φ, ψ⟩ = (1/|G|)Σ φψ̄，按共轭类分组可高效计算。

④ 第一正交关系：不可约特征标两两正交、自身归一。它来自 Schur 引理。

⑤ 两条计数定理：|Irr(G)| = k(G) 与 Σ d_i² = |G|，定出特征标表的骨架。

⑥ 重数公式：m_i = ⟨χ, χ_i⟩，用一个内积算出分解；⟨χ, χ⟩ = 1 当且仅当 χ 不可约。

一句总结：本章教会了怎么读指纹——用一组数（特征标）配合一把尺子（正交关系），就能把任意表示拆得清清楚楚，而整个过程只需做初等的内积运算。

第三章 特征标与正交关系：一张表背下一群第三章小结（下）：从内积到分解

小结（上）清点了正件，本页专收易错件——特征标计算中最常返工的四个坑。

一句话带走：特征标表是群的「可计算身份证」——行会拆表示，列会数中心，表会辨身份；而它失灵的地方（Q₈/D₄），恰好标出下一层理论的入口。

第三章 特征标与正交关系：一张表背下一群思想卡：把表示的信息压缩成指纹

本章最值得回味的一件事，是「一个函数说尽一个表示」这一现象。

从信息量的角度看，这几乎是不可思议的。一个 d 维表示由 d × d 个矩阵组成，每个矩阵有 d² 个复数，信息量随 d² 增长；而特征标只有 k 个数（k 是共轭类个数，通常远小于矩阵元素数）。取迹这一步，丢掉了几乎所有的矩阵信息，为什么还能完整还原表示？