有限群的另一定义群同态变换群.docVIP

有限群的另一定义 群同态 变换群 定理1 一个有乘法的有限集G是群1、关于乘法是半群；2、消去律成立。 证明：“”设G=，，构造，由半群的定义可知，由消去律，当，所以，即，所以，即方程在G里有解，同理方程在G里有解，所以G是一个群。 因此也可用半群和消去律来定义有限群。 由有限集A的代数运算可用一个运算表给出： 从表上可看出代数运算的许多性质，如 1、是代数运算表中所有； 2、适合交换律表中关于主对角线对称的元相等； 3、适合左(右)消去律A中每个元在表的各行(列)都出现且只出现一次； 4、是A的左(右)单位元所在的行(列)与顶行(左列)一致； 5、的左(右)逆元所在的行与所在的列相交处是单位元。 因此利用运算表可以帮助我们判断一个有限集合是否构成群，但结合律的检验比较麻烦，不能从表中看出。 在第一章中，我们讨论了集合的同态映射，这里我们要在两个群中讨论同态映射。 定义：若G，G1是两个群，若存在一个G到G1的同态满射，则称G与G1同态。 定理2 G是一个群，群G与G1对它们的乘法运算同态，则G1也是群。 证明：设是G到G1的同态满射，则使 ，所以；又有 ；由G是一个群，,设，则有 ，，所以G1有单位元；使，使，同理，所以G1中每一个元都有逆元。所以G1是一个群。 注：定理2的逆命题不成立，即若是G到G1的满同态，G1是群，则G不一定是群。如零映射。但如果映射是同构映射，则只要其中一个是群，那么另一个也是群。 定理3 设G，G1是两个群，在G到G1的同态映射之下，G的单位元的象是G1的单位元；G的元a的逆元的象是象的逆元；即，有限。 若G，G1是两个群，存在G到G1的同构映射，则称群G与G1同构，记。 *例4 设Un是所有n次单位根按普通的乘法作成的群，是n次单位原根，令，则是Un到模n的剩余类加群Zn的同构映射。 到目前为止，我们讨论的群都是比较简单的或一般的群，这一节，下面我们要讨论一个具体的群，这个群一方面本身非常重要，另一方面它也给了一个非交换群的例子。 定义 设A是一个非空集合，A到A的映射称为A的变换，A到A的满射称为A的满变换，A到A的单射称为A的单变换，A到A的双射称为A的一一变换。 定理4 设G是A的若干个变换组成的集合，且，若G对于变换的乘积作成群，那么G只包含A的一一变换。 证明：，因为G是群，所以存在， ，所以是满射；若，则，所以是单射。从而是一一变换。 定义：A的若干个一一变换构成的群G称为变换群。 定理5 一个集合A的所有一一变换构成一个变换群，记E(A)。 例1(P48例4) 设A是一个平面上所有点构成的集合，那么平面的一个绕一个定点的旋转可以看成A的一一变换，设G是包含所有绕一个定点的旋转，那么G是一个变换群。 设表示转角的旋转，则有; 结合律显然成立；；结合律显然成立；；。所以G是一个变换群。但G不包含A的全部一一变换。 所以给了一个集合A，除了最大的变换群E(A)外，A的确还有别的较小的变换群。变换群显然不是交换群，因为变换不满足交换律。变换群还告诉我们非交换群的存在。 定理6 任何一个群都同一个变换群同构。 证明：设G1=，则G1是G的一些变换组成的集合，建立一个G到G1的映射,下面证明是G到G1的同构映射。所以，是同态映射；，使，，所以是一个满射；若，则，所以有，由G是一个群，满足消去律，即，所以是单射。因此G与G1同构，因为G是一个群，所以G1也是群。又因G是群，所以存在单位元，且，所以，由定理2，G1是一个变换群。 例2 P505 证明一：设V是R上的一个n维向量空间，由定理4，E(V)是一个变换群，取V的一个基，则E(V)的每一个变换与一个n阶可逆矩阵一一对应，若设G是R上所有n阶可逆矩阵构成的集合，则，所以G是一个群。 证明二：由群的定义证明满足封闭性；结合律；单位元；逆元。所以构成群。 作业：P50 1，4， P441， 置换群 上一节讨论了变换群，即集合A到A的所有一一变换构成的群E(A)及它的非空子集构成的群，当A是有限集时，通常记A={}。 定义：一个包含n个元的有限集的一一变换称为(n次)置换；一个包含n个元的有限集A的若干个一一变换构成的群称为n次置换群；一个包含n个元的有限集A的所有置换构成的群称为n次对称群，记Sn。 设是A的一个置换，，则可记作 而将与和具体表示的内容无关，只与有关，因此常将置记作 这里确定的是A的每一个元的像，与第一行的n个元的排列次序无关，如下列置换 是同一个置换。 由对称群与排列的定义可得： 定理1 n次对称群的阶是！。 例1 二次对称群S2的阶是2，其元为 ，； 三次对称群S3的阶是6，其元为 ，，，，， 而且 =，= 所以S3是一个非交换群。 为了表示上方便，置换还可以用另外一种方法表示，先引进一个新的符号。