2.3 循環群與子群#

本章導言#

給定一個群，如何從中「長出」較小的群？最自然的答案是：取一個元素，反覆用它的運算——得到的集合稱為循環子群。循環群是群宇宙的「氫原子」：結構最簡單、完全可分類，卻蘊含了子群、階、生成元等核心概念的全部原型。本節建立子群的判別法，完整分類循環群，並以時鐘與離散對數為例，預告數論與密碼學（10.1 節）的入口。

子群的定義與判別法#

定義： $H \subseteq G$ 稱為子群（記 $H \le G$ ），若 $H$ 在 $G$ 的運算下自身成群。這要求： $e \in H$ ； $a, b \in H \Rightarrow ab \in H$ ； $a \in H \Rightarrow a^{-1} \in H$ 。

逐一驗證三件事很累，好在有一條合併判別法：

定理 2.3.1（一步判別法）：非空子集 $H \le G$ 若且唯若對任意 $a, b \in H$ 有 $ab^{-1} \in H$ 。證：必要性顯然。充分性：取 $a \in H$ ，令 $b = a$ 得 $e = aa^{-1} \in H$ ；再取 $b = e$ 得 $a^{-1} \in H$ ；最後 $a, b \in H$ 時 $ab = a(b^{-1})^{-1} \in H$ 。 $\blacksquare$

例： $n\mathbb{Z} = \{0, \pm n, \pm 2n, \dots\}$ 是 $\mathbb{Z}$ 的子群（ $ma - nb$ 仍屬於 $n\mathbb{Z}$ ）；偶數群 $2\mathbb{Z}$ 是 $\mathbb{Z}$ 的「半個」，奇數全體則不是（ $1 + 1 = 2$ 逃逸）。

由元素生成：循環子群#

定義：對 $a \in G$ ，記 $\langle a \rangle = \{a^n : n \in \mathbb{Z}\}$ ，稱為 $a$ 生成的循環子群；若 $\langle a \rangle = G$ ，稱 $G$ 是循環群， $a$ 是其生成元。

定理 2.3.2： $\langle a \rangle$ 是子群；若 $|a| = m$ ，則 $\langle a \rangle = \{e, a, a^2, \dots, a^{m-1}\}$ 且恰有 $m$ 個相異元素。證：封閉性由 $a^s a^t = a^{s+t}$ ； $e$ 與逆由 $a^0$ 、 $a^{-1}$ 。若 $|a| = m$ ，則 $a^m = e$ 使指數模 $m$ 後化約，故至多 $m$ 個元素；若 $a^s = a^t$ （ $0 \le s < t < m$ ），則 $a^{t-s} = e$ 與階的最小性矛盾。 $\blacksquare$

兩大範例：

無限循環群： $\mathbb{Z}$ （加法），生成元 $1$ 與 $-1$ ——只有這兩個。
有限循環群： $\mathbb{Z}/n\mathbb{Z}$ ，模 $n$ 加法；以及更深刻地， $(\mathbb{Z}/p\mathbb{Z})^\times$ （模素數的非零元乘法群，5.2 節證明其循環性）。

定理 2.3.3（循環群的完全分類）：無限循環群都同構於 $\mathbb{Z}$ ； $n$ 階循環群都同構於 $\mathbb{Z}/n\mathbb{Z}$ 。循環群被其階完全決定。 證：若 $G = \langle a \rangle$ 無限，映射 $n \mapsto a^n$ 是 $\mathbb{Z} \to G$ 的同構（指數律）；若有限 $n$ 階，映射 $k \mapsto a^k \pmod n$ 是 $\mathbb{Z}/n\mathbb{Z} \to G$ 的同構。 $\blacksquare$

這是本書第一個完整的分類定理——「同階的循環群只有一種」。對照：四階群有兩種（2.2 節），可見循環性是極強的限制。

生成元的計數：Euler $\varphi$ 函數登場#

