抽象代数（十）：表示论 — 群在向量空间上的作用

我第一次盯着一张群乘法表发呆时，脑子里只有一个念头：这玩意儿到底怎么算？抽象群（abstract group）的定义确实漂亮，几个公理就把对称性打包得严严实实。可一旦你真正想动手，比如算一个由生成元和关系定义的群元素，或者想从那张密密麻麻的乘法表里抠出一点数值不变量，抽象定义就像一堵光滑的墙，连个抓手都没有。我试过硬推，结果只是在符号迷宫里打转。

后来我才明白，破局的方法早在一百多年前就被 Frobenius 和 Burnside 摸透了：别跟抽象符号死磕，把群元素翻译成矩阵。矩阵是具体的，你能乘它们，能求迹（trace），能算行列式，还能把它们拆成特征空间。表示论（representation theory）就是系统研究这套“翻译规则”的学科。它现在已经是现代代数、数论和数学物理里最锋利的工具之一。

表示论之所以能跑通，靠的是一个近乎奇迹的事实：每个有限群都有足够多的有限维表示，能把它的内部结构照得清清楚楚。表示拆成不可约表示（irreducible representation）的方式是唯一的。不可约表示的个数刚好等于共轭类（conjugacy class）的个数。表示的特征标（character，也就是每个矩阵的迹）是一个类函数（class function），而所有不可约特征标恰好构成类函数空间的一组正交基。这四条事实——分解唯一、不可约与共轭类一一对应、正交性、完备性——直接把表示论从“看结构”的哲学课，变成了“能计算”的硬核工具。

这篇文章我先把范围缩在复数域 $\mathbb{C}$ 上的有限群，因为这里的理论最干净。但同样的思路能无缝平推到紧李群（compact Lie group，靠 Peter-Weyl 定理）、代数群（algebraic group，靠有理表示）甚至无限维场景（自守形式、量子场论）。核心招式完全一样。

顺带提一句历史。Frobenius 在 1896 年发明特征标，初衷是为了分解“群行列式”（group determinant，一个跟群乘法表绑定的多项式）。Burnside 和 Schur 在 20 世纪初把矩阵视角打磨成型。这门学科真正成年，是靠 Burnside $p^a q^b$ 定理（1904 年，第一个靠特征标理论啃下的大结果）和 Feit-Thompson 定理（1963 年，证明所有奇数阶群都可解，特征标理论是核心引擎）。特征标理论从来不只是分类标签，它是证明有限群核心结构定理的实打实的计算武器。

表示、完全可约性和平均技巧#

我先从最直觉的问题开始：群到底怎么“作用”在向量空间上？想象你手里拿着一个魔方，转动某一面就是一个群元素。如果把这个动作翻译成线性代数语言，就是把空间里的向量按某种规则拉伸、旋转或反射。表示（representation）就是这套翻译规则的精确定义。

设 $G$ 是一个群，$V$ 是 $\mathbb{C}$ 上的有限维向量空间。$G$ 在 $V$ 上的表示是一个群同态（group homomorphism）$\rho : G \to \mathrm{GL}(V)$ 。换句话说，每个群元素 $g$ 都对应一个可逆线性映射 $\rho(g) : V \to V$ ，并且与群运算相容：$\rho(gh) = \rho(g)\rho(h)$ 和 $\rho(e) = I$ 。这句话的意思是，群里的乘法顺序，完美对应矩阵的乘法顺序，单位元对应单位矩阵。一旦选定了 $V$ 的基，每个 $\rho(g)$ 就变成了一个可逆矩阵，群运算就变成了矩阵乘法。整数 $n = \dim V$ 是表示的度数（degree）。不同的基选择给出等价的表示（通过共轭 $T\rho(g)T^{-1}$ 相关），所以自然的抽象层次是“$V$ 上的线性映射”而不是具体的矩阵。换基只是换了观察角度，不改变表示的本质。

为了把记号钉死，我先过一遍标准例子。

例子 1（平凡表示 trivial representation）：$V = \mathbb{C}$ ，对所有 $g$ 有 $\rho(g) = 1$ 。这个表示看起来无聊，但它永远存在，而且永远有用，因为它专门用来测量“不变量”。

例子 2（符号表示 sign representation）：针对对称群 $S_n$ ，$V = \mathbb{C}$ ，$\rho(\sigma) = \mathrm{sgn}(\sigma) \in \{\pm 1\}$ 。偶置换映射到 $1$ ，奇置换映射到 $-1$ ，它记录了置换的奇偶性。

例子 3（置换表示 permutation representation）：给定 $G$ 在有限集 $X$ 上的作用，令 $V = \mathbb{C}^X$ 有基 $\{e_x : x \in X\}$ 并且 $\rho(g)e_x = e_{g \cdot x}$ 。维度是 $|X|$ ，特征标 $\chi(g) = \#\mathrm{Fix}(g)$ 。这个表示直接把集合上的洗牌动作搬到了向量空间里。

例子 4（正则表示 regular representation）：$X = G$ 通过左乘作用在自身上，维度是 $|G|$ ，这是最大的自然表示。它把群自身的乘法表完整编码进了一个巨大的向量空间。

例子 5（标准表示 standard representation）：在 $S_n$ 的置换表示 $\mathbb{C}^n$ 中，子空间 $V_0 = \{(v_1, \ldots, v_n) : \sum v_i = 0\}$ 是不变的，维度是 $n-1$ 。这就是标准表示，它剔除了所有分量相等的那条对角线方向。

子表示（subrepresentation）是一个子空间 $W \subseteq V$ ，它是 $G$ -不变的：对所有 $g$ 有 $\rho(g)W \subseteq W$ 。如果一个表示没有非平凡的真子表示——唯一的不变子空间是 $\{0\}$ 和 $V$ 本身，那么这个表示是不可约的（irreducible）。不可约表示是理论的基本单元；其他一切都可以由它们构建。你可以把它们想象成化学里的原子，不能再往下拆了。

Maschke 定理（Maschke’s theorem）是基础的结构结果：如果 $G$ 是有限群且 $\mathrm{char}(k) \nmid |G|$ （在 $\mathbb{C}$ 上自动成立），那么每个表示都是完全可约的（completely reducible）——它可以分解为不可约表示的直和：$V \cong V_1^{\oplus m_1} \oplus V_2^{\oplus m_2} \oplus \cdots \oplus V_k^{\oplus m_k}$ ，其中 $V_i$ 是不同的不可约表示，$m_i$ 是重数。这种分解在重新排序的意义下是唯一的。任何复杂的表示，最终都能拆成一堆不可约原子的直和，而且拆法唯一。

为什么 Maschke 定理成立？关键思想是平均技巧（averaging trick）。假设 $W \subseteq V$ 是 $G$ -不变的；我们想要一个 $G$ -不变的补空间。取任意线性补空间 $W'$ （作为向量空间存在但可能不是 $G$ -不变的）。令 $\pi : V \to W$ 是沿着 $W'$ 投影到 $W$ 的投影。现在定义平均投影：

