网站大量收购闲置独家精品文档,联系QQ:2885784924

[数学]2009组合数学-06级-第7章.ppt

  1. 1、本文档共61页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
[数学]2009组合数学-06级-第7章

第七章、 Pólya定理 §7.1 群论基础 §7.1.1 群的定义 定义7.1.1代数系统(G, · )若满足以下条件: (1)结合律:对任意a,b,c G, (a · b) · c=a ·(b · c); (2)G中有一个元素e,适合对于G中任意元素a,都有 e·a = a·e = a (3)对于G中任意a,都可找到G中一个元素a-1,满足a·a-1 = a-1·a = e, 则称(G, ·)为群。元素e称为G的单位元素,a-1称为a的逆元素。如果群G包含的元素个数有限,则称G为有限群,否则称G为无限群。 若只有(1)成立,称(G, ·)为半群。 例7.1.1 设Z为整数集,+、·是数的加法和乘法,则 (1)(Z, +)是群,称为整数加法群。因为存在元素0,适合对于Z中任意元素a,都有0 + a = a + 0= a,即0为单位元素;且对于Z中任意a,都可找到Z中一个元素-a(a的相反数),满足a + (-a) = (-a) + a = 0,即-a为a的逆元素。 (2)(Z, ·)不是群。因为虽然存在单位元素e,适合对于Z中任意元素a,都有1·a = a·1 = a,但除了1和-1外,其它元素均无逆元素。 例7.1.2 设Q为所有有理数组成的集合,R为所有实数组成的集合,C为所有复数组成的集合; Q*为所有非零有理数组成的集合,R*为所有非零实数组成的集合,C*为所有非零复数组成的集合,+、·是数的加法和乘法,则 (Q,+)、(R,+)、(C,+)都是群; (Q, ·)、(R, ·)、(C,·)都不是群,因为0无逆元素; (Q*, ·)、(R*, ·)、(C*,·)都是群。 例7.1.3 设S是一个非空集合,ρ(S) 是S的幂集,∩和∪是ρ(S)上的交运算和并运算,则 (1)(ρ(S),∩)不是群,虽然存在单位元素S,但不是任意元素都存在逆元素; (2)(ρ(S),∪)也不是群,虽然存在单位元素:空集,但不是任意元素都存在逆元素。 例7.1.4 设A是实数域上所有n阶非奇异矩阵的集合,*为矩阵的乘法,不难验证(A,*) 是群。 定理7.1.1 群具有以下性质: 单位元e唯一; 逆元唯一; 满足消去律:即对a,b,c∈G,若ab=ac,则b=c;若ba=ca,则仍有b=c; a,b∈G,则(ab)-1=b-1a-1 ,更一般有(ab…c)-1=c-1…b-1a-1; 若G是有限群,则对任意a∈G,必存在一个最小常数r,使ar=e,从而a-1=ar-1。r称为元素a的阶。 定理7.1.2 设G是一个群,在一个乘积a1…an中可以任意加括号而求其值。 证明: 要证定理,只要证明任意加括号而得的积等于按次序由左而右加括号所得的积 (…((a1·a2)·a3)…·an-1)·an (7.1.1) (7.1.1)式对于n=1,2不成问题;对于n=3,由结合律也不成问题。现在对n用归纳法,假定对少于n个因子的乘积(7.1.1)式成立,试证对n个因子的乘积(7.1.1)式也成立。设有由a1…an任意加括号而得到的乘积A,求证A等于(7.1.1)式。 设在A中最后一次计算是前后两部分B与C相乘: A = (B)·(C) 今C的因子个数小于n,故由归纳假设,C等于按次序自左而右加括号所得的乘积(D)·an。由结合律,A=(B)·(C)=(B)·((D)·an)=((B)·(D))·an。但(B)·(D)的因子个数小于n,故由归纳假设,(B)·(D)等于按次序由左而右加括号所得的乘积 (B)·(D)=(…((a1·a2)·a3)…·an-2)·an-1 因而 A =((B)·(D))·an =((…((a1·a2)·a3)…·an-2)·an-1)·an 即A等于(7.1.1)式。 n个a连乘所得的积称为a的n次方,记为an。 我们规定a0=1,a-n=(an)-1。 am·an=am+n,(am)n=amn。 定义7.1.2设(G,·)是一个群, H是G的一个子集,如果按照G中的乘法运算·,H仍是一个群,则(H,·)叫做(G,·)的子群。如果G的一个子群H不等于G,即HG,则(H,·)叫做(G,·)的真子群。 例7.1.5 所有整数按照加法作成一个群。对于任意整数m,m的所有倍数在加法下作成整数加法群的一个子群。 例7.1.6 任选群

文档评论(0)

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

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

1亿VIP精品文档

相关文档