跳轉到

3.1 Lagrange 定理與 Cayley 定理#

本章導言#

抽象群論的第一批「大定理」誕生於 1870 年代，但兩位主角的名字屬於更早的時代：Lagrange 在 1770 年為解五次方程而發現的計數事實，Cayley 在 1854 年為抽象化而提出的表示原理，在群公理確立後各自昇華為結構理論的支柱。Lagrange 定理（子群的階整除群的階）是有限群論的第一條鐵律；Cayley 定理（每個群都是置換群）保證抽象群論不會研究「幽靈」。本節完整證明兩者，並追蹤它們從解方程工具到普適定理的演變史。

陪集：定理的鑰匙#

定義：設 \(H \le G\) ，對 \(a \in G\) ，集合 \(aH = \{ah : h \in H\}\) 稱為 \(H\) 的（左）陪集（coset）。

陪集的三個基本事實（皆直接驗證）：

  1. \(a \in aH\) （取 \(h = e\) ），且 \(aH = H \iff a \in H\) 。
  2. 任意兩個陪集要麼相等、要麼不交：若 \(c \in aH \cap bH\) ，則 \(a = c h_1^{-1} = b h_2 h_1^{-1}\) ，從而 \(aH = bH\) 。
  3. 陪集間存在雙射 \(aH \to bH\) （ \(ah \mapsto bh\) ），故所有陪集大小相同，都等於 \(|H|\) 。

直觀：陪集是 \(H\) 的「平移複製品」；它們把 \(G\) 整整齊齊鋪滿、互不重疊——像用同一塊瓷磚鋪滿地板。

Lagrange 定理#

定理 3.1.1（Lagrange）：設 \(G\) 是有限群， \(H \le G\) ，則 \(|H|\) 整除 \(|G|\) ，且商 \(\dfrac{|G|}{|H|}\) （記 \([G:H]\) ，稱指標）等於陪集個數。

證：由上述三事實， \(G\) 分解為互不相交的陪集之併： \(G = a_1 H \cup a_2 H \cup \cdots \cup a_k H\) （每個元素恰屬一個陪集）。兩邊計數： \(|G| = k|H|\) 。 \(\blacksquare\)

證明的思想史：1770 年 Lagrange 證明的是置換版的特例——「根的函數在置換群下取值個數整除群階」；1844 年 Cauchy 與 Galois 遺稿中已有指標計數；1878 年 Jordan 給出對一般有限群的證明，並發明「陪集」概念（法文 groupe partiel 的平移系）。一個計數事實走了 108 年才獲得完整的一般形式與自己的名字。

Lagrange 定理的威力與誤解#

直接推論：

  • 元素的階整除 \(|G|\) （因 \(\langle a \rangle \le G\) ）。
  • 素數階群只有平凡子群，且必為循環群。
  • Fermat 小定理：對 \(\gcd(a, p) = 1\) ， \(a^{p-1} \equiv 1 \pmod p\) （因 \(a\) 在 \((\mathbb{Z}/p\mathbb{Z})^\times\) 中的階整除 \(p - 1\) ）。Euler 定理是其推廣（階整除 \(\varphi(n)\) ）。

常見誤解（必須清除）：Lagrange 定理不是「若 \(d\) 整除 \(|G|\) 則存在 \(d\) 階子群」。反例： \(A_4\) （十二階）沒有六階子群——十二的因子 6 是「沒有兌現的支票」。把逆命題變真需要額外條件：素數冪情形（Cauchy 定理與 Sylow 定理，3.3 節）或 Abel 群情形。

Cauchy 定理：第一個存在性補償#

定理 3.1.2（Cauchy，1845）：若素數 \(p\) 整除 \(|G|\) ，則 \(G\) 含 \(p\) 階元素（從而含 \(p\) 階循環子群）。

證明思想：考慮集合 \(S = \{(a_1, \dots, a_p) \in G^p : a_1 a_2 \cdots a_p = e,\ \text{非全 } e\}\) 。循環群 \(\mathbb{Z}/p\mathbb{Z}\) 作用於 \(S\) （旋轉座標），軌道大小為 1 或 \(p\) ；直接計數得 \(|S| = |G|^{p-1} - 1\) 不被 \(p\) 整除，故必有大小 1 的軌道，即存在 \(a\) 使 \((a, a, \dots, a) \in S\) ， \(a^p = e\) ， \(a \ne e\) 。 \(\blacksquare\)