这个公式的意思是，先把向量 $v$ 用所有群元素转一遍，投到 $W$ 上，再转回来，最后求平均，硬生生“抹平”了方向偏好。断言：$\bar{\pi}$ 是 (1) 一个线性映射 $V \to W$ ，(2) 一个投影 ($\bar{\pi}|_W = \mathrm{id}_W$ )，以及 (3) $G$ -等变的（$G$ -equivariant，$\bar{\pi} \circ \rho(h) = \rho(h) \circ \bar{\pi}$ ）。性质 (1) 和 (2) 很直接。性质 (3) 来自于群作用与群上的求和交换（对 $G$ 的求和可以通过左乘重新索引）。然后 $\ker \bar{\pi}$ 就是所求的 $G$ -不变补空间。平均操作把任意粗糙的投影，打磨成了跟群动作完美同步的等变投影。

平均技巧——“从某个非等变的东西开始，通过对 $G$ 求平均使其等变”——是整个理论的引擎。它在证明正交关系、构造酉结构以及紧李群的 Weyl 酉技巧中再次出现。在紧的情况下，有限和 $\frac{1}{|G|}\sum_g$ 被 Haar 积分 $\int_G$ 替代；想法是一样的。

等价表述：每个有限群在 $\mathbb{C}$ 上的表示都可以变成酉的（unitary）。给定 $V$ 上的任何 Hermitian 内积 $\langle \cdot, \cdot \rangle$ ，定义 $\langle u, v \rangle_G = \frac{1}{|G|} \sum_g \langle \rho(g)u, \rho(g)v \rangle$ 。这是一个 $G$ -不变内积，不变子空间的正交补也是不变的。酉性意味着完全可约性；它们是同一个定理的不同形式。把内积在所有群作用下平均一遍，就能得到一个群怎么转都不变的“完美尺子”。

Maschke 定理的具体内容最好通过对比它失效的情况来理解。这里必须给一个反例，看看除法出问题时会发生什么。

反例（Maschke 失效）：考虑 $G = \mathbb{Z}/p\mathbb{Z}$ 作用在 $V = \mathbb{F}_p^2$ （一个二维向量空间，域的元素个数为 $p$ ）上，$\rho(1) = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}$ 。子空间 $W = \mathrm{span}\{e_1\}$ 是不变的（它是特征值 $1$ 的特征空间），但没有不变的补空间——另一个特征空间还是 $W$ （$\rho(1) - I$ 是秩为 $1$ 的幂零矩阵）。这是一个二维表示，可约但不完全可约。这是一个不可分解的模（indecomposable module），不能被拆分。这种失败正是 Maschke 定理排除的情况：当特征 $p$ 整除 $|G|$ 时，平均技巧会除以 $0$ ，这样的非分裂扩展存在。整个特征理论的基础在于这种情况不会在 $\mathbb{C}$ 上发生。在特征 $p$ 的域里，$1/|G|$ 根本不存在，平均技巧直接崩盘，表示就会“粘”在一起拆不开。

Schur引理与特征标理论#

有了不可约表示作为基本构件后，需要理解它们之间的映射。Schur引理（Schur’s lemma）提供了明确的答案，是整个特征标理论的结构支柱。

Schur引理的核心结论是：设 $V, W$ 是群 $G$ 在复数域 $\mathbb{C}$ 上的不可约表示，且 $T : V \to W$ 是 $G$ -等变的（即对所有 $g$ 有 $T\rho_V(g) = \rho_W(g)T$ ）。那么：(a) 要么 $T = 0$ ，要么 $T$ 是同构；(b) 如果 $V = W$ ，则存在某个 $\lambda \in \mathbb{C}$ 使得 $T = \lambda I$ 。不可约表示之间的等变映射极其死板，要么彻底断开，要么完全重合，自映射只能是数乘。

证明 (a)： $\ker T$ 是 $V$ 的 $G$ -不变子空间（$V$ 不可约），因此 $\ker T \in \{\{0\}, V\}$ 。同样地，$\mathrm{Im}\, T$ 是 $W$ 的 $G$ -不变子空间（$W$ 不可约），因此 $\mathrm{Im}\, T \in \{\{0\}, W\}$ 。结合这两点：$T = 0$ 或者 $T$ 是双射。核和像既然只能取极端值，映射自然非零即满。对于 (b)：在复数域上，$T$ 有一个特征值 $\lambda$ 。那么 $T - \lambda I$ 是等变的且核非平凡，根据 (a) 部分，$T - \lambda I = 0$ 。所以 $T = \lambda I$ 。减去特征值后核变大，直接触发 (a) 的零映射条件，反推回来就是纯数乘。

Schur为什么重要？它说明了 $\mathrm{Hom}_G(V_i, V_j)$ —— 即 $G$ -等变映射的空间——要么是 $0$ （如果 $V_i \not\cong V_j$ ），要么是 $\mathbb{C}$ （如果 $V_i \cong V_j$ ）。这种刚性使得分解唯一，并使特征标理论成立。不同原子之间没有“半通不通”的桥梁，同种原子之间只有缩放旋钮。

例子 1（阿贝尔群的直接推论）：如果 $G$ 是阿贝尔群（abelian group），那么每个 $\rho(g)$ 与每个 $\rho(h)$ 交换，因此每个 $\rho(g)$ 是任何不可约表示的等变自同态。根据Schur引理，$\rho(g) = \lambda_g I$ 。但这样一来，每个一维子空间都是不变的，不可约性迫使 $\dim V = 1$ 。有限阿贝尔群的所有不可约表示都是一维的。对于 $\mathbb{Z}/n\mathbb{Z}$ ，它们是 $\chi_k(1) = e^{2\pi i k/n}$ 对于 $k = 0, \ldots, n-1$ —— 这些是 $\mathbb{Z}/n\mathbb{Z}$ 的特征标，也是离散傅里叶变换（DFT）的基础。DFT实际上是从标准基到 $\mathbb{Z}/n\mathbb{Z}$ 正则表示的不可约特征基的基变换矩阵。阿贝尔群的交换性直接把矩阵压成了标量，表示瞬间降维到一维。

对于一般的有限阿贝尔群 $G \cong \mathbb{Z}/n_1 \times \cdots \times \mathbb{Z}/n_r$ ，不可约表示是 $\chi_{k_1} \otimes \cdots \otimes \chi_{k_r}$ 的乘积——每个元素对应一个。特征标群 $\hat{G} = \mathrm{Hom}(G, \mathbb{C}^\times)$ 同构于 $G$ （非典范同构），阿贝尔群的特征标理论就是有限阿贝尔群上的傅里叶变换理论。这是局部紧阿贝尔群上调和分析（Pontryagin对偶）以及最终在数论中的adele群表示理论的起点。

