群不是「一堆东西」，而是「一堆动作」。拿一个正三角形：你能对它做什么，让它看起来跟没动一样？转 120°、转 240°、不转、再加上沿三条对称轴各翻一次——正好 6 个动作。这 6 个动作构成一个群。
关键在三条直觉：动作能接龙（先转 120° 再翻转 = 另一个合法动作，还在这 6 个里）；每个动作都能撤销（转 120° 的逆是转 240°）；有一个「什么都不做」的动作。名词（三角形）会骗你的眼睛，动词（施加其上的操作）才是群研究的对象。把注意力从「物体」搬到「保持物体不变的动作」——这就是群论的起点。
群 $(G,\cdot)$ 是一个集合 $G$ 配上一个运算 $\cdot$，满足四条公理：封闭——$a\cdot b$ 仍在 $G$ 里；结合律——$(a\cdot b)\cdot c=a\cdot(b\cdot c)$；单位元——存在 $e$ 使 $e\cdot a=a$；逆元——每个 $a$ 都有 $a^{-1}$ 使 $a\cdot a^{-1}=e$。
注意没有要求交换律：$a\cdot b\ne b\cdot a$ 才是常态。先穿袜子再穿鞋，和先穿鞋再穿袜子，结果天差地别——顺序有意义的世界，正是群论的主场。
四条看似贫瘠的公理，竟精确地框住了「对称」这一现象的全部本质。更惊人的是 Cayley 定理：每个群都同构于某个「置换群」——也就是说，任何抽象的群，本质上都是某组具体动作的换汤不换药。这告诉我们：抽象代数并非凭空发明，而是把「可逆变换」这件事提纯到极致的结晶。公理越少，能装下的世界越大。
魔方的所有状态构成一个群（约 $4.3\times10^{19}$ 个元素），「还原魔方」= 在群里找一条回到单位元的路。密码学的地基是群：RSA 建在模 $n$ 的乘法群上，椭圆曲线加密建在曲线点构成的群上。而在物理里，一个系统「有哪些对称」直接决定它「守恒什么量」——群是连接对称与守恒的枢纽。
把 $n$ 个东西重新排一遍——这就是洗牌。$S_n$ 是「$n$ 张牌的所有洗法」构成的群。$S_3$ 有 $3!=6$ 种洗法，$S_{52}$（一副扑克）有约 $8\times10^{67}$ 种。每一次洗牌叫一个置换。
置换有个漂亮的记法叫循环：$(1\,2\,3)$ 意思是「1 的位置给 2，2 给 3，3 回到 1」。任何一次洗牌，无论多复杂，都能唯一地拆成几个互不干扰的循环——就像把一团乱麻梳成几个独立的圈。这让「排列」这件事从眼花缭乱变得可清点、可计算。
$S_n$ 是集合 $\{1,2,\dots,n\}$ 上所有双射（一一对应）构成的群，运算是「先做一个再做另一个」的复合，元素个数 $|S_n|=n!$。它一般是非交换的：先换 (1 2) 再换 (2 3)，跟反过来做，结果不同。
Cayley 定理换一个说法就是：每个有限群都是某个 $S_n$ 的子群。看起来最土、最具体的「洗牌」，竟然把所有抽象的有限群一网打尽——$S_n$ 是「一切有限群之母」。更深的一层：$S_n$ 内部的结构，藏着数学史上最戏剧的一个答案。Galois 证明当 $n\ge5$ 时 $S_n$ 「不可解」，由此推出五次以上方程没有根式解——一个两千年的解方程谜题，答案竟写在洗牌的群结构里。
排序算法本质是在 $S_n$ 里找从「乱序」到「有序」的路径；逆序对数就是所需相邻交换的最少次数。密码学的经典分组密码用置换打乱明文。魔方群是 $S_{48}$ 的一个子群。而 Galois 理论——生长在 $S_n$ 之上——今天是编码理论、计算机代数系统（求解多项式）的根基。
群里可以有「小群」——子群，像大结构里一块自洽的积木。拉格朗日定理说了一件极强的事：用这块积木，能把整个群不重不漏地铺满，而且每一块都一样大。
后果立刻很硬：一个有 12 个元素的群，它的子群大小只能是 12 的因数——1、2、3、4、6、12，绝不可能存在一个 5 元素的子群。「大小」这个最朴素的计数，就把群内部可能的结构死死锁住了。这不是经验规律，是必然。
设有限群 $G$ 有子群 $H$，则 $|H|$ 整除 $|G|$，商 $[G:H]=|G|/|H|$ 称为 $H$ 的指数。证明的关键是陪集 $gH=\{g\cdot h:h\in H\}$：可以证明所有陪集大小相等（都等于 $|H|$）、互不相交、并起来正好是 $G$。于是 $G$ 被切成 $[G:H]$ 块等大的碎片——整除关系是这幅「铺砖图」的直接读数。
这是数学里「以简驭繁」的典范：一个纯粹的计数约束，反手就锁死了群的全部可能形状。一个直接推论美到极致——素数阶的群必然是循环群：若 $|G|=p$ 是素数，它除了 $\{e\}$ 和自身没有别的子群，结构别无选择。从「无穷种可能」里，一句整除就砍出了秩序。
费马小定理 $a^{p-1}\equiv1\pmod p$ ——现代密码学的基石之一——正是拉格朗日定理用在「模 $p$ 的乘法群」上的直接推论：该群有 $p-1$ 个元素，任一元素的「阶」必整除 $p-1$。RSA 加密、素性测试、Diffie–Hellman 密钥交换的正确性，最终都回到这条整除约束。抽象的计数定理，撑起了每天数十亿次的网络加密。
群本身是一套抽象动作；群作用是让这些动作真去「搬动」一个具体对象——晶体里的原子、平面上的点、量子态。而表示更进一步：把每个群元素换成一个矩阵，于是抽象的乘法变成了可以真刀真枪计算的矩阵乘法。
群作用带来一对孪生概念：一个点在所有动作下能到达的全部位置，叫它的轨道；把这个点钉住不动的那些动作，叫它的稳定子。二者有一条精巧的守恒律——轨道越大，稳定子越小，两者之积恰好等于群的大小。
群作用是一个同态 $G\to\mathrm{Sym}(X)$，即让每个群元素扮演集合 $X$ 上的一个置换；表示是同态 $\rho:G\to GL(V)$，把群元素变成向量空间上的可逆矩阵。核心工具是轨道–稳定子定理：
$\mathrm{Orb}(x)$ 是 $x$ 在群作用下能去到的所有位置，$\mathrm{Stab}(x)$ 是固定 $x$ 不动的元素。这本质是拉格朗日定理的动态版——群的大小，被「能动多远」与「钉多牢」瓜分。
群作用让抽象群第一次「碰到」真实世界，而表示论把群的问题翻译成线性代数——最会算的那门数学。一个群「本质上有几种作用方式」，被它的不可约表示完全刻画。于是「这个系统有哪些对称」就等价于「它的对称群有哪些不可约表示」，一个物理问题被彻底代数化。
这是群论最惊人的战果。晶体学：三维空间里「保持晶格不变」的对称群，纯靠群论穷举，恰好只有 230 种（空间群）——不是实验统计，是数学算出的定律，而自然界所有晶体无一例外地服从。粒子物理：Gell-Mann 把已知强子按 SU(3) 的表示摆开，正好落在六边形与三角形的格点上（见上图）；空着的一格预言了当时未知的 $\Omega^-$ 粒子，几年后被实验精确证实。夸克，就是 SU(3) 的基本表示；整个标准模型，本质是规范对称群 $SU(3)\times SU(2)\times U(1)$ 的一部戏。