1893 - Weber《Beweis des Satzes...》與抽象群公理化#

案件摘要#

1893 年，德國數學家 Heinrich Weber 在《Beweis des Satzes, dass jedeagräre Anzahlprimzahl der Struktur...》等一系列論文中，首次給出完全不依賴具體對象的抽象群公理，使「群」從置換、數、矩陣等具體化身中抽象出來。偵探的結論：這是數學史上第一次大規模「抽象化」的成功案例。

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

• 三個互不相識的「群」：19 世紀末，數學家手上已有三類看似不同的結構：
• 置換群（Galois, 1830s）：解多項式方程時的對稱操作；
• 數的群：如整數加法 \((\mathbb{Z}, +)\) 、模 \(n\) 剩餘類 \((\mathbb{Z}/n\mathbb{Z}, +)\) ；
• 矩陣群（Cayley, 1858）：可逆矩陣在乘法下構成的集合。
• Galois 與 Jordan 的「具體群」：Galois 的群是「置換的集合」，Jordan 1870 年的《Traité des substitutions et des équations algébriques》仍以置換為本的「代理群」。
• Cayley 的預言：Cayley 1854 年就曾提出「以符號 \(\theta\phi\) 表示操作複合」的抽象群觀念，但當時曲高和寡。
• 偵探的疑問：這三類結構為什麼有著相同的定理（如 Lagrange 定理）？答案只有一個：它們共享同一組公理。

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

線索一：從具體到抽象的飛躍#

Weber 的關鍵一步：不問「元素是什麼」（置換？數？矩陣？），只問「運算滿足什麼規則」。定義：

群：一個集合 \(G\) 配備二元運算 \(\cdot: G \times G \to G\) ，滿足： 1. 封閉性： \(\forall a, b \in G,\; a \cdot b \in G\) 2. 結合律： \(\forall a, b, c \in G,\; (a \cdot b) \cdot c = a \cdot (b \cdot c)\) 3. 單位元素： \(\exists e \in G,\; \forall a \in G,\; e \cdot a = a \cdot e = a\) 4. 反元素： \(\forall a \in G,\; \exists a^{-1} \in G,\; a \cdot a^{-1} = a^{-1} \cdot a = e\)

記作 \((G, \cdot)\) 或簡記 \(G\) 。若另外滿足交換律 \(ab = ba\) ，則稱交換群（Abel 群）。

線索二：三個化身，一個抽象#

推理：一旦用公理定義群，所有只靠公理證出的定理對四者同時成立。例如 Lagrange 定理：若 \(H \leq G\) （子群），則 \(|H|\) 整除 \(|G|\) （有限群情形）。證明只用陪集分解

與元素一樣多的事實——完全不依賴 \(G\) 的元素是什麼。這就是抽象化的威力：一次證明，處處適用。

線索三：同構 \(\cong\) ——「本質相同」的數學定義#

兩個群 \(G, G'\) 同構，記 \(G \cong G'\) ，若存在雙射 \(\varphi: G \to G'\) 滿足

推理：同構是抽象化不可缺少的另一半。公理告訴我們「哪些結構是群」，同構告訴我們「哪些群其實是同一個」。Cayley 定理（1878）更指出：任何抽象群都同構於某個置換群——抽象並不會失去具體世界，反而統攝了它。

線索四：群論成為獨立數學分支#

Weber 1895–96 年的教科書《Lehrbuch der Algebra》第二卷首次以抽象群理論作為系統教材，內容包含子群、陪集、正規子群 \(N \triangleleft G\) 、商群 \(G/N\) 、同態定理

至此群論脫離方程式論，成為自有對象、自有方法、自有問題的數學分支。

Python 實作：抽象群（mod n 加法群驗證公理）#

from itertools import product

def check_group_axioms(elements, op, e):
    ok_closure   = all(op(a, b) in elements for a, b in product(elements, repeat=2))
    ok_assoc     = all(op(op(a, b), c) == op(a, op(b, c))
                       for a, b, c in product(elements, repeat=3))
    ok_identity  = all(op(a, e) == a and op(e, a) == a for a in elements)
    ok_inverse   = all(any(op(a, b) == e and op(b, a) == e for b in elements)
                       for a in elements)
    return {"封閉": ok_closure, "結合": ok_assoc,
            "單位": ok_identity, "反元素": ok_inverse}

# (Z/nZ, +)：模 n 加法群
n = 6
Z6 = list(range(n))
add_mod = lambda a, b: (a + b) % n
print("(Z/6Z, +) 公理檢驗:", check_group_axioms(Z6, add_mod, 0))

# 同構示範：(Z/6Z, +) ≅ (Z/2Z × Z/3Z, +)
Z2xZ3 = [(a, b) for a in range(2) for b in range(3)]
phi = lambda a: (a % 2, a % 3)
iso = all(phi(add_mod(a, b)) ==
          ((phi(a)[0] + phi(b)[0]) % 2, (phi(a)[1] + phi(b)[1]) % 3)
          for a, b in product(Z6, repeat=2))
print("(Z/6Z, +) ≅ Z/2Z × Z/3Z :", iso)   # 中國剩餘定理

程式對一個 6 元素集合逐一檢驗公理，並驗證中國剩餘定理給出的同構——公理化之後，「驗證一個結構是不是群」變成機械化的程序。

結案 -- 後果與影響#

• 抽象代數的開端：群是第一個成功公理化的代數結構，隨後環（Noether, 1921）、域、向量空間、模紛紛跟進。
• 數學哲學的轉向：「抽象化」成為 20 世紀數學的主流方法論——Bourbaki 學派與 van der Waerden《Moderne Algebra》（1930）都建立在 Weber 式公理化之上。
• 現代數學與物理：群論成為粒子物理（對稱性）、密碼學（有限群）、化學（分子對稱）的共同語言。
• 結案陳詞：Weber 抓住了「定理重複出現」的線索，追出了背後的公理；這樁案子證明——數學的真相不在對象，而在結構。

關鍵人物與文獻#

• Heinrich Weber (1842–1913)：德國數學家，先後任教於 Heidelberg、Göttingen、Strassburg。
• Weber, H. (1893). Die allgemeinen Grundlagen der Galois'schen Gleichungslehren. Math. Ann. 43, 521–549.（首次給出抽象群公理）
• Weber, H. (1895–96). Lehrbuch der Algebra, Bd. II.（首本系統介紹抽象群的教科書）
• Cayley, A. (1854). On the theory of groups, as depending on the symbolic equation θ^n = 1.
• 交叉參照：1858-Cayley矩陣.md、1921-Noether環論.md、1930-VanderWaerden近代代數.md。