第五章代数结构33-优质课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《第五章代数结构33-优质课件.ppt》由用户(三亚风情)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第五 代数 结构 33 优质 课件
- 资源描述:
-
1、离离 散散 数数 学学浙江工业大学计算机学院浙江工业大学软件学院第五章 代数结构n引言n5-1 代数系统的引入n5-2 运算及其性质n5-3 半群和独异点n5-4 群与子群n5-5 阿贝尔群和循环群n5-6 置换群与伯恩赛德定理n5-7 陪集与拉格朗日定理n5-8 同态与同构n5-9 环与域2022-8-5离散数学2n代数系统也称为近世代数或抽象代数,是近代数学的重要分支。n法国数学家伽罗瓦1811-1832在1832年运用群的思想彻底解决了用根式求解代数方程的可能性问题,成为近世代数的创始人。n抽象代数学对于全部现代数学和一些其它科学领域都有重要的影响。2022-8-5离散数学3n本章讨论的
2、数学结构就是由集合上定义若干运由集合上定义若干运算而组成的系统算而组成的系统代数系统代数系统。n在计算机科学中,研究机器可计算性语言、算法计算的复杂性、刻划抽象的数据结构等等,都需要这现代代数系统知识。2022-8-5离散数学45.1 代数系统的引入n先引进在一个集合A上的运算运算概念。2022-8-5离散数学5n一元运算例1:将实数集合R上的每一个数a 0映射成它的倒数 。例2:求一个复数的共轭复数是复数集合C上的一元运算。n二元运算例3:在集合R上,对任意两个数所进行的普通”+”和”。例4:f:NNN,f()x+y 是自然数集合N上的二元运算。n三元运算例5:对于集合R上的任意三个数,条件
3、算术表达式if x=0 then y else z。2022-8-5离散数学6a1n共同的特征:其运算结果都是在原来的集合R或N中。n具有这种特征的运算是封闭封闭的,简称闭运算闭运算。相反地,没有这种特征的运算就是不封闭的。例5:f:NNN,f()x-y N对减法不封闭。例6:自动售货机系统 不封闭思考:例5例6中的运算封闭吗?2022-8-5离散数学7*一元硬币一元硬币二元硬币二元硬币一元硬币一元硬币矿泉水矿泉水可口可乐可口可乐二元硬币二元硬币可口可乐可口可乐酷儿酷儿n封闭封闭定义:对于集合对于集合A,一个从,一个从An到到B的映射,称的映射,称为集合为集合A上的一个上的一个n元运算元运算。
4、如果。如果B A,则称该,则称该n元运算是元运算是封闭封闭的。的。n一般情况下,不经说明,我们总是讨论封闭的代数系统。2022-8-5离散数学8例:以下哪些运算是封闭的?(1)自然数集合N上的减法运算。(2)整数集合I上的除法运算。(3)设A=1,2,3,10,二元运算x*y=质数p的个数,使得x py。2022-8-5离散数学9不封闭不封闭不封闭,当x=y=4时,x与y之间的质数个数为0n代数系统代数系统定义:一个非空集合A连同若干个定义在该集合上的运算f1,f2,fk所组成的系统就称为一个代数系统,记作。n例:,都是代数系统,其中+和分别表示普通加法和乘法。n例:是代数系统,其中和分别表示
5、n阶(n2)实矩阵的加法和乘法。n例:也是代数系统,其中含有两个二元运算和以及一个一元运算。2022-8-5离散数学1030 01 12 20 00 01 12 21 11 12 20 02 22 20 01 12022-8-5离散数学11*例:代数系统和的运算表分别如下图所示:n我们主要讨论同种类代数系统同种类代数系统的特性。n例如:V1=n V2=nV1、V2是同类型的代数系统,因为它们都含有2个二元运算,2个代数常数。但是它们的运算性质不一样。2022-8-5离散数学12本节学习要求n判断给定集合和运算能否构成代数系统判断给定集合和运算能否构成代数系统2022-8-5离散数学135.2
6、运算及其性质运算及其性质n一般的二元运算的性质。封闭性 结合性 交换性 分配性 吸收律 幂等律 消去律n特殊元素2022-8-5离散数学14二元运算n定义:设A为任意非空集合,函数f:AAA称为集合A上的一个二元运算二元运算。n推广:设A为任意非空集合,函数f:AnA称为集合集合A上上的一个n元运算元运算。n判断一种运算是否是A上的二元运算,最根本是运算关于集合是封闭的。2022-8-5离散数学15封闭性n定义5-2.1:设*是定义在集合A上的二元运算,如果对于任意的x,yA,都有x*yA,则称二元运算二元运算*在在A上是封闭上是封闭的。运算表中的每个元素都属于A。【例】设A=xx=2n,nN
7、,问,封闭吗?解:(1)2r,2sA,2r2s=2r+sA,r+sN 运算封闭(2)2,4A,2+4A,运算不封闭(3)2,4A,2/4A,运算不封闭2022-8-5离散数学16结合性n定义5-2.2:设*是定义在集合A上的二元运算,如果对于任意的x,y,zA,都有(x*y)*zx*(y*z),则称该二元运算*是可结合的。【例】设A是一个非空集合,是A上的二元运算,对于任意a,bA,有abb,证明 是可结合运算。证明:对于任意的a,b,cA 有 (ab)cbcc a(bc)acc (ab)ca(bc)2022-8-5离散数学17【例】在自然数集N上,运算 是不可结合的。(A)a*b=a+b+3
8、(B)a*b=mina,b(C)a*b=a+2b(D)a*b=ab(mod 3)答案为C容易验证:(a*b)*c=(a+2b)*c=a+2b+2ca*(b*c)=a+2(b*c)=a+2(b+2c)=a+2b+4c2022-8-5离散数学18交换性n定义5-2.3:设*是定义在集合A上的二元运算,如果对于任意的x,yA,都有x*yy*x,则称该二元运算*是可交换的。n特点:运算表中的元素关于主对角线对称运算表中的元素关于主对角线对称。n【例】设Q是有理数集合,是Q上的二元运算,对任意的a,bQ,aba+b-ab,问运算是否可交换。n解:对于a,bA,有 aba+b-abb+a-baba 运算是
9、可交换的。2022-8-5离散数学19分配性n定义5-2.4:,若x,y,zA,有 x*(yz)=(x*y)(x*z)和(yz)*x=(y*x)(z*x),称运算*对于运算是可分配的。n注:(1)*对+左可分配左可分配 x,y,zA,有x*(y+z)=x*y+x*z(2)*对+右可分配右可分配 x,y,zA,有(x+y)*z=x*z+y*z 只有当(1)(2)两式同时成立时,才能说运算*对运算+可分配。2022-8-5离散数学20【例】设A=a,b,二元运算*,定义如下表,问分配律成立否?n解:(1)运算对运算*可分配,n即证:x,y,zA,x(y*z)=(xy)*(xz)n证明:当x=a时(
10、运算结果为左边),即x(y*z)=x=a;(xy)*(xz)=x*x=x=a;当x=b时(运算结果为右边),即x(y*z)=y*z;(xy)*(xz)=y*zn(2)运算*对运算不可分配n证:b*(ab)=b*a=b,而(b*a)(b*b)=ba=a2022-8-5离散数学21a ab ba aa aa ab ba ab b*a ab ba aa ab bb bb ba a吸收律定义5-2.5:设,若x,y,zA,有x*(xz)=x称运算*满足吸收律;有x(x*y)=x称运算满足吸收律。【例】N为自然数集,x,yN,x*y=maxx,y,xy=minx,y,试证:*,满足吸收律。证明:x,yN
11、,x*(xy)=maxx,minx,y=x *满足吸收律 x,yN,x(x*y)=minx,maxx,y=x 满足吸收律。2022-8-5离散数学22幂等律n定义5-2.6:设,若对于xA,有x*x=x,则称运算*是幂等律幂等律。n如果S中的某些x满足x*x=x,则称x为运算*的幂幂等元等元。n特征:特征:运算表中主对角线上的每个元素关于运算表中主对角线上的每个元素关于主对角线与它所在行主对角线与它所在行(列列)的表头元素相同的表头元素相同.2022-8-5离散数学23【例】设(s)是集合S的幂集,在(s)上定义的两个二元运算,集合的“并”运算和集合的“交”运算,验证,满足幂等律。证明:对于任
12、意的A(s),有AA=A和AA=A,因此运算和都满足等幂律。【例】普通的加法和乘法不适合幂等律。但0是加法的幂等元,0和1是乘法的幂等元。2022-8-5离散数学24消去律定义:设*为S上的二元运算,如果对于任意的 x,y,zS,满足以下条件:(1)若x*y x*z,则y z(左消去律)(2)若y*x z*x,则yz(右消去律)则称*运算满足消去律。【例】整数集合上的加法和乘法。加法满足消去律;乘法不满足。但x0时乘法满足消去律。【例】幂集P(S)上的并和交运算。一般不满足消去律。2022-8-5离散数学25特殊元素特殊元素n在某些代数系统中存在着一些特定的元素,它们对于系统的一元或二元运算起
13、着重要的作用。n例如:中的+运算有单位元0。n例如:矩阵乘法运算中的单位矩阵。n将这些特殊元素作为代数系统的性质进行讨论,这时称这些元素为该代数系统的特异元素特异元素或代数代数常数常数。2022-8-5离散数学26幺元n定义5-2.7:设,eR,eL,eA,有n若xA,有eL*x=x,称eL为A中关于运算*的左幺元;n若xA,有x*eR=x,称eR为A中关于运算*的右幺元;n若xA,有e*x=x*e=x,称e为A中关于运算*的幺元,即元素e既是左幺元又是右幺元。n幺元也称为“单位元”。2022-8-5离散数学27【例】设集合S,在S上定义的两个二元运算*和如下表所示。试指出左幺元或右幺元。幺元
14、所对应的行和列依次与运算表的行和列一致。2022-8-5离散数学28n定理5-2.1 设,若el和er分别是*的左、右幺元,则el=er=e,且A中的幺元是唯一的。n证明:el el*er (er为右幺元)el*er er (el为左幺元)el=er,将这个幺元记作e。假设e也是A中的幺元,则有 e=e*e=e e 是A中关于运算*的唯一的幺元。2022-8-5离散数学29零元定义5-2.8:设,R,L,A,有若xA,有L*x=L,称L为运算*的左零元;若xA,有x*R=R,称R为运算*的右零元;若xA,有*x=x*=,称为运算*的零元。即既是左零元又是右零元。n【例】设集合S浅色,深色,定义
15、在S上的一个二元运算*如表5-2.3所示,试指出零元和幺元。n零元所对应的行和列中的元素都与该元素相同。2022-8-5离散数学30【例】代数系统A=,*用下表定义,请指出左(右)幺元、零元。n解:b是左幺元,无右幺元;a是右零元,b是右零元,无左零元。2022-8-5离散数学31*a ab bc ca aabbb babcc caba【例】指出代数系统、和的幺元和零元。n解:n的幺元为1,零元为0。n对运算,是幺元,s是零元;对运算,s是幺元,是零元。n 有幺元0,无零元。2022-8-5离散数学32定理5-2.2:设,l和r分别为运算*的左零元和右零元,则有l=r=,且为A上关于运算*的唯
16、一的零元。证明与证明幺元唯一相似,请同学们自己证明。2022-8-5离散数学33定理5-2.3:设,e 和分别为运算*的幺元和零元,如果A中元素个数大于1,则e。证明:用反证法。假设 e=,则xA有 x x*e x*这表示A中元素都是相同的,全都为 这与A中至少含有两个元素矛盾。所以,假设不成立,即e。2022-8-5离散数学34逆元逆元n定义5-2.9:设代数系统,e是运算*的幺元 若对某一元素aA,bl A,使bl*a e,则称 bl为a的左逆元,也称a是左可逆的。若对某一元素aA,br A,使a*br e,则称 br为a的右逆元,也称a是右可逆的。如果一个元素b,既是a的左逆元又是a的右
17、逆元,则称b是a 的一个逆元。2022-8-5离散数学35【例1】考虑代数系统,其中R是实数集,和是通常的加法和乘法。问:每个元素是否都有逆元?若有逆元,逆元是什么?对运算而言,R中的任何元素a都有逆元-a。对运算而言,R中除了数0外任何元素a都有逆元1/a,元素0无逆元。【例2】指出代数系统的逆元,其中N是自然数集,是通常的加法。中,仅幺元0有逆元0。2022-8-5离散数学36【例3】代数系统满足哪些性质?并指出其特殊元素,运算表示:x,yZ+,xylcm(x,y),即求x和y的最小公倍数。解:运算可交换、可结合、是幂等的。xZ+,x1=x,1x=x,1为单位元。不存在零元。只有1有逆元,
18、是它自己,其他正整数无逆元2022-8-5离散数学37【例4】设A=a,b,c,A上的二元运算、如表所示。(1)说明、运算是否满足交换律、幂等律。(2)求出关于、运算的幺元、零元和所有可逆元素的逆元。abcaabcbbcaccab运算满足交换律,不满足幂等律。幺元是a,没有零元,且a-1=a,b-1=c,c-1=b。运算满足交换律和幂等律。幺元是a,零元是b,只有a有逆元,a-1=a。运算满足幂等律,不满足交换律。没有幺元,没有零元,更谈不上逆元。abcaabcbbbbccbc abcaabcbabccabc【例5】设集合设集合S=S=,,定义在,定义在S S上的一个二元上的一个二元运算运算*
19、如表所示。试指出代数系统如表所示。试指出代数系统S,中的特殊元素。中的特殊元素。a,b互逆互逆:a所在行所在行、b所在列的元素所在列的元素,以及,以及b所在行所在行、a所所在列的元素都是幺元。在列的元素都是幺元。2022-8-5离散数学39*n(1)幺元幺元e和零元和零元z是是全局全局的概念。的概念。且:如果幺元和零元存在,一定是唯一的。n(2)左逆元、右逆元、左逆元、右逆元、逆元是逆元是局部局部的概念的概念,它仅针对集合A中的某一元素。n一个元素的左逆元不一定等于该元素的右逆元,一个元素可以有左逆元而没有右逆元,一个元素的左(右)逆元可以不止一个。但但,对于,对于一个元一个元素素而言,而言,
20、若有逆元若有逆元,则唯一。则唯一。2022-8-5离散数学40定理5-2.4 设代数系统,A中存在幺元存在幺元e,且xA,都存在左逆元存在左逆元,若*是可结合的是可结合的运算,那么 中任何一个元素的左逆元必定也是该元素的右逆元,且每个元素的逆元唯一。证明:设任意a,b,cA,且b是a的左逆元,c是b的左逆元。(1)因为b=e*b=(bb=(b*a)a)*b b 所以 a a*b=(eb=(e*a)a)*b=(cb=(c*b)b)*a)a)*b=cb=c*(b(b*a a*b)=cb)=c*b=eb=e 所以 b也是a的右逆元,即b是a的逆元。(2)设任意元素a除了逆元b外,还存在一个逆元t,那
21、么 b=bb=b*e=be=b*(a(a*t)=(bt)=(b*a)a)*t=et=e*t=tt=t 所以,任意元素的逆元唯一。本节学习要求n判断给定二元运算的性质和特异元素。n作业:P178 1)ACE 2)n P184 1,2)AC,52022-8-5离散数学425.3 半群和独异点半群和独异点n群论是代数系统中研究得比较成熟的一个分支,在计算机形式语言,自动机理论,编码理论等得到广泛应用。2022-8-5离散数学43半群、独异点定义:(1)设V是代数系统,S 非空非空,*为S上的一个二元运算,若运算运算*封闭封闭,则称V为广群。(2)设V是代数系统,S 非空非空,*为S上的一个二元运算,
22、若运算运算*封闭封闭,且且运算运算*是可结合是可结合的,则称V为半群。(3)含有幺元的半群称为独异点,也称含幺半群、单位半群。有时也将独异点记作。2022-8-5离散数学44【例1】判断、是否半群、独异点?其中为普通乘法,-为普通减法,+为普通加法。n解:(1)封闭,可结合,存在幺元1。(半群、独异点)(2)封闭,可结合,存在幺元1。(半群、独异点),且是的子半群。(3)封闭,不可结合,为广群,不是半群。(4)虽是一个半群,但关于+不存在幺元,所以,不是独异点。2022-8-5离散数学45半群中元素的幂n对于半群中的元素,我们有一种简便的记法。由于半群中的运算是可结合的,可以定义元素的幂,对任
23、意xS,规定:x1xxn+1xn*x,nZ+用数学归纳法不难证明x的幂遵从以下运算规则:xn*xmxn+m(xn)mxnm m,nZ+n普通乘法的幂、关系的幂、矩阵乘法的幂等都遵从这个幂运算规则。如果有a2=a,则称a为半群中的幂等元幂等元。2022-8-5离散数学46独异点中的幂n独异点是特殊的半群,可以把半群的幂运算推广到独异点中去。n由于独异点V中含有单位元e,对于任意的xS,可以定义x的零次幂,即 x0exn*xmxn+m (xn)mxnm nNn不难证明,独异点的幂运算也遵从半群的幂运算规则,只不过m和和n不一定限于正整数不一定限于正整数,只要是自然数就成立。2022-8-5离散数学
24、47半群的性质1、有限半群必有幂等元。证明(P187定理5-3.2):设是一个半群,如果S是一个有限集,则必 aS,有a*a=a。2、独异点运算表中任何两行两列均不相同。(P188 定理5-3.3)证明3、若是独异点,幺元为e,a,bS,若a,b均有逆元,则 a)(a-1)-1=a b)(a*b)-1=b-1*a-1(P189 定理5-3.4)证明2022-8-5离散数学48【例】设是半群,u A,若BAu,且在B上定义二元运算 为a ba bab(a,bA)(b=u)(a=u)试证是独异点。即证:运算 在B上封闭,运算 可结合,且存在幺元。证明:a,bB,由定义可知a bB,所以运算 在B上
25、封闭封闭。下面对a,b分种情况讨论运算 的结合性:1)若若a,bA,则a ba*b 当当cA时时,(a b)c(a*b)c(a*b)*c 因为是半群,所以*在A上可结合,有 (a*b)*ca*(b*c)a (b c),当当cu时时,(a b)c(a*b)ua*b,a (b c)a (b u)a ba*b,故无论c为何元素,都有(ab)ca(bc)。2)若若bu,则(a b)ca c,而 a (b c)a c,所以(a b)ca (b c)。3)若若au,则(a b)cb c,而a (b c)b c,所以(a b)ca (b c)。由讨论可知,运算运算 在在B上可结合上可结合。又由定义知,对任一
展开阅读全文