离散数学课件群.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
* Sn的子群 例如 S3={(1),(1 2),(1 3),(2 3),(1 2 3),(1 3 2)},其中的偶置换是(1),(1 2 3)和(1 3 2)。 因此3元交错群A3={(1),(1 2 3),(1 3 2)}。 对于Sn来说,它的所有子群都叫做n元置换群,n元对称群Sn,n元交错群An都是n元置换群的特例。 以S3为例,除了S3和A3以外,它的其他子群是: ? 2阶子群:{(1),(1 2)},{(1),(1 3)},{(1),(2 3)}? ? 1阶子群:{(1)}? 这三个2阶子群都不是正规子群。 两个平凡子群和A3是正规子群。 * 补充一、对称变换群的定义 定义1 使图形不变形地变到与自身重合的 变换称为这个图形的对称变换(symmetric transfor- 一个图形的一切对称变换关于变换的乘法 构成群, 这个群称为这个图形的对称变换群. 一个图形的对称变换群常可以用一个置换群来 表示, 它能很好地反映图形的对称性质, 是研究图 形的对称性质的有力工具. mation). * 二、对称变换群的实例 例1 求正方形的对称变换群. 由图1.7.1不难看出, 正方形的对称变换只有两种: (1) 分别绕中心点 按逆时针方向 旋转 、 、 、 的旋转; (2) 关于直线 、 、 、 的镜面反射. * 为了用置换来表示正方形的对称变换, 我们用数 字1、2、3、4来代表正方形的四个顶点(如图1.7.1). 显然, 正方形的每一个对称变换都导致了这四个顶 点的一个置换. 如果对称变换将顶点 变为顶点 , 那么我们用置换 来表示这个对称变换. 易知, 由正方形的每一个对称 * 变换, 都可惟一地确定一个4阶置换, 且不同的对称 变换对应了不同的置换. 所以, 正方形的每一个对 称变换, 都可用惟一的一个四阶置换来表示. 表1.7.1列出了正方形的对称变换及其相应的置 由表1.7.1可知, 两个对称变换的乘积对应于相应 的置换的乘积. 所以正方形的对称变换群是 的一 个子群, 记作 . 由表1.7.1可知 . 换表示 点击看表 * 对称变换 置换表示 表示绕中心旋转 表示绕中心旋转 表示绕中心旋转 表示绕中心旋转 (恒等变换) 表示关于 的反射 表示关于 的反射 表示关于 的反射 表示关于 的反射 表1.7.1 * 一般地, 正 边形 的对称变换群是 的一 个子群,记作 , 称为二面体群. 易知, 正 边形有 个旋转 (包括恒等变换)和 个反射, 所以, 二面体 群的阶数是 . * 主要内容 循环群的定义及分类(无限循环群与有限循环群)? 无限循环群G=a只有两个生成元a和a-1;n阶循环群有(n)个生成元 无限循环群G=a有无数个子群,对于任何自然数m,am?都是G的子群;n阶循环群恰有d个子群,其中d是n的正因子个数 n元置换的不同表法之间的转换,置换乘法及求逆? n元对称群及其子群--n元交错群 * 学习要求 判断群G是否为循环群。如果是,是有限还是无限循环群。? 求给定循环群的所有生成元。? 求给定循环群的所有子群。? 用三种方法表示n元置换:置换表示、轮换表示、对换表示。? 会求n元置换的乘积和逆。? 了解n元置换群的概念。 * 习题十一 8,10,11,12,17,18,19,26,30,31,32 作业 * 例题 ★ 00 600 1200 1800 2400 3000 00 00 600 1200 1800 2400 3000 600 600 1200 1800 2400 3000 00 1200 1200 1800 2400 3000 00 600 1800 1800 2400 3000 00 600 1200 2400 2400 3000 00 600 1200 1800 3000 3000 00 600 1200 1800 2400 设R={00,600,1200,1800,2400 ,3000}表示在平面上几何图形绕形心顺时针旋转角度的六种可能情况,设★是R上的二元运算,对于R中任意两个元素a和b,a★b表示平面图形连续旋转a和b得到的总旋转角度。并规定旋转3600等于原来的状态,就看作没有经过旋转。验证R,★是一个群。 群{00,600,1200,1800,2400,3000},★的子群为 {00,1200, 2400},★和{00,1800},★, 当已旋转600时,若再旋转00,1200, 2400,我们希望

文档评论(0)

sandaolingcrh + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档