群论

群论 (Group Theory)

群论 (Group Theory) 是抽象代数的核心分支，研究具有单一二元运算且满足封闭性、结合律、存在单位元及逆元的代数结构——群 (Group)。群论起源于19世纪伽罗瓦对多项式方程可解性的研究，现已发展为现代数学的通用语言，并在物理学、化学、计算机科学和经济学中拥有广泛而深刻的应用。

群的定义与公理

一个群 $(G, \cdot)$ 由一个非空集合 $G$ 和一个二元运算 $\cdot: G \times G \rightarrow G$ 组成，满足以下四条公理：

1. 封闭性 (Closure)：对任意 $a, b \in G$，有 $a \cdot b \in G$。
2. 结合律 (Associativity)：对任意 $a, b, c \in G$，有 $(a \cdot b) \cdot c = a \cdot (b \cdot c)$。
3. 单位元 (Identity Element)：存在 $e \in G$，使得对任意 $a \in G$，有 $e \cdot a = a \cdot e = a$。
4. 逆元 (Inverse Element)：对任意 $a \in G$，存在 $a^{-1} \in G$，使得 $a \cdot a^{-1} = a^{-1} \cdot a = e$。

若群还满足交换律 $a \cdot b = b \cdot a$ 对所有 $a, b \in G$ 成立，则称为阿贝尔群 (Abelian Group)。

基本结构与重要子类

子群与陪集

群 $G$ 的非空子集 $H$ 若自身在 $G$ 的运算下也构成群，则 $H$ 是 $G$ 的子群 (Subgroup)，记作 $H \leq G$。拉格朗日定理指出：有限群中，子群的阶整除群的阶。给定子群 $H$ 和元素 $g \in G$，左陪集 $gH = \{gh \mid h \in H\}$ 将群划分为等大小的等价类，这一构造是推导商群的基础。

正规子群与商群

子群 $N \leq G$ 称为正规子群 (Normal Subgroup)，记作 $N \trianglelefteq G$，若对任意 $g \in G$ 有 $gNg^{-1} = N$。仅在正规子群上可定义商群 $G/N$，其元素为陪集，运算为 $(gN)(hN) = (gh)N$。正规子群与商群的关系由同态基本定理精确刻画：若 $\varphi: G \rightarrow H$ 是群同态，则 $\ker\varphi \trianglelefteq G$ 且 $G/\ker\varphi \cong \operatorname{im}\varphi$。

群同态与同构

群同态 (Homomorphism) 是保持群运算的映射 $\varphi: G \rightarrow H$，满足 $\varphi(ab) = \varphi(a)\varphi(b)$。双射的同态称为同构 (Isomorphism)，表明两个群具有完全相同的代数结构。群论的基本哲学是：忽略元素的具体"标签"，专注于群的结构本身——同构的群在代数意义下不加区分。

重要例子

• 循环群 $C_n$ 和 $\mathbb{Z}$：由一个生成元反复运算得到。$C_n$ 是有限 $n$ 阶循环群，$\mathbb{Z}$ 为无限循环群。循环群必为阿贝尔群，是最简单的群结构。
• 对称群 $S_n$：$n$ 个元素的全体置换在复合运算下构成的群，阶为 $n!$。凯莱定理断言：任何群都同构于某个对称群的子群，赋予对称群以普遍意义。
• 矩阵群：如一般线性群 $GL(n, \mathbb{R})$（$n$ 阶可逆实矩阵在乘法下构成的群）和特殊正交群 $SO(n)$（旋转群），在几何和物理中扮演核心角色。
• 整数加法群 $(\mathbb{Z}, +)$：单位元为0、逆元为相反数的最基本阿贝尔群。

经济学与社会科学中的应用

博弈论与对称博弈

在博弈论中，对称博弈的对称性可用群论精确表述：若博弈的收益函数在参与者置换下不变，则置换群作用刻画了博弈的对称结构。寻找具有对称性的纳什均衡——所有参与者采用相同策略的均衡——等价于在群作用下寻找不动点。

社会选择与投票理论

阿罗不可能定理的分析中，群论提供了对偏好聚合规则的对称性约束的代数刻画。匿名性（选票的置换不变性）和中立性（候选人的置换不变性）均可通过置换群作用形式化。

经济模型中的对称性与降维

在宏观经济建模中，代表性个体假设本质上利用置换对称性将异质个体加总为单一代表。动态随机一般均衡 (DSGE) 模型中，家庭和厂商的对称性将高维优化问题降维为代表性个体的规划问题。当对称性被打破——如引入异质性冲击——模型复杂度急剧上升，需借助数值方法求解。

资产定价与因子模型

多因子资产定价模型中，因子载荷矩阵的结构常涉及正交群与旋转群。主成分分析对协方差矩阵的对角化，本质上是在正交群作用下寻找方差最大的方向，该过程利用了正交群将协方差矩阵对角化的代数性质。

群论所揭示的核心洞见是：对称性即不变性。无论是在抽象代数中通过正规子群和商群分解复杂结构，还是在经济模型中利用对称性实现降维与均衡分析，群论都提供了统一而强大的概念框架。这种"透过具体标签看本质结构"的思维方式，使其成为跨越纯粹数学与应用科学的桥梁。