歷史注：Cauchy 在 1845 年的證明冗長且僅限置換群；群論史家指出他的主要動機竟不是解方程，而是煉金術式的化學對稱研究（Cauchy 晚年研究分子排列）。數學思想的遷移常常跨越動機的荒謬。

Cayley 定理：抽象群的安全網#

定理 3.1.3（Cayley，1854）：每個群 \(G\) 同構於對稱群 \(S_G\) （ \(G\) 上全體雙射、以合成為運算）的子群；有限群則同構於 \(S_n\) （ \(n = |G|\) ）的子群。

證：對 \(g \in G\) 定義 \(\lambda_g : G \to G\) ， \(\lambda_g(x) = gx\) （左平移）。由消去律， \(\lambda_g\) 是雙射； \(\lambda_g \circ \lambda_h = \lambda_{gh}\) （結合律），故 \(g \mapsto \lambda_g\) 是同態。若 \(\lambda_g = \mathrm{id}\) ，則 \(g = g e = \lambda_g(e) = e\) ，故單射。於是 \(G \cong \{\lambda_g : g \in G\} \le S_G\) 。 \(\blacksquare\)

兩個含義：

  1. 無幽靈定理：抽象群論的每個定理都自動是關於置換的定理——抽象化沒有製造不存在的對象。Cayley 由此主張「抽象群論不會比置換群論更廣」。
  2. 遞迴的地基：它把「研究一般群」化歸為「研究 \(S_n\) 的子群」，而 \(S_n\) 的結構（共軛類＝循環型，見下）是初等的。

代價的誠實告白：Cayley 定理的實用性有限—— \(S_n\) 階為 \(n!\) ，用 \(S_n\) 研究群 \(G\) 通常「殺雞用牛刀」。它的價值是概念性的（擔保一致性），而非計算性的。這是數學定理的常態分類：結構性定理（如 Cayley）與計算性定理（如 Lagrange 用於階計算）分工不同。

置換的循環型： \(S_n\) 的解剖#

Cayley 定理使我們需要置換群的詳細地圖。每個置換唯一分解為互不相交循環之積，例如 \(\sigma = (1\,3\,5)(2\,4) \in S_5\) ；循環長度（含 1-循環）的無序多重集稱循環型，記 \([3,2,1^0]\) 或 \((3)(2)(1)\) 。

定理 3.1.4： \(S_n\) 中兩個置換共軛 \(\iff\) 循環型相同。因此 \(S_n\) 的共軛類對應 \(n\) 的分拆。

例： \(S_3\) 的分拆為 \((3), (2,1), (1,1,1)\) ，三個共軛類大小 \(2, 3, 1\) ，總計 \(6 = 3!\) 。共軛類大小 \(= \dfrac{n!}{(\text{循環長度連乘}) \times (\text{同長循環個數階乘})}\) ——此公式在 7.3 節將成為特徵標表的第一列。

對換的奇偶性： \(\mathrm{sgn}(\sigma) = (-1)^{\text{對換數}}\) ，是良定義的同態 \(S_n \to \{\pm 1\}\) ；核為 \(A_n\) （偶置換群，階 \(n!/2\) ）。 \(A_5\) 的單性（6.3 節）是五次方程之牆的最終謎底——而「奇偶性良定義」正是通往那裡的第一步。

一個具體例題#

例題 3.1.1：證明 15 階群必為循環群。

解：設 \(|G| = 15 = 3 \times 5\) 。由 Cauchy 定理，存在 3 階元素 \(a\) 與 5 階元素 \(b\) 。

考慮 \(H = \langle a \rangle\) （3 階）與 \(K = \langle b \rangle\) （5 階）。因 \(\gcd(3, 5) = 1\) ，由 Lagrange 定理 \(H \cap K\) 的階同時整除 3 與 5，故 \(|H \cap K| = 1\) ，即 \(H \cap K = \{e\}\) 。

再證 \(ab = ba\) ：先注意 \(b^{-1}ab\) 仍是 3 階元素（共軛保階），故落在 \(H\) 與其共軛……更直接的路： \(b^{-1} H b\) 也是 3 階子群；不借助 Sylow 的最短論證是用「共軛子群個數」的初等計數（此處從簡）：可證 \(b^{-1}ab \in H\) 。於是 \([b, a] = b^{-1}a^{-1}ba\) 同時屬於 \(H\) 與 \(K\) ，故 \([b,a] = e\) ， \(ab = ba\) 。