定理 2.3.4： $\mathbb{Z}/n\mathbb{Z}$ 的生成元恰為 $\{k : \gcd(k, n) = 1\}$ ，共 $\varphi(n)$ 個；循環群 $\langle a \rangle$ （ $|a| = n$ ）的生成元為 $a^k$ ， $\gcd(k,n)=1$ 。

例： $\mathbb{Z}/12\mathbb{Z}$ 的生成元是 $1, 5, 7, 11$ （ $\varphi(12) = 4$ ）。時鐘語言：從 12 點出發每次走 5 小時，12 步遍歷全部鐘面；每次走 4 小時則只觸及 $\{0,4,8\}$ ——步長與總長互質，才能遍歷。這個「互質 ⇒ 遍歷」的原則，就是離散對數與 Diffie–Hellman 密鑰交換的數學心臟（10.1 節）。

循環群的子群：一個驚人的整潔結構#

定理 2.3.5：循環群的子群仍是循環群。且 $n$ 階循環群對 $n$ 的每個正因子 $d$ 恰有一個 $d$ 階子群。

例： $\mathbb{Z}/12\mathbb{Z}$ 的因子為 $1, 2, 3, 4, 6, 12$ ，子群依次為 $$ {0} \subset {0,6} \subset {0,4,8} \subset {0,3,6,9} \subset {0,2,4,6,8,10} \subset \mathbb{Z}/12\mathbb{Z}, $$ 其中 $d$ 階子群由 $\frac{n}{d}$ 生成（ $d = 4$ 時由 $3$ 生成）。子群格完全復刻因子格——循環群的內部結構就是整除性結構。這一「結構即數論」的現象，將在 3.1 節以 Lagrange 定理的一般形式昇華。

對照警示：子群不必由單元素生成。 $D_4$ （正方形對稱群，八階）的子群 $\{e, \text{水平翻轉}, \text{垂直翻轉}, 180°\}$ 是 Klein 四元群——需要兩個生成元。循環群的「一格一因子」整潔性是特權，不是普遍權利。

群的生成集與「規模」的直覺#

推廣生成元： $G = \langle a_1, \dots, a_k \rangle$ 表示每個元素可寫為這些元素的整數冪之積。群的「生成數」是最小的 $k$ ，粗糙地度量其複雜度：循環群生成數為 1； $V_4$ 需要 2； $S_n$ 可由 2 個元素生成（ $n \ge 3$ ：一個 $n$ -循環與一個對換）——巨大的群也可能由極少的「原子操作」長成。現代有限單群分類的哲学正是：把一切有限群視為少數「原子」（素數階循環群、交錯群、Lie 型群、零星群）的組合。

一個具體例題#

例題 2.3.1：在 $(\mathbb{Z}/13\mathbb{Z})^\times = \{1, 2, \dots, 12\}$ （乘法模 13）中：(a) 求 2 生成的子群與 2 的階；(b) 判斷 2 是否為生成元；(c) 列出全部子群。

解：(a) 逐次平方： $2^2 = 4$ ， $2^4 = 16 \equiv 3$ ， $2^6 = 4 \times 3 = 12 \equiv -1$ ， $2^{12} = (2^6)^2 \equiv 1$ （Fermat 小定理的必然）。中途檢查 $2^3 = 8 \ne 1$ 、 $2^4 = 3 \ne 1$ 、 $2^6 = -1 \ne 1$ ，而 12 的真因子只有 $1, 2, 3, 4, 6$ ，均已排除，故 $|2| = 12$ 。

(b) $|2| = 12 = |(\mathbb{Z}/13\mathbb{Z})^\times|$ ，故 2 是生成元， $(\mathbb{Z}/13\mathbb{Z})^\times$ 是循環群，且 $2, 6, 7, 11$ （ $\varphi(13) = 12$ 個生成元中的四個）都是本原根。

(c) 13 是素數，因子只有 $1, 13$ ：子群僅有 $\{1\}$ 與全集兩個——素數階循環群沒有真子群。這也是 Lagrange 定理的最小子案例，同時預告了素數階群必循環的一般事實（3.1 節練習）。

此例中的計算程序（反覆平方、檢查因子）正是密碼學中判斷本原根的標準演算法——2.3 節的體操，是 10.1 節的熱身。

