群論簡介
歡迎來到群 (Groups) 的世界！這一章屬於你的進階純數 (Extra Pure) 單元。雖然聽起來像是一個全新的數學領域，但其實自小學起，你就一直在使用群的相關特性。群論的核心，在於研究對稱性以及支配數學系統的底層「規則」。
你可以把「群」想像成一個「數學俱樂部」。要成為這個俱樂部的一員，必須遵守特定的入會要求和規則。在本節中，我們將學習如何辨認這些「俱樂部」、它們的運作方式，以及為什麼有些俱樂部看起來不同，但本質上卻是完全一樣的！
1. 基礎：集合與符號
在定義「群」之前，我們需要先學會對應的數學語言。集合 (Set) 就是一組物件（通常是數字或變換）的聚集。
你需要知道的常見數集：
- \(\mathbb{N}\)：自然數 \(\{1, 2, 3, ...\}\) 或 \(\mathbb{N}_0 = \{0, 1, 2, ...\}\)
- \(\mathbb{Z}\)：整數 \(\{..., -2, -1, 0, 1, 2, ...\}\)
- \(\mathbb{Q}\)：有理數（分數）
- \(\mathbb{R}\)：實數（數線上所有的點）
- \(\mathbb{C}\)：複數 (\(a + bi\))
重要符號：
- \(x \in A\)：\(x\) 是集合 \(A\) 的元素。
- \(A \subseteq B\)：\(A\) 是 \(B\) 的子集。
- \(n(A)\) 或 \(|A|\)：有限集的階 (Order)（即元素的數量）。
快速溫習：集合只是一個裝著我們所處理數字的「桶子」。而「群」則是這個桶子，再加上一套如何結合這些數字的運算規則！
2. 四大黃金法則：群公理 (Group Axioms)
要成為一個群 \((G, *)\)，集合 \(G\) 和其二元運算 (Binary operation) \(*\)（例如加法、乘法或矩陣乘法）必須遵守四條規則。只要其中一條規則不成立，它就不是群！
記憶小撇步：使用縮寫 CAII (讀音類似 "K-eye")：
C - 封閉性 (Closure)
A - 結合律 (Associativity)
I - 單位元 (Identity)
I - 逆元 (Inverse)
1. 封閉性 (Closure)
如果你從群中任取兩個元素進行運算，其結果必須仍然在群內。
例子：奇數集在加法下不是封閉的，因為 \(1 + 3 = 4\)，而 \(4\) 是偶數！
2. 結合律 (Associativity)
進行運算時，元素的組合順序不會改變結果：\((a * b) * c = a * (b * c)\)。
註：我們常用的大多數運算（加法、乘法、矩陣乘法）自然地滿足結合律。
3. 單位元 (Identity)
必須存在一個特殊的元素（通常記作 \(e\)），它不會改變任何數值。
- 在加法中，\(e = 0\)（因為 \(a + 0 = a\)）。
- 在乘法中，\(e = 1\)（因為 \(a \times 1 = a\)）。
4. 逆元 (Inverse)
每一個元素都必須有一個「搭檔」，運算後能將其帶回到單位元。
- 在加法下，\(a\) 的逆元是 \(-a\)。
- 在乘法下，\(a\) 的逆元是 \(\frac{1}{a}\)。
注意！在乘法中，\(0\) 通常會使集合無法成為群，因為它沒有逆元（你不能做 \(\frac{1}{0}\)）。
專有名詞：如果一個群也遵守 \(a * b = b * a\) 的規則，我們稱之為交換群 (Abelian group)（以數學家 Niels Abel 命名）。
核心總結：「群」是一個集合，其中的任意兩個元素進行組合後仍保持在集合內，且擁有一個「無動作」元素，以及每個元素都有一個能將其「還原」的搭檔。
3. 群表（運算表 / Cayley Table）
對於小型有限群，我們可以畫一個網格來列出所有可能的組合。這被稱為凱萊表 (Cayley Table)。
例子：模 4 加法 (Addition modulo 4)
\(\begin{array}{c|cccc} +_4 & 0 & 1 & 2 & 3 \\ \hline 0 & 0 & 1 & 2 & 3 \\ 1 & 1 & 2 & 3 & 0 \\ 2 & 2 & 3 & 0 & 1 \\ 3 & 3 & 0 & 1 & 2 \end{array}\)
如何在表中識別規則：
- 單位元：找出一行/一列與表頭完全相同。
- 逆元：在每一行中找到單位元，該單位元所在的列標題即為其逆元。
- 交換群：如果表格沿著主對角線（從左上到右下）對稱，它就是交換群！
4. 階與循環群 (Order and Cyclic Groups)
「階 (Order)」一詞在群論中有兩種用法，千萬別弄混了！
1. 群的階：群中元素的總數，記作 \(|G|\)。
2. 元素的階：將一個元素重複運算，直到回到單位元所需的次數。我們說 \(a^n = e\)，其中 \(n\) 就是該元素的階。
循環群 (Cyclic Groups)：
如果一個群中至少存在一個元素（稱為生成元 (Generator)，記作 \(\langle x \rangle\），能夠透過重複運算產生群內所有其他元素，該群即為循環群。
\n類比：時鐘就是一個循環群。不斷加 1 小時，最終你會輪遍錶面上的所有數字。
你知道嗎？所有的循環群都是交換群，但並非所有交換群都是循環群！
\n\n5. 子群與拉格朗日定理 (Subgroups and Lagrange's Theorem)
\n子群 (Subgroup) 是大群裡的一個小「俱樂部」，它自身也必須遵守那四條群公理。
\n子群檢驗：要檢查子集 \(H\) 是否為子群，請檢查：
1. 單位元 \(e\) 是否在 \(H\) 內？
2. 它是否封閉？(\(a, b \in H \Rightarrow a * b \in H\))
3. 每個元素是否有其逆元在 \(H\) 內？
拉格朗日定理 (Lagrange's Theorem)
這是課程中最強大的規則之一！它說明了：
在有限群中，子群的階必須整除群的階。
例子：如果一個群有 6 個元素，它的子群大小只能是 1、2、3 或 6。擁有大小為 4 或 5 的子群是不可能的。
核心總結：拉格朗日定理能幫助你縮小可能性範圍。如果數字不能整除，那它就不可能是子群！
6. 同構 (Isomorphism)：數學雙胞胎
有時候兩個群看起來完全不同，但運作方式卻一模一樣。我們稱這些群為同構 (Isomorphic)，記作 \(G \cong H\)。
例子：矩形的對稱群與乘法下的集合 \(\{1, -1, i, -i\}\) 看起來可能很不一樣，但它們的底層結構（元素之間的互動方式）是完全相同的。
要證明同構，請檢查：
- 它們是否有相同的階 (\(|G| = |H|\))。
- 是否一個是循環群而另一個不是？若是，它們就不是同構。
- 它們是否擁有相同數量的對應階的元素？（例如：如果一個群有三個 2 階元素，另一個雙胞胎群也必須有三個 2 階元素）。
鼓勵的話：如果覺得「同構」很抽象，不必擔心！只要記得它就像用木製棋子下棋與在電腦上玩棋類遊戲一樣，雖然「外觀」不同，但規則完全一致。
常見錯誤提醒
- 忘記運算：集合本身不是群，必須搭配運算。\(\mathbb{Z}\) 在加法下是群，但在乘法下不是，因為 \(2\) 在整數中沒有乘法逆元。
- 單位元混淆：在尋找逆元之前，務必先確定單位元是什麼。
- 反向誤用拉格朗日定理：即使數字能整除群的階，也不保證存在該大小的子群（儘管在 A-level 中，拉格朗日定理通常是用來證明子群「不可能」存在）。
最終快速溫習：
1. 群 = 集合 + 運算 + CAII (封閉、結合、單位元、逆元)。
2. 群的階 = 元素總數；元素的階 = 回到 \(e\) 的步數。
3. 拉格朗日定理：子群的階必須能完美整除群的階。
4. 同構：相同的結構，不同的包裝！