最後， \(ab\) 的階： \((ab)^n = a^n b^n\) （交換），故 \((ab)^3 = b^3 \ne e\) 、 \((ab)^5 = a^5 = a^2 \ne e\) ，而 \((ab)^{15} = e\) ；階整除 15 且非 3 非 5，必為 15。故 \(ab\) 生成整個 \(G\) ， \(G\) 循環 \(\cong \mathbb{Z}/15\mathbb{Z}\) 。 \(\blacksquare\)

注：證明中「 \(b^{-1}ab \in H\) 」一步的完整版正是 Sylow 定理（3.3 節）；15 階群循環是 Sylow 理論的經典第一習題。本例展示了 Lagrange（排除）、Cauchy（存在）、交換性（合成）三件工具的協奏。

歷史啟示#

  • 計數是結構的入門：Lagrange 定理只用「鋪瓷磚」就得到整除律——在概念工具稀少的年代，計數是最銳利的刀。
  • 整除的單向性：「子群階整除」是必要條件而非充分條件（ \(A_4\) 無 6 階子群）。學習抽象代數的重要紀律：分清「對稱的蘊含」與「單向的蘊含」。
  • 抽象的安全網：Cayley 定理的價值不在計算而在擔保——它使我們確信公理化沒有飄離具體世界。好的抽象總有「回到具體」的橋樑。

與其他章節及領域的關聯#

  • 2.3 節：循環群的子群格是 Lagrange 定理的「整除可兌現」特例。
  • 3.2 節：指標 \([G:H]\) 的計數將升級為商群與正規性的理論。
  • 3.3 節：Sylow 定理補上「素數冪子群必存在」的兌現承諾。
  • 5.2 節：有限體 \(\mathbb{F}_{p^n}\) 的乘法群是循環的，其證明以 Lagrange 為起點。
  • 6.2、6.3 節： \(A_4\) 無 6 階子群的現象是「不可解性」的先聲； \(A_5\) 單性終結五次方程。
  • 7.2 節：表示論的「維數整除群階」（Maschke + Lagrange 型論證）延續計數傳統。
  • 組合學：Burnside 引理（軌道計數，見 3.3 節）是 Lagrange 計數精神的直接後裔，用於不等價著色、分子異構體計數。

練習#

  1. 求 \(S_3\) 中子群 \(H = \{e, (12)\}\) 的全部左陪集，驗證它們分割 \(S_3\) 。
  2. 證明：6 階群若含 3 階元素 \(a\) 與 2 階元素 \(b\) 且 \(ab \ne ba\) ，則 \(G \cong S_3\) （提示：列表比較）。
  3. 用 Cauchy 定理與 Lagrange 定理證明：階為 \(p\) （素數）的群是循環群。
  4. 求 \(S_4\) 的全部共軛類、大小與循環型，並驗證大小總和為 24。
  5. 思考題： \(A_4\) 沒有 6 階子群。用 Cauchy 定理證明 6 階子群必含 3 階元素與 2 階元素，再驗證 \(A_4\) 的任何 3 階元素與 2 階元素生成的群不可能是 6 階，從而完成證明。

進階研讀：兩大定理的四個深化場景#

場景一：指標的計算代數。指標有良好的乘法鏈： \([G:K] = [G:H][H:K]\) （當 \(K \le H \le G\) ）。這使階的計算成為「指標的乘法塔」。更深的推論： \([G:H]\) 最小的真子群往往攜帶最多結構資訊——3.2 節將證明指標最小的非平凡子群之一（若為素數冪）必正規。計數不僅回答「多少」，還引導「何處找結構」。

場景二：Burnside 引理與染色計數。有限群 \(G\) 作用於集合 \(X\) 時，軌道數 \(= \frac{1}{|G|} \sum_{g} |\mathrm{Fix}(g)|\) （不動點平均）。應用：用 3 色染正方形四頂點，繞轉與翻轉視為相同，不等價方案數 \(= \frac{1}{8}(3^4 + 3^1 \cdot 2 + 3^2 \cdot 2 + 3^2 + 3^3 \cdot 2) = 21\) 。這是 Lagrange「計數即結構」哲學在組合學的果實，也是化學分子異構體計數（Pólya 定理，1937）的引擎。

