里论外几-
我们知道群论是数学的一个重要分支，它在很多学科都有重要的应用，例如在物理中的应用，群论是量子力学的基础。本课程的目的是为了使学生对群论的基本理论有感性的认识和理性的了解。本课程介绍群论的基本理论及某些应用。 主要内容有：首先介绍群、子群、 群同构的概念及有关性质，这是了解群的第一步。然后较为详细地讨论了两类最常见的群：循环群与置换群，包括一些例题和练习，可以熟悉群的运算和性质， 加深对群的理解。并且介绍置换群的某些应用。
然后对群论中某些重要的概念作专题讨论。首先定义并讨论群的子集的运算；由群的子集的运算，引出并讨论了子群的陪集的概念与性质。定义并讨论了正规子群与商群的概念与性质。借助于商群的概念证明了群同态基本定理， 从而对群的同态象作出了系统的描述。这部分内容是群论中最基本的内容，是任何一个希望学习群论的读者所必须掌握的。并且给出群的直积的概念，这是研究群的结构不可缺少的工具。
最后是群表示论的基本理论及应用，包括矢量空间与函数空间，矩阵的秩与直积，不变子空间与可约表示、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，…E7}，其中
E=，E1=，E2=，E3=，E4=，E5=， E6=， E7=。
要把R扩充到R1，需在R中构造一个预解式，则预解式的根，添加到R中得到一个新域R1，于是可证明原方程（3）关于域R1的群是H1，H1={E，E1，E2，E3}，并发现预解式的次数等于子群H1在母群G中的指数8÷4=2（即指母群的阶除以子群的阶）。第二步，构造第二个预解式，解出根 ，于是在域R1中添加得到域R2，同样找出方程（3）在R2中的群H2，H2={E，E1}，此时，第二个预解式的次数也等于群H2在H1中的指数4÷2=2。第三步，构造第三个预解式，得它的根 ，把添加到R2中得扩域R3，此时方程（3）在R3中的群为H3，H3={E}，即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页．
西柚不是西游-
一般说来，群指的是对于某一种运算*，满足以下四个条件的集合G：
（1）封闭性
若a,b∈G,则存在唯一确定的c∈G,使得a*b=c;
（2）结合律成立
任意a,b,c∈G,有(a*b)*c=a*(b*c);
（3）单位元存在
存在e∈G,对任意a∈G，满足a*e=e*a=a，称e为单位元，也称幺元;
（4）逆元存在
任意a∈G,存在唯一确定的b∈G, a*b=b*a=e（单位元），则称a与b互为逆元素，简称逆元，记作a^(-1)=b.
通常称G上的二元运算*为“乘法”，称a*b为a与b的积，并简写为ab.
若群G中元素个数是有限的，则G称为有限群。否则称为无限群。有限群的元素个数称为有限群的阶。
定义运算*
对于g∈G，H包含于G，g*H={gh|h∈H}，简写为gH；H*g={hg|h∈H}，简写为Hg.
A，B包含于G，A*B={ab|a∈A,b∈B}，简写为AB.
群的替换定理
G对*是群，则对于任一g∈G，gG=Gg=G.
定义记法
G对*是群，集合H包含于G，记H^(-1)={h^(-1)|h∈H}
子群的定义
如果G对于运算*为一个群，H包含于G并且H对*构成一个群，那么称H为G的子群。
这条定理可以判定G的子集是否为一个子群：
HH=H且H^(-1)=H <=> H是G的子群
历史
群论是法国传奇式人物伽罗瓦（ Galois，1811~1832年）的发明。他用该理论，具体来说是伽罗瓦群，解决了五次方程问题。在此之后柯西（Augustin-Louis Cauchy,1789~1857年)，阿贝尔（Niels Henrik Abel，1802~1829年）等人也对群论作出了发展。
最先产生的是n个文字的一些置换所构成的置换群，它是在研究当时代数学的中心问题即五次以上的一元多项式方程是否可用根式求解的问题时,经由J.-L.拉格朗日、P.鲁菲尼、N.H.阿贝尔和E.伽罗瓦引入和发展，并有成效地用它彻底解决了这个中心问题。某个数域上一元n次多项式方程,它的根之间的某些置换所构成的置换群被定义作该方程的伽罗瓦群，1832年伽罗瓦证明了：一元 n次多项式方程能用根式求解的一个充分必要条件是该方程的伽罗瓦群为“可解群”（见有限群）。由于一般的一元n次方程的伽罗瓦群是n个文字的对称群Sn，而当n≥5时Sn不是可解群，所以一般的五次以上一元方程不能用根式求解。伽罗瓦还引入了置换群的同构、正规子群等重要概念。应当指出，A.-L.柯西早在1815年就发表了有关置换群的第一篇论文，并在1844～1846年间对置换群又做了很多工作。至于置换群的系统知识和伽罗瓦用于方程理论的研究，由于伽罗瓦的原稿是他在决斗致死前夕赶写成的，直到后来才在C.若尔当的名著“置换和代数方程专论”中得到很好的介绍和进一步的发展。置换群是最终产生和形成抽象群的第一个最主要的来源。
在数论中，拉格朗日和C.F.高斯研究过由具有同一判别式D的二次型类,即f=ax^2+2bxy+cy^2,其中a、b、с为整数，x、y 取整数值，且D＝b^2-aс为固定值，对于两个型的"复合"乘法,构成一个交换群。J.W.R.戴德金于1858年和L.克罗内克于1870年在其代数数论的研究中也引进了有限交换群以至有限群。这些是导致抽象群论产生的第二个主要来源。
在若尔当的专著影响下，（C.）F.克莱因于1872年在其著名的埃尔朗根纲领中指出，几何的分类可以通过无限连续变换群来进行。克莱因和（J.-）H.庞加莱在对 "自守函数”的研究中曾用到其他类型的无限群（即离散群或不连续群）。在1870年前后，M.S.李开始研究连续变换群即解析变换李群,用来阐明微分方程的解,并将它们分类。这无限变换群的理论成为导致抽象群论产生的第三个主要来源。
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年初，有限单群分类问题的完全解决是一个突出的成果。与此同时，无限群论也有快速的进展。
时至今日，群的概念已经普遍地被认为是数学及其许多应用中最基本的概念之一。它不但渗透到诸如几何学、代数拓扑学、函数论、泛函分析及其他许多数学分支中而起着重要的作用，还形成了一些新学科如拓扑群、李群、代数群、算术群等，它们还具有与群结构相联系的其他结构如拓扑、解析流形、代数簇等，并在结晶学、理论物理、量子化学以至（代数）编码学、自动机理论等方面，都有重要的应用。作为推广“群”的概念的产物：半群和幺半群理论及其近年来对计算机科学和对算子理论的应用，也有很大的发展。群论的计算机方法和程序的研究，已在迅速地发展。
今天，群论经常应用于物理领域。粗略地说，我们经常用群论来研究对称性，这些对称性能够反映出在某种变化下的某些变化量的性质。它也跟物理方程联系在一起。基础物理中常被提到的李群，就类似与伽罗瓦群被用来解代数方程，与微分方程的解密切相关。
在物理上，置换群是很重要的一类群。置换群包括S3群，二维旋转群，三维旋转群以及和反应四维时空相对应的洛仑兹群。洛仑兹群加上四维变换就构成了Poincare群。
另外，晶体学中早期的关于晶体的各种结构的问题中，也是靠群论中的费得洛夫群的研究给出了答案。群论指出，空间中互不相同的晶体结构只有确定的230种。
在研究群时，使用表象而非群元是较方便的，因为群元一般来说都是抽象的事物。表象可以看成矩阵，而矩阵具有和群元相同的性质。不可约表象和单位表象是表象理论中的重要概念。
在许多研究群论的数学家眼中，也即指在抽象群论中，数学家关心的是各元素间的运算关系，也即群的结构，而不管一个群的元素的具体含义是什么。举一个具体的例子，群论研究表明，任何一个群都同构于由群的元素组成的置换群。于是，特别是对研究有限群来说，研究置换群就是一个重要的问题了。
群的例子
全体整数的加法构成一个群
全体非零实数的乘法构成一个群
对三个互不相同的有序对象的6种不同顺序间的改变（包括不变的情况）构成一个六阶的群（这是一个有限的置换群的例子） ,它由此被标记为S3