例子 2（特征标作为指纹）：表示 $(\rho, V)$ 的特征标是 $\chi_V : G \to \mathbb{C}$ ，定义为 $\chi_V(g) = \mathrm{tr}(\rho(g))$ 。其关键性质包括：$\chi_V(e) = \dim V$ ；$\chi_V(hgh^{-1}) = \chi_V(g)$ （迹在共轭下不变，因此特征标是类函数）；$\chi_V(g^{-1}) = \overline{\chi_V(g)}$ （由酉性得出）；$\chi_{V \oplus W} = \chi_V + \chi_W$ ；$\chi_{V \otimes W} = \chi_V \cdot \chi_W$ （逐点乘积）。特征标只抓矩阵的迹，却刚好滤掉了基变换的噪音，留下群作用的纯信息。

两个表示同构当且仅当它们具有相同的特征标。这是一个不显然的定理（特征标只记录迹，而不是完整的矩阵），这使得特征标成为分类问题的完全不变量。证明利用了完全可约性：两个半单模如果有相同的组成因子（计重数），则同构，而重数由特征标的内积确定。在Maschke定理失效的域上，特征标不再决定表示——在模表示理论中，两个不同构的不可分解模可以有相同的Brauer特征标。迹虽然丢了很多信息，但在完全可约的世界里，它刚好够拼回原图。

定义类函数上的内积：$\langle \chi, \psi \rangle = \frac{1}{|G|} \sum_{g \in G} \chi(g)\overline{\psi(g)}$ 。这个内积把两个特征标在每个群元素上的取值加权相乘再平均，用来衡量它们的“相似度”。

第一正交关系（first orthogonality relation）：如果 $\chi_i, \chi_j$ 是不可约特征标，则 $\langle \chi_i, \chi_j \rangle = \delta_{ij}$ 。不同的不可约特征标互相垂直，自己跟自己的内积刚好是 1。

证明使用了Schur引理在矩阵系数层面的应用：$\frac{1}{|G|}\sum_g \rho_i(g)_{ab} \overline{\rho_j(g)_{cd}} = \frac{1}{d_i}\delta_{ij}\delta_{ac}\delta_{bd}$ （其中 $d_i = \dim V_i$ ）。令 $a = b$ ，$c = d$ ，并对所有对角线元素求和，得到特征标的正交性。矩阵系数的平均正交性收缩到对角线上，直接导出迹的正交性。

分解公式（decomposition formula）：对于任何表示 $V$ ，不可约表示 $V_i$ 在 $V$ 中的重数是：$m_i = \langle \chi_V, \chi_i \rangle = \frac{1}{|G|}\sum_g \chi_V(g)\overline{\chi_i(g)}$ 。不需要寻找不变子空间，也不需要猜测——只需计算内积。想知道大表示里藏了几个特定原子，拿特征标做个内积就出答案。

数值示例：假设 $G=S_3$ ，已知 $V$ 的特征标在三个共轭类上的值为 $\chi_V(e)=4, \chi_V((12))=0, \chi_V((123))=1$ 。想算它包含几个平凡表示 $\mathbf{1}$ （特征标全为 1）。直接套公式：$m_{\mathbf{1}} = \frac{1}{6}[1\cdot 4\cdot 1 + 3\cdot 0\cdot 1 + 2\cdot 1\cdot 1] = \frac{1}{6}(4+0+2) = 1$ 。算出来刚好是 1，说明 $V$ 里恰好藏了一个平凡分量。

不可约性测试（irreducibility test）：$V$ 是不可约的当且仅当 $\langle \chi_V, \chi_V \rangle = 1$ 。如果这个内积等于 $m$ ，那么 $V$ 有 $m$ 个不可约直和项（计重数）。特征标自己跟自己做内积，结果是 1 就是纯原子，大于 1 就是混合物。

计算不可约表示和构建特征表#

正则表示 $\mathbb{C}[G]$ （$G$ 在自身上的左乘）分解为 $\bigoplus_i V_i^{\oplus d_i}$ —— 每个不可约表示出现的次数等于其自身的维数。取维数：$|G| = \sum_i d_i^2$ 。这是平方和公式（sum-of-squares formula），它对可能的维数有严格的限制。群的阶数必须能拆成不可约维数的平方和，这直接卡死了维数的可能性。

不可约表示的数量等于共轭类的数量。不可约特征在类函数空间中是正交归一的。这个空间的维数是 $k$ （共轭类的数量）。$\mathbb{C}^k$ 中的正交归一集最多有 $k$ 个元素；另一个独立的论证（正则表示分解成恰好 $k$ 个不同的不可约表示）表明至少有 $k$ 个。因此，恰好有 $k$ 个不可约表示，它们的特征形成一个正交归一基。共轭类有多少种，不可约原子就有多少个，不多不少。

这种一一对应——不可约表示 $\leftrightarrow$ 共轭类——是表示论中最深刻的结构事实之一。对于对称群，两边都由 $n$ 的划分索引（共轭类是循环类型，不可约表示是由 Young 图形参数化的 Specht 模块）。对于一般的有限群，这种一一对应存在但不一定规范——没有统一的方法将特定的不可约表示与特定的共轭类配对，适用于所有群。寻找不可约表示的“自然”参数化（如 Lusztig 特征、$L$ -包、幂零轨道）是现代表示论的主要驱动力之一。

例子 1（构建 $S_4$ 的特征表）：$|S_4| = 24$ 。五个共轭类（按循环类型）：$(1^4)$ （大小 $1$ ），$(2,1^2)$ （大小 $6$ ），$(2^2)$ （大小 $3$ ），$(3,1)$ （大小 $8$ ），$(4)$ （大小 $6$ ）。五个不可约表示。平方和：$24 = 1 + 1 + 4 + 9 + 9$ ，给出维数 $1, 1, 2, 3, 3$ 。群的阶数 24 只能拆成这组平方和，维数直接锁定。

标识：$\mathbf{1}$ （平凡表示）；$\mathrm{sgn}$ （符号表示）；$V$ （标准表示，维数 $3$ ，特征 = 固定点 $- 1$ ）；$V \otimes \mathrm{sgn}$ （维数 $3$ ，用符号扭曲标准表示）；$W$ （维数 $2$ ，从 $S_4/V_4 \cong S_3$ 通过商映射拉回）。

计算 $\chi_V$ ：$\chi_V(e) = 3$ ，$\chi_V((12)) = 2 - 1 = 1$ ，$\chi_V((12)(34)) = 0 - 1 = -1$ ，$\chi_V((123)) = 1 - 1 = 0$ ，$\chi_V((1234)) = 0 - 1 = -1$ 。置换表示的迹是不动点数，减去平凡分量 1 就得到标准表示的迹。

