为什么计算器中默认（-1/2）的阶乘是π的平方根？

自然数n的阶乘（factorial）是所有小于或等于n的正整数的积，写作n!。1808年基斯顿·卡曼引进这个表示法。n!=1×2×3×...×n，规定0!=1。这条式子令阶乘的递归定义在n=0时有效：(n+1)!=n!(n+1)，亦令很多组合数学的恒等式在大小为零时仍有效。

阶乘亦可以用伽玛函数定义，令非整数的数亦有效.是高等数学问题。

¤伽玛函数（Gamma Function）

Γ（x)=∫e^(-t)*t^(x-1)dt (积分下限是零上限是＋∞）(x0,-1,-2,-3,……)

运用积分的知识，我们可以证明Γ（x)＝(x-1) * Γ（x-1)

所以，当x是整数n时，Γ（n) = (n-1)(n-2)……＝(n-1)!

这样Gamma 函数实际上就把阶乘的延拓。

用这方法算可以算到（-1/2）的阶乘就是π的平方根。

我们知道群论是数学的一个重要分支，它在很多学科都有重要的应用，例如在物理中的应用，群论是量子力学的基础。本课程的目的是为了使学生对群论的基本理论有感性的认识和理性的了解。本课程介绍群论的基本理论及某些应用。 主要内容有：首先介绍群、子群、 群同构的概念及有关性质，这是了解群的第一步。然后较为详细地讨论了两类最常见的群：循环群与置换群，包括一些例题和练习，可以熟悉群的运算和性质， 加深对群的理解。并且介绍置换群的某些应用。

然后对群论中某些重要的概念作专题讨论。首先定义并讨论群的子集的运算；由群的子集的运算，引出并讨论了子群的陪集的概念与性质。定义并讨论了正规子群与商群的概念与性质。借助于商群的概念证明了群同态基本定理， 从而对群的同态象作出了系统的描述。这部分内容是群论中最基本的内容，是任何一个希望学习群论的读者所必须掌握的。并且给出群的直积的概念，这是研究群的结构不可缺少的工具。

最后是群表示论的基本理论及应用，包括矢量空间与函数空间，矩阵的秩与直积，不变子空间与可约表示、shur 引理、正交理论、特征标、正规函数、基函数、表示的直积等的概念。

在群的表示理论之后，就是它在量子力学中的应用，例如从群论的角度解决一些量子力学问题，主要包括哈密顿算符的对称性，距阵元定理和选择定则。从而达到了解群论的基础知识以及有限群的表示理论，为群论在物理学中的应用打下基础的目的。

Group theory is one of the great simplifying and unifying ideas in modern mathematics, and it has important applications in many scientific fields. For example, group theory is the ground of Quantum Mechanics. It was introduced in order to understand the solutions to polynomial equations, but only in the last one hundred years has its full significance, as a mathematical formulation of symmetry, been understood. It plays a role in our understanding of fundamental particles, the structure of crystal lattices and the geometry of molecules. In this unit we will study the simple axioms satisfied by groups and begin to develop basic group theory in an axiomatic way. The aim of the course is to introduce students to the concept of groups, the notion of an axiomatic system through the example of group theory, to investigate elementary properties of groups, to illustrate these with a number of important examples, such as general linear groups and symmetric groups.

We give the necessary notations and basic definitions that we use throughout the thesis. First the concept of subclass is defined and discussed, the concept of the coset, the problems group factorization, coset. intersection, and double coset member for the subclass, etc. The content of this part is the most basic content and is necessary to learn for students.

An important tool for the study of groups (particularly finite groups and with compact groups) is representation theory. Broadly speaking, this asks for possible ways to view a group as a permutation group or a linear group. A number of attractive areas of representation theory link representations of a group with those of its subgroups, especially normal subgroups, algebraic subgroups, and local subgroups. Representation theory also considers images of groups in the automorphism groups of other abelian groups than simply complex vector spaces; these then are the group modules. (This is a somewhat more flexible setting than abstract group theory, since we move into an additive category); modular representation theory studies the case in which the modules are vector spaces over fields with positive characteristic.

