群论：从对称性到结构

群不是一组对象，而是一套可以复合、可逆并保持结构的变换。

0. 物理 picture

面对一个正方形，重要的并不是把四次旋转逐个列出来，而是追问：这些变换怎样复合，哪些操作互为逆变换，什么量在变换下保持不变。群论把“对称”从视觉印象变成了可以计算的结构。

一个群写作 \((G,\cdot)\)。结合律、单位元与逆元并非形式上的清单，而是在保证所有变换能够稳定地组成一个封闭世界：

(ab)c=a(bc),\qquad ea=ae=a,\qquad aa^{-1}=a^{-1}a=e.

群真正描述的不是“东西是什么”，而是“允许怎样改变它”。

只有当群作用在一个集合或空间上时，对称性才得到具体含义。若 \(G\) 作用在 \(X\) 上，元素 \(g\in G\) 把 \(x\in X\) 送到 \(g\cdot x\)。同一个抽象群作用在不同对象上，可以产生完全不同的几何与物理图像。

轨道收集一个点能够到达的全部位置，稳定子则记录不移动这个点的变换：

\operatorname{Orb}(x)=\{g\cdot x:g\in G\},\qquad G_x=\{g\in G:g\cdot x=x\}.

有限群情形下，二者由轨道－稳定子定理连接：

|G|=|\operatorname{Orb}(x)|\,|G_x|.

这条公式的物理含义很直接：总的对称操作数，等于真正改变状态的方式数乘以保持该状态不动的冗余方式数。

正方形的旋转生成循环子群 \(C_4=\langle r\mid r^4=e\rangle\)。它的结构不依赖正方形的边长，也不依赖它画在纸上的位置：

学习群论时，定义只负责建立语言。真正需要反复训练的是三个问题：群在什么对象上作用；哪些量在作用下不变；能否把复杂对象分解成更简单、不可约的部分。沿着这三条线，群论会自然地通向几何、量子力学与粒子物理。