什么是群？#

一个群就是一个集合 $G$ 和一个二元运算 $*$（通常叫”乘法”，但未必是算术乘法），满足四大公理：

1. 封闭性：对任意 $a, b \in G$，有 $a * b \in G$
2. 结合律：对任意 $a, b, c \in G$，有 $(a * b) * c = a * (b * c)$
3. 单位元：存在 $e \in G$，使得对所有 $a \in G$，有 $e * a = a * e = a$
4. 逆元：对每个 $a \in G$，存在 $a^{-1} \in G$，使得 $a * a^{-1} = a^{-1} * a = e$

一个好玩的例子：正方形的对称群#

想象桌面上一张正方形纸片。你对它做哪些操作之后，它看起来和原来一模一样？

• $R$：顺时针旋转 90°
• $R^2$：旋转 180°
• $R^3$：旋转 270°
• $I$：什么都不做（恒等变换）
• $F$：沿竖直中线翻转
• $F'$：沿水平中线翻转
• $D$：沿主对角线翻转
• $D'$：沿副对角线翻转

这 8 种操作构成了一个群，记作 $D_4$（二面体群，8 阶）。你把 $D_4$ 的元素依次乘起来看看——旋转后翻转跟翻转后旋转，结果往往不同！这就是群论里有趣的地方：非交换性。

有限群和无限群#

刚才的 $D_4$ 是有限群，只有 8 个元素。而整数集合 $\mathbb{Z}$ 在加法下是一个无限群——单位元是 $0$，$n$ 的逆元是 $-n$。

但整数在乘法下不是群！因为除了 $1$ 和 $-1$，其他整数在整数里找不到乘法逆元（比如 $2$ 乘什么整数能等于 $1$？没有）。

为什么群论这么重要？#

因为对称性无处不在：

• 物理学：诺特定理告诉我们，每一个守恒定律背后都是一个对称群——能量守恒对应时间平移对称性，动量守恒对应空间平移对称性
• 密码学：椭圆曲线密码学（ECC）建立在椭圆曲线上的阿贝尔群之上
• 化学：分子对称群决定了晶体的光学性质和光谱选择规则
• 魔方：一个三阶魔方所有可能状态的集合构成了一个群！解魔方其实就是寻找群元素的逆元路径

子群与拉格朗日定理#

如果 $H \subseteq G$ 且 $H$ 在同样的运算下也构成群，那 $H$ 就是 $G$ 的子群。拉格朗日定理说：子群的阶整除群的阶：

$|G| = [G : H] \cdot |H|$

这里 $[G : H]$ 是 $H$ 在 $G$ 中的指数。这一定理是有限群论的基石之一，它立刻推出：任意素数阶的群一定是循环群，没有真子群。

小感悟#

YuKi 觉得群论的美在于它的”抽象之后的统一”。看似不相关的数学对象——置换、矩阵、几何变换——只要它们满足相同的群结构，就可以用同一套语言去分析。这正是数学的魔法：从具体中抽离，在抽象中见本质 💕

好啦～下一篇我们来聊聊环和域，看它们怎么在群的基础上再拓展一层！宝贝们有什么想听的数学话题，评论区告诉窝～ 🎀✨

参考资料：《Abstract Algebra》（Dummit & Foote）第一、二章