计算 $\chi_W$ ：商映射 $S_4 \to S_3$ 的核是 $V_4 = \{e, (12)(34), (13)(24), (14)(23)\}$ 。在这个映射下：$V_4 \mapsto e$ ，对换 $\mapsto$ 对换，$3$ -循环 $\mapsto 3$ -循环，$4$ -循环 $\mapsto$ 对换。$S_3$ 在这些像上的标准特征：$\chi_W(e) = 2$ ，$\chi_W((12)) = 0$ ，$\chi_W((12)(34)) = 2$ ，$\chi_W((123)) = -1$ ，$\chi_W((1234)) = 0$ 。通过商群把小群的表示“拉”上来，迹直接继承。

验证：$\langle \chi_V, \chi_V \rangle = \frac{1}{24}(9 + 6 + 3 + 0 + 6) = 24/24 = 1$ 。不可约。$\langle \chi_V, \chi_W \rangle = \frac{1}{24}(6 + 0 - 6 + 0 + 0) = 0$ 。正交。列平方和：$\frac{1}{24}(1 + 1 + 4 + 9 + 9) \cdot （列大小）= 1$ ，每列正确计算时。表格自洽。内积算出来是 1 和 0，说明行向量确实正交归一，表没填错。

系统程序——计数共轭类，解平方和求维数，从阿贝尔化 $G^{\mathrm{ab}}$ 识别一维表示，使用固定点公式计算置换特征，利用正交性填充剩余条目——适用于任何可以枚举共轭类的群。

例子 2（列正交的实际威力）：特征表总是方阵（行 = 不可约表示，列 = 共轭类），并且满足列正交以及行正交。第二个正交关系是：$\sum_i \chi_i(g)\overline{\chi_i(h)} = \frac{|G|}{|C_G(g)|} \delta_{[g],[h]}$ ，其中 $[g], [h]$ 表示共轭类。有时这在计算上更方便——如果知道一列中的大部分，第二个正交关系可以确定缺失的条目。行正交用来拆表示，列正交用来补表格，两边对称得漂亮。

对于计算机代数，Dixon-Schneider 算法可以高效地计算到 $10^6$ 阶群的特征表。基本思想是计算类乘积系数 $a_{ijk}$ （有多少种方法可以将类 $k$ 的代表写成类 $i$ 和 $j$ 的元素的乘积），然后同时对角化得到的“类矩阵”。不可约特征作为共同特征向量出现。对于超出这个范围的群（例如，散在单群），需要专门的技术和大规模计算——Monster 群（$|M| \approx 8 \times 10^{53}$ ，194 个共轭类）的特征表由 Fischer、Livingstone 和 Thackray 在 1978 年完成，填满了几页。

反例（非方阵的错觉）：初学者常以为特征表行数可以不等于列数。比如硬凑一个 3 行 4 列的表。但正交关系直接打脸：行向量在 $\mathbb{C}^k$ 里正交，最多 $k$ 个；正则表示分解又保证至少 $k$ 个。行数列数必须严格相等，任何“长方形特征表”的假设都会在内积计算里立刻暴露矛盾。

张量积、诱导和 Frobenius 互反性#

有两种构造可以从旧表示生成新表示，它们通过该领域中最有用的对偶结果之一联系起来。

例子 1（张量积 tensor product）：给定 $G$ 的表示 $(\rho_1, V_1)$ 和 $(\rho_2, V_2)$ ，张量积 $V_1 \otimes V_2$ 上的作用为 $g \cdot (v_1 \otimes v_2) = (\rho_1(g)v_1) \otimes (\rho_2(g)v_2)$ 。其特征标是逐点乘积：$\chi_{V_1 \otimes V_2}(g) = \chi_{V_1}(g)\chi_{V_2}(g)$ 。要将张量积分解成不可约表示，计算内积：$m_i = \langle \chi_{V_1} \cdot \chi_{V_2}, \chi_i \rangle$ 。两个系统拼在一起，群元素同时作用在两边，迹直接相乘。

对于对称幂（symmetric power）和外幂（exterior power）：$\chi_{\mathrm{Sym}^2 V}(g) = \frac{1}{2}(\chi_V(g)^2 + \chi_V(g^2))$ 和 $\chi_{\Lambda^2 V}(g) = \frac{1}{2}(\chi_V(g)^2 - \chi_V(g^2))$ 。这些公式将 $V \otimes V$ 分解为 $\mathrm{Sym}^2 V \oplus \Lambda^2 V$ ，并且可以直接从 $V$ 的特征标计算得出。平方项拆开成对称和反对称两部分，$g^2$ 的迹负责修正交叉项。

例子 2（诱导和限制 induction and restriction）：给定 $H \leq G$ 和 $H$ 的表示 $(\sigma, W)$ ，诱导表示 $\mathrm{Ind}_H^G(W)$ 是 $G$ 的一个表示，维数为 $[G:H] \cdot \dim W$ 。具体来说：选择 $G/H$ 的陪集代表 $g_1, \ldots, g_m$ ；那么 $\mathrm{Ind}_H^G(W) = \bigoplus_{i=1}^m g_i \otimes W$ 作为向量空间，$G$ 在其中置换陪集部分并通过 $\sigma$ 在每个部分上作用。特征标公式为：

这个公式的意思是，只统计那些能把 $g$ 共轭进 $H$ 的元素 $x$ ，把对应的 $H$ -特征标加起来再归一化。相反方向，限制 $\mathrm{Res}_H^G V$ 只是将 $G$ -表示视为 $H$ -表示，忽略 $H$ 之外元素的作用。诱导是把小群的表示“放大”到大群，限制是把大群的表示“缩小”到子群。

Frobenius 互反性（Frobenius reciprocity）是基本的伴随关系：

这表明：在诱导表示中不可约表示 $V$ 的重数等于 $V$ 限制到 $H$ 后包含 $W$ 的重数。它将一个困难的计算（分解大群的诱导表示）转化为一个简单的计算（分解小群的限制表示）。当 $H$ 有已知的表示理论时，这个技巧最强大——例如，$H$ 是循环群、极大环面或阿贝尔正规子群。左边在大群里算诱导，右边在小群里算限制，结果完全一样，计算难度却天差地别。

数值示例（完整手算）：设 $G = S_3$ ，$H = \langle (123) \rangle \cong \mathbb{Z}/3$ （指数为 $2$ ）。诱导 $H$ 的特征标 $\chi_1$ ，定义为 $\chi_1((123)) = \omega = e^{2\pi i/3}$ （$H$ 的非平凡一维表示）。那么 $\mathrm{Ind}_H^G(\chi_1)$ 的维数为 $2 \cdot 1 = 2$ 。

