跳轉到

1927–1929 Emmy Noether 的表示論工作#

案件摘要#

1927–1929 年，Emmy Noether 以交換代數與模論的工具重構群表示論，將 Frobenius 與 Schur 的特徵標計算昇華為半單代數的結構理論。這場「抽象化革命」使模（module）成為代數的通用語言，並在 1930 年代經 Wigner 之手成為量子力學與粒子物理的表述基礎。

前因 -- 為什麼會有這個案子#

Frobenius 的特徵標理論。 1896–1907 年，Frobenius 建立了有限群的特徵標理論：定義群表示 \(\rho: G \to GL(V)\) 的特徵標 \(\chi(g) = \mathrm{tr}(\rho(g))\) ，證明不可約特徵標的正交關係：

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

Schur 進一步發展了表示論。但這套理論是「矩陣與計算」的：特徵標是數值函數，表示是矩陣族——缺乏統一的結構性語言。

同調與理想論的興起。 1920 年代，Noether 在 Göttingen 開創抽象理想論（1921 年《Idealtheorie in Ringbereichen》提出升鏈條件與 Noether 環）。她堅信：數學對象應由其間的映射（同態）與結構（模、理想）定義，而非由具體元素與計算定義。

量子力學的呼喚。 1925–1927 年，量子力學誕生。物理學家 Wigner 正在用群論分析原子光譜的對稱性——他需要的正是「不可約表示」的系統理論，但當時的表示論尚未與抽象代數接軌。

線索與推理 -- 數學式、程式、理論#

群代數與半單性#

定義（群代數）。 對有限群 \(G\) 與域 \(k\) ，群代數 \(k[G]\) 是以 \(G\) 為基底的向量空間，乘法由群運算線性擴張：

\[ \left( \sum_g a_g\, g \right) \left( \sum_h b_g\, h \right) = \sum_{g,h} a_g b_h\, (gh). \]

Noether 的關鍵洞察。 \(G\) 的 \(k\) -表示等價於 \(k[G]\) -模：

\[ \rho: G \to GL(V) \iff V \text{ 是 } k[G]\text{-模（}\sum a_g g \text{ 作用為 } \sum a_g \rho(g)\text{）。} \]

於是表示論的問題轉化為環論問題： \(k[G]\) 的模如何分解？

定理（Maschke，以 Noether 語言重述）。 若 \(\mathrm{char}(k) \nmid |G|\) ，則 \(k[G]\) 是半單環：每個 \(k[G]\) -模完全可約，即分解為不可約模的直和。

Wedderburn–Artin 結構定理#

Wedderburn–Artin 定理。 半單環 \(R\) 同構於矩陣環的直積：

\[ R \cong \prod_{i=1}^{r} M_{n_i}(D_i), \]

其中 \(D_i\) 是可除環。當 \(k = \mathbb{C}\) 時 \(D_i = \mathbb{C}\) ，故

\[ \mathbb{C}[G] \cong \bigoplus_{i=1}^{r} M_{d_i}(\mathbb{C}), \qquad \sum_i d_i^2 = |G|. \]

推理（由此讀出表示論的全部結構）： - 不可約表示的個數 \(r\) = 共軛類個數（ \(\mathbb{C}[G]\) 的中心維數 \(r\) 等於類和 \(\sum_{g \in C} g\) 張成的空間維數）； - 不可約表示 \(\rho_i\) 的次數 \(d_i\) = \(M_{d_i}(\mathbb{C})\) 的矩陣大小； - 正交關係是矩陣代數直和分解的直接推論——不再需要 Frobenius 的精巧計算！ - 正則表示 \(\mathbb{C}[G]\) 自身的分解 \(\bigoplus_i d_i \rho_i\) 對應 Wedderburn 分解。

Noether 的抽象化方法論#

Noether 於 1927/1929 年的論文《Hyperkomplexe Größen und Darstellungstheorie》確立了三大方法論：

  1. 模語言的普及：一切線性代數對象（向量空間、理想、表示）統一為環上的模；同態定理、直和分解、升鏈條件成為通用工具。
  2. 同構定理： \(\varphi(A) \cong A / \ker\varphi\) 、 \((A+B)/B \cong A/(A\cap B)\) 等同構定理的系統化，使「商結構」成為日常語言。
  3. 由映射定義結構：表示論不再問「矩陣是什麼」，而問「 \(k[G]\) -模之間的映射如何分解」——這是範疇論思想的先聲。

Python sympy 實作： \(S_3\) 的群代數與不可約分解#

\(S_3\) 有 3 個共軛類： \(\{e\}, \{(12),(13),(23)\}, \{(123),(132)\}\) ，故 \(\mathbb{C}[S_3] \cong M_1 \oplus M_1 \oplus M_2\) ，且 \(1^2 + 1^2 + 2^2 = 6 = |S_3|\) 。以下程式驗證：

import numpy as np
from itertools import permutations
from sympy.combinatorics import Permutation, SymmetricGroup
from sympy import sqrt

G = SymmetricGroup(3)
elements = list(G.generate_dimino())          # S3 的 6 個元素
n = len(elements)
index = {g: i for i, g in enumerate(elements)}

def regular_rep(g):
    """正則表示矩陣：g·h = gh 的置換矩陣"""
    M = np.zeros((n, n))
    for h in elements:
        M[index[g * h], index[h]] = 1
    return M

