离散数学群与子群.ppt
《离散数学群与子群.ppt》由会员分享,可在线阅读,更多相关《离散数学群与子群.ppt(20页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、离散数学群与子群现在学习的是第1页,共20页 独异点是含有幺元的半群。前面曾提到,对于含有幺元的运算可考虑元素的逆元,并不是每个元素均有逆元的,这一点引出了一个特殊的独异点群群。群论群论的研究起源于19世纪,它是由于方程论的需要,首先作为置换群的理论发展起来的。随后,发现在大多数问题中,重要的不是构成群的置换本身,而应该是集合在代数运算下的性质,因而提出了群的概念。群是近世代数中发展最早、内容最广泛、应用最充分的一部分,是建立其它代数结构的基础。下面我们重点讨论群的概念群的概念及其性质性质。现在学习的是第2页,共20页一、群的概念一、群的概念群与子群是一种特殊的独异点,也是一种特殊的半群。群与
2、子群是一种特殊的独异点,也是一种特殊的半群。定义定义5-4.1 设是一个代数系统,其中G是非空集合,是G上一个二元运算,如果 运算是封闭封闭的。运算是可结合可结合的。存在么元么元e。对于每一元素xG,存在着它的逆元逆元x-1。则称是一个群群(group)。现在学习的是第3页,共20页例如:1.Q,+,Z,+,R,+为群,逆元-x2.R-0,*,P(S),都为群。3.N,+并不是群。4.Zn,+n为群,元素逆元:x=0,x 1=0;x 0,x 1=n-xP191 例题1;设R=0,60,120,180,240,300表示在平面上几何图形绕形心顺时针旋转角度的六种可能情况,设是R上的二元运算,对于
3、R中任意两个元素a和b,ab表示平面图形连续旋转a和b得到的总旋转角度。并规定旋转360等于原来的状态,就看作没有经过旋转。验证是一个群。现在学习的是第4页,共20页解:由题意,R上的二元运算的运算表如上所示,由表知,运算在R上是封闭的封闭的。对于任意a,b,cR,(ab)c表示将图形依次旋转a,b和c,而a(bc)表示将图形依次旋转b,c和a,而总的旋转角度都是a+b+c(mod 360),因此(ab)c=a(bc),即运算满足结合性结合性。0o是幺元幺元。60o,120o,180o逆元逆元分别是300o,240o,180o因此是个群现在学习的是第5页,共20页例:G=a,b,c,e,*如上
4、表所示,是不是一个群?易见 1)*运算对G是封闭的,e为幺元。2)可以验证,*运算可结合的。(在a,b,c三个元素中,任何两个元素运算的结果都等于另一个元素,)3)G中任何元素的逆元就是它自己;。故G G,*为为一个一个群群。此外,运算是可交换的,一般称这个群为克莱因(Klein)四元群四元群,简称四元群简称四元群。现在学习的是第6页,共20页思考练习 已知:在整数集 I 上的二元运算定义为:a,bI,a b=a+b-2 证明:为群。么元为:么元为:2逆元:逆元:x-14-x现在学习的是第7页,共20页二、有限群和无限群二、有限群和无限群 定义定义5-4.2 设是一群。如果 G是有限集,那么称
5、为有限群有限群,G中元素的个数通常称为该有限群的阶阶数数,记为|G|;如果G是无限集,则称 为无限群无限群。例题1中所述的就是一个有限群,且|R|=6。代数系统是一个无限群,这里I是所有整数的集合,+是普通加法运算。,是无限群。是有限群,是 k 阶群。克莱因Klein四元群是4阶有限群。只含单位元的群称为平凡群。只含单位元的群称为平凡群。是平凡群。是1阶群。现在学习的是第8页,共20页代数系统小结:至此,我们可以概括地说:广群仅仅是一个具有封闭二元运算的非空集合;半群是一个具有结合运算的广群;独异点是具有幺元的半群;群是每个元素都有逆元的独异点。封闭性封闭性广群广群结合性结合性半群半群含幺元含
6、幺元独异点独异点存在逆元存在逆元群群广群广群半半群群独异点独异点群群现在学习的是第9页,共20页群的基本性质 由于群的运算可结合,故对任何一个元a,其逆元都是唯一的,记a-1。(a-1=a-1*e=a-1*(a*(a-1)=(a-1*a)*(a-1)=(a-1)定理定理5-4.1 群中不可能有零元。群中不可能有零元。证明:当群的阶为1时,它的唯一元素是视作幺元。设|G|1 且群有零元。那么群中任何元素x G,都有 x x e,所以,零元 就不存在逆元,这与是群相矛盾。群中无零元!群中无零元!因为零因为零元无逆元。元无逆元。现在学习的是第10页,共20页 定理定理5-4.2 设是一个群,对于a,
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 子群
限制150内