此條目介紹的是群的高阶主题。关于基本概念，请见「**群**」。

在数学和抽象代数中，**群论**（英語：）研究名为群的代数结构。

群在抽象代数中具有基本的重要地位：许多代数结构，包括环、域和向量空间等可以看作是在群的基础上添加新的运算和公理而形成的。群的概念在数学的许多分支都有出现，而且群论的研究方法也对抽象代数的其它分支有重要影响。线性代数群（英语：）和李群作为群论的分支，在经历了重大的发展之后，已经形成相对独立的研究领域。

群论的重要性还体现在物理学和化学的研究中，因为许多不同的物理结构，如晶体结构和氢原子结构可以用群论方法来进行建模。于是群论和相关的群表示论在物理学和化学中有大量的应用。

群论中的重要结果，有限单群分类是20世纪数学最重要的结果之一。该定理的证明是集体努力的结果，它的证明出现在1960年和1980年之间出版的超过10,000页的期刊上。

历史
--

条目：群论历史（英语：）
群论在历史上主要有三个来源：数论，代数方程理论和几何学。数论中出现的对群的研究始于莱昂哈德·欧拉，之后由卡尔·弗里德里希·高斯在对模算术和与二次域相关的乘法和加法的研究中进行了发展。群论的概念在代数数论中首先被隐含地使用，后来才显式地运用它们。

关于置换群的早期结果出现在约瑟夫·拉格朗日、保羅·魯菲尼和尼尔斯·阿贝尔等人关于高次方程一般解的工作中。1830年，埃瓦里斯特·伽罗瓦第一个用群的观点来确定多项式方程的可解性。伽罗瓦首次使用了术语"群"，并在新生的群的理论与域论之间建立起了联系。这套理论现在被称为伽罗瓦理论。阿瑟·凯莱和奥古斯丁·路易·柯西进一步发展了这些研究，创立了置换群理论。

群论的第三个主要历史渊源来自几何。群论在射影几何中首次显示出它的重要性，并在之后的非欧几何中起到了作用。菲利克斯·克莱因用群论的观点，在不同的几何学（如欧几里德几何、双曲几何、射影几何）之间建立了联系，即爱尔兰根纲领。1884年，索菲斯·李开始研究分析学问题中出现的群（现在称为李群）。

属于不同领域的来源导致了群的不同记法。群的理论从约1880年起开始统一。在那之后，群论的影响一直在扩大，在20世纪早期促进了抽象代数、表示论和其他许多有影响力的子领域的建立。有限单群分类是20世纪中叶一项规模庞大的工作，对一切的有限单群进行了分类。

分类
--

条目：群和群的类型
群论考虑的群的类型从有限置换群和一些特殊的矩阵群逐渐进展到抽象群。这些抽象群可以由生成元和关系给定。

### 置换群

条目：置换群
**置换群**是第一类被系统研究的群。对给定的集合X，X到自身的一些双射（通常叫做*置换*）的集合G如果在复合运算和求逆运算下封闭，那么称G是一个作用于X上的群。如果X包含n个元素而G包含所有可能的置换，那么G被称为对称群S\_{n}。一般地，任何置换群都是X的对称群的子群。凯莱定理表明，通过构造**左正规表示**，任何一个群都可以视作自身上的一个变换群。

### 矩陣群

条目：矩陣群
例子：李群

### 變換群

如果集合A的所有一一变换作成群，则称为A的一一变换群或对称群。
设G是一个非空集合，G的元素间定义一种运算"\circ"。如果G满足以下的条件：
1.（运算封闭性）对于G中的任意两个元素a、b，恒有{\displaystyle a\circ b\in G}；
2.（结合律）对于G中的任意三个元素a、b、c，恒有{\displaystyle \left(a\circ b\right)\circ c=a\circ \left(b\circ c\right)}；
3.（单位元）存在单位元{\displaystyle e\in G}，使得对于G中的任意元素a，都有{\displaystyle e\circ a=a}；
4.（逆元）对于G中的任意元素a，存在a的逆元{\displaystyle b\in G}，使得{\displaystyle b\circ a=e}。
则称G关于运算"\circ"作为一个群。简称G是一个群。
设A是一个非空集合，A的若干个一一变换对于变换的乘法所作成的群称为A的一个变换群。

### 抽象群

