我有一定概率在2023年上研究生的《群论》课。这个概率较小，但我不妨整理点笔记，做点准备。
群论体现了人类史上伟大的洞察力和天才的想象力。而且它并不难，就是要慢慢整理整理。
我真希望有一天，人能发现新的表述语言，让复杂的东西显得简单。因为我相信，在遥远的外星球，或许存在一些外星人。一定有一些东西对我们是复杂的，对他们却是简单的；有一些东西对我们是简单的，对他们反而是复杂的；这是因为任何一种表述语言和认知思维都有惯性，就像《庄子》中描述的混沌，这种惯性是知识的irony。所以，如果能发现新的表述语言，让复杂的东西显得简单，那么就绝不是新瓶装旧酒，而是美丽新发现。
1.引入
1.1 雪花的对称性
如图所示，这是一片雪花。为何雪花带给我们美感？如果抛开诗词歌赋带给我们的联想，我们是否还会认为它有美感？
也许会，也许不会。但我们能感受到这种晶莹剔透，这种晶莹剔透带给我们纯洁的感觉。
除此以外，我们也许还会注意到，它的结构是高度对称的。旋转 60度、120度、180度、240度、300度、360度，都会与自身几乎重合。
那么，如何用数学的语言，精确而简洁地刻画这种旋转对称性？
答案是6阶循环群：\(\{ E, C^1_6, C^2_6, \cdots, C^5_6 \}\)。（逐一解释每个符号）
这是一个非常抽象的记号。为何说抽象？因为它并不依赖于雪花的具体形状，下面还有 21 种雪花，都符合 6 阶循环群的描述。
此外，动画片的六芒星魔法阵也符合六阶循环群。
1.2 镜面对称
镜子外面的每一个细微之处，都会精确地显示在镜子中。
如何用数学的语言，精确地描述这种反射对称性？
答案是 2 阶群：\(\{ E, \sigma \}\)（逐一解释每个符号）。
这个符号也是抽象的，因为它不仅可以描述镜面对称，还可以描述空间反演对称性。
1.3 小结
六阶循环群\(\{ E, C^1_6, C^2_6, \cdots, C^5_6 \}\)揭示了雪花的六阶循环对称性，二阶群揭示了镜面反射对称性。
这两个群抽象出的仅仅是对称性，而忽略了雪花的具体形态，也忽略了镜中少女的容颜。
正因为这种高度的抽象，它具有普适性，可以适用于任何具有6阶旋转对称、或二阶反演对称的对象。
后面的内容先写个纲要，有空了就扩充扩充。
2. 群的定义
- 封闭性
2）“乘法”结合律
3）单位元
4）逆元
阿贝尔群，有限群，有限群的阶，连续群，无限不连续群，对称群（物理系统）
例：整数加法、非0实数乘法、2维转动群、空间反演群、非奇异矩阵
3. 置换群
1）置换群定义:
\begin{equation}
\left(
\begin{array}{ccccc}
1 & 2 & 3 & \cdots & n \
p_1 & p_2 & p_3 & \cdots & p_n
\end{array}
\right)
\end{equation}
2）置换用轮换、对换表达
置换一定可以用没有公共元素的轮换的乘积表达，比如
\begin{equation}
\left(
\begin{array}{ccccc}
1 & 2 & 3 & 4 & 5 \
3 & 4 & 5 & 2 & 1
\end{array}
\right)
= (135)(24)
\end{equation}
轮换一定可以用对换的乘积表达，比如
\begin{equation}
(1234) = (234)(14)
\end{equation}
以此类推，
\begin{equation}
(1234) = (234)(14) = (34)(24)(14)
\end{equation}
所以，所有置换都可以用对换表达。
另外，对换\((ij)\)和\((jk)\)可以构造出\((ik)\)，
\begin{equation}
(ij)(jk)(ij) = (ik).
\end{equation}
所以，相互独立的对换只有\(n-1\)个，可设为\((1,2),(2,3),\cdots,(n-1,n)\).
它们构成置换群\(S_n\)的生成元。
3）生成元、宇称（奇置换/偶置换）
4. 子群
例：{e, R(180°)} \(\subset\) 二维转动群
5. 同构和同态
- 同构
例：\(C_{3v}\) 群和 \(S_3\) 群同构
例：\(S_4\)的四个\(S_3\)子群同构
Caley定理：任何一个n阶有限群，都和置换群\(S_n\)的某一个子群同构。(unchecked)
！！！这说明置换群包括了所有有限群
- 同态
例：\(S_2\) 同态于\(C_{3v}\)
\(\{ e, C_3, C^2_3 \} \rightarrow e\)；\(\{ \sigma_1, \sigma_2, \sigma_3 \} \rightarrow (12)\).
6 共轭元素类
共轭（相似）元素
类
例：\(C_{3v}\)群中的类
ambivalent 类：包含类中元素的逆元
置换群的类(unchecked)
7 陪集，Lagrange定理
Lagrange定理：群G的阶g必为其子群H的阶h的整数倍：\(g = mh, m \in Z^+\).
8 不变子群 商群
不变子群：它的任一左陪集 = 相应右陪集
单纯群：不包含不变子群
半纯群：不包含阿贝尔不变子群
商群：若G存在不变子群H,则可以把G划分为\(\{ H, a_2 H, \cdots, a_m H \}\)，将其中每个陪集看作一个元素，构成一个与G同态的群，叫做商群 G/H。