跳轉到

3.3 群作用與 Sylow 定理（1872）#

本章導言#

前兩節研究群「內部」，本節讓群「出手」：群作用——群作為某個集合上的對稱而移動元素——是現代群論的萬用工具。從作用出發，Lagrange 的整除律獲得精細化：1872 年，挪威教師 Ludwig Sylow（1832–1918） 證明了三條定理，使「素數冪子群」的存在與數量完全可控。Sylow 定理是有限群論的承重牆，也是「計數技巧的巔峰之作」。本節以軌道—穩定子為樞軸，完整敘述 Sylow 三定理及其歷史。

群作用的定義#

定義：群 \(G\) 作用於集合 \(X\) ，即映射 \(G \times X \to X\) ， \((g, x) \mapsto g \cdot x\) ，滿足 \(e \cdot x = x\) 、 \((gh) \cdot x = g \cdot (h \cdot x)\) 。

四個基本例子：

作用 \(G\) \(X\) 意義
左平移 \(G\) \(G\) Cayley 定理的來源
共軛 \(G\) \(G\) 類方程的來源
共軛於子群 \(G\) 子群集合 Sylow 定理的引擎
幾何 \(D_4\) 正方形頂點 對稱計數

軌道與穩定子： \(x\) 的軌道 \(\mathcal{O}(x) = \{g \cdot x\}\) ；穩定子 \(\mathrm{Stab}(x) = \{g : g\cdot x = x\}\) （是子群）。

定理 3.3.1（軌道—穩定子公式）： \(|\mathcal{O}(x)| = [G : \mathrm{Stab}(x)] = \dfrac{|G|}{|\mathrm{Stab}(x)|}\) 。 證：映射 \(g\,\mathrm{Stab}(x) \mapsto g \cdot x\) 是陪集與軌道間的良定義雙射（ \(g \cdot x = g' \cdot x \iff g^{-1}g' \in \mathrm{Stab}(x)\) ）。 \(\blacksquare\)

由此得兩大推論：

  • 軌道分割定理： \(X\) 分割為互不相交軌道， \(|X| = \sum |\mathcal{O}(x_i)|\) 。
  • Burnside 引理：軌道數 \(= \frac{1}{|G|}\sum_{g \in G} |\mathrm{Fix}(g)|\) （3.1 節場景二已用）。

共軛與類方程#

\(G\) 以共軛作用於自身，軌道稱共軛類。取 \(x = e\) 的軌道為 \(\{e\}\) ，得類方程：

\[ |G| = |Z(G)| + \sum_{\text{非中心類}} [G : C_G(x_i)], \]

其中 \(Z(G)\) （中心，與一切元素交換的元素集）是大小 1 的軌道之併， \(C_G(x)\) 是中心化子。

第一個戰果：若 \(|G| = p^n\) （素數冪），則每個非中心軌道大小是 \(p\) 的冪、大於 1，故被 \(p\) 整除；類方程兩邊模 \(p\) ，得 \(|Z(G)| \equiv 0 \pmod p\) 。又 \(e \in Z(G)\) ，故 \(|Z(G)| \ge p > 1\) 。定理：素數冪階群有非平凡中心。這是「軌道—穩定子」路線的第一個非平凡定理，也是 Sylow 證明的入場磚。

Sylow 三定理#

設 \(|G| = p^a m\) （ \(p \nmid m\) ）。Sylow \(p\) -子群指階恰為 \(p^a\) 的子群（ \(p\) -群的最大可能）。

第一 Sylow 定理：Sylow \(p\) -子群存在；且每個 \(p\) -子群都含於某個 Sylow \(p\) -子群。 第二 Sylow 定理：一切 Sylow \(p\) -子群互相共軛。 第三 Sylow 定理：Sylow \(p\) -子群的個數 \(n_p\) 滿足 \(n_p \equiv 1 \pmod p\) 且 \(n_p \mid m\) 。

證明思想（第二、三條）：設 \(P\) 是一個 Sylow \(p\) -子群，讓 \(P\) 以左平移作用於全體 Sylow \(p\) -子群的集合。每個軌道大小是 \(|P| = p^a\) 的冪；直接計數（Cauchy–Frobenius 技巧）證明只有一個軌道，且其中有大小 1 的軌道（ \(P\) 自身不動自己）——於是只有一個 Sylow 子群，即它們都等於 \(P\) 、從而互相共軛。第三條：讓 \(G\) 以共軛作用於 Sylow 子群集，軌道大小即 \(n_p\) ；不動點計數給 \(n_p \equiv 1 \pmod p\) ，而 \(n_p = [G : N_G(P)]\) （正規化子指標）整除 \(|G|/p^a = m\) 。 \(\blacksquare\)

