离散数学第六章(第4讲)课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《离散数学第六章(第4讲)课件.ppt》由用户(三亚风情)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 第六 课件
- 资源描述:
-
1、6 陪集与拉格朗日定理陪集与拉格朗日定理定义定义 令是群的子群且aG,则把下面集合:a H=a h|hH称为由元素a所确定的群中的H的左陪集,或简称为左陪集并简记aH。定义定义 令是群的子群且aG,则把下面集合:H a=h a|hH称为由元素a所确定的群中的H的右陪集,或简称为右陪集并简记Ha。显然,若是Abel群,并且是其子群,则aH=Ha,即任意元素的左陪集等于其右陪集。例:例:设是群的子群,其中H=0,2,则群中的H的左陪集有:0H=0+40,2=0+40,0+42=0,21H=1+40,2=1+40,1+42=1,32H=2+40,2=2+40,2+42=2,03H=3+40,2=3+
2、40,3+42=3,1因此,H的左陪集有2个,它们是0,2和1,3。由于是Abel群,故H的右陪集同样也是0,2和1,3。根据左陪集的定义,可得到下列结论:(1)若为群的子群,则H为中的左陪集。因为若e是的幺元,则e H=e h|hH|=H。(2)若是群的子群,对任意aG,则aaH。因为eH,故a=a eaH。根据右陪集的定义,可得到下列结论:(1)若为群的子群,则H为中的右陪集。因为若e是的幺元,则H e=h e|hH|=H。(2)若是群的子群,对任意aG,则aHa。因为eH,故a=e aHa。定理定理 :若是群的子群,aH,则aH=H。证明证明 :先证 aHH若 xaH,则 hH,x=a
3、h,因为aH,是群的子群,运算在集合H上满足封闭性,所以a h H,则xH,因此aHH。再证HaH 若 hH,则h=e h=(a a-1)h=a(a-1 h),因为是群的子群且a,hH,所以a-1 hH。由此导出haH。因此,HaH。综上所述,故aH=H。拉格朗日拉格朗日定理定理 定理定理:若若H 是有限群是有限群G 的子群,且的子群,且|G|=n|G|=n,|H|=m|H|=m,则则n=n=mkmk,其中,其中k kI I+,I I+是正整数集合。是正整数集合。本定理表明,任何有限群的阶均可被其子群的阶所整除。本定理表明,任何有限群的阶均可被其子群的阶所整除。推论推论:(1)(1)一个素数阶
4、的群必为循环群,并且除幺元一个素数阶的群必为循环群,并且除幺元e e外外,每个元素每个元素都是其生成元;都是其生成元;(2)(2)素数阶的群只有平凡子群。素数阶的群只有平凡子群。定义:对两个同类型代数系统定义:对两个同类型代数系统,其,其中中 与与*都是二元运算。如果存在双射都是二元运算。如果存在双射f:UV,使,使得对得对 x1,x2 U,都有,都有 f(x1 x2)=f(x1)*f(x2),),就称就称f是一个从是一个从到到的同构映射,或说的同构映射,或说与与是同构的。是同构的。记作:记作:1、同构、同构同态和同构是讨论二个代数系统之间的关系。7 同构与同态同构与同态 例:例:设设A=aA
5、=a,b b,c c,dd,在,在 A A 上定义一个二元运算上定义一个二元运算“”,又,又设设B=B=,在,在 A A 上定义一个二元运算上定义一个二元运算“*”,如下表:如下表:证明:证明:和和是同构。是同构。证明:考察映射证明:考察映射 f(a)=,f(b)=,f(c)=,f(d)=,显然,显然,f 是一是一个从个从A到到B的双射,由表容易验证的双射,由表容易验证 f 是从是从到到的同构映射,的同构映射,所以所以和和是同构的。是同构的。abcdaabcdbbaaccbddcdabcd*例:例:设设A=aA=a,b b,c c,dd,在,在 A A 上定义一个二元运算上定义一个二元运算“”
6、,又,又设设B=B=,在,在 A A 上定义一个二元运算上定义一个二元运算“*”,如下,如下表:表:证明:证明:和和是同构是同构证明:考察映射证明:考察映射 g,使得,使得 g(a)=,g(b)=,g(c)=,g(d)=,g也也是从是从到到的同构映射。所以的同构映射。所以和和是是同构的。同构的。注:两个代数系统是同构,他们之间的同构映射可以是不唯一的。注:两个代数系统是同构,他们之间的同构映射可以是不唯一的。abcdaabcdbbaaccbddcdabcd*解:解:作映射作映射 f:I2I,f(x)=2x,则则 f 是双射。是双射。对任何对任何a,b I,f(a+b)=2(a+b)=2a+2b
7、=f(a)+f(b)因此,因此,V1 和和 V2 同构同构例:例:设代数系统设代数系统V1=,V2=,其中,其中I是整是整数集合,数集合,+运算是一般的加运算,运算是一般的加运算,V1 和和 V2 是否同构?是否同构?定理定理2:如果:如果满足交换律,且满足交换律,且 则则也满足交换律。也满足交换律。定理1:如果满足结合律,且,则也满足结合律。定理定理3:如果:如果满足分配律,且满足分配律,且 则则也满足分配律。也满足分配律。定理定理4:如果:如果存在单位元,且存在单位元,且 ,则则也存在单位元。也存在单位元。定理定理5:设:设存在零元素,且存在零元素,且 ,则则也存在零元素。也存在零元素。定
展开阅读全文