2.2 群公理與基本性質#
本章導言#
Galois 把「置換的封閉集」對象化（2.1 節），但置換只是眾多對稱之一。1854 年 Arthur Cayley（1821–1895） 在《論映射理論》中提出：不論元素是置換、數、變換還是幾何操作，只要滿足四條公理，就是同一種數學對象——群。公理化使「對稱」從各領域的零散事實升格為統一的數學宇宙。本節給出群公理，從公理推出基本性質，並展示群的「個性」如何被公理允許得千姿百態。
群的定義#
定義（群，group）：非空集合 \(G\) 搭配二元運算 \(\cdot : G \times G \to G\) ，滿足：
- 結合律：對任意 \(a, b, c \in G\) ， \((a \cdot b) \cdot c = a \cdot (b \cdot c)\) 。
- 單位元：存在 \(e \in G\) 使 \(e \cdot a = a \cdot e = a\) 對所有 \(a\) 成立。
- 逆元：對每個 \(a \in G\) 存在 \(a^{-1} \in G\) 使 \(a \cdot a^{-1} = a^{-1} \cdot a = e\) 。
（第四條「封閉性」已含於「二元運算」的定義中。）若另滿足交換律 \(a \cdot b = b \cdot a\) ，稱交換群或 Abel 群。
注意刻意不要求交換律——這是 Galois 置換理論的直接遺產：置換的合成不交換（先穿襪再穿鞋，不同於先穿鞋再穿襪），而置換恰恰是 Galois 理論的主角。交換與否，就是「平凡的對稱」與「Galois 式對稱」的分水嶺。
群的例子速覽#
| 例子 | 運算 | 單位元 | 交換？ | 階（有限時） |
|---|---|---|---|---|
| \(\mathbb{Z}\) | 加法 | \(0\) | 是 | 無限 |
| \(\mathbb{Q} \setminus \{0\}\) | 乘法 | \(1\) | 是 | 無限 |
| \(\{1, -1\}\) | 乘法 | \(1\) | 是 | \(2\) |
| \(\mathbb{Z}/n\mathbb{Z}\) | 加法（模 \(n\) ） | \(0\) | 是 | \(n\) |
| \(S_n\) （ \(n\) 次對稱群） | 置換合成 | 恆等置換 | \(n \ge 3\) 時否 | \(n!\) |
| 二面體群 \(D_4\) （正方形對稱） | 操作合成 | 恆等 | 否 | \(8\) |
| 可逆矩陣 \(GL_n(\mathbb{R})\) | 矩陣乘法 | 單位矩陣 | \(n \ge 2\) 時否 | 無限 |
每一個例子都來自一個具體場景（時鐘、解方程、正方形、線性變換），公理使它們在同一屋簷下互相比較。這正是公理化的目的：一次證明，處處適用。
由公理推出的基本性質#
以下性質全部只用三條公理證出，對一切群成立。
定理 2.2.1：單位元唯一。 證：設 \(e, e'\) 都是單位元，則 \(e = e \cdot e' = e'\) 。 \(\blacksquare\)
定理 2.2.2：每個元素的逆元唯一。 證：設 \(b, c\) 都是 \(a\) 的逆元，則 \(b = b \cdot e = b \cdot (a \cdot c) = (b \cdot a) \cdot c = e \cdot c = c\) （用結合律）。 \(\blacksquare\)
定理 2.2.3（消去律）： \(a \cdot b = a \cdot c \Rightarrow b = c\) ； \(b \cdot a = c \cdot a \Rightarrow b = c\) 。 證：兩邊左乘（或右乘） \(a^{-1}\) ，用結合律。 \(\blacksquare\)
定理 2.2.4（穿靴襪律）： \((a \cdot b)^{-1} = b^{-1} \cdot a^{-1}\) 。 證： \((b^{-1}a^{-1})(ab) = b^{-1}(a^{-1}a)b = e\) ，由逆元唯一性得證。 \(\blacksquare\)
定理 2.2.5（指數律的半邊）：對 \(m, n \ge 0\) ， \(a^m a^n = a^{m+n}\) ， \((a^m)^n = a^{mn}\) ；交換群中可加 \(a^{-n} = (a^{-1})^n\) 的完整指數律。 （證明用歸納法，細節留作練習。）
這些證明看似平淡，但它們的普適性正是力量所在：無論對象是時鐘小時、密碼鑰匙還是晶格對稱，穿靴襪律一律成立。
群的兩種基本視角：乘法與加法#
同一公理系有兩套慣用記號，讀者必須流利切換：
| 乘法記號 | 加法記號 | |
|---|---|---|
| 運算 | \(a \cdot b\) | \(a + b\) |
| 單位元 | \(e\) 或 \(1\) | \(0\) |
| 逆元 | \(a^{-1}\) | \(-a\) |
| 冪 | \(a^n\) | \(na\) （倍數） |
| 典型場合 | 一般（非交換）群、置換、矩陣 | Abel 群、循環群、模 |
慣例：非交換群幾乎總用乘法記號；交換群兩者皆可，環論（第 4 章）中加法群一律用加法。
群的同構：什麼時候兩個群是「同一個」#
定義：映射 \(\varphi : G \to H\) 稱為同態（homomorphism），若 \(\varphi(ab) = \varphi(a)\varphi(b)\) ；若還是雙射，稱同構，記 \(G \cong H\) 。同構的群在群論眼中不可區分。
第一個深刻例證（即 Cayley 定理，3.1 節將完整證明）：每個群都同構於某個置換群的子群。抽象群並非比置換群更「一般」，而是更本質——它剝離了具體實現，只留運算骨架。
指數階與元素的「壽命」#
定義：元素 \(a\) 的階是使 \(a^n = e\) 的最小正整數 \(n\) （若存在），記 \(|a|\) 或 \(\mathrm{ord}(a)\) ；不存在則稱無限階。
定理 2.2.6：有限群中每個元素都有有限階，且 \(|a|\) 整除 \(|G|\) （證明在 3.1 節 Lagrange 定理框架下完成）。
元素的階是「個性檔案」：在 \(\mathbb{Z}/12\mathbb{Z}\) （時鐘）中，元素 \(5\) 的階是 \(12\) （從任何整點出發，每小時走 5 格，12 小時後回到原點且中途不回）、 \(6\) 的階是 \(2\) 、 \(4\) 的階是 \(3\) 。階的整除結構，就是循環性與子群結構的種子（2.3 節）。
群為什麼是「正確」的抽象？#
歷史上候選公理系不止一種。十九世紀末，數學家考慮過要求消去律但不要逆元（半群）、要求交換（Abel 群先行）、允許「除法可能失敗」（擬群）。最終勝出的原因是用途密度：群公理恰好覆蓋了置換（Galois）、幾何對稱（晶體學）、變換（Lie）、數的單位（數論）四大傳統，而修改任何一條都會切斷至少一條血脈。抽象不是越廣越好，而是剛好夠用、又剛好夠強。
一個具體例題#
例題 2.2.1：證明 \(G = \{1, 3, 5, 7\}\) 在「乘法模 8」下是群，並求每個元素的階與逆元。
解：先驗封閉性：兩個奇數之積模 8 仍為奇數且在 \(\{1,3,5,7\}\) 中（逐一驗證： \(3 \times 5 = 15 \equiv 7\) ， \(5 \times 7 = 35 \equiv 3\) ， \(3 \times 7 = 21 \equiv 5\) ， \(3 \times 3 = 9 \equiv 1\) ， \(5 \times 5 = 25 \equiv 1\) ， \(7 \times 7 = 49 \equiv 1\) 等）。結合律繼承自整數乘法。單位元是 \(1\) 。逆元（由上表）： \(3^{-1} = 3\) 、 \(5^{-1} = 5\) 、 \(7^{-1} = 7\) ——每個非單位元的逆元都是自己（這樣的元素稱為對合，involution）。
元素的階： \(|1| = 1\) ； \(|3| = |5| = |7| = 2\) 。注意 \(3 \times 5 = 7\) ，即 \(\{1,7\}\) 與 \(\{1,3,5,7\}\) 都是子群（2.3 節），且 \(|G| = 4\) 、每個元素階整除 4——Lagrange 定理在這個小群上已可觸摸。
又因乘法模 8 交換，這是 Abel 群；再注意它不是循環群：沒有元素的階達到 4。這給出重要教訓： \(|G| = n\) 不保證 \(G\) 含 \(n\) 階元素——與 \(\mathbb{Z}/4\mathbb{Z}\) （循環）對照， \(\{1,3,5,7\}\) 是「非循環的四階群」的標準例子，兩者是僅有的兩個四階群（在 3.3 節讀者將能證明這一點）。
歷史啟示#
- 公理化是「發明共通語言」：Cayley 的公理讓 Galois 的置換、Jordan 的變換、晶體學家的操作說同一種話。語言統一之後，跨領域定理（如 Lagrange 定理）自動複製到每個領域。
- 不交換是財富：公理刻意不要求交換，使群論能容納置換與矩陣。刻意「少要求」是抽象化的核心技術。
- 例子先於定義：群公理出現在幾十個具體例子之後。學抽象代數的正序是例子→定義→定理，而非相反。
與其他章節及領域的關聯#
- 2.3 節：由元素生成子群，是研究群的第一個系統手段。
- 3.1–3.3 節：Lagrange、Cayley、Sylow 三大定理把本節的初等性質組織成結構理論。
- 4.1 節：環的公理 = 一個加法 Abel 群 + 一個乘法半群 + 分配律；群是環的地基。
- 7.2 節：群的表示論把抽象群變成矩陣，是「Cayley 定理精神」的升級版。
- 8.1 節：把「有限次合成」的離散對稱換成「連續參數」的對稱，即 Lie 群；公理不變，拓撲進場。
- 物理（10.2 節）：守恆律與對稱群一一對應（Noether 定理），群公理是物理定律表述的文法。
練習#
- 證明：若 \(G\) 中每個元素滿足 \(a^2 = e\) ，則 \(G\) 是交換群。
- 在 \(\mathbb{Z}/12\mathbb{Z}\) （加法）中求元素 \(5, 8, 9\) 的階，並寫出由 \(3\) 生成的子群。
- 證明定理 2.2.5 的指數律（對 \(n \ge 0\) 歸納），並指出哪一步用到結合律。
- 考慮 \(2\times 2\) 實矩陣 \(\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}\) 與 \(\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}\) 生成的矩陣群：驗證封閉性、求群的全部元素與每個元素的階。
- 思考題：若把公理中的「逆元存在」刪去，僅保留結合律與單位元，得到的對象（么半群）會失去哪些本節定理？這說明逆元公理「買到」了什麼？
進階研讀：群公理的四個深化場景#
場景一：公理的獨立性檢驗。三條公理互相獨立嗎？結合律獨立（自然數加法無逆元、非結合運算如減法存在）；逆元公理依賴結合律才能推出「唯一性」與良好的指數律——在非結合系統中「逆元」定義本身會分岔（左逆、右逆）。做公理的「思想實驗」——刪一條、看崩塌什麼——是檢驗理解深度的試金石，也預告了 3.2 節「正規性為何必要」的同類分析。
場景二：小群的分類作為顯微鏡。二階群唯一（ \(\mathbb{Z}/2\mathbb{Z}\) ）、三階群唯一（ \(\mathbb{Z}/3\mathbb{Z}\) ）、四階群恰兩個（ \(\mathbb{Z}/4\mathbb{Z}\) 與 Klein 四元群 \(V_4 \cong \mathbb{Z}/2 \times \mathbb{Z}/2\) ）、六階群恰兩個、八階群恰五個。親手分類小群是學習群論的最佳體操：它迫使你在具體 Cayley 表中看見公理的後果。本書 3.3 節會用 Sylow 定理把這項體操升級為系統方法。
場景三：群論三源流的合流。群論有三條獨立起源：Galois 的方程根置換（1832）、Bravais 與晶體學家的空間對稱（1849–1850）、以及 Klein 與 Lie 的幾何變換（1872 Erlangen 綱領與 1873 連續群）。1870 年 Jordan 的《置換論》是第一次合流，1880 年代抽象公理（Cayley 1854 已提出，經 Kronecker、Weber、Hölder 完成）是第二次。「多源合流」是數學大概念誕生的典型模式——概念的成功以其能統一的傳統數量計價。
場景四：Cayley 表與「乘法口訣」。有限群可用 Cayley 表完整記錄（本節例題的 \(\{1,3,5,7\}\) 表中對角線恰為 \(1\) ，因為每個非單位元是對合）。從 Cayley 表讀群有三個基本技巧：找單位元（行與列皆為重排）、判交換（表對稱與否）、找子群（表中的封閉小方塊）。讀者應對 \(D_4\) （八階）親手畫表一次——它是非交換群的最小「完整樣本」，其結構（一個四階旋轉循環 + 四個二階翻轉）將反覆出現在本書各章。
補充：Klein 四元群的兩副面孔#
\(V_4 = \{e, a, b, c\}\) （ \(a^2 = b^2 = c^2 = e\) ， \(ab = c\) ）有兩個等價描述：正方形對稱中的 \(\{e, 180°\) 旋轉, 水平翻轉, 垂直翻轉 \(\}\) ，與 \(\mathbb{Z}/2 \times \mathbb{Z}/2\) （兩個獨立開關）。同構 \(V_4 \cong \mathbb{Z}/2 \times \mathbb{Z}/2\) 是「同一群的多重化身」的最小例子，也是直積構造（3.2 節商群之後登場）的先聲。物理中，自旋 \(\frac12\) 粒子的宇稱變換群正是 \(V_4\) 的化身——最小的不平凡結構，往往已在自然中就業。
名詞速查表（本節出現的核心術語）#
- 群 / Abel 群：滿足結合、單位、逆元（與交換）的運算系統。
- 同態 / 同構：保持運算的映射 / 保持運算的雙射。
- 元素的階： \(a^n = e\) 的最小正 \(n\) 。
- 對合：階為 2 的元素。
- Cayley 表：有限群運算的完整表格。
- 么半群：只有結合律與單位元、無逆元要求的結構。
- Klein 四元群：四階非循環群 \(V_4\) 。
年表速查（本節涉及的關鍵年份）#
- 1832：Galois 遺稿中的置換封閉集。
- 1846：Liouville 刊出 Galois 遺稿。
- 1849–1850：Bravais 導出晶體對稱群。
- 1854：Cayley《論映射理論》提出抽象群公理。
- 1870：Jordan《置換論》第一次系統化群論。
- 1872：Klein Erlangen 綱領：幾何即變換群的研究。
- 1882–1889：Weber、Hölder 完成抽象群定義的現代形式。
- 1897：Burnside《群論》出版，抽象群論成為獨立學科。
深化問答三則#
問：為什麼結合律不可省略？日常生活裡的運算哪個不結合？ 答：結合律保證「 \(a b c\) 不需括號」——沒有它，指數律、逆元唯一性、子群乘積全部瓦解。日常反例：減法（ \((10-5)-2 = 3 \ne 7 = 10-(5-2)\) ）、冪運算（ \((2^3)^2 = 64 \ne 512 = 2^{(3^2)}\) ）。群論選擇結合律，是為了讓「多步操作的次序」有意義且可重組——這正是「對稱」的實務需求。
問：學習時應該「背」群的公理嗎？ 答：不應背誦，而應掌握驗證流程：拿到候選群，按固定四步走——封閉、結合（常繼承）、單位（猜並驗證雙側）、逆（逐一或用公式）。以矩陣群為例，封閉看乘積是否仍在集合內、逆看行列式條件。公理是檢查清單（checklist），不是需要默寫的經文。
問：群論的「抽象」會不會離現實太遠？ 答：恰恰相反，群是數學中「抽象回報率」最高的例子之一：晶體學的 230 種空間群（19 世紀末）、粒子物理的 \(SU(3) \times SU(2) \times U(1)\) 標準模型（20 世紀）、密碼學的橢圓曲線群（21 世紀），用的是同一套公理與同一批定理。抽象的意義不是離開現實，而是一次投資、多重兌現。
（本節完）