At last, the course is on the application of group theory to Quantum Mechanics. We consider a symmetry operation of the system. Symmetry operation transform to the Hamilton operator symmetry, which is associated with the representation matrix. So there is matrix element theorem, and theory choice.

方程论是古典代数的中心课题。直到19世纪中叶，代数仍是一门以方程式论为中心的数学学科，代数方程的求解问题依然是代数的基本问题，特别是用根式求解方程。所谓方程有根式解（代数可解），就是这个方程的解由该方程的系数经过有限次加减乘除以及开整数次方等运算表示出来的。群论也就是起源于对代数方程的研究，它是人们对代数方程求解问题逻辑考察的结果。本文正是从方程论的发展入手，阐述伽罗瓦群论的产生过程，及其伽罗瓦理论的实质。

一. 伽罗瓦群论产生的历史背景

从方程的根式解法发展过程来看，早在古巴比伦数学和印度数学的记载中，他们就能够用根式求解一元二次方程ax2+bx+c=0，给出的解相当于+，，这是对系数函数求平方根。接着古希腊人和古东方人又解决了某些特殊的三次数字方程，但没有得到三次方程的一般解法。这个问题直到文艺复兴的极盛期（即16世纪初）才由意大利人解决。他们对一般的三次方程x3+ax2+bx+c=0，由卡丹公式解出根x= +，其中p=ba2，q=a3，显然它是由系数的函数开三次方所得。同一时期，意大利人费尔拉里又求解出一般四次方程x4+ax3+bx2+cx+d=0的根是由系数的函数开四次方所得。

用根式求解四次或四次以下方程的问题在16世纪已获得圆满解决，但是在以后的几个世纪里，探寻五次和五次以上方程的一般公式解法却一直没有得到结果。1770年前后，法国数学家拉格朗日转变代数的思维方法，提出方程根的排列与置换理论是解代数方程的关键所在，并利用拉格朗日预解式方法，即利用1的任意n次单位根（n=1）引进了预解式x1+x2+2x3+…+n-1xn，详细分析了二、三、四次方程的根式解法。他的工作有力地促进了代数方程论的进步。但是他的这种方法却不能对一般五次方程作根式解，于是他怀疑五次方程无根式解。并且他在寻求一般n次方程的代数解法时也遭失败，从而认识到一般的四次以上代数方程不可能有根式解。他的这种思维方法和研究根的置换方法给后人以启示。

1799年，鲁菲尼证明了五次以上方程的预解式不可能是四次以下的，从而转证五次以上方程是不可用根式求解的，但他的证明不完善。同年，德国数学家高斯开辟了一个新方法，在证明代数基本理论时，他不去计算一个根，而是证明它的存在。随后，他又着手探讨高次方程的具体解法。在1801年，他解决了分圆方程xp-1=0（p为质数）可用根式求解，这表明并非所有高次方程不能用根式求解。因此，可用根式求解的是所有高次方程还是部分高次方程的问题需进一步查明。

随后，挪威数学家阿贝尔开始解决这个问题。1824年到1826年，阿贝尔着手考察可用根式求解的方程的根具有什么性质，于是他修正了鲁菲尼证明中的缺陷，严格证明：如果一个方程可以根式求解，则出现在根的表达式中的每个根式都可表示成方程的根和某些单位根的有理数。并且利用这个定理又证明出了阿贝尔定理：一般高于四次的方程不可能代数地求解。接着他进一步思考哪些特殊的高次方程才可用根式解的问题。在高斯分圆方程可解性理论的基础上，他解决了任意次的一类特殊方程的可解性问题，发现这类特殊方程的特点是一个方程的全部根都是其中一个根（假设为x）的有理函数，并且任意两个根Q1(x)与Q2(x)满足Q1Q2(x)=Q2Q1(x)，Q1，Q2为有理函数。现在称这种方程为阿贝尔方程。其实在对阿贝尔方程的研究中已经涉及到了群的一些思想和特殊结果，只是阿贝尔没能意识到，也没有明确地构造方程根的置换集合（因为若方程所有的根都用根x1来表示成有理函数Qj(x1)，j=1,2,3,…,n，当用另一个根xI代替x1时，其中1〈I≤n ，那么Qj(xI)是以不同顺序排列的原方程的根，j=1,2,…,n。实际上应说根xI=Q1(xI),Q2(xI),…,Qn(xI)是根x1,x2,…,xn的一个置换），而仅仅考虑可交换性Q1Q2(x)=Q2Q1(x)来证明方程只要满足这种性质，便可简化为低次的辅助方程，辅助方程可依次用根式求解。