一个集G，如果它不是空集，而且满足以下四个条件，就叫做群：
①G中有一个闭合的结合法。这就是说，G中任意两元a,b的结合c仍然是G中元。结合法通常写成乘法，这时c又叫做a,b的积。一般用记号{\displaystyle ab=c}或{\displaystyle a\cdot b=c}表示。要注意，积ab虽然是由a,b唯一决定的，但一般它还与a,b的顺序有关。即ab不一定等于{\displaystyle ba}。
②G的结合法满足结合律。也就是说，对于G中任意三元a、b、c，有{\displaystyle \left(ab\right)c=a\left(bc\right)}。
③G中有一个（左）单位元e，对G中任意元a，有{\displaystyle ea=a}。事实上由于可以证明群的左单位元也是右单位元，因而一般把e就叫做单位元。
④对于G中任意元a，在G中有一个满足{\displaystyle a^{-1}a=e}的（左逆元）a^{{-1}}，此处e就是上面的（左）单位元。实际上，可以证明，在群中，a的左逆元也是右逆元。因此，一般把a^{{-1}}就叫a的逆元。

### 拓撲群／代數群

设G是拓扑空间，又是一个群，而且群的乘积运算与求逆按此拓扑是连续的，即从拓扑空间{\displaystyle G\times G}到拓扑空间G上的映射{\displaystyle m:\left(x,y\right)\rightarrow x\cdot y}及从G到G上的映射{\displaystyle f:x\rightarrow x}都是连续映射，则称G为拓扑群。如果G作为拓扑空间是局部紧(或紧、连通、单连通)的,则称G为局部紧(或紧、连通、单连通)拓扑群。例如，n维欧氏空间中所有向量所成的加群，再加上通常的拓扑，就是一个交换拓扑群；实数域R上所有n阶非奇异方阵所成的乘法群{\displaystyle GL(n,R)}，再加上通常的拓扑，是一个局部紧拓扑群；而所有行列式为1的正交矩阵所成的群{\displaystyle SO(n,R)}是一个紧连通拓扑群。
从拓扑群G到拓扑群H内的映射{\displaystyle f:G\rightarrow H}，如果作为群结构它是群同态，作为拓扑空间的映射它是连续的，那么f称为从拓扑群G到拓扑群H的同态，简称同态。如果同态f是双射, 而且逆映射f也是连续的，那么f称为拓扑群G到拓扑群H上的同构映射，简称"同构"。拓扑群全体带上拓扑群间的同态，构成一个范畴。这个范畴就是拓扑群论研究的对象。
在数学中，拓扑群概念最初是由连续变换群的研究所引起，人们发现在处理许多连续变换群的问题中所出现的群，往往不必考虑作变换群，而只需研究这些群本身，于是产生了连续群的概念。M.S.李是最初对连续群进行系统研究而卓有成就的人。李群就是因他得名。

应用
--

群论在数学上被广泛地运用，通常以自同构群的形式体现某些结构的内部对称性。结构的内部对称性常常和一种不变式性质同时存在。如果在一类操作中存在不变式，那这些操作转换的组合和不变式统称为一个对称群。

阿贝尔群概括了另外几种抽象集合研究的结构，例如环、域、模。

在代数拓扑中，群用于描述拓扑空间转换中不变的性质，例如基本群和透射群。

李群的概念在微分方程和流形中都有很重要的角色，因其结合了群论和分析学，李群能很好的描述分析数学结构中的对称性。对这类群的分析又叫调和分析。

在组合数学中，交换群和群作用常用来简化在某些集合内的元素的计算。

后来群论广泛应用于各个科学领域。凡是有对称性出现的地方，就会有它的影子，例如物理學的超弦理論。

参考资料
----

* Borel, Armand, Graduate Texts in Mathematics **126** 2nd, Berlin, New York: Springer-Verlag, 1991, ISBN 978-0-387-97370-8, MR 1102012, doi:10.1007/978-1-4612-0941-6
* Carter, Nathan C. Classroom Resource Materials Series, Mathematical Association of America, 2009  [2022-03-12], ISBN 978-0-88385-757-1, MR 2504193, （原始内容存档于2021-12-19）
* Cannon, John J. Communications of the ACM, 1969, **12**: 3–12, MR 0290613, S2CID 18226463, doi:10.1145/362835.362837

外部链接
----

* 稱對的對稱——遊走於科學與藝術間 （页面存档备份，存于）

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
主要的数学领域 |
| --- |
|  |
| 
* 历史
* 纲要（英语：）
* 列表（英语：）
* 符号表

 |