使用 Frobenius 互反性进行分解：$\langle \mathrm{Ind}_H^G \chi_1, \mathbf{1} \rangle_G = \langle \chi_1, \mathrm{Res}_H \mathbf{1} \rangle_H = \langle \chi_1, \mathbf{1}_H \rangle_H = \frac{1}{3}(1 + \omega + \omega^2) = 0$ 。$\langle \mathrm{Ind}_H^G \chi_1, \mathrm{sgn} \rangle_G = \langle \chi_1, \mathrm{Res}_H \mathrm{sgn} \rangle_H = \langle \chi_1, \mathbf{1}_H \rangle_H = 0$ （符号表示限制到 $3$ -循环的指数为 $2$ 的子群是平凡的）。$\langle \mathrm{Ind}_H^G \chi_1, \chi_V \rangle_G = \langle \chi_1, \mathrm{Res}_H V \rangle_H$ 。直接计算 $\mathrm{Res}_H V$ ：$\chi_V(e) = 2$ ，$\chi_V((123)) = -1$ ，$\chi_V((132)) = -1$ 。所以 $\langle \chi_1, \mathrm{Res}_H V \rangle = \frac{1}{3}(1 \cdot 2 + \omega \cdot (-1) + \omega^2 \cdot (-1)) = \frac{1}{3}(2 - \omega - \omega^2) = \frac{1}{3}(2 + 1) = 1$ 。因此 $\mathrm{Ind}_H^G(\chi_1) \cong V$ ——诱导表示是 $S_3$ 的标准不可约表示。一步步算下来，内积分别是 0, 0, 1，说明诱导出来的二维表示刚好就是标准表示 $V$ ，不多不少。

这说明了一般原则：从小子群诱导并利用 Frobenius 互反性分解通常是构造不可约表示的最有效方法。对于对称群，整个表示理论（Specht 模块）可以通过仔细选择哪些子群的哪些表示来诱导而发展出来。

Mackey 公式（Mackey formula）将 Frobenius 互反性推广到处理诱导表示限制到不同子群的情况。如果 $H, K \leq G$ ，那么

其中求和项跑遍双重陪集代表，${}^sW$ 表示 $W$ 通过共轭扭曲。这看起来复杂，但在实践中它将诱导表示的分解简化为关于双重陪集的纯组合问题。Mackey 公式对于计算分支规则（branching rules，如何将 $G$ 的不可约表示限制到 $K$ 进行分解）以及 Harish-Chandra 哲学在约化群的表示理论中至关重要。先诱导再限制，等于沿着双重陪集切片，在每个交集上先限制再诱导。

反例（诱导不保不可约）：很多人以为诱导表示一定不可约。错。取 $G=S_3$ ，$H=\{e, (12)\}$ ，诱导 $H$ 的平凡表示 $\mathbf{1}_H$ 。维数是 $[3:1]\cdot 1 = 3$ 。算特征标会发现 $\langle \chi_{\mathrm{Ind}}, \chi_{\mathrm{Ind}} \rangle = 2$ ，说明它拆成了两个不可约分量（$\mathbf{1} \oplus V$ ）。诱导操作经常“打包”进多余的分量，必须用内积拆开。

群代数视角（group algebra perspective）。所有这些还有一个等价且有时更方便的表述，即群代数 $\mathbb{C}[G] = \{\sum_{g \in G} a_g g : a_g \in \mathbb{C}\}$ ，这是一个 $|G|$ 维的 $\mathbb{C}$ -代数，以 $G$ 为基，乘法线性扩展自群运算。$G$ 的表示恰好是左 $\mathbb{C}[G]$ -模。Maschke 定理说 $\mathbb{C}[G]$ 是半单的（semisimple）。Artin-Wedderburn 定理则给出 $\mathbb{C}[G] \cong \prod_{i=1}^k M_{d_i}(\mathbb{C})$ ——矩阵代数的乘积，每个不可约表示对应一个因子，第 $i$ 个因子的大小为 $d_i \times d_i$ 。这个同构同时解释了为什么有 $k$ 个不可约表示（每个矩阵因子一个），为什么 $\sum d_i^2 = |G|$ （维度加起来），以及为什么 $\mathbb{C}[G]$ 的中心维数为 $k$ （每个因子一个标量矩阵）——这等于共轭类的数量（因为中心由共轭类和 $\sum_{g \in C} g$ 跨度）。群代数直接碎成一块块矩阵砖，每块砖对应一个不可约原子，尺寸刚好是维数的平方。

超越有限群：紧致李群与物理学#

不可约表示、特征标、分解和正交性这些结构框架可以扩展到紧致李群（compact Lie group）。在紧致李群中，有限求和 $\frac{1}{|G|}\sum_g$ 被 Haar 积分 $\int_G$ 替代。Peter-Weyl 定理是 Maschke 定理的连续版本：紧致群的每个酉表示都可以分解成有限维不可约表示，且不可约表示的矩阵系数构成 $L^2(G)$ 的标准正交基。离散求和换成连续积分，原子分解的骨架纹丝不动。

李群 $\mathrm{SU}(2)$ —— 由行列式为 1 的 $2 \times 2$ 酉矩阵组成——有一系列离散的不可约表示 $V_n$ ，每个整数 $n \geq 0$ 对应一个维度为 $n+1$ 的表示，用“自旋 $n/2$ ”来标记。具体来说，$V_n$ 是两个变量 $z_1, z_2$ 的齐次多项式的空间，$\mathrm{SU}(2)$ 通过线性替换作用于这个空间。旋转角度为 $\theta$ （共轭于 $\mathrm{diag}(e^{i\theta/2}, e^{-i\theta/2})$ ）的特征标是 $\chi_n(\theta) = \frac{\sin((n+1)\theta/2)}{\sin(\theta/2)}$ 。这个分式看起来复杂，其实就是等比数列求和的三角函数版，记录了旋转在各权重空间上的累积效应。

这是量子自旋背后的数学结构。电子（自旋 $1/2$ ）存在于 $V_1$ 中，维度为 2：两个基态分别是“自旋向上”和“自旋向下”。光子（自旋 $1$ ）存在于 $V_2$ 中，维度为 3：三个偏振态。组合系统意味着张量积表示，这可以通过 Clebsch-Gordan 公式分解：

量子力学中的“角动量加法”规则——两个自旋 $1/2$ 粒子结合成自旋 $0$ 或自旋 $1$ ——正是 $V_1 \otimes V_1 \cong V_2 \oplus V_0$ ，即 $\mathbb{C}^2 \otimes \mathbb{C}^2 \cong \mathbb{C}^3 \oplus \mathbb{C}^1$ 。原子跃迁的选择规则对应于特定张量积中出现的不可约表示（偶极跃迁对应于 $V_2$ 分量）。两个粒子拼在一起，总自旋从最大值一路降到差值，步长为 1，表示论直接给出了物理叠加的菜单。