阿贝尔解决了构造任意次数的代数可解的方程的问题，却没能解决判定已知方程是否可用根式求解的问题。法国数学家伽罗瓦正是处在这样的背景下，开始接手阿贝尔未竞的事业。

二.伽罗瓦创建群理论的工作

伽罗瓦仔细研究了前人的理论，特别是拉格朗日、鲁菲尼、高斯、阿贝尔等人的著作，开始研究多项式方程的可解性理论，他并不急于寻求解高次方程的方法，而是将重心放在判定已知的方程是否有根式解。如果有，也不去追究该方程的根究竟是怎样的，只需证明有根式解存在即可。

1.伽罗瓦群论的创建

伽罗瓦在证明不存在一个五次或高于五次的方程的一般根式解法时，与拉格朗日相同，也从方程根的置换入手。当他系统地研究了方程根的排列置换性质后，提出了一些确定的准则以判定一个已知方程的解是否能通过根式找到，然而这些方法恰好导致他去考虑一种称之为“群”的元素集合的抽象代数理论。在1831年的论文中，伽罗瓦首次提出了“群”这一术语，把具有封闭性的置换的集合称为群，首次定义了置换群的概念。他认为了解置换群是解决方程理论的关键，方程是一个其对称性可用群的性质描述的系统。他从此开始把方程论问题转化为群论的问题来解决，直接研究群论。他引入了不少有关群论的新概念，从而也产生了他自己的伽罗瓦群论，因此后人都称他为群论的创始人。

对有理系数的n次方程

x+axn-1+a2xn-2+…+an-1x+an=0 （1） ，

假设它的n个根x1,x2,…,xn的每一个变换叫做一个置换，n个根共有n!个可能的置换，它们的集合关于置换的乘法构成一个群，是根的置换群。方程的可解性可以在根的置换群的某些性质中有所反映，于是伽罗瓦把代数方程可解性问题转化为与相关的置换群及其子群性质的分析问题。现在把与方程联系起的置换群（它表现了方程的对称性质）称为伽罗瓦群，它是在某方程系数域中的群。一个方程的伽罗瓦群是对于每一个其函数值为有理数的关于根的多项式函数都满足这个要求的最大置换群，也可以说成对于任一个取有理数值的关于根的多项式函数，伽罗瓦群中的每个置换都使这函数的值不变。

2.伽罗瓦群论的实质

我们可以从伽罗瓦的工作过程中，逐步领悟伽罗瓦理论的精髓。首先分析一下他是怎样在不知道方程根的情况下，构造伽罗瓦群的。仍然是对方程（1），设它的根x1,x2,…,xn中无重根，他构造了类似于拉格朗日预解式的关于x1,x2,…,xn的一次对称多项式

△1=A1x1+A2x2+…+Anxn，

其中AI(I=1,2,3,…,n)不必是单位根，但它必是一些整数且使得n!个形如△1的一次式△1,△2,…,△n!各不相同，接着又构造了一个方程

=0 (2) ，

该方程的系数必定为有理数（可由对称多项式定理证明），并且能够分解为有理数域上的不可约多项式之积。设F(x)=是 的任意一个给定的m次的不可约因子，则方程(1)的伽罗瓦群是指n!个△I中的这m个排列的全体。同时他又由韦达定理

知伽罗瓦群也是一个对称群，它完全体现了此方程的根的对称性。但是计算一个已知方程的伽罗瓦群是有一定困难的，因此伽罗瓦的目的并不在于计算伽罗瓦群，而是证明：恒有这样的n次方程存在，其伽罗瓦群是方程根的可能的最大置换群S(n)，S(n)是由n!个元素集合构成的，S(n)中的元素乘积实际上是指两个置换之积。现在把S(n)中的元素个数称为阶，S(n)的阶是n!。

