Groups

歡迎來到群論（Group Theory）的世界！

你有沒有想過數學家是如何研究對稱性，或者扭計骰（Rubik's Cube）到底是如何運作的？歡迎來到群論！這個章節講的不是朋友聚會，而是關於一組元素和一套規則（運算），這些規則告訴我們元素之間如何互動。你可以把它想像成「數學的 DNA」——這是一種同時觀察許多不同數學系統底層結構的方法。

如果起初覺得這些概念有些抽象，請不用擔心。我們會先從「俱樂部規則」開始，很快你就會發現群在數學中無處不在！

1. 群的公理：俱樂部規則

一個群 (Group) 由一組元素 \(G\) 和一個二元運算（通常寫作 \(*\)）組成。要成為一個群，必須遵守四條嚴格的規定，稱為公理 (axioms)。你可以用助記詞 CAII（發音類似 "K-eye"）來記憶：

• C - 封閉性 (Closure)： 如果你從群中取出任意兩個元素，並使用該運算進行結合，結果必須仍然在該群內。
  類比： 如果「數字俱樂部」的兩位成員一起跳舞，他們創造出來的新人也必須是俱樂部成員。嚴禁外人進入！


• A - 結合律 (Associativity)： 對於任意三個元素 \(a, b,\) 和 \(c\)，運算的組合順序不重要：\( (a * b) * c = a * (b * c) \)。


• I - 單位元 (Identity)： 必須存在一個特殊的「無所作為」元素，通常稱為 \(e\)。對於任何元素 \(a\)，\( a * e = a \) 且 \( e * a = a \)。
  例子： 在加法中，0 是單位元，因為 \(5 + 0 = 5\)。在乘法中，1 是單位元。


• I - 反元素 (Inverse)： 每一個元素 \(a\) 都必須有一個「復原按鈕」，稱為 \(a^{-1}\)。當你將它們結合時，會回到單位元：\( a * a^{-1} = e \)。

快速複習：CAII 規則

1. 封閉性： \(a * b \in G\)
2. 結合律： \((a * b) * c = a * (b * c)\)
3. 單位元： \(a * e = a\)
4. 反元素： \(a * a^{-1} = e\)

重點提示： 如果一個集合只要有一條規則不符合，它就不是一個群！

2. 凱萊表 (Cayley Tables)

對於小型的群，我們使用凱萊表來展示每個元素如何互動。它就像乘法表一樣。

重要屬性： 在群的凱萊表中，每一個元素在每一行和每一列都必須剛好出現一次（就像數獨方格一樣）。如果你看到某一行有重複或缺少的元素，那它就不是一個群！

步驟：檢查表格
1. 檢查封閉性：表格內的所有結果是否都在原集合內？
2. 尋找單位元：尋找那一行/列看起來與表頭完全一致的元素。
3. 檢查反元素：每一行/列是否都包含單位元 \(e\)？
4. 檢查阿貝爾群 (Abelian) / 交換律：表格是否對稱於主對角線？（注意：你課程中遇到的群大多會是阿貝爾群，但除非題目特別說明，否則這不是群的必要條件！）

3. 常見的群例子

課程要求你熟悉以下特定類型的群：

模 \(n\) 整數 (\(\mathbb{Z}_n\))

這些是「時鐘算術」群。例如，在 \(\mathbb{Z}_4\) 的加法下，我們只使用 \(\{0, 1, 2, 3\}\)。
\(2 + 3 = 5\)，但在模 4 下，我們減去 4 得到 \(1\)。所以，\(2 + 3 = 1\)。
單位元： 永遠是 \(0\)。
\(x\) 的反元素： 你加到 \(x\) 上後能回到 \(0\) 的那個數字。

幾何圖形的對稱性

想像一個正三角形。你可以旋轉它（\(120^\circ, 240^\circ, 360^\circ\)）或翻轉它。這些動作形成了一個群！
單位元： 「保持不動」的動作（旋轉 \(0^\circ\)）。

矩陣群

矩陣集合可以在矩陣乘法下形成群。然而，為了存在反元素，該矩陣必須是非奇異 (non-singular) 的（即行列式 \(\det(M) \neq 0\)）。

你知道嗎？ 如果我們包含 \(0\)，整數的乘法就不是一個群，因為 \(0\) 沒有反元素（你不能除以零來回到 1）！

4. 群與元素的階 (Order)

「階 (Order)」這個詞有兩種用法，別被搞混了！

• 群的階 \( |G| \)： 簡單來說就是集合中元素的數量。
• 元素的階 \( o(a) \)： 使 \( a^n = e \) 成立的最小正整數 \(n\)。（在加法中，這意味著將 \(a\) 自加 \(n\) 次）。

例子： 在 \(\mathbb{Z}_4\) 的加法下，元素 1 的階是多少？
\(1 = 1\)
\(1 + 1 = 2\)
\(1 + 1 + 1 = 3\)
\(1 + 1 + 1 + 1 = 4 \equiv 0\) (單位元！)
因為需要四個 '1' 才能達到單位元，所以元素 1 的階是 4。

5. 循環群 (Cyclic Groups)

如果一個群中至少有一個元素（稱為生成元 (generator)），可以通過重複運算產生群中的所有其他元素，那麼該群就是循環群。

如果一個階為 \(n\) 的群擁有一個階為 \(n\) 的元素，那麼該群就是循環群。

重點提示： 所有的循環群都是阿貝爾群（運算順序不重要），但並非所有阿貝爾群都是循環群！

6. 子群 (Subgroups) 與拉格朗日定理 (Lagrange’s Theorem)

子群是一個群的子集，而它本身也是一個群（使用相同的運算）。
每個群至少有兩個子群：群本身和「平凡子群 (trivial subgroup)」 \(\{e\}\)。

拉格朗日定理（非常重要！）

規則： 子群的階必須是母群階的因數。
\( \frac{|G|}{|Subgroup|} = \text{一個整數} \)

為什麼這很有用？ 如果你的群有 6 個元素，拉格朗日定理告訴我們，任何子群的大小必須是 1, 2, 3 或 6。不可能存在大小為 4 或 5 的子群！

常見錯誤： 僅僅因為一個數字能整除群的階，並不代表該大小的子群一定存在。它只是意味著這在可能性上是允許的。

7. 同構 (Isomorphism)

同構是「數學雙胞胎」的華麗說法。如果兩個群具有相同的結構，即使元素看起來不同，它們也是同構的。

對於 Edexcel 課程（最大階為 8），要證明兩個群不同構，請尋找「毀滅性差異」：

• 它們的階不同嗎？
• 其中一個有階為 \(k\) 的元素，而另一個沒有嗎？
• 其中一個是循環群，而另一個不是嗎？

類比： 用一副標準撲克牌玩啤牌 vs. 用一副「星戰」主題的撲克牌玩。圖案不同，但規則和遊戲結構完全一樣。它們就是同構的！

總結檢查清單

• 我能列出並檢查 4 條公理 (**CAII**) 嗎？
• 我能從凱萊表中找出單位元和反元素嗎？
• 我理解子群的階必須整除群的階嗎 (**拉格朗日定理**)？
• 我能區分群的階和元素的階嗎？
• 我能找出循環群中的生成元嗎？

起初覺得難不要緊——群論是一種全新的思考方式！繼續練習凱萊表，這些模式很快就會變得清晰易懂。