歷史啟示#

從一個元素讀出整個群：循環群告訴我們，群的複雜度可以低到「單基因」。極端案例的研究價值在於劃定「容易」的邊界，使我們知道困難從何處開始（非循環、非交換）。
結構即數論：循環群的子群格＝因子格。抽象代數與數論在循環群處首次無縫焊接，此焊接點日後成為密碼學的地基。
分類的野心由此萌芽：循環群分類的成功，使十九世紀數學家敢於夢想「分類所有有限群」——這個夢想耗費了一百年、上萬頁論文（有限單群分類，1983 宣布完成），是數學史上最大的集體工程。

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

3.1 節：Lagrange 定理解釋「為何子群的階必須整除」；Cayley 定理把一切群送回置換的世界。
3.2 節：循環群的子群都是正規的（Abel 群一切子群正規），是商群的第一個舞台。
4.3、5.2 節： $\mathbb{Z}/n\mathbb{Z}$ 是商環與有限體的雛形； $\mathbb{Z}/p\mathbb{Z}$ 是全部有限體的積木。
10.1 節：RSA 的模冪運算與 Diffie–Hellman 的離散對數，全部發生在本節的循環群裡。
數論：Euler 定理、Fermat 小定理在本節框架下就是「元素階整除群階」的特例。
信號處理：離散 Fourier 變換本質上是循環群的表示論（7.2 節）——時鐘與頻譜是同一件事。

練習#

用一步判別法證明 $\{(1), (12), (34), (12)(34)\}$ 是 $S_4$ 的子群，並判斷它是否循環。
在 $\mathbb{Z}/15\mathbb{Z}$ （加法）中列出全部子群，並對照 15 的因子格。
求 3 在 $(\mathbb{Z}/7\mathbb{Z})^\times$ 中的階，判斷其是否為本原根；若不是，指出它生成的子群。
證明：若 $G$ 是循環群且 $|G| = p$ 為素數，則 $G$ 恰有兩個子群。
思考題：證明無限循環群 $\mathbb{Z}$ 的每個非平凡子群都同構於 $\mathbb{Z}$ ，並說明「子群格＝因子格」在無限情形的類比（子群格＝非負整數的整除偏序）。

進階研讀：循環群的四個深化場景#

場景一：本原根的存在性。 $(\mathbb{Z}/n\mathbb{Z})^\times$ 並非總是循環：它是循環的當且僅當 $n = 1, 2, 4, p^k, 2p^k$ （ $p$ 奇素數）。Gauss 在《算術研究》（1801）第七篇完整證明了這一點，並以此為跳板研究分圓方程（第 6 章的前奏）： $\cos\frac{2\pi}{17}$ 可尺規作圖，正因為 $17 = 2^{2^2}+1$ 是 Fermat 素數、 $(\mathbb{Z}/17\mathbb{Z})^\times$ 的結構允許逐層二次開方——一條從時鐘算術通往幾何作圖的暗線，將在 5.3 節正式揭開。

場景二：離散對數作為「單向」的種子。在循環群 $\langle g \rangle$ （ $n$ 階）中，指數映射 $k \mapsto g^k$ 是雙射，其逆運算「求 $k$ 使 $g^k = h$ 」稱離散對數。正向（模冪）可用反覆平方在 $O(\log n)$ 次乘法完成；逆向目前無已知多項式時間演算法（最好的方法是亞指數的指標計算法）。這種易正向、難逆向的不對稱，是公鑰密碼學的全部秘密——本節的練習題，實際上是網路安全的入門磚。

場景三：直積與中國剩餘定理。 $\mathbb{Z}/12\mathbb{Z} \cong \mathbb{Z}/3\mathbb{Z} \times \mathbb{Z}/4\mathbb{Z}$ （因 $\gcd(3,4)=1$ ）：時鐘模 12 的資訊可拆成「模 3 的餘數 + 模 4 的餘數」兩軸。這是中國剩餘定理（孫子算經，約四世紀：「今有物不知其數，三三數之剩二……」）的群論形式，把循環群分解為素數冪階循環群的直積。分解思想將在第 3 章（有限 Abel 群的分類）與第 7 章（表示的完全可約性）中反覆升級——把複雜對象拆成素級積木，是代數學的方法論主旋律。

