群论简介
欢迎来到群 (Groups) 的世界！这一章属于你的进阶纯数 (Extra Pure) 单元。虽然听起来像是一个全新的数学领域，但其实自小学起，你就一直在使用群的相关特性。群论 (Group Theory) 的核心，在于研究对称性以及支配数学系统的底层“规则”。
你可以把“群”想像成一个“数学俱乐部”。要成为这个俱乐部的一员，必须遵守特定的入会要求和规则。在本节中，我们将学习如何辨认这些“俱乐部”、它们的运作方式，以及为什么有些俱乐部看起来不同，但本质上却是完全一样的！
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\)，其中 \(n\) 就是该元素的阶。
循环群 (Cyclic Groups)：
如果一个群中至少存在一个元素（称为生成元 (Generator)，记作 \(\langle x \rangle\)），能够通过重复运算产生群内所有其他元素，该群即为循环群。
类比：时钟就是一个循环群。不断加 1 小时，最终你会轮遍表盘上的所有数字。
你知道吗？所有的循环群都是交换群，但并非所有交换群都是循环群！
5. 子群与拉格朗日定理 (Subgroups and Lagrange's Theorem)
子群 (Subgroup) 是大群里的一个小“俱乐部”，它自身也必须遵守那四条群公理。
重要名词：
- 真子群 (Proper subgroup) 是满足 \(H \neq G\) 的子群 \(H\)。
- 非平凡子群 (Non-trivial subgroup) 是满足 \(H \neq \{e\}\) 的子群 \(H\)。
子群检验：要检查子集 \(H\) 是否为子群，请检查：
1. 单位元 \(e\) 是否在 \(H\) 内？
2. 它是否封闭？(\(a, b \in H \Rightarrow a * b \in H\))
3. 每个元素是否有其逆元在 \(H\) 内？
拉格朗日定理 (Lagrange's Theorem)
这是课程中最强大的规则之一！它说明了：
在有限群中，子群的阶必须整除群的阶。
重要推论：在有限群中，元素的阶也必须整除群的阶。
例子：如果一个群有 6 个元素，它的子群大小只能是 1、2、3 或 6，而任何元素的阶也只能是 1、2、3 或 6。拥有大小为 4 或 5 的子群是不可能的。
核心总结：拉格朗日定理能帮助你缩小可能性范围。如果数字不能整除，那它就不可能是子群！
6. 同构 (Isomorphism)：数学双胞胎
有时候两个群看起来完全不同，但运作方式却一模一样。我们称这些群为同构 (Isomorphic)，记作 \(G \cong H\)。
例子：模 4 加法下的集合 \(\{0, 1, 2, 3\}\) 与乘法下的集合 \(\{1, -1, i, -i\}\) 是同构的 4 阶循环群 (\(C_4\))。
要证明或反证同构，请检查：
- 它们是否有相同的阶 (\(|G| = |H|\))。
- 是否一个是循环群而另一个不是？若是，它们就不是同构（例如：矩形的对称群是克莱因四元群 (Klein four-group) \(V_4\)，它不是循环群且没有 4 阶元素，因此 \(V_4 \not\cong C_4\)）。
- 它们是否拥有相同数量的对应阶的元素？（例如：如果一个群有三个 2 阶元素，另一个双胞胎群也必须有三个 2 阶元素）。
鼓励的话：如果觉得“同构”很抽象，不必担心！只要记得它就像用木制棋子下棋与在电脑上玩棋类游戏一样，虽然“外观”不同，但规则完全一致。
常见错误提醒
- 忘记运算：集合本身不是群，必须搭配运算。（\(\mathbb{Z}\) 在加法下是群，但在乘法下不是，因为 \(2\) 没有整数逆元）。
- 单位元混淆：在寻找逆元之前，务必先确定单位元是什么。
- 反向误用拉格朗日定理：即使数字能整除群的阶，也不保证存在该大小的子群（尽管在 A-level 中，拉格朗日定理通常是用来证明子群不可能存在）。
- 混淆非同构的 4 阶群：请记住有两个截然不同的 4 阶群：循环群 \(C_4\) 和克莱因四元群 \(V_4\)。
最终快速复习：
1. 群 = 集合 + 运算 + CAII。
2. 群的阶 = 元素总数；元素的阶 = 回到 \(e\) 的步数。
3. 拉格朗日定理：子群的大小（以及元素的阶）必须能完美整除群的大小。
4. 同构：相同的结构，不同的包装！