|  |
| 数学基础 | 
* 范畴论
* 集合论
* 数理逻辑
* 数学哲学

 |  |
|  |
| 代数 | 
* 抽象
* 交換
* 群论
* 初等代數
* 线性代数
* 多重线性代数
* 泛代数

 |
|  |
| 数学分析 | 
* 微积分
* 实变函数
* 复变函数
* 微分方程
* 泛函分析
* 調和分析

 |
|  |
| 离散数学 | 
* 组合数学
* 图论
* 序理论
* 博弈论

 |
|  |
| 几何学 | 
* 代数几何
* 解析几何
* 微分几何
* 离散几何学
* 欧几里得几何
* 非欧几里得几何
* 有限几何学

 |
|  |
| 数论 | 
* 算术
* 代數數論
* 解析数论
* 几何数论
* 算术几何
* 丢番图几何

 |
|  |
| 拓扑学 | 
* 点集拓扑
* 代数拓扑
* 微分拓扑
* 几何拓扑

 |
|  |
| 统计学 | 
* 测度与概率
* 数理统计学
* 数据科学
* 统计推断
* 迴歸分析
* 统计学习理论
* 机器学习
* 人工智能
* 数据结构与算法

 |
|  |
| 计算数学 | 
* 计算机科学
* 计算理论
* 数值分析
* 最优化
* 计算机代数

 |
|  |
| 应用数学 | 
* 控制论
* 信息论
* 计算化学
* 数理生物学
* 数理经济学
* 计量经济学
* 數理金融學
* 数学心理学
* 数学物理学
* 生物統計學

 |
|  |
| 其它 | 
* 娱乐数学
* 数学与艺术（英语：）
* 数学教育

 |
|  |
| 注释 | 
* 数学的领域也可根据"MSC分类标准"或"中国学科分类国家标准"进行分类。

 |
|  |
| 
* 分类 **分类**
* 主题 **主题**
* 共享资源页面**共享资源**
* 专题**专题**

 |

 |

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
抽象代数相关主题 |
| --- |
|  |
| 代数结构 · 群 · 环 ·  · 有限 · 本原元 · 格 ·  · 等价关系 · 代數中心 · 同态 · 同构 · 商结构（商系统） · 同构基本定理 · 合成列 · 自由對象 |
|  |
| 群论 | 

|  |  |
| --- | --- |
| 群 | 幺半群 · 半群 · 阿贝尔群 · 非阿贝尔群 · 循環群 · 有限群 ·  · 半 ·  · 自由群 · 交换子群（交換子） · 幂零群 · 可解群 · p-群 · 对称群 · 李群 · 伽罗瓦群 |
|  |
| 子群 | 陪集 · 双陪集 · 商群 · 共轭类 · 拉格朗日定理 · 西羅定理 · 正规子群 · 群中心 · 中心化子和正规化子 · 稳定子群 · 置换群 |
|  |
| 其他 | 阶 · 群擴張 · 群同態 · 群同構 · 群表示 · 群作用 · 波利亞計數定理 · 有限生成阿貝爾群 |

 |
|  |
| 環論 | 

|  |  |
| --- | --- |
| 环 | 子環 · 整环 · 除环 · 多项式环 ·  · 商环 · 諾特環 · 局部環 · 賦值環 · 環代數 · 理想 · 主理想环 · 唯一分解整環 · 群環 |
|  |
| 模 | 深度 · 單模 · 自由模 · 平坦模 · 阿廷模 · 諾特模 |
|  |
| 其他 | 幂 · 特征 · 完備化 · 環的局部化 |

 |
|  |
| 論 | 

|  |  |
| --- | --- |
|  | 有限 · 原根 · 代数闭 · 局部 · 分裂 · 分式環 |
|  |
| 扩张 | 单扩张 · 有限扩张 · 超越扩张 · 代数扩张 · 正规扩张 · 可分扩张 · 伽罗瓦扩张 · 阿贝尔扩张 · 伽罗瓦理论基本定理 |

 |

 |

|  |  |  |
| --- | --- | --- |
| 

|  |  |
| --- | --- |
| 规范控制 編輯維基數據鏈接 | 
* BNE: XX4576398
* BNF: cb11941215h (data)
* FAST: 948521
* GND: 4072157-7
* J9U: 987007543476605171
* LCCN: sh85057512
* NDL: 00562608
* NKC: ph126556
* SUDOC: 027351440

 |

 |