同样的机制可以用 $\mathrm{SU}(3)$ 代替 $\mathrm{SU}(2)$ 来分类夸克味。八重道（Eightfold Way，Gell-Mann 对强子的分类）是 $\mathrm{SU}(3)$ 的伴随表示（adjoint representation），维度为 8。$\Omega^-$ 重子的预测和随后的发现是表示论应用于物理学的一个胜利——这种粒子的存在是因为它需要完成一个不可约表示。

更广泛地说，Poincare 群（狭义相对论的对称群）的表示论分类了所有可能的基本粒子类型：每个不可约酉表示对应一种粒子类型，用质量和自旋标记。Wigner 在 1939 年的分类表明，这些表示由这两个参数决定：$m \geq 0$ （质量，连续参数）和 $s \in \{0, 1/2, 1, 3/2, \ldots\}$ （自旋，离散）。无质量粒子（$m = 0$ ）有不同的结构（螺旋度代替自旋），这就是为什么光子只有两个偏振态而不是三个。基本粒子种类的问题是一个表示论问题——通过分类对称群的不可约表示来回答——这是纯代数与物理世界之间最深刻的联系之一。

例子 1（Clebsch-Gordan 手算）：拿 $V_2 \otimes V_1$ （自旋 1 和自旋 1/2 组合）。套公式：$m=2, n=1$ 。分解为 $V_{3} \oplus V_{1}$ 。维度检查：$3 \times 2 = 6$ ，右边 $4 + 2 = 6$ 。完美匹配。物理上这就是自旋 3/2 和自旋 1/2 两个通道的来源。

反例（非紧群的无限维陷阱）：如果群不是紧的，比如 $\mathrm{SL}_2(\mathbb{R})$ ，有限维表示根本不够用。Haar 积分发散，平均技巧失效，不可约表示往往是无限维的。你不能再指望特征标是普通函数，它们变成广义分布（distribution）。紧群的离散谱在这里变成连续谱加离散谱的混合，计算难度呈指数级上升。

对于非紧致群（如 $\mathrm{SL}_2(\mathbb{R})$ 或 Poincare 群），有限维表示不够用——无限维酉表示变得至关重要。Langlands 纲领是数学中最深奥的研究之一，研究这些无限维表示及其与数论的联系，通过 $L$ -函数。我们开发的有限群特征标理论只是一个简化模型。

有限群和李群之间的桥梁值得强调：李型有限群像 $\mathrm{GL}_n(\mathbb{F}_q)$ 、$\mathrm{SL}_n(\mathbb{F}_q)$ 和类型 $A_n, B_n, \ldots$ 的有限单群，它们的表示论既有有限群的特点，也有李群的特点。Deligne 和 Lusztig 在 1976 年使用 $\ell$ -adic 上同调构造了这些群的不可约表示——这是一个代数几何、表示论和有限群论的惊人综合。$\mathrm{GL}_2(\mathbb{F}_q)$ 的特征标理论是一个具体的切入点：它有 $q - 1$ 个一维表示（行列式的特征标）、$(q-1)(q-2)/2$ 个“主级数”表示，维度为 $q + 1$ （从 Borel 子群诱导而来），以及 $(q^2 - q)/2$ 个“尖点”表示，维度为 $q - 1$ （通过 Weil 表示或 Deligne-Lusztig 理论构造）。不可约表示的总数等于共轭类的数量（$q^2 - 1$ ），正如预期。

理论失效模式与实际计算#

理论在三个地方出现问题，接下来是一些计算技巧。我把坑和桥都标清楚，免得你以后踩雷。

例子 1（模表示论 modular representation theory，$\mathrm{char}(k) \mid |G|$ ）：当域的特征整除群的阶时，Maschke定理不再成立——平均技巧需要除以$|G|$ ，但在特征$p$ 下这个值为0。表示不必分解成不可约表示；存在既可约又不可分解的模（比如前面Maschke失效例子中的$\mathbb{F}_p[\mathbb{Z}/p]$ -模）。群代数$k[G]$ 不再是半单的——它有一个非零的Jacobson根（Jacobson radical）。替代理论使用Brauer特征（只定义在$p$ -正则元素上，即那些阶与$p$ 互素的元素），投射不可分解模 (PIMs)，和块分解（通过$kG$ 的中心幂等元将模分成块）。关键结构结论是：简单$kG$ -模的数量等于$p$ -正则共轭类的数量——这是特征0时“不可约表示 = 共轭类”结果的直接替代。模表示论对有限单群分类至关重要。除以零让平均投影直接爆炸，表示粘成不可拆的块，只能靠 Brauer 特征在“安全元素”上重建正交性。

例子 2（无限非紧群）：没有紧性，Haar积分可能不会产生一个有限的$G$ -不变内积，表示可能是无限维且不可约的。正确的范畴是“容许表示”或“Hilbert空间上的酉表示”，即使是对不可约表示的分类也是一个深刻的问题（“酉对偶”问题）。对于$\mathrm{SL}_2(\mathbb{R})$ ，不可约酉表示包括：主系列（由连续参数$s \in i\mathbb{R}$ 参数化，都是无限维的）；离散系列（由整数$n \geq 2$ 参数化，对应于权重为$n$ 的全纯形式）；补系列（由$s \in (0,1)$ 参数化，最神秘的）；以及平凡表示。与紧群的有限离散集相比，这个列表的丰富性使得非紧群的表示论成为一个广阔而活跃的研究领域。连续参数混入后，特征标不再是有限和，而是积分核，分类难度直接跃升。

反例（实表示与复表示的错位）：在$\mathbb{R}$ 上，Schur引理给出$\mathrm{End}_G(V) \in \{\mathbb{R}, \mathbb{C}, \mathbb{H}\}$ （三个实除环，由Frobenius分类）。Frobenius-Schur指标$\nu(\chi) = \frac{1}{|G|}\sum_g \chi(g^2)$ 告诉你处于哪种情况：$\nu = 1$ 表示表示是实的（定义在$\mathbb{R}$ 上，复化的实不可约表示）；$\nu = -1$ 表示四元数的（辛的——需要两个实副本才能实现）；$\nu = 0$ 表示真正复的（表示及其复共轭不等价）。对于$\mathbb{Z}/3$ ：非平凡不可约表示$\chi_1, \chi_2$ 在$\mathbb{C}$ 上是彼此的复共轭（都有$\nu = 0$ ），在$\mathbb{R}$ 上它们结合成一个二维实不可约表示（旋转$2\pi/3$ ）。四元数群$Q_8$ 有一个二维复不可约表示，其$\nu = -1$ ：它的自同态代数是$\mathbb{H}$ ，在$\mathbb{R}$ 上分裂成一个四维不可约表示。复数域上看着好好的原子，切回实数域可能突然“融合”或“膨胀”，指标 $\nu$ 就是探测器。

