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**) 吗？
• 我能从凯莱表中找出单位元和反元素吗？
• 我理解子群的阶必须整除群的阶吗 (**拉格朗日定理**)？
• 我能区分群的阶和元素的阶吗？
• 我能找出循环群中的生成元吗？

起初觉得难不要紧——群论是一种全新的思考方式！继续练习凯莱表，这些模式很快就会变得清晰易懂。