歷史注：Sylow 1872 年發表於《Mathematische Annalen》，同年他還糾正了 Abel 遺稿中一處錯誤。他是高中教師，44 歲才獲得大學職位（Kristiania，即奧斯陸）——Sylow 定理是「中學教師改變大學課程」的傳奇。Sylow 本人是 Galois 理論在挪威的早期傳播者，與 Lie（8.1 節）同為挪威代數傳統的兩極。

Sylow 定理的應用方法論#

Sylow 定理是「用計數排除結構」的工程學。標準套路：

  1. 對每個素因子 \(p\) ，寫出 \(n_p\) 的約束（ \(n_p \equiv 1 \pmod p\) ， \(n_p \mid m\) ）。
  2. 若 \(n_p = 1\) ，則唯一的 Sylow \(p\) -子群正規。
  3. 積累足夠多的正規子群，用半直積或直積拼出群。

經典範例： \(|G| = pq\) （ \(p < q\) 素數）： \(n_q \mid p\) 且 \(n_q \equiv 1 \pmod q\) ，故 \(n_q = 1\) —— \(q\) 階 Sylow 子群正規。因此任何 \(pq\) 階群都有正規的 \(q\) 階子群（當 \(q \nmid p-1\) 時整個群是循環群 \(\mathbb{Z}/pq\) ；否則為 \(\mathbb{Z}/pq \rtimes \mathbb{Z}/p\) 型）。

更大的獵物：12 階群、30 階群、 \(p^2 q\) 階群的分類，都是 Sylow 套路的層層推進。這類「小階分類」在十九世紀末是群論的中心工作，Hölder、Cole 等人完成了直到 100 階的手工分類——一項在計算機時代被重演並大幅擴展的工程。

作用思想的更大舞台#

群作用在現代數學中的化身遠超有限群論：

  • 晶體學：空間群作用於晶格，230 種空間群是作用分類（Fedorov、Schoenflies 1891）。
  • Galois 理論：Galois 群作用於根集——6.1 節的全部內容就是一個作用的解剖。
  • 表示論：作用於向量空間即是線性表示（7.2 節）。
  • 組合學：Pólya 計數、圖自同構。
  • 數論：Galois 群作用於代數整數的素理想（Dedekind）。
  • 幾何與物理：Klein 的 Erlangen 綱領（1872！與 Sylow 定理同年）宣告「幾何＝研究作用下的不變量」；Noether 定理（10.2 節）把物理守恆律歸結為連續群作用。

1872 年因此是群論的奇蹟之年：Sylow 的有限、Klein 的幾何、Lie 的連續（8.1 節起），三條路同時開工。

一個具體例題#

例題 3.3.1：用 Sylow 定理證明：15 階群必循環（重做 3.1 節例題，這次「正式地」），並判斷 12 階群有幾種可能結構（不必完整分類，僅用 Sylow 約束）。

解（15 階）： \(|G| = 3 \times 5\) 。 - \(n_5 \mid 3\) 且 \(n_5 \equiv 1 \pmod 5\) ：候選 \(n_5 = 1\) （3 被 5 除餘 3，排除 \(n_5 = 3\) ？檢查： \(3 \equiv 3 \pmod 5 \ne 1\) ，故 \(n_5 = 1\) ）。 - \(n_3 \mid 5\) 且 \(n_3 \equiv 1 \pmod 3\) ：候選 \(n_3 = 1\) （ \(5 \equiv 2 \pmod 3 \ne 1\) ，故 \(n_3 = 1\) ）。

兩個 Sylow 子群都唯一，故都正規，記為 \(H\) （3 階）、 \(K\) （5 階）。 \(H \cap K = \{e\}\) （階互質）， \(HK\) 的階為 \(3 \times 5 = 15\) （因 \(|HK| = \frac{|H||K|}{|H \cap K|}\) ），故 \(G = HK\) 。兩因子正規且交平凡 ⇒ 元素交換 ⇒ \(G \cong H \times K \cong \mathbb{Z}/3 \times \mathbb{Z}/5 \cong \mathbb{Z}/15\mathbb{Z}\) 。 \(\blacksquare\)

解（12 階的約束）： \(12 = 2^2 \times 3\) 。 - \(n_3 \mid 4\) 且 \(n_3 \equiv 1 \pmod 3\) ： \(n_3 = 1\) 或 \(4\) 。 - \(n_2 \mid 3\) 且 \(n_2 \equiv 1 \pmod 2\) ： \(n_2 = 1\) 或 \(3\) 。