場景三：Cayley 定理的精修與極限。Cayley 定理的證明用左平移；若用右平移會得反同構，混合左右平移可得更精緻的嵌入（正則表示，7.2 節）。定理的「最優化」問題——最小的 \(n\) 使 \(G\) 嵌入 \(S_n\) ——稱 \(G\) 的最小置換表示次數，是至今活躍的研究方向（例如單群 \(A_5\) 的最小次數是 5，而循環群 \(\mathbb{Z}/6\mathbb{Z}\) 只需 5）。抽象與具體之間的「距離」，本身就是可測量的數學量。

場景四：從 Cauchy 到 Frobenius 的存在性階梯。Cauchy 定理保證素因子 \(p\) 有 \(p\) 階元素；Sylow 定理（1872）升級為存在 \(p^k\) 階子群（ \(p^k\) 是整除 \(|G|\) 的最大素數冪）並控制其個數；Frobenius（1887）再證明：對每個整除 \(|G|\) 的 \(d\) ，「階為 \(d\) 的解數是 \(d\) 的倍數」這類計數定理成立。存在性的保證越來越精細，但「 \(d\) 整除 ⇒ \(d\) 階子群存在」這個最誘人的命題始終為假（ \(A_4\) 釘死了它）——數學會給補償，但不會給全部。

補充：Lagrange 的原始命題與現代敘述的距離#

Lagrange 1770 年的原文是：「根的置換函數取值的個數，整除置換總數。」這與現代定理的距離有三層：(1) 他談的是函數取值，非子群階；(2) 他默認了取值個數＝某指標這一現代視角；(3) 他沒有「群」的概念，只有「置換系統」。Jordan 1870 年的《置換論》完成三層翻譯。定理的「命名權」常屬於看清其一般形的人，而非發現其特例的人——數學史中的優先權敘事，需要區分「發現事實」與「發現定理」。

名詞速查表（本節出現的核心術語）#

  • 陪集： \(aH = \{ah : h \in H\}\) ， \(H\) 的平移複製品。
  • 指標： \([G:H] = |G|/|H|\) ，陪集個數。
  • Lagrange 定理： \(|H|\) 整除 \(|G|\) 。
  • Cauchy 定理：素因子 \(p\) ⇒ 存在 \(p\) 階元素。
  • Cayley 定理： \(G \cong\) 左平移置換群 \(\le S_G\) 。
  • 循環型：置換的不交循環長度多重集；決定 \(S_n\) 共軛類。
  • 奇置換 / 偶置換：對換數的奇偶； \(A_n\) 為偶置換群。

年表速查（本節涉及的關鍵年份）#

  • 1770：Lagrange《反思》證明置換版計數命題。
  • 1799–1815：Ruffini 引入置換系統的封閉性（群的前身）。
  • 1845：Cauchy 證明素階元素存在性（置換群版）。
  • 1846：Galois 遺稿刊出，正規性與計數思想並存。
  • 1854：Cayley 提出抽象群並證明表示定理。
  • 1870：Jordan《置換論》完成 Lagrange 計數的群論形式。
  • 1872：Sylow 定理發表。
  • 1887：Frobenius 的階計數定理。
  • 1937：Pólya 將 Burnside 引理發展為染色計數理論。

深化問答三則#

問：Lagrange 定理「證明這麼短」，為什麼算大定理？ 答：因為它的內容是無條件的普適律——對一切有限群、一切子群成立，且證明只需要「分割＋計數」。短證明與普適性的組合正是數學美的標準型。更重要的，它是有限群論的「第一約束」：任何關於有限群的猜測，第一步都是過 Lagrange 的整除篩。大定理的標準不是難，而是不可繞過。

問：Cayley 定理說「一切群都是置換群」，那我們為何還要抽象群論？ 答：因為「存在一個具體表示」不等於「具體表示是好的視角」。置換表示把群階放大為 \(n!\) ，掩蓋了結構；就像「每個實數是小數展開」不意味著小數是研究實數的最佳語言。抽象的價值是選擇最小、最透明的表示——Cayley 定理擔保表示存在，其餘的自由才是數學的樂趣。

問：15 階群循環的證明中，哪一步最「深」？ 答： \(b^{-1}ab \in H\) 那一步（交換性的來源）。它背後是共軛作用的計數：3 階子群的共軛個數必 \(\equiv 1 \pmod 3\) 且整除 5，故只能為 1——即 \(H\) 自動正規。這個「個數模 \(p\) 為 1」正是 Sylow 第三定理的核心。可見一個看似初等的習題，其內核已觸及 Sylow 理論；初等習題往往是深定理的縮微景觀。

（本節完）