离散数学群与环.pptx

第七章群与环离散数学陈志奎主编人民邮电出版社第1页

本章将讨论特殊代数系统——群与环。群是含有一个二元运算抽象代数。半群与群在形式语言、快速加法器设计、纠错码定制和自动机理论中都有卓有成效应用。环是含有两个二元运算代数系统，它和群以及半群有亲密联络。群最初是由EvaristeGalois在1830年所提出，它应用于满足一些性质一个有限集一系列置换中。Galois于1811年生于法国巴黎，直到12岁才进入巴黎一所公立中学学习，在此之前，他在家中有母亲进行教育。16岁时，完全沉醉在数学学习之中，以至于忽略了其它课程学习。两次参加EcolePolytechnique入学考试，但均未经过，最终进入EcoleNormale研究所进修。1830年法国革命期间，Galois因为指责其学校领导而被学校开除。另外Galois还曾因为政治活动二被捕入狱。在1832年5月30日，他在一场决斗中受伤，并在第二天逝世，年仅20岁。在决斗前，Galois留了一封信给他一位朋友，信中详细描述了他研究结果。他结果对于当初人来书实在太超前了，所以直到1870年他全部研究结果才完全展现在世人面前。概述第2页

PART01PART02PART03半群群子群与群陪集分解PART04环与域PART05循环群与置换群内容安排第3页

定义7.1给定S，⊙，若⊙满足结合律，则称S，⊙为半群。可见，半群就是由集合及在此集合上一个含有集合率二元运算组成代数系统。半群就是非空集合S以及一个定义在S上可结合二元运算⊙，将用S，⊙表示半群，或者当运算⊙很清楚时能够简记为S。另外还能够把a⊙b看成是a和b积。假如⊙是一个可交换二元运算，则称半群S，⊙是一个可交换半群。7.1半群第4页

例7.1Z,+是一个可交换半群。因为加法满足结合率，同时加法是可交换，所以Z,+是一个可交换半群。例7.2集合Z以及普通意义下除法运算就不组成一个半群，因为除法运算不是可结合。例7.3集合P（S），其中S是一个集合，加上并运算，它就组成一个交换半群。因为并运算满足结合律和交换律。7.1半群第5页

定义7.2：给定M，⊙，若M，⊙是半群且⊙有幺元或⊙满足结合律且拥有幺元，则称M，⊙为独异点或含幺半群或拟群。例7.4给定N，+和N，*，其中N是自然数集合，+和*为普通意义下加法和乘法。易知N，+和N，*都是半群，而且还是独异点。因为0是+幺元，1是*幺元。例7.5，+，N，+，Q，+，R，+，C，+都是半群，+是普通意义下加法，在这些半群中，除，+外都是独异点。其余几个中含有幺元0，而，+中无幺元存在。7.1半群第6页

定义7.3给定半群S，⊙和g∈S，以及自然数集合N，则g为S，⊙生成元有：(?x)(x∈S→(?n)(n∈N∧x=))。此时也说，元素g生成半群S，⊙，而且称该半群为循环半群，g为生成元。定义7.4给定半群S，⊙及G?S，则G为S，⊙生成集：(?a)(a∈S→a=⊙(G))∧min|G|这里⊙(G)表示用G中元素经⊙复合而生成元素。类似地定义独异点M，⊙，e生成集。7.1半群第7页

例7.6：给定N，+，其中N是自然数集合，+为普通意义下加法，则N，+是无穷循环独异点，0是幺元，1是生成元。例7.7令半群S，*，其中S={a，b，c，d}，*定义如表7.1，试证实生成集G={a，b}。7.1半群*AbcdaDcbabBbbbcCcccdAbcd第8页

定义7.5：给定半群S，⊙及非空集合T?S，若T对⊙封闭，则称T，⊙为S，⊙子半群。定义7.6：给定半群S，⊙以及任意a∈S，则有{a，a2，a3，…}，⊙是S，⊙循环子半群。例7.8：给定半群S，⊙以及任意a∈S，证实{a，，?},⊙是循环子半群。7.1半群第9页

例7.9给定两个半群S，⊙和T，*。称S×T，?为S，⊙和T，*积半群，其中S×T为集合S与T笛卡儿积，运算?定义以下：s1，t1?s2，t2=s1⊙s2，t1*t2，其中s1，s2∈S，t1，t2∈T。因为?是由⊙和*定义，易知积半群是个半群。7.1半群第10页

定理7.1：若半群S，⊙和半群T，?是可交换，则S×T，?也是可交换。定理7.2：给定半群S，⊙和半群T，?，且e1和e2分别是他们幺元，则积半群S×T含有幺元e1,e2。7.1半群第11页

定理7.3：给定半群S，⊙和半群T，?，且和分别是他们零元，则积半群S×T含有零元定理7.4：给定半群S，⊙和半群T，?，且s∈S逆元，t∈T逆元，则积半群S×T中逆元为7.1半群第12页

PART01PART02PART03半群群子群