数值示例（Frobenius-Schur 指标手算）：算 $Q_8$ 的二维不可约特征标 $\chi$ 。已知 $\chi(e)=2, \chi(-1)=-2, \chi(\pm i)=\chi(\pm j)=\chi(\pm k)=0$ 。套公式：$\nu(\chi) = \frac{1}{8}[\chi(e^2) + \chi((-1)^2) + 6\cdot \chi(i^2)] = \frac{1}{8}[2 + (-2) + 6\cdot (-2)] = \frac{1}{8}[-12] = -1.5$ ？等等，$i^2=-1$ ，$\chi(-1)=-2$ 。重算：$\frac{1}{8}[1\cdot 2 + 1\cdot (-2) + 6\cdot (-2)] = \frac{1}{8}[-12]$ 确实不对，说明我记错了 $Q_8$ 特征标值。正确二维特征标是 $\chi(e)=2, \chi(-1)=-2, \chi(\text{其他})=0$ 。平方元素：$e^2=e, (-1)^2=e, i^2=j^2=k^2=-1$ 。所以 $\sum \chi(g^2) = 1\cdot 2 + 1\cdot 2 + 6\cdot (-2) = 4 - 12 = -8$ 。$\nu = -8/8 = -1$ 。算出来刚好是 -1，确认它是四元数型，实化后维数翻倍。

Frobenius-Schur指标与物理有关：具有$\nu = 1$ 的表示允许对称不变双线性形式（对应于量子力学中的玻色子对称）；具有$\nu = -1$ 的表示允许反对称（辛）形式（费米子对称）。三重分类$\mathbb{R}/\mathbb{C}/\mathbb{H}$ 在随机矩阵理论中重新出现，作为三种Dyson系综（GOE/GUE/GSE），按同样的实/复/四元数分类。

实用技巧（我平时算题的快捷键）： (1) 对置换表示，$\chi(g) = \#\mathrm{Fix}(g)$ ——只需计数不动点。这与Burnside引理相关：$\#\text{轨道} = \langle \chi_{\mathrm{perm}}, \mathbf{1} \rangle = \frac{1}{|G|}\sum_g \#\mathrm{Fix}(g)$ 。数不动点比写矩阵快十倍。 (2) 一维表示是$G^{\mathrm{ab}} = G/[G,G]$ 的特征。如果知道阿贝尔化，就能立即得到一维不可约表示。交换子群一除，一维表示全冒出来。 (3) 要验证不可约性，计算$\langle \chi, \chi \rangle$ ；如果等于1，表示是不可约的。如果等于$m$ ，它分解成$m$ 个不可约成分（不一定不同）。内积是万能试纸。 (4) 用一维特征扭曲保持不可约性：$V \otimes \mathrm{sgn}$ 在$V$ 不可约时也是不可约的，因为$|\chi_{\mathrm{sgn}}(g)| = 1$ 处处成立意味着$\langle \chi_V \cdot \chi_{\mathrm{sgn}}, \chi_V \cdot \chi_{\mathrm{sgn}} \rangle = \langle \chi_V, \chi_V \rangle = 1$ 。这就是$S_4$ 表中$V \otimes \mathrm{sgn}$ 行的来源。乘个模长为 1 的函数不改变内积大小。 (5) 特征$\chi$ 的核是$\ker \chi = \{g : \chi(g) = \chi(e)\}$ ——这总是$G$ 的一个正规子群（normal subgroup）。所有不可约特征核的交集是$\{e\}$ （因为正则表示是忠实的），这意味着特征集体检测所有群元素。$G$ 中没有任何元素对特征理论是不可见的。为什么不是所有子群都正规？因为正规子群必须在共轭下封闭，而特征核天然满足 $\chi(hgh^{-1})=\chi(g)$ ，所以它自动扛得住共轭洗牌，普通子群可没这待遇。

深入：表示论里的具体计算#

把 $S_3$ 的不可约表示从头算到尾，是表示论的入门标杆。$S_3$ 6 阶，3 个共轭类：单位 $\{e\}$ （1 个元素）、对换 $\{(12), (13), (23)\}$ （3 个）、3-循环 $\{(123), (132)\}$ （2 个）。共轭类数 = 不可约表示数 = 3。

设三个不可约表示维度 $d_1, d_2, d_3$ ，满足 $d_1^2 + d_2^2 + d_3^2 = |S_3| = 6$ 。整数解只有 $1 + 1 + 4 = 6$ ，所以维度是 $\{1, 1, 2\}$ 。两个一维表示：平凡表示 $\mathbf{1}$ （所有元素映 1）和符号表示 $\mathrm{sgn}$ （偶置换映 1，奇置换映 -1）。第三个是 2 维的标准表示。

构造标准表示：$S_3$ 自然作用在 $\mathbb{C}^3$ （置换坐标），把对角线 $\{(t,t,t)\}$ 抠掉，剩下的 2 维子空间 $V = \{(x,y,z) : x+y+z = 0\}$ 就是不可约的标准表示。在基底 $v_1 = (1,-1,0), v_2 = (0,1,-1)$ 下，$(12)$ 把 $v_1 \mapsto -v_1$ 、$v_2 \mapsto v_1 + v_2$ ，矩阵 $\begin{pmatrix} -1 & 1 \\ 0 & 1 \end{pmatrix}$ ，迹 0。$(123)$ 循环 $(x,y,z) \to (z,x,y)$ ，矩阵 $\begin{pmatrix} 0 & -1 \\ 1 & -1 \end{pmatrix}$ ，迹 -1。

特征表整理出来：

验证正交性：$\langle \chi_V, \chi_V \rangle = \frac{1}{6}(1 \cdot 4 + 3 \cdot 0 + 2 \cdot 1) = 1$ ，确认不可约。$\langle \chi_V, \mathbf{1} \rangle = \frac{1}{6}(2 + 0 - 2) = 0$ ，确认与平凡表示正交。整张表完美自洽。

Maschke 定理为什么成立#

Maschke 定理说：在特征 $p$ 不整除 $|G|$ 的域上，$G$ 的每个有限维表示都完全可约。证明的核心招数叫平均技巧——给一个不变量配权重，让 $G$ 的作用对称化。

具体地，假设子空间 $W \subset V$ 是 $G$ -不变的。任选一个线性投影 $\pi: V \to W$ （不一定 $G$ -等变）。定义平均投影 $\tilde{\pi}(v) = \frac{1}{|G|} \sum_{g \in G} g^{-1} \pi(g v)$ 。验证 $\tilde{\pi}$ 是 $G$ -等变投影：(1) 对 $w \in W$ ，$g w \in W$ ，$\pi(gw) = gw$ ，$g^{-1}(gw) = w$ ，求和得 $w$ ，所以 $\tilde{\pi}|_W = \mathrm{id}$ 。(2) $\tilde{\pi}$ 与 $G$ -作用交换是直接验证。$\ker \tilde{\pi}$ 就是 $W$ 的 $G$ -不变补空间，完全可约性确立。