場景四：時鐘、十二音與模算術的文化身世。模 12 群不止在數學中：十二平均律的音高系統（半音迴圈）就是 $\mathbb{Z}/12\mathbb{Z}$ ，音程集合論（Pitch-class set theory，Babbitt 1960）直接以 $\mathbb{Z}/12\mathbb{Z}$ 的子群與置換分析作曲結構（移位 $T_k$ 與反演 $I$ 生成十二音群，同構於二面體群 $D_{12}$ ）。巴哈《音樂的奉獻》中的蟹行卡農是 $D_{12}$ 元素的具象；梅西安的「不可逆行節奏」是對合元素。抽象群早在成為密碼學之前，已在音樂廳排練了兩個世紀。

補充：Gauss《算術研究》與循環群的正式誕生#

在群概念出現之前 30 年，Gauss 已在《算術研究》(Disquisitiones Arithmeticae, 1801) 中發展了模算術的全部核心：階（他稱為「指數的週期」）、本原根、 $\varphi$ 函數、子群結構（以「指標」語言）。他把同餘寫成等式的運算系統，實質上是在研究群，只是尚未命名。Gauss 的工作展示了一種常見的歷史模式：先有完善的計算理論，後有承載它的概念框架——正如微積分早於極限定義（《微積分》1.1 節），循環群理論早於群論。

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

子群：自身成群的子集；一步判別法： $ab^{-1} \in H$ 。
循環群 / 生成元：由單一元素生成的群 / 生成它的元素。
本原根： $(\mathbb{Z}/n\mathbb{Z})^\times$ 的生成元。
Euler $\varphi$ 函數： $1$ 到 $n$ 中與 $n$ 互質的整數個數。
離散對數： $g^k = h$ 中的指數 $k$ 。
直積：以逐分量運算構造的積群。
一步判別法：子群的單條件檢驗。

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

約四世紀：《孫子算經》「物不知其數」問題——中國剩餘定理原型。
1801：Gauss《算術研究》：模算術、本原根、分圓理論系統化。
1854：Cayley 抽象群公理，循環群獲得框架。
1870s：Jordan 系統研究子群與生成元。
1923：Hölder–Burnside 傳統下有限 Abel 群分類定型。
1976：Diffie–Hellman 密鑰交換發表——循環群成為網路安全基石。
1977：RSA 提出並於 1978 發表，模冪與 Euler 函數就業。

深化問答三則#

問：為什麼說「循環群被階完全決定」如此重要？ 答：它提供了群論第一個「可完全控制」的地盤：在循環群內，一切問題化歸為整數的因子分解與互質性。理論上，它是檢驗新概念的試金石（子群、商群、直積的概念先在循環群上練習）；實務上，它是密碼學選擇的戰場——因為結構簡單，安全性的關鍵從「結構複雜度」轉移到「計算困難度」，這一視角轉換正是現代密碼學的起點。

問：如何記憶「子群格＝因子格」而不混淆？ 答：記住生成元的對應法則： $n$ 階循環群中， $d$ 階子群由 $a^{n/d}$ 生成——**因子 $d$ 對應冪 $n/d$ **，是「倒數對應」。例如 12 階群的 4 階子群由 $a^3$ 生成。檢查習慣：子群階必整除群階（Lagrange），且因子越大子群越大、生成元冪越小。

問：如果一個群不是循環群，還能研究它的「循環部分」嗎？ 答：能，而且必須。任何群都有循環子群（任取元素的 $\langle a \rangle$ ）；「所有循環子群的階」構成群的個性檔案。Sylow 定理（3.3 節）保證：素數冪 $p^k$ 階的循環子群一定存在（Sylow $p$ -子群），它們是有限群的「骨骼」——有限群分類工程正是從循環骨骼開始搭建的。

（本節完）