群在集合上作用的定义

群在集合上作用的定义近世代数是近一百年来发展起来的新的数学领域，它极大地扩充了代数学的研究范围，并出现了许多新的研究方法和研究对象。我们知道，数、多项式、和矩阵的出现是为了刻画一些物理量和几何量，诸如长度、面积、速度、物理定理、空间中点的位置、平面的运动和几何变换等。然而当人们企图刻画对称性时，——无论是物理现象中，还是数学世界中的对称性时，都无法用单个的数，多项式或矩阵来刻画。为了刻画对称这一概念，人们发现了群。现在我们知道，群是研究对称性的有力工具。物理、几何、数学中对称这一概念的特殊重要性，是群称为近代数学极其深刻、极其重要的概念之一。群论有着悠久的历史，现在已经发展成为一门范围广泛和内容十分丰富的数学分支，在近世代数中占有极为重要的地位。19世纪初，青年数学家伽罗瓦和阿贝尔为了解决数学史上一个长达三世纪之久的难题，即五次和五次以上代数方程的根式解问题，引进了一种置换群的概念，它对今后数学的发展，特别是代数学的发展起着巨大的关键性作用。之后，人们逐渐发现，置换群并不重要，重要的是对任意集合里所规定的代数运算的的研究，这样一个现在看来似乎很平凡的发现实际上是一个很大的突破，它的重要意义在于把置换群的研究推广到更一般的抽象群的研究上去。这样便把群的研究建立在公理化的基础上，使它的理论更加清晰和严谨，从而为群论的发展开辟了广阔的前景。本文第一章回顾了群与集合上变换的基本概念，第二章介绍了群在集合上作用的定义以及群作用的基本定理，最后我们引出了群在集合上作用的例子和应用，并由此说明群作用在数学中的重要性。第一章基本概念定义1・1设A与B是两个集合，如果有一个对应法则申，它对于A中每一个元素x,在B中都有一个唯一确定的元素y与之对应，则称法则申是集合A到B得一个映射。这种关系常表示为y二申（x）或申：xay定义1.2集合X到自身的映射，叫做集合X的一个变换。同样可以定义满射变换、单射变换和双射变换。X的双射变换也称为X的一个一一变换。定义1・3（群的定义）设G是一个非空集合，如果在G上定义了一个乘法代数运算，记作ab，而且它适合以下条件，那么G称为一个群：1） 对于G中任意元素a，b，c有a（bc）二（ab）c （结合律）2） 在G中有一个元素e,它对于G中任意元素d有ea=a3） 对于G中任一元素d都存在G中一个元素b使ba=e第二章群在集合上作用的定义变换群的定义设X={1,2,……,n}。则对X的每个双射变换申，都能确定元素1,2……,n的一个全排列申(1)申(2) 申(n),反之，元素1,2， ，n的任意一个全排列都确定X的一个双射，而且不同的全排列确定不同的双射变换。对有限集合X={1,2,……，n}的双射变换申，常用一下特殊符号表示(1 2An)申=3(1)申⑵A申(n)丿并称其为一个n元置换。由群的定义容易验证X的双射变换全体作成一个群，即有：定义2.1设X是任意一个非空集合，则由集合X一些变换关于变换乘法所作成的群，称为集合X的一个变换群；由X的全体双射变换作成的群，称为集合X的全变换群，记为S(X)特别地，当|X|=n时，X上的对称群用S表示，并称为n元对称群。n显然，X的任何双射变换群都是X上的对称群的一个子群，即X上的对称群是X上最大的双射变换群。定理2.1(Caylay,1821-1895)任何群都同一个集合的变换群同构。证明：设G是一个群，同时定义集合G的变换b如下：ab(x)=ax,xgGa我们先证明，b是G的可逆变换。显然，abb(x)=b(ax)二xTOC\o"1-5"\h\za-1a a-1bb(x)=b(a-ix)=x\o"CurrentDocument"aa-1 a这就是说，bb与bb都是单位变换，即a-1a aa-1b-1=ba a-1因此，b是可逆变换。这样，我们就得到集合G的一些可逆变换组成的集合aG={b|agG}la对于b,bgG，有ablbb-1(x)=bb(x)=ab-1x=b(x)ab ab-1 ab-1即bb-1=bgGab ab-1 l由定理知，G是一变换群。l因为b(e)=aa所以当a丰b时，bHb。这就说明，映射abaaba是G到G1的一个 对应。即f是一同构映射。证毕推论2・1任何n阶有限群都同n元对称群S的一个子群同构。n群在集合上作用的定义由Caylay定理知，每个群G都同G上的一个双射变换群同构，即有一个群G到对称群S(G)的同态映射。设想，如果把后者的G换成一般化的任一集合X,即有一个群G到对称群S(X)的同态映射，如此我们就得到群在集合上的作用的定义。定义2.2设G是一个群，X是任一非空集合，若给定一个映射f:GxXTX适合条件：对Vg,ggG,xgX12(1)f(e,x)二x⑵f(gg,x)二f(g,f(g,x))1212那么我们就说，f决定了群G在集合X上的一个作用。在不需要指明映射f的情况下，我们常常记f(g,x)二g(x)。在举例之前，我们先来考察“群G在集合X上的作用”同“群G到S(X)的同态映射”的关系。设群G作用在集合X上，那么G的每个元素g都对应集合X的一个到自身的映射b:xag(x)。有定义中的条件，我们有ggt(g(x))二g(g-1(x))二e(x)二x这就说明，G中每个元素g对应的映射b都是集合X到自身的一一对应，即gbgS(X)，g且b-i=b。显然，gab是群G到S(x)的一个同态映射。g g-1 g反过来，如果给了一个同态映射屮屮：GTS(X),并且定义g(x)二屮(g)(x)，对ggG,xgX，那么就决定了群G在集合X上的作用。由此表明，寻求群G在集合X上的一个作用，同寻求群G到对称群S(x)的一个同态映射本质上是一回事。定义2.3设G是一个群，X，X'是两个非空集合，G作用在X上，同时G也作用在X'上。如果有一个 对应申：XTX'使P(g(x))二g(p(x)),那么这两个作用就成为等价的。定义2.4假设群G作用在一非空集合X上，并且在集合X上定义一等价关系如下：如果对于元素x,yeX，存在群G中的一个元素g满足y二g(x)，那么我们就称x等价于y。按照上面的等价关系可以对集合X进行分类。我们称每一个等价类为一个轨道。根据以上定义，集合X上的任意一个元素所在的轨道为X的一个子集：O二｛g(x)1geG｝x对于集合中的任意两个元素x,yeX，O,O或者是两个完全相同的集合，或xy者交集是空集。显然，集合X是全部不同的轨道的并，即X=uO，其中x取遍不同轨道的x代表。x定义2.5如果对于所有的geG都有g(x)=x，这样的元素就称为G的不动元素。此时，轨道O只包含单个的元素x,我们称这样的轨道为单轨道。设G作x用在集合X上，对于集合X中任意一个元素X，易知集合｛geGIg(x)二x｝是G的一个子群，我们用H表示这个子群，它称为元素x的稳定子群(或迷向子x群)。群作用的基本定理定理2.2设群G作用在集合X上，xeX，O是包含x的轨道，G是x的迷向xx子群，那么同一轨道中的任意元素对应的迷向子群互为共轭子群。推论2.2如果群G是有限阶群，且群作用在集合X上。则对于群作用下的每一个轨道都只含有有限多个元素，并且每个轨道所含元素个数为群G的阶的因子。推论2.3如果群G作用在集合X上，那么对于任意xeX，O中所含