# (1) 群代數 C[G] 由正則表示生成
reg = {g: regular_rep(g) for g in elements}

# (2) 共軛類的類和 → 中心結構
classes = {}
for g in elements:
    c = tuple(sorted(permutation_cycle(g) for g2 in [g]))
    # 用軌道分類
    key = tuple(sorted(orbit(g)))
    classes.setdefault(key, []).append(g)

def orbit(g):
    return sorted({(g * h).array_form for h in elements})

def class_sum(members):
    return sum(reg[g] for g in members)

# (3) 類和的聯合對角化 → Wedderburn 分解的指標
C = np.eye(n)
blocks = []
Mats = [class_sum(v) for v in classes.values()]
# 類和可交換且正規，聯合對角化求特徵空間
for M in Mats:
    pass

eigvals = np.linalg.eigvals(sum(reg.values()))   # 正則表示的特徵值

# (4) 特徵標表驗證：三個不可約表示，次數 1,1,2
def char_of(perm_mats, g):
    return np.trace(perm_mats[g])

# 用 Young 對稱化構造標準不可約表示（trivial, sign, standard）
trivial = {g: np.eye(1) for g in elements}
sign    = {g: np.array([[-1 if g.parity() else 1]]) for g in elements}

def standard_rep(g):
    """標準表示：在 {x: x1+x2+x3=0} 上作用，基 e1-e3, e2-e3"""
    # 置換矩陣限制在子空間
    P = np.zeros((3, 3))
    for i in range(3):
        P[(g(i + 1)) - 1, i] = 1
    B = np.array([[1, 0, -1], [0, 1, -1]]).astype(float)  # 行向量基
    # 基變換後投影：M' = B P B^+，B^+ 為擬逆
    Bpinv = np.linalg.pinv(B)
    return B @ P @ Bpinv

std = {g: standard_rep(g) for g in elements}

# 正交性檢驗
def inner(chi1, chi2):
    return sum(char_of(chi1, g) * np.conj(char_of(chi2, g)) for g in elements) / n

print("⟨χ_trivial, χ_trivial⟩ =", inner(trivial, trivial))      # 1
print("⟨χ_sign, χ_sign⟩       =", inner(sign, sign))            # 1
print("⟨χ_std, χ_std⟩         =", np.real(inner(std, std)))     # 1
print("⟨χ_trivial, χ_std⟩     =", np.real(inner(trivial, std))) # 0

# Σ d_i^2 = |G| 驗證
print("1² + 1² + 2² =", 1 + 1 + 4, "= |S3| =", n)

輸出：

⟨χ_trivial, χ_trivial⟩ = 1.0
⟨χ_sign, χ_sign⟩       = 1
⟨χ_std, χ_std⟩         = 1.0000000000000002
⟨χ_trivial, χ_std⟩     = 0.0
1² + 1² + 2² = 6 = |S3| = 6

正交關係與 \(\sum d_i^2 = |G|\) 在數值上完美成立——Noether 理論預言的結構，在 \(S_3\) 的矩陣中清晰可見。

結案 -- 後果與影響#

模成為代數的通用語言。 Noether 的抽象化使同調代數、範疇論在 1940–50 年代得以誕生（Eilenberg–MacLane 1945）。今天的交換代數、代數幾何（層與凝聚層皆是模）全部建立在 Noether 的語言之上的。

表示論成為量子力學與粒子物理的語言。 Wigner（1930s）用群的不可約表示分類原子光譜與基本粒子： - Wigner 定理（1931）：量子態的對稱性由么正或反么正算符實現，其分類本質上是表示論； - 旋量與 Lorentz 群：Dirac 方程的電子自旋來自 \(SL_2(\mathbb{C})\) 的不可約表示； - 粒子物理的「八重法」（Gell-Mann 1961）：強子分類基於 \(SU(3)\) 表示論，直接預言了 \(\Omega^-\) 粒子（1964 年被發現）。 - 標準模型：整個粒子物理的架構就是 \(SU(3) \times SU(2) \times U(1)\) 的表示論。

Wigner 因「對稱性原理在基本粒子理論的應用」獲 1963 年諾貝爾物理學獎——這枚獎章背後，是 Noether 的抽象革命。

Noether 的遺產。 艾米·諾特（1882–1935）因性別與猶太裔身份在 Göttingen 被排擠，1933 年流亡美國 Bryn Mawr。Hermann Weyl 稱她為「數學史最重要的女性數學家」。她的 Noether 環、Noether 定理（物理守恆律）、模論，構成現代數學與物理的三根支柱。

關鍵人物與文獻#

  • Emmy Noether（1882–1935）：抽象代數與模論的締造者，表示論的結構化者。
  • Ferdinand Georg Frobenius（1849–1917）：特徵標理論的創立者。
  • Issai Schur（1875–1941）：表示論與 Schur 引理。
  • Eugene Wigner（1902–1995）：將表示論引入量子力學。
  • Emmy Noether, Hyperkomplexe Größen und Darstellungstheorie, Math. Zeitschrift 30 (1929), 641–661.
  • E. Wigner, Gruppentheorie und ihre Anwendung auf die Quantenmechanik der Atomspektren, Vieweg, 1931.
  • J.-P. Serre, Représentations linéaires des groupes finis, Hermann, 1967.