离散数学第七章群与环.ppt
《离散数学第七章群与环.ppt》由会员分享,可在线阅读,更多相关《离散数学第七章群与环.ppt(45页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第七章第七章 群与环群与环离散数学离散数学 陈志奎主编陈志奎主编人民邮电出版社人民邮电出版社n本章将讨论特殊的代数系统群与环。群是具有一个二元运算的抽象代数。半群与群在形式语言、快速加法器设计、纠错码定制和自动机理论中都有卓有成效的应用。环是具有两个二元运算的代数系统,它和群以及半群有密切的联系。n群最初是由Evariste Galois在1830年所提出的,它应用于满足某些性质的一个有限集的一系列置换中。Galois于1811年生于法国巴黎,直到12岁才进入巴黎一所公立中学学习,在此之前,他在家中有母亲进行教育。16岁时,完全沉浸在数学的学习之中,以至于忽略了其他课程的学习。两次参加Ecol
2、e Polytechnique的入学考试,但均未通过,最后进入Ecole Normale研究所进修。n1830年法国革命期间,Galois因为指责其学校领导而被学校开除。此外Galois还曾因为政治活动二被捕入狱。在1832年5月30日,他在一场决斗中受伤,并在第二天去世,年仅20岁。在决斗前,Galois留了一封信给他的一位朋友,信中详细描述了他的研究成果。他的成果对于当时的人来书实在太超前了,因此直到1870年他的所有研究成果才完全展现在世人面前。概述PART PART 0101PART PART 0202PART PART 0303半群群子群与群的陪集分解PART PART 0404环与
3、域PART PART 0505循环群与置换群内容安排n定义定义7.1 给定,若满足结合律,则称为半群半群。可见,半群就是由集合及在此集合上的一个具有集合率的二元运算组成的代数系统。半群就是非空集合S以及一个定义在S上的可结合的二元运算,将用表示半群,或者当运算很清楚时可以简记为S。此外还可以把ab看成是a和b的积。如果是一个可交换的二元运算,则称半群是一个可交换半群。7.1 半群n例例 7.1 是一个可交换半群。因为加法满足结合率,同时加法是可交换的,所以是一个可交换半群。n例例 7.2 集合Z以及一般意义下的除法运算就不构成一个半群,因为除法运算不是可结合的。n例例 7.3 集合P(S),其
4、中S是一个集合,加上并运算,它就构成一个交换半群。因为并运算满足结合律和交换律。7.1 半群n定义定义7.2:给定,若是半群且有幺元或满足结合律且拥有幺元,则称为独异点独异点或含幺半群含幺半群或拟群拟群。n例例7.4 给定和,其中N是自然数集合,+和*为一般意义下的加法和乘法。易知和都是半群,而且还是独异点。因为0是+的幺元,1是*的幺元。n例例7.5,都是半群,+是一般意义下的加法,在这些半群中,除外都是独异点。其余几个中含有幺元0,而中无幺元存在。7.1 半群n定义定义7.3 给定半群和gS,以及自然数集合N,则g为的生成元有:(x)(xS(n)(nNx=)。此时也说,元素g生成半群,而且
5、称该半群为循环半群循环半群,g为生成元。n定义定义7.4 给定半群及GS,则G为的生成集:(a)(aSa=(G)min|G|这里(G)表示用G中的元素经的复合而生成的元素。类似地定义独异点的生成集生成集。7.1 半群n例例7.6:给定,其中N是自然数集合,+为一般意义下的加法,则是无穷循环独异点,0是幺元,1是生成元。n例例7.7 令半群,其中S=a,b,c,d,*定义如表7.1,试证明生成集G=a,b。7.1 半群*AbcdaDcbabBbbbcCcccdAbcdn定义定义7.5:给定半群及非空集合TS,若T对封闭,则称为的子半群子半群。n定义定义7.6:给定半群以及任意的aS,则有是的循环
6、子半群循环子半群。n例例7.8:给定半群以及任意的aS,证明是循环子半群。7.1 半群n例例7.9 给定两个半群和。称为和的积积半群半群,其中ST为集合S与T的笛卡儿积,运算定义如下:=,其中s1,s2S,t1,t2T。由于是由和*定义的,易知积半群是个半群。7.1 半群n定理定理7.1:若半群和半群是可交换的,则也是可交换的。n定理定理7.2:给定半群和半群,且e1 和 e2分别是他们的幺元,则积半群含有幺元 。7.1 半群n定理定理7.3:给定半群和半群,且 和 分别是他们的零元,则积半群含有零元n定理定理7.4:给定半群和半群,且sS的逆元 ,tT的逆元 ,则积半群中的逆元为7.1 半群
7、PART PART 0101PART PART 0202PART PART 0303半群群子群与群的陪集分解PART PART 0404环与域PART PART 0505循环群与置换群n定义定义7.7 给定代数系统,若是独异点并且每个元素均存在逆元,或满足是可结合的并且关于存在幺元并且G中每个元素关于是可逆的,则称是群群。记为G。群比独异点具有更强的条件。n例例 7.11 给定和,其中Z和Q分别为整数集和有理数集,+和*分别是一般意义下的加法和乘法。可知是群,0是幺元,每个元素iZ的逆元为-1;不是群,1是幺元,0无逆元。但是群。n在半群、独异点、群这些概念中,由于只含有一个二元运算,所以在不
8、发生混淆的情况下,可以将算符省去。例如将x*y写成xy。在下面的讨论中,我们将常使用这种简略表示方法。7.2 群n例例 7.12 设G=e,a,b,c,G上的运算由表7.2表示,不难验证G是一个群。由表中可以看出G的运算具有以下特点:e为G中的单位元;G中的运算是可交换的;每个元素的逆元就是它自己;在a,b,c三个元素中,任意两个元素运算的结果都等于另一个元素。这个群为Klein四元群,简称四元群四元群。7.2 群eabceeabcaaecbbbceaccbaen定义定义7.8 给定群G,若是可交换的,则称G是可交换群可交换群或G是Abel群群。n例例7.14 具有一般意义下的加法运算的所有整
9、数的集合Z是一个Abel群,如果aZ,那么a的逆是他的负数-a。n例例7.15 在一般意义下的乘法运算 不是一个群,因为 中的元素2没有你元素。然而,在给出的运算下该集合是一个幺半群。n例例7.16 在一般意义下的乘法运算下,所有非零实数组成的集合构成一个群。a0的逆是1/a。7.2 群n定义定义 7.9 若群G是有穷集,则称G是有限群有限群,否则称为无限群无限群。群G的基数称为群G的阶。含有单位元的群称为平凡群平凡群。7.2 群n例例7.17 是无穷群,其中S=a,b,c,的运算表如表7.3可以验证,是群,a为幺元,b和c互为逆元;又因为|G|=3,故是3阶群。7.2 群abcaabcbbc
10、accabn例例7.18 和是无限群,是有限群也是n阶群。klein四元群是四阶群。是平凡群。上述的所有群都是交换群,但是n阶(n2)实可逆矩阵的集合关于矩阵乘法构成的群是非交换群,因为矩阵乘法不满足交换律。n定理定理 7.5 给定群,则7.2 群n定义定义 7.10:集合的置换:令X是非空有限集合,从X到X的双射函数,称为集合X中的置换置换,并称|X|为置换的阶。集合上的所有置换(双射)与复合运算,构成的代数系统是一个群,称为对称群对称群。由n个元素的集合而构成的所有n!个n阶置换的集合 与复合置换运算构成群,它便是n次n!阶对称群阶对称群。若 ,则称由Q和构成的群为置换群置换群。7.2 群
11、n定义定义 7.11 集合X是无限的,令TX表示所有从集合X到X的变换的集合,具有下列性质:构成群,在代数中称为变换群变换群。置换群是变换群的特例。7.2 群n定义定义7.12 设p是集合X=,上的n阶置换,若p()=,p()=,p()=,并且X中其余元素保持不变,则称p为X上的n阶轮换,记为()若n=2,称p为X上的对换对换。由轮换的定义可知,轮换中任何元素均可排在首位,他们表示是同一个轮换,如()=()。n例例7.20 令S=1,2,3,4,5,S上的5阶置换p=是S上的3阶轮换(1 2 4)。7.2 群PART PART 0101PART PART 0202PART PART 0303半
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 第七
限制150内