兩者都可非 1，故 Sylow 定理不強制任何正規子群——這與事實一致：12 階群共有 5 個同構類（ \(\mathbb{Z}/12\) 、 \(\mathbb{Z}/6 \times \mathbb{Z}/2\) 、 \(A_4\) 、 \(D_6\) 、 \(\mathbb{Z}/3 \rtimes \mathbb{Z}/4\) 型的 dicyclic 群），其中 \(A_4\) 的 \(n_3 = 4\) 、 \(D_6\) 的 \(n_2 = 3\) 。Sylow 定理劃定可能的疆界；完整分類需要更多工具（如 3.1 節場景四的 Frobenius 計數）。

歷史啟示#

  • 作用的觀點是群論的「顯微鏡」：同一個群，換一個作用，就照出一層新結構（共軛作用照出中心、平移作用照出 Cayley 嵌入、共軛子群作用照出 Sylow 家族）。問「它作用在哪裡」是群論研究的第一反射。
  • 計數可以證明存在：Sylow 證明的本質是「軌道大小的整除性 + 模 \(p\) 計數的矛盾」。純計數竟能逼出子群的存在——這是有限數學的奇蹟之一。
  • 挪威的雙子星：Abel（貧病早逝的天才）與 Sylow（大器晚成的教師）代表數學社群的兩種命運，卻共同供養了 Galois 理論的兩大支柱（根式不可解與 Sylow 分解）。數學史的敘事不該只收藏悲劇天才。

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

  • 3.1 節：Sylow 是 Lagrange 整除律的「兌現補充」與 Cauchy 定理的升級。
  • 3.2 節： \(n_p = 1\) ⇒ Sylow 子群正規，是可解性論證的標準起手式。
  • 5.2 節：有限體乘法群的循環性證明用到 \(p\) -群分解（Sylow 思想的體論版本）。
  • 6.3 節： \(A_5\) 單性的證明以 Sylow 計數為骨架。
  • 7.2 節：表示論的 Maschke 定理證明使用平均化技巧，其零階原型是 Burnside 引理。
  • 10.2 節：晶體空間群、粒子物理的離散對稱，都以作用語言表述。
  • 組合學與化學：Pólya 計數定理直接建立在群作用上。

練習#

  1. 求 \(D_4\) 作用於正方形四頂點的軌道與穩定子，驗證軌道—穩定子公式。
  2. 寫出 \(S_4\) 的類方程（各共軛類大小），並求其中心。
  3. 用 Sylow 定理證明：8 階群的中心非平凡，且任何 8 階群都正規地含有 \(\mathbb{Z}/2\) 或 \(\mathbb{Z}/4\) 子群。
  4. 證明：21 階群若 \(n_7 = 1\) （事實必如此，驗證之），則 \(G\) 同構於 \(\mathbb{Z}/21\) 或 \(\mathbb{Z}/7 \rtimes \mathbb{Z}/3\) 。
  5. 思考題：Sylow 第二定理說 Sylow 子群「互相共軛」。解釋為什麼「共軛」恰好刻畫了「同一結構的不同擺放」，並用 \(S_3\) 的三個 2 階子群具體展示。

進階研讀：群作用的四個深化場景#

場景一：雙陪集與更精細的鋪瓷磚。 \(H, K \le G\) 的雙陪集 \(H g K\) 是「左乘 \(H\) 、右乘 \(K\) 」的軌道，它們也分割 \(G\) ，但大小不必相等（ \(|HgK| = \frac{|H||K|}{|H \cap gKg^{-1}|}\) ）。雙陪集分解是 Galois 理論計算、Hecke 代數、以及自守形式理論的地基——Langlands 綱領的技術詞彙中，雙陪集是「質點」單位。Sylow 的單陪集瓷磚升級為雙陪集，群論便接上了表示論與數論。

場景二：傳遞作用與 Galois 理論的字典。作用在 \(n\) 元集上且只有一個軌道的作用稱傳遞；傳遞作用與「子群到指標 \(n\) 」一一對應（ \(\mathrm{Stab}(x_0)\) ）。Galois 理論中，方程的群在根集上的作用永遠傳遞（根不可分「階層」），且傳遞作用恰對應「不可約方程」——可約性、傳遞性、指標三位一體。這是 6.1 節 Galois 對應的最日常形態，也是計算方程 Galois 群（Stauduhar 演算法、Resolvent 方法）的實務基礎。

