Dyjtyuk

本条目需要擴充。（2015年4月17日） 请協助改善这篇條目，更進一步的信息可能會在討論頁或扩充请求中找到。请在擴充條目後將此模板移除。

  本條目介紹的是群的高阶主题。關於基本概念，請見“群”。

群论

群 基本概念 子群 · 正规子群 · 商群 群同态 像 · (半)直积 · 直和 单群 · 有限群 · 无限群 拓扑群 · 群概形 · 循环群 冪零群 · 可解群 离散群 有限单群分类 循环群 Zn 交错群 An 散在群 马蒂厄群 M11..12,M22..24 康威群 Co1..3 扬科群 J1..4 费歇尔群 F22..24 子怪兽群 B 怪兽群 M 其他有限群 对称群, Sn 二面体群, Dn 无限群 整数, Z 模群, PSL(2,Z) 和 SL(2,Z) 连续群 李群 一般线性群 GL(n) 特殊线性群 SL(n) 正交群 O(n) 特殊正交群 SO(n) 酉群 U(n) 特殊酉群 SU(n) 辛群 Sp(n) G2 F4 E6 E7 E8 勞侖茲群 庞加莱群 无限维群 共形群 微分同胚群 环路群 量子群 O(∞) SU(∞) Sp(∞) 代数群 椭圆曲线 线性代数群（英语：Linear algebraic group） 阿贝尔簇（英语：Abelian variety）

查 论 编

在数学和抽象代数中，群论研究名为群的代数结构。

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

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

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

历史

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

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

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

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

群的主要类型

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

置换群

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

矩陣群

例子：李群

變換群

如果集合Adisplaystyle A的所有一一变换作成群，则称为Adisplaystyle A的一一变换群或对称群。
设Gdisplaystyle G是一个非空集合，Gdisplaystyle G的元素间定义一种运算“∘displaystyle circ ”。如果Gdisplaystyle G满足以下的条件：
1.（运算封闭性）对于Gdisplaystyle G中的任意两个元素adisplaystyle a、bdisplaystyle b，恒有a∘b∈Gdisplaystyle acirc bin G；
2.（结合律）对于Gdisplaystyle G中的任意三个元素adisplaystyle a、bdisplaystyle b、cdisplaystyle c，恒有(a∘b)∘c=a∘(b∘c)displaystyle left(acirc bright)circ c=acirc left(bcirc cright)；
3.（单位元）存在单位元e∈Gdisplaystyle ein G，使得对于Gdisplaystyle G中的任意元素adisplaystyle a，都有e∘a=adisplaystyle ecirc a=a；
4.（逆元）对于Gdisplaystyle G中的任意元素adisplaystyle a，存在adisplaystyle a的逆元b∈Gdisplaystyle bin G，使得b∘a=edisplaystyle bcirc a=e。
则称Gdisplaystyle G关于运算“∘displaystyle circ ”作为一个群。简称Gdisplaystyle G是一个群。
设Adisplaystyle A是一个非空集合，Adisplaystyle A的若干个一一变换对于变换的乘法所作成的群称为Adisplaystyle A的一个变换群。

抽象群

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

拓撲群／代數群

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

群论的運用

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

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

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

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

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

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

参考

外部链接

• 稱對的對稱——遊走於科學與藝術間