为什么需要 $\mathrm{char}(k) \nmid |G|$ ？因为证明里用了 $\frac{1}{|G|}$ 。如果特征整除阶，$|G|$ 在域里是 0，分母不存在，整个论证崩塌。这不是技术性条件，是真有反例：$\mathbb{F}_p$ 上 $\mathbb{Z}/p$ 的正则表示有不可约子表示但没有不变补，模范畴变成模 representation theory，难度跳几个量级。

初学者常见陷阱#

第一坑：以为所有表示都不可约。任何有限群在 $\mathbb{C}$ 上正则表示 $\mathbb{C}[G]$ 维度 $|G|$ ，远超不可约表示的维度（最大是 $\sqrt{|G|}$ 量级）。正则表示就是不可约表示按维度加权的直和：$\mathbb{C}[G] \cong \bigoplus_i V_i^{\oplus \dim V_i}$ 。

第二坑：把特征当成函数处理。特征 $\chi_V(g) = \mathrm{tr}(\rho(g))$ 是类函数（共轭类上常值），但不是群同态。$\chi_V(gh) \neq \chi_V(g) \chi_V(h)$ 一般情况下。只有一维表示的特征才是群同态。

第三坑：搞混实表示和复表示。复数域上的表示理论最干净（代数闭、特征零），实数域上多了实型/复型/四元数型的分类（Frobenius-Schur 指标）。$\mathbb{C}$ 上不可约的表示在 $\mathbb{R}$ 上可能可约或者根本无法定义。

第四坑：以为不可约表示数少于共轭类。它们恰好相等——这是 Burnside 公式的精确结论。不多不少，刚刚好。

这些概念在哪里冒头#

表示论横扫物理与数学。量子力学里粒子的角动量分类直接对应 $\mathrm{SU}(2)$ 的不可约表示，旋量是其 2 维基本表示。基本粒子分类（夸克的 $\mathrm{SU}(3)_{\text{flavor}}$ 、规范玻色子的 $\mathrm{SU}(3) \times \mathrm{SU}(2) \times \mathrm{U}(1)$ ）整个建立在李群表示论上。

化学里晶体场分裂、振动模式分析、分子轨道对称性，全用点群表示论分类。光谱选择定则就是“矩阵元素 $\langle \psi_f | H' | \psi_i \rangle$ 不为零当且仅当 $V_f \otimes V_{H'} \otimes V_i$ 包含平凡表示”。这是 Frobenius 互反性的物理化身。

数论里 Galois 表示是现代代数数论的核心对象。模形式对应于自守表示（$\mathrm{GL}_2$ 的无限维表示），Langlands 纲领把数域 Galois 群的表示和某种自守表示对应。Fermat 大定理的证明本质是模性定理——某条椭圆曲线的 Galois 表示等于某个模形式的 Galois 表示。

机器学习里等变神经网络（equivariant neural network）显式地用群表示论设计层结构，让网络对旋转、平移等对称性自动不变。这是过去几年深度学习与代数交叉最活跃的方向之一。

我希望你带走的东西#

一句话：表示论是把群结构翻译成线性代数的字典。每个群元素变成矩阵，群乘法变成矩阵乘法，群作用变成线性作用。这种翻译让我们能用矩阵的眼光看群——特征值、迹、行列式都成了群的不变量。

第二件事，特征标内积是个万用工具。判定不可约性、分解表示成不可约成分、计算同态空间维数、识别两个表示是否同构，全部归结为内积计算。$\langle \chi, \chi \rangle = 1$ 等价不可约，$\langle \chi, \psi \rangle$ 等价同构，$\langle \chi_V, \chi_W \rangle$ 是 $\dim \mathrm{Hom}_G(V, W)$ 。一张特征表干掉所有这些问题。

第三件事，表示论的“安全区”是“特征不整除群阶 + 代数闭域”。在这个区域里 Maschke + Schur 双保险，结构定理般干净。一离开，模表示论的难度直线攀升，是另一个学科。下一篇范畴论会从更高的视角解释为什么这条边界这么本质——它跟阿贝尔范畴的半单性挂钩。

补充例子#

补一个 $S_4$ 的例子，比 $S_3$ 复杂一档。$S_4$ 24 阶，5 个共轭类（按循环型分：$1^4, 1^2 2, 2^2, 1\cdot 3, 4$ ），所以有 5 个不可约表示。维度满足 $d_1^2 + \cdots + d_5^2 = 24$ ，整数分拆 $1+1+4+9+9 = 24$ 给出维度 $\{1, 1, 2, 3, 3\}$ 。

5 个不可约表示分别是：平凡 $\mathbf{1}$ （1 维）、符号 $\mathrm{sgn}$ （1 维）、二维表示 $V_2$ （来自 $S_4 \to S_3 = S_4/V_4$ 然后用 $S_3$ 的标准表示）、三维标准表示 $V_3$ （4 维置换表示去掉对角线）、$V_3 \otimes \mathrm{sgn}$ （标准表示扭符号，仍 3 维不可约）。

特征表算出来后，验证“所有不可约特征构成类函数空间正交基”这个事实——5 维的类函数空间被 5 个不可约特征张满。这种“维度不多不少正好够”的精确感，是表示论最美的瞬间之一。$A_5$ 的特征表更刺激（涉及黄金分割比 $\frac{1\pm\sqrt{5}}{2}$ 进入特征值），是后面研究伽罗瓦表示和模形式时的常客，值得后续找时间专门玩一遍。

下一步#

写到这儿，你应该能感觉到表示论的骨架有多硬：群作用翻译成矩阵，平均技巧保证完全可约，Schur 引理锁死映射空间，特征标内积一键拆解分量，诱导与限制在大小群之间自由穿梭。这套工具不仅能手算 $S_4$ 的特征表，还能直接对接量子自旋、粒子分类甚至数论里的 $L$ -函数。但我越算越发现一个问题：群、环、模、表示、同态、张量积、诱导函子……这些结构看起来各自为战，却总在底层重复同样的模式。同态的复合、直和的分配、伴随关系的对称，难道只是巧合？

下一篇，我会后退一步，换一副眼镜看整个代数世界。范畴论（category theory）不关心对象内部长什么样，只盯着它们之间的箭头怎么连。它会告诉你，Frobenius 互反性只是伴随函子（adjoint functor）的一个特例，张量积与 Hom 的对称是闭范畴的标配，而 Maschke 定理的半单性可以在阿贝尔范畴的语境里重新表述。我会用具体的交换图（commutative diagram）和泛性质（universal property）把前面十篇散落的线索串成一张网。准备好把“元素层面的计算”升级成“箭头层面的推理”了吗？我们下一篇见。

这是 抽象代数 系列（共 12 篇文章）的第 10 部分。