場景三：Sylow 定理的推廣與「failure」的地形。Sylow 定理在多個方向被推廣：Hall 定理（可解群中，對互質階 \(|G| = mn\) 存在 \(m\) 階子群——注意「可解」是必要前提！）、Brauer–Fowler 定理（偶階單群由中心化子控制）、以及有限單群分類中的「子群構造法」。而反方向：一般群中「 \(d\) 整除 ⇒ \(d\) 階子群」為假（ \(A_4\) ）、Hall 定理在非可解群為假（ \(A_5\) 無 20 階子群）——存在性定理的邊界，正好刻畫可解性與單性。失敗案例不是遺憾，而是理論的測深儀。

場景四：Burnside \(p^a q^b\) 定理與 Feit–Thompson 的接力。Burnside（1904）用表示論證明：階只含兩個素因子的群必可解。Feit–Thompson（1963）的 255 頁論文證明：奇階群必可解（故非交换单群必含 2 的冪次）。兩者都以「作用＋計數＋特徵標」為武器，階梯式逼近單群的完整清單（1983 CFSG）。這條「從 Sylow 到 CFSG」的接力顯示：有限的結構最終完全確定，但需要百年、上萬頁——有限不等於容易，這是二十世紀數學的教訓之一。

補充：Sylow 定理的「教師版本」考據#

Sylow 1872 年論文《Théorèmes sur les groupes de substitutions》以法文發表（當時挪威學界的國際慣例），證明對置換群敘述，未用「作用」術語——他實際寫出的是「兩個同階置換群可經變數替換互化」。現代「作用＋軌道」的證明是 Burnside 與 Cayley 傳統合流後的改寫（1920s 教科書化）。有趣的是，Sylow 對自己定理的未來用途並無預見：他在 1877 年致 Lie 的信中說這些結果「也許對 Lie 的連續群有用」——事實上它們服務的是有限群分類工程。數學家對自己成果的用處預測，常错得可愛。

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

  • 群作用： \(G\) 在集合 \(X\) 上的對稱移動。
  • 軌道 / 穩定子：單點能到達的全體位置 / 使點不動的子群。
  • 軌道—穩定子公式： \(|\mathcal{O}(x)| = [G : \mathrm{Stab}(x)]\) 。
  • 共軛類 / 中心 / 中心化子：共軛軌道 / 與一切交換的元素集 / 固定單點的子群。
  • 類方程： \(|G| = |Z(G)| + \sum [G:C_G(x_i)]\) 。
  • Sylow \(p\) -子群：階為 \(p\) 的最大冪 \(p^a\) 的子群。
  • ** \(n_p\) 條件**： \(n_p \equiv 1 \pmod p\) 且 \(n_p \mid m\) 。
  • 傳遞作用：只有一個軌道的作用。

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

  • 1845：Cauchy 定理（Sylow 的素階特例）。
  • 1872：Sylow 三定理發表；Klein 提出 Erlangen 綱領（同年）。
  • 1873：Lie 開始連續群研究（同年，見 8.1 節）。
  • 1891：Fedorov 與 Schoenflies 完成 230 空間群分類。
  • 1904：Burnside \(p^a q^b\) 可解性定理。
  • 1911：Burnside《群論》第二版使作用語言教科書化。
  • 1963：Feit–Thompson 奇階定理。
  • 1983：有限單群分類宣告完成。

深化問答三則#

問：為什麼 Sylow 定理被稱為「有限群論的承重牆」？ 答：因為它是唯一的「無條件存在性＋數量控制」定理：不管群的結構多陌生，素數冪子群一定存在、個數模 \(p\) 為 1。一切有限群論證（可解性、單性、分類）的第一步都是「找 Sylow 子群、數 \(n_p\) 」。就像建築的地基不顯眼，但所有上層結構都站在它上面。

問：類方程「模 \(p\) 論證」看起來只是小技巧，它深在哪裡？ 答：它深在把不變量變成整除條件：軌道大小整除群階（Lagrange），而中心軌道大小為 1——兩種軌道的「算術性質不同」，模 \(p\) 一比就把 \(|Z(G)|\) 逼成 \(p\) 的倍數。這個「用算術差異分類軌道」的模式，在表示論（特徵標整數性，7.3 節）與代數拓撲（不動點定理）中反覆升級。小技巧是大模式的縮影。

問：Erlangen 綱領與 Sylow 定理同年問世，這是巧合嗎？ 答：不全是。1870 年代的數學文化正處於「對稱成為中心概念」的轉折：Galois 遺稿（1846）已廣泛傳播、Jordan《置換論》（1870）剛統一了語言。Sylow（有限代數方向）與 Klein–Lie（幾何與分析方向）是同一文化時刻的兩個分支。這提醒我們：重大定理的時間聚集，反映的是概念基礎設施（此處是「群」的語言）的成熟，而非個人運氣。

（本節完）