群论简介
欢迎来到群 (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. 同构：相同的结构，不同的包装！