离散数学半群和独异点、群与子群课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《离散数学半群和独异点、群与子群课件.ppt》由用户(三亚风情)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 独异点 子群 课件
- 资源描述:
-
1、第二讲第二讲 半群、群和子群半群、群和子群定义定义 一个代数系统一个代数系统,其中其中S是非空集合,是非空集合,*是是S上的上的 一个二元运算,如果运算一个二元运算,如果运算*是封闭的是封闭的,则称代数系统,则称代数系统 为为广群广群。一一.广群广群二二.半群半群定义定义 一个代数系统一个代数系统,其中其中S是非空集合,是非空集合,*是是S上的上的 一个二元运算,如果一个二元运算,如果 1)运算)运算*是封闭的是封闭的。2)运算)运算*是是可结合的可结合的,即对任意的,即对任意的x,y,zS,满足满足 (x*y)*z=x*(y*z)则称代数系统则称代数系统 为为半群半群。例例设集合设集合Sk=
2、x|x I xk,k0,那么那么是一个是一个半群吗?(其中半群吗?(其中+是普通加法运算)是普通加法运算)分析分析 因为加法运算在因为加法运算在Sk上是封闭的,并且该运算可结合,上是封闭的,并且该运算可结合,所以所以是一个半群。是一个半群。注意注意 若若k0,则运算则运算+在在Sk上是不封闭的。上是不封闭的。?代数系统代数系统是半群吗?是半群吗?呢?呢?定理定理设设是一个半群,是一个半群,B S且且*在在B上是封闭的上是封闭的,那,那末末也是一个半群。通常称也是一个半群。通常称是半群是半群的的子半群子半群。证明证明 因为因为*在在S上是可结合的,而上是可结合的,而B S 所以所以*在在B上也是
3、可上也是可结合的,又结合的,又*在在B上是封闭的,因此,上是封闭的,因此,也是一个半群。也是一个半群。例例 代数系统代数系统,都是都是的的 子半群。子半群。定理定理设设是一个是一个半群半群,如果,如果S是一个是一个有限集有限集,则必有,则必有aS,使得使得a*a=a。证明证明 因为因为是一个半群。对于是一个半群。对于 b S,由,由*的封闭性可知的封闭性可知 b*b S,记记b2=b*b b2*b=b*b2 S,记记b3=b2*b=b*b2 由于由于S是有限集,所以必存在是有限集,所以必存在 ji,使得使得bi=bj 令令p=ji,有有bi=bp*bi,所以对所以对qi,有有bq=bp*bq
4、因为因为p1,所以总可以找到所以总可以找到k1,使得使得kpi 就有就有bkp=bp*bkp =bp*(bp*bkp)=b2p*bkp =b2p*(bp*bkp)=bkp*bkp 这就证明了在这就证明了在S中存在元素中存在元素a=bkp,使得使得a*a=a.3独异点独异点定义定义 含有幺元的半群称为独异点。含有幺元的半群称为独异点。例例 代数系统代数系统是一个独异点。因为是一个独异点。因为是半群,且是半群,且0是是 R中关于运算中关于运算+的幺元。的幺元。代数系统代数系统 都是独异点,幺元为都是独异点,幺元为1。定理定理 设设是一个独异点,则在关于运算是一个独异点,则在关于运算*的运算表中的运
5、算表中任何任何 两行或两列两行或两列都是都是不相同不相同的。的。证明证明 设设S中关于运算中关于运算*的幺元是的幺元是e。因为因为 a,b S且且ab,总有总有 e*a=ab=e*b 和和 a*e=ab=b*e 所以,在所以,在*的运算表中任何两行或两列都是不相同的。的运算表中任何两行或两列都是不相同的。定理定理设设是独异点,对于任意是独异点,对于任意a,bS,且且a,b均有逆元,则均有逆元,则1)(a-1)-1=a2)a*b有逆元,且有逆元,且(a*b)-1=b-1*a-1证明证明 1)因为因为a-1是是a 的逆元,即的逆元,即 a*a-1=a-1*a=e 所以,所以,(a-1)-1=a 2
6、)因为因为(a*b)*(b-1*a-1)=a*(b*b-1)*a-1 =a*e*a-1 =a*a-1 =e 同理可证同理可证(b-1*a-1)*(a*b)=e 所以所以(a*b)-1=b-1*a-14群群定义定义 设设一个代数系统一个代数系统,其中其中G是非空集合,是非空集合,*是是G上上 的一个二元运算,如果的一个二元运算,如果 1)运算)运算*是封闭的是封闭的。2)运算)运算*是是可结合的可结合的。3)存在)存在幺元幺元e。4)对于每一个元素对于每一个元素x G,存在着它的存在着它的逆元逆元x-1。则称代数系统则称代数系统 为为群群。群 独异点 半群 广群5有限群有限群定义定义 设设是一个
展开阅读全文