伽罗瓦找出方程系数域中的伽罗瓦群G后，开始寻找它的最大子群H1，找到H1后用一套仅含有理运算的手续（即寻找预解式）来找到根的一个函数。的系数属于方程的系数域R，并且在H1的置换下不改变值，但在G的所有别的置换下改变值。再用上述方法，依次寻找H1的最大子群H2，H2的最大子群H3，…于是得到H1,H2,…,Hm，直到Hm里的元素恰好是恒等变换（即Hm为单位群I）。在得到一系列子群与逐次的预解式的同时，系数域R也随之一步步扩大为R1,R2,…,Rm，每个RI对应于群HI。当Hm=I时，Rm就是该方程的根域，其余的R1,R2,…,Rm-1是中间域。一个方程可否根式求解与根域的性质密切相关。例如，四次方程

x4+px2+q=0 (3) ，

p与q独立，系数域R添加字母或未知数p、q到有理数中而得到的域，先计算出它的伽罗瓦群G，G是S(4)的一个8阶子群，G=，其中

E=，E1=，E2=，E3=，E4=，E5=， E6=， E7=。

要把R扩充到R1，需在R中构造一个预解式，则预解式的根，添加到R中得到一个新域R1，于是可证明原方程（3）关于域R1的群是H1，H1=，并发现预解式的次数等于子群H1在母群G中的指数8÷4=2（即指母群的阶除以子群的阶）。第二步，构造第二个预解式，解出根 ，于是在域R1中添加得到域R2，同样找出方程（3）在R2中的群H2，H2=，此时，第二个预解式的次数也等于群H2在H1中的指数4÷2=2。第三步，构造第三个预解式，得它的根 ，把添加到R2中得扩域R3，此时方程（3）在R3中的群为H3，H3=，即H3=I，则R3是方程（3）的根域，且该预解式的次数仍等于群H3在H2中的指数2÷1=2。在这个特殊的四次方程中，系数域到根域的扩域过程中每次添加的都是根式，则方程可用根式解。这种可解理论对于一般的高次方程也同样适用，只要满足系数域到根域的扩域过程中每次都是添加根式，那么一般的高次方程也能用根式求解。

现仍以四次方程（3）为例，伽罗瓦从中发现了这些预解式实质上是一个二次的二项方程，既然可解原理对高次方程也适用，那么对于能用根式求解的一般高次方程，它的预解式方程组必定存在，并且所有的预解式都应是一个素数次p的二项方程xp=A。由于高斯早已证明二项方程是可用根式求解的。因此反之，如果任一高次方程所有的逐次预解式都是二项方程，则能用根式求解原方程。于是，伽罗瓦引出了根式求解原理，并且还引入了群论中的一个重要概念“正规子群”。

他是这样给正规子群下定义的：设H是G的一个子群，如果对G中的每个g都有gH=Hg，则称H为G的一个正规子群，其中gH表示先实行置换g，然后再应用H的任一元素，即用G的任意元素g乘H的所有置换而得到的一个新置换集合。定义引入后，伽罗瓦证明了当作为约化方程的群(如由G 约化到H1)的预解式是一个二项方程xp=A (p为素数)时，则H1是G的一个正规子群。反之，若H1是G的正规子群，且指数为素数p，则相应的预解式一定是p次二项方程。他还定义了极大正规子群：如果一个有限群有正规子群，则必有一个子群，其阶为这有限群中所有正规子群中的最大者，这个子群称为有限群的极大正规子群。一个极大正规子群又有它自己的极大正规子群，这种序列可以逐次继续下去。因而任何一个群都可生成一个极大正规子群序列。他还提出把一个群G生成的一个极大正规子群序列标记为G、H、I、J…, 则可以确定一系列的极大正规子群的合成因子[G/H]，[H/I]，[I/G]…。合成因子[G/H]=G的阶数/ H的阶数。对上面的四次方程(3)，H1是G的极大正规子群， H2是H1的极大正规子群，H3又是H2的极大正规子群，即对方程(3)的群G 生成了一个极大正规子群的序列G、H1、H2、H3。

