群 (Group)

群 (Group)

群（Group）是抽象代数中最基本的代数结构之一，在数学、物理学和经济学中有广泛应用。一个群由一个非空集合 $G$ 和其上的一个二元运算 $\cdot$（通常称为"乘法"）组成，记为 $(G, \cdot)$，满足四条公理：封闭性（对任意 $a, b \in G$，有 $a \cdot b \in G$）、结合律（$(a \cdot b) \cdot c = a \cdot (b \cdot c)$）、单位元存在性（存在 $e \in G$ 使得 $e \cdot a = a \cdot e = a$ 对所有 $a$ 成立）以及逆元存在性（对每个 $a \in G$，存在 $a^{-1} \in G$ 使得 $a \cdot a^{-1} = a^{-1} \cdot a = e$）。若运算还满足交换律 $a \cdot b = b \cdot a$，则称为阿贝尔群（Abelian Group），以纪念挪威数学家阿贝尔。

群的概念由伽罗瓦（Évariste Galois）在19世纪初研究多项式方程根式可解性时首次引入。伽罗瓦观察到方程的根之间存在对称性，这种对称性恰好构成群的代数结构——伽罗瓦理论由此诞生。此后，群论经历凯莱、西罗、克莱因等人的系统化发展，成为数学统一性的典范。

基本例子

群在数学中无处不在。最直观的例子是整数集合 $\mathbb{Z}$ 在加法下构成的群 $(\mathbb{Z}, +)$：单位元为 $0$，$n$ 的逆元为 $-n$。类似地，非零实数 $\mathbb{R}^*$ 在乘法下构成群，单位元为 $1$，$x$ 的逆元为 $1/x$。对称群 $S_n$ 是 $n$ 个元素的所有置换构成的群，运算为置换的复合，阶数为 $n!$；对称群是非阿贝尔群的基本原型。一般线性群 $\mathrm{GL}(n, \mathbb{R})$ 由所有 $n \times n$ 可逆实矩阵在矩阵乘法下构成，是李群理论的重要起点。

循环群 $C_n$ 是最简单的有限群结构：由一个元素 $g$ 生成，满足 $g^n = e$，其群表完全由这一关系决定。循环群必为阿贝尔群，其子群结构极为规律——每个整除 $n$ 的正整数 $d$ 对应唯一的一个 $d$ 阶子群。

子群与拉格朗日定理

若群 $G$ 的子集 $H$ 在同样的运算下也构成群，则 $H$ 是 $G$ 的子群（Subgroup）。判定子群的条件简化为：$H$ 非空，且对任意 $a, b \in H$ 有 $a \cdot b^{-1} \in H$。

拉格朗日定理是有限群论的第一基本定理：若 $G$ 为有限群，$H$ 为其子群，则 $H$ 的阶 $|H|$ 必整除 $G$ 的阶 $|G|$。其直接推论是：任意元素的阶（使其幂等于单位元的最小正整数）也整除 $|G|$。拉格朗日定理限制了有限群的可能子群结构，但逆命题不成立——并非每个整除 $|G|$ 的数都对应一个子群（西罗定理给出了部分答案）。

正规子群与商群

子群 $N \leq G$ 称为正规子群（Normal Subgroup），若对任意 $g \in G$ 和 $n \in N$，有 $gng^{-1} \in N$。正规性使得陪集空间 $G/N$ 可被赋予自然的群结构，所得群称为商群。商群构造是群论的核心操作：通过"模去"正规子群，将较复杂的群简化为较小的群，同时保留原群的信息。

同态基本定理（第一同构定理）精确刻画了这一过程：若 $\phi: G \to H$ 是群同态，则核 $\ker \phi$ 是 $G$ 的正规子群，且 $G / \ker \phi \cong \operatorname{im} \phi$。该定理表明，任意同态像本质上就是一个商群——群同态的"信息损失"恰好由核编码。

群作用与西罗定理

群不仅作用于自身（通过共轭或平移），还可作用于任意集合，这便是群作用的概念。群 $G$ 在集合 $X$ 上的作用是一个映射 $G \times X \to X$，满足单位元作用和结合性条件。作用导出轨道-稳定子对应：对每个 $x \in X$，轨道大小满足 $|\mathrm{Orb}(x)| = [G : \mathrm{Stab}(x)]$。伯恩赛德引理利用此关系计算群作用下轨道的数目，在计数组合学中作用深远。

西罗定理是有限群结构理论的基石，断言对素数幂 $p^k$ 整除 $|G|$，$G$ 存在 $p^k$ 阶子群（西罗 $p$-子群），且所有西罗 $p$-子群彼此共轭。这些结果使 $p$-群成为有限群分类的基本构件。

经济学中的应用

群论在经济学中的渗透虽不如微分方程和优化理论直接，却在多个前沿领域发挥关键作用。在博弈论中，对称博弈的均衡结构可通过置换群作用统一刻画——若收益函数在参与者的置换下不变，纳什均衡集继承了相应的对称性。在计量经济学中，不变性原理和最大不变性用于构造在特定变换群下保持统计性质的检验方法，如单位根检验中的相似检验。在金融数学中，资产定价的基本定理与群表示论间接相关——状态价格紧缩因子的唯一性与市场的完备性可用线性代数群的语言表述。此外，密码学中的椭圆曲线群（椭圆曲线密码学）是现代数字资产和区块链签名体系（如ECDSA）的数学基础，直接支撑加密货币的交易验证机制。

克莱因的埃尔兰根纲领以群论统一几何学的思想方法——每种几何学研究的是在特定变换群下保持不变的性质——也启发经济学家以不变性视角审视理论结构：阿罗不可能定理的本质可视为社会福利函数在偏好置换群下缺乏合适的不变结构；需求理论中的斯卢茨基方程体现了价格-收入变换群下补偿需求函数的可积性条件。