跳轉到

7.3 特徵標表#

本章導言#

上一節我們把群拆成了不可約表示。這一節把每個不可約表示壓縮成一個函數——特徵標（character） \(\chi(g) = \mathrm{tr}\,\rho(g)\) ——並證明這些函數構成類函數空間的正交基。把全部特徵標在全部共軛類上的取值排成矩形，就是特徵標表：一張小小的表格，編碼了群的大量結構信息，甚至能回答「群是否單、是否可解、有多少正規子群」。Frobenius 1896 年發明特徵標時走的是純行列式路線，正交關係是 Schur（1904–07）用表示論語言重述的；今日它已是化學（分子振動光譜）、物理（粒子分類）、計算機科學（交互作用協議）的日常工具。

定義與基本性質#

定義 7.3.1：表示 \(\rho: G \to \mathrm{GL}(V)\) 的特徵標是

\[ \chi(g) = \mathrm{tr}\,\rho(g). \]

基本性質（多數一行可證）：

  1. \(\chi(1) = \dim V\) 。
  2. \(\chi(ghg^{-1}) = \chi(h)\) ：特徵標是類函數（跡在共軛下不變）。故特徵標表只需在共軛類上列出。
  3. \(\chi(g^{-1}) = \overline{\chi(g)}\) （ \(k = \mathbb{C}\) 時）：有限群元素的特徵值是單位根，共軛成對。
  4. \(\chi_{V \oplus W} = \chi_V + \chi_W\) ：特徵標把直和變成逐點加法。

第 2 條是特徵標理論的「壓縮奇蹟」：一個 \(d\) 維表示攜帶 \(d \times d\) 矩陣× \(|G|\) 個元素的信息，特徵標把它壓到 \(|G|\) 個數，而信息幾乎不丟——這是跡函數的深刻性質。

正交關係#

定理 7.3.2（第一正交關係，Schur）：設 \(V_1, \dots, V_r\) 為 \(G\) 的全部不可約覆表示。則

\[ \langle \chi_i, \chi_j \rangle = \frac{1}{|G|} \sum_{g \in G} \chi_i(g) \overline{\chi_j(g)} = \delta_{ij}. \]

定理 7.3.3（第二正交關係 / 列正交）：對共軛類 \(C_a, C_b\) ：

\[ \sum_{i=1}^{r} \chi_i(g_a) \overline{\chi_i(g_b)} = \frac{|G|}{|C_a|} \delta_{ab} \]

（ \(g_a \in C_a\) ）。行與列都正交——特徵標表是行正交、列也正交的矩陣。

證明思想（第一正交關係）：把 \(\langle \rho(u), \rho(v) \rangle\) 對群平均（Maschke 證明的同一技巧），得矩陣係數空間的正交性：

\[ \frac{1}{|G|}\sum_g \rho_i(g)_{st}\, \overline{\rho_j(g)_{s't'}} = \frac{1}{d_i}\delta_{ij}\delta_{ss'}\delta_{tt'}, \]

再對角線求和取跡即得。矩陣係數的正交性是「表示論的 Fourier 基」——事實上 Peter–Weyl 定理說這正是緊群上的調和分析。 \(\blacksquare\)

特徵標表的實務用法：三步法#

面對一個未知表示，教科書與實務中的標準流程值得記錄：

第一步：數共軛類。共軛類個數 \(r\) = 不可約表示個數 = 特徵標表的行數（或列數）。共軛類由循環型（置換群）或幾何直覺（點群）判定。

第二步：用平方和定維數。 \(\sum_i d_i^2 = |G|\) 通常是唯一解的小整數問題（如 \(S_3\) 的 \(1+1+4=6\) ）。首列（ \(e\) 處的值）就是 \(d_i\) 。

第三步：用正交關係填表。行的正交性給線性方程組；列的正交性交叉檢驗；剩下的自由度用「特徵值是單位根」「 \(\chi\) 是類函數」等約束收緊。

檢查表完整性的快速判準：

  • 每行自內積為 \(1\) （行正交的對角部分）；
  • 每列與首列正交（ \(e\) 列除外）： \(\sum_i d_i \chi_i(g) = 0\) 對 \(g \ne e\) ；
  • \(\sum_i d_i^2 = |G|\) ；
  • 正規子群都能讀出：每個正規子群 = 若干行的共同核（7.3 例題演示過 \(A_3\) 的讀法）。

這套流程在化學的點群分析（ \(C_{2v}\) 、 \(D_{6h}\) 等分子對稱群）中被表格化為「特徵標表查表法」，是實驗光譜學家的日常工具——7.2 節預告的「理論備貨、應用提領」在這裡以最平凡的形態兌現。

具體例題： \(S_3\) 的特徵標表#

例題 7.3.1：寫出 \(S_3\) 的完整特徵標表，並用它讀出群的結構信息。

解： \(S_3\) 的三個共軛類與三個不可約表示（7.2 節例題）：