随着理论的不断深入，伽罗瓦发现对于一个给定的方程，寻找它在伽罗瓦群及其极大不变子群序列完全是群论的事。因此，他完全用群论的方法去解决方程的可解性问题。最后，伽罗瓦提出了群论的另一个重要概念“可解群”。他称具有下面条件的群为可解群：如果它所生成的全部极大正规合成因子都是质数。

根据伽罗瓦理论，如果伽罗瓦群生成的全部极大正规合成因子都是质数时，方程可用根式求解。若不全为质数，则不可用根式求解。由于引入了可解群，则可说成当且仅当一个方程系数域上的群是可解群时，该方程才可用根式求解。对上面的特殊四次方程(3)，它的[G/H]=8/4=2，[H1/H2]=2/1=2，2为质数，所以方程(3)是可用根式解的。再看一般的n次方程，当n=3时，有两个二次预解式t2=A和t3=B，合成序列指数为2与3，它们是质数，因此一般三次方程可根式解。同理对n=4，有四个二次预解式，合成序列指数为2，3，2，2，于是一般四次方程也可根式求解。一般n次方程的伽罗瓦群是s(n)，s(n)的极大正规子群是A(n) (实际A(n)是由s(n)中的偶置换构成的一个子群。如果一个置换可表为偶数个这类置换之积，则叫偶置换。)，A(n)的元素个数为s(n)中的一半，且A(n)的极大正规子群是单位群I，因此[s(n)/A(n)]=n!/(n!/2)=2，[A(n)/I]=(n!/2)/1=n!/2， 2是质数，但当n ≥5时，n！/2不是质数，所以一般的高于四次的方程是不能用根式求解的。至此，伽罗瓦完全解决了方程的可解性问题。

顺带提一下，阿贝尔是从交换群入手考虑问题的，他的出发点与伽罗瓦不同，但他们的结果都是相同的，都为了证其为可解群，并且伽罗瓦还把阿贝尔方程进行了推广，构造了一种现在称之为伽罗瓦方程的方程，伽罗瓦方程的每个根都是其中两个根的带有系数域中系数的有理函数。

四.伽罗瓦群论的历史贡献

伽罗瓦创立群论是为了应用于方程论，但他并不局限于此，而是把群论进行了推广，作用于其他研究领域。可惜的是，伽罗瓦群论的理论毕竟太深奥，对十九世纪初的人们来说是很难理解的，连当时的数学大师都不能理解他的数学思想和他的工作的实质，以至他的论文得不到发表。更不幸的是伽罗瓦在二十一岁时便因一场愚蠢的决斗而早逝，我们不得不为这位天才感到惋惜。到十九世纪六十年代，他的理论才终于为人们所理解和接受。

伽罗瓦群理论被公认为十九世纪最杰出的数学成就之一。他给方程可解性问题提供了全面而透彻的解答，解决了困扰数学家们长达数百年之久的问题。伽罗瓦群论还给出了判断几何图形能否用直尺和圆规作图的一般判别法，圆满解决了三等分任意角或倍立方体的问题都是不可解的。最重要的是，群论开辟了全新的研究领域，以结构研究代替计算，把从偏重计算研究的思维方式转变为用结构观念研究的思维方式，并把数学运算归类，使群论迅速发展成为一门崭新的数学分支，对近世代数的形成和发展产生了巨大影响。同时这种理论对于物理学、化学的发展，甚至对于二十世纪结构主义哲学的产生和发展都发生了巨大的影响。

参考文献：

M·克莱因．古今数学思想．北京大学数学系数学史翻译组译．上海：上海

科学技术出版社，1980．

鲁又文编著．数学古今谈．天津：天津科学技术出版社，1984．

中外数学简史编写组．外国数学简史．山东：山东教育出版社，1987．

吴文俊主编．世界著名科学家传记．北京：科学出版社，1994．

Tony Rothman：”伽罗瓦传”，《科学》，重庆，科学技术文献出版社重庆分社，1982年第8 期，第81～92页．

鹏仔微信 15129739599 鹏仔QQ344225443 鹏仔前端 pjxi.com 共享博客 sharedbk.com