群论（法国数学家伽罗瓦发明的理论）
VLoG
次浏览
更新时间：2023-05-22
群论
法国数学家伽罗瓦发明的理论
基本信息
| 中文名 | 群论 |
| 外文名 | Group Theory |
| 术语类别 | 数学概念 |
| 提出者 | 埃瓦里斯特·伽罗瓦 |
| 用途 | 数学、物理、化学 |
| 领域 | 数学 抽象代数 |
收起
引言
群的概念引发自多项式方程的研究，由埃瓦里斯特·伽罗瓦在19世纪30年代开创。在得到来自其他领域如数论和几何学的贡献之后，群概念在1870年左右形成并牢固建立。现代群论是非常活跃的数学学科，它以自己的方式研究群。为了探索群，数学家发明了各种概念来把群分解成更小的、更好理解的部分，比如置换群、子群、商群和单群等。
历史
群论是法国数学家伽罗瓦（Galois）的发明。伽罗瓦是一个极具传奇性的人物，年仅21岁就英年早逝于一场近乎自杀的决斗中。
他用该理论，具体来说是伽罗瓦群，解决了五次方程问题。在此之前柯西（Augustin-Louis Cauchy)，阿贝尔（Niels Henrik Abel）等人也对群论作出了贡献。
最先产生的是n个文字的一些置换所构成的置换群，它是在研究当时代数学的中心问题即五次以上的一元多项式方程是否可用根式求解的问题时，经由J.-L.拉格朗日、P.鲁菲尼、N.H.阿贝尔和E.伽罗瓦引入和发展，并有成效地用它彻底解决了这个中心问题。某个数域上一元n次多项式方程，它的根之间的某些置换所构成的置换群被定义作该方程的伽罗瓦群，1832年伽罗瓦证明了：一元 n次多项式方程能用根式求解的一个充分必要条件是该方程的伽罗瓦群为“可解群”（见有限群）。由于一般的一元n次方程的伽罗瓦群是n个文字的对称群Sn，而当
时Sn不是可解群，所以一般的五次以上一元方程不能用根式求解。伽罗瓦还引入了置换群的同构、正规子群等重要概念。应当指出，A.-L.柯西早在1815年就发表了有关置换群的第一篇论文，并在1844～1846年间对置换群又做了很多工作。至于置换群的系统知识和伽罗瓦用于方程理论的研究，由于伽罗瓦的原稿是他在决斗致死前夕赶写成的，直到后来才在C.若尔当的名著“置换和代数方程专论”中得到很好的介绍和进一步的发展。置换群是最终产生和形成抽象群的第一个最主要的来源。
在数论中，拉格朗日和C.F.高斯研究过由具有同一判别式D的二次型类，即
，其中a、b、с为整数，x、y 取整数值，且
为固定值，对于两个型的"复合"乘法，构成一个交换群。J.W.R.戴德金于1858年和L.克罗内克于1870年在其代数数论的研究中也引进了有限交换群以至有限群。这些是导致抽象群论产生的第二个主要来源。
在若尔当的专著影响下，（C.）F.克莱因于1872年在其著名的埃尔朗根纲领中指出，几何的分类可以通过无限连续变换群来进行。克莱因和（J.-）H.庞加莱在对 "自守函数”的研究中曾用到其他类型的无限群（即离散群或不连续群）。在1870年前后，索菲斯·李开始研究连续变换群即解析变换李群，用来阐明微分方程的解，并将它们分类。这无限变换群的理论成为导致抽象群论产生的第三个主要来源。
A.凯莱于1849年、 1854年和 1878年发表的论文中已然提到接近有限抽象群的概念。F.G.弗罗贝尼乌斯于1879年和E.内托于1882年以及W.F.A.von迪克于 1882～1883年的工作也推进了这方面认识。19世纪80年代，综合上述三个主要来源，数学家们终于成功地概括出抽象群论的公理系统，大约在1890年已得到公认。20世纪初，E.V.亨廷顿，E.H.莫尔，L.E.迪克森等都给出过抽象群的种种独立公理系统，这些公理系统和现代的定义一致。
在1896～1911年期间，W.伯恩赛德的“有限群论”先后两版，颇多增益。G.弗罗贝尼乌斯、W.伯恩赛德、I.舒尔建立起有限群的矩阵表示论后，有限群论已然形成。无限群论在20世纪初，也有专著，如1916年Ο.ю.施米特的著作。群论的发展导致20世纪30年代抽象代数学的兴起。尤其是近30年来，有限群论取得了巨大的进展，1981年初，有限单群分类问题的完全解决是一个突出的成果。与此同时，无限群论也有快速的进展。
时至今日，群的概念已经普遍地被认为是数学及其许多应用中最基本的概念之一。它不但渗透到诸如几何学、代数拓扑学、函数论、泛函分析及其他许多数学分支中而起着重要的作用，还形成了一些新学科如拓扑群、李群、代数群、算术群等，它们还具有与群结构相联系的其他结构如拓扑、解析流形、代数簇等，并在结晶学、理论物理、量子化学以至（代数）编码学、自动机理论等方面，都有重要的应用。作为推广“群”的概念的产物：半群和幺半群理论及对计算机科学和对算子理论的应用，也有很大的发展。群论的计算机方法和程序的研究，已在迅速地发展。
就科学内容而言，群论属于数学范畴，在许多数学分支中都有它的应用。它还被广泛用于物理、化学及工程科学等许多领域，尤其是物理学成为受惠最多的学科。从经典物理中对称性和守恒律的研究到量子力学中角动量理论及动力学对称性的探索再到同位旋、超荷和SU（3）对称性在现代基本粒子物理中的应用等无不闪耀着群论思想的光辉。粗略地说，我们经常用群论来研究对称性，这些对称性能够反映出在某种变化下的某些变化量的性质。它也跟物理方程联系在一起。基础物理中常被提到的李群，就类似与伽罗瓦群被用来解代数方程，与微分方程的解密切相关。
另外，晶体学中早期的关于晶体的各种结构的问题中，也是靠群论中的费得洛夫群的研究给出了答案。群论指出，空间中互不相同的晶体结构只有确定的230种。
在研究群时，使用表象而非群元是较方便的，因为群元一般来说都是抽象的事物。表象可以看成矩阵，而矩阵具有和群元相同的性质。不可约表象和单位表象是表象理论中的重要概念。
在许多研究群论的数学家眼中，也即指在抽象群论中，数学家关心的是各元素间的运算关系，也即群的结构，而不管一个群的元素的具体含义是什么。举一个具体的例子，根据凯莱定理，任何一个群都同构于由群的元素组成的置换群。于是，特别是对研究有限群来说，研究置换群就是一个重要的问题了。
基本概念
替换定理
若
是群，则对于任一
，
。
子群
若
是群，H是G的非空子集并且 
也是群，那么称H 为G的子群。
这条定理可以判定G 的子集是否为一个子群：
举例
..., −4, −3, −2, −1, 0, 1, 2, 3, 4,...
下列整数加法的性质，可以作为抽象的群公理的模型。
- 对于任何两个整数a和b，它们的和a+b也是整数。换句话说，在任何时候，把两个整数相加都能得出整数的结果。这个性质叫做在加法下封闭。
- 对于任何整数a,b和c，。用话语来表达，先把a加到b，然后把它们的和加到c，所得到的结果与把a加到b与c的和是相等的。这个性质叫做结合律。
- 如果a是任何整数，那么。零叫做加法的单位元，因为把它加到任何整数都得到相同的整数。
- 对于任何整数a，存在另一个整数b使得。整数b叫做整数a的逆元，记为−a。
全体非零实数的乘法构成一个群
对三个互不相同的有序对象的6种不同顺序间的改变（包括不变的情况）构成一个六阶的群（这是一个有限的置换群的例子），它由此被标记为S3
应用
物理
几何晶体学的发展：
晶体点阵、点群、空间群这些概念的诞生以及他们在晶体学中的应用。这个主要发展时间是 19 世纪末，20 世纪初，代表人物是熊夫利（Schöneflies，德国犹太人）、赫尔曼（Hermann，德国人）、毛古因（Mauguin，法国人）。)
对称性与守恒量之间的关系：
代表人物是诺特（Noether，女士，德裔犹太人）。她没得诺奖，不过这个不影响她本身的伟大。诺特定理的基本内容是“any differentiable symmetry of the action of a physical system has a corresponding conservation law”，也可以说是任何一个保持拉格朗日量不变的微分算符，都对应一个守恒的物理量。
量子力学：
代表人物是维格纳（Wigner，匈牙利犹太人）。他也因为这方面的研究获得了1963年的诺贝尔物理奖。他的获奖原因，原话是“for his contributions to the theory of the atomic nucleus and the elementary particles, particularly through the discovery and application of fundamental symmetry principles”。Wigner 有一本书，叫《Group theory and its applications to the quantum mechanics of atomic spectra》，1931 年写的。也就是在这个之后，在物理学问题的研究中使用对称性的知识彻底地成为了一种思维。