\(S_3\) \(e\) （1個） \((12)\) 型（3個） \((123)\) 型（2個）
\(\chi_1\) （平凡） \(1\) \(1\) \(1\)
\(\chi_2\) （符號） \(1\) \(-1\) \(1\)
\(\chi_3\) （二維） \(2\) \(0\) \(-1\)

驗證正交性：行 \(\chi_1\) 與 \(\chi_2\) ：

\[ \frac{1}{6}\left( 1\cdot1\cdot1 + 3\cdot1\cdot(-1) + 2\cdot1\cdot1 \right) = \frac{1-3+2}{6} = 0. ✓ \]

行 \(\chi_3\) 自身的範數：

\[ \frac{1}{6}\left( 2^2 + 3\cdot 0^2 + 2\cdot (-1)^2 \right) = \frac{4+2}{6} = 1. ✓ \]

列正交（首列 \(e\) 與對換列）：

\[ \sum_i \chi_i(e)\overline{\chi_i((12))} = 1\cdot1 + 1\cdot(-1) + 2\cdot0 = 0 = \frac{6}{3}(1-1). ✓ \]

從表讀結構（特徵標表的「讀心術」）：

  1. 正規子群：核 \(\ker \rho = \{g \mid \chi(g) = \chi(1)\}\) 。 \(\chi_2\) 的核是 \(\{(123), (132), e\} = A_3\) ——表中第二行的 \((123)\) 型取值 \(1\) 立即暴露 \(A_3\) 。事實上，每個正規子群都是若干行「核的交」， \(S_3\) 的正規子群 \(\{e\}, A_3, S_3\) 全部可從表中讀出。
  2. 可解性：由第二行的核得商 \(S_3/A_3 \cong \mathbb{Z}/2\) 交換，鏈 \(\{e\} \trianglelefteq A_3 \trianglelefteq S_3\) 從表中重現（呼應 6.2 節）。
  3. 表示分解：任何表示的特徵標都能用表「調配」出來。例如正則表示的特徵標是 \(\chi_{\mathrm{reg}}(e) = 6\) 、其他類為 \(0\) ，分解：
\[ \chi_{\mathrm{reg}} = \chi_1 + \chi_2 + 2\chi_3, \]

內積檢驗： \(\langle \chi_{\mathrm{reg}}, \chi_3 \rangle = \frac{1}{6}(6\cdot2) = 2\) ，出現 2 次。✓

\(\blacksquare\)

這張表還有一個驚人的副作用：特徵標在 \(e\) 處與對換類的值給出的多項式關係，正對應三次方程求根公式中判別式的角色（6.2 節）——表的第三列 \(2, -1, -1\) 之和為 \(0\) ，正是「三根之和」的表示論化身。

特徵標表能「認出」群嗎#

特徵標表決定群到什麼程度？答案是「幾乎但不能完全」：特徵標表相同的兩個群（如同構群當然同表）可能不同構—— \(D_4\) 與四元數群 \(Q_8\) 是最小的反例（兩者的特徵標表同，但一個有 5 個 2 階元、一個只有 1 個）。特徵標表是群的「X 光片」：照出骨架（共軛類、正規結構、表示），照不出血肉（元素的具體乘法）。這個「信息的層次」概念，在 9.3 節同調群中會以「不變量不足以完全分類」的形式重現。

與其他領域的關聯#

  • 往 7.2：特徵標是不可約表示的坐標；正交關係 = Maschke 平均技巧的終極形態。
  • 往 6.2：特徵標與可解群：Burnside 的 \(p^a q^b\) 定理的證明核心是一個特徵標值的整除性論證——表示論反哺純群論。
  • 往 10.2：化學中的分子點群特徵標表（如 \(C_{2v}\) 、 \(D_{6h}\) ）直接決定紅外/拉曼光譜的選擇定則；物理中 \(SU(3)\) 的八重法就是特徵標表的一次壯觀使用。
  • 往 8.3：McKay 對應把有限群的二維表示與 ADE 圖聯繫起來——特徵標表的維數向量 \((1,1,2)\) （ \(S_3\) ）正是 \(A_2\) 型的標記。
  • 數論：Dirichlet 特徵標（1837，Frobenius 特徵標的先驅）是解析數論的引擎，Dirichlet \(L\) 函數由此而來；兩種「特徵標」是同一思想在交換與非交換世界的投影。

結語#

特徵標表把一個群壓縮成一張小矩形，行是表示、列是共軛類、行行正交、列列正交。Frobenius 的高足 Issai Schur 說過，表示論的美在於「把不可見的對稱變成可計算的數」。從 Dedekind 的一封信，到 Frobenius 的群行列式，到 Schur 的正交關係，到今日化學實驗室的譜線歸屬——這條鏈上每一步都是純數學工具被未來的應用者提前備好的例子。第八章，我們把「有限」的桎梏鬆開，走進 Sophus Lie 的連續世界。