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

离散数学 课件 chapter 11 群论.pptx

  1. 1、本文档共64页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
11 群论 主要内容11.1 半群11.2 群11.3 元素的周期与循环群11.4 子群11.5 置换群11.6 陪集与拉格朗日定理11.7 正规子群与商群 11.1 半群 若A,?是一个代数系统,如果运算“?”满足结合律,则称A, ?是半群(semigroup)。进一步,如果运算“?”满足交换律,则称A, ? 为可交换半群(commutative semigroup);如果集合A中存在关于运算“?”的单位元,称A, ? 为含幺半群,又称为独异点(monoid);如果独异点中运算“?”满足交换律,则称A, ? 为可交换独异点(commutative monoid)。 11.1 半群??? 11.1 半群独异点的运算表中,不可能存在两行或两列完全相同。 ? 11.1 半群 如果S, ? 是半群,T?S是非空子集,且运算“?”在T上是封闭的,则T, ? 是半群S, ? 的子半群;如果S, ? 是独异点,e是S中关于运算“?”的单位元, T?S是非空子集,e?T 且运算“?”在T上是封闭的,则称T, ? 是独异点S, ? 的子独异点(sub monoid)。 11.1 半群 设S, ? 是一个可交换的独异点,M是它的所有幂等元构成的集合,证明: M, ? 是S, ? 的子独异点。 ? 11.1 半群 给定半群S, ? ,如果对任意两个元素而言,运算“?”是不可交换的,则该运算满足幂等律。???? 11.1 半群 在半群S, ? 中,如果S是有限集合,则该半群中一定存在幂等元。 ???? 11.1 半群 设S, ? 和T,*是两个半群,如果存在映射f:S→T,使对任意a,b?S,有f(a ? b)=f(a)*f(b)成立,则称f是S, ? 到T,*的半群同态;进一步,如果S, ? 和T,*是两个独异点,若映射除满足f(a ? b)=f(a)*f(b)外,还满足f(e)=e’,则称f是S, ? 到T,*的含幺半群同态(或独异点同态)。 当f是单射、满射、双射时,相应的同态称为单一同态、满同态和同构。 11.1 半群 若f是代数系统S, ? 到代数系统T,*的满同态,则有 (1)若S, ? 是半群,则T,*是半群; (2)若S, ? 是独异点,则T,*是独异点。?因此,*满足结合律。 11.1 半群 若f是代数系统S, ? 到代数系统T,*的满同态,则有 (1)若S, ? 是半群,则T,*是半群; (2)若S, ? 是独异点,则T,*是独异点。?? 11.2 群 设G,*是一个代数系统,如果满足如下条件:(1)运算“*”结合律,即?a,b,c?G,有(a*b)*c=a*(b*c)成立;(2)存在关于运算“*”的单位元,即存在元素e,使?a?G ,有a*e=e*a=a成立;(3)每个元素存在关于运算“*”的逆元,即?a?G ,存在元素a-1,使a*a-1=a-1*a=e成立;则称G,*是群(group)。有时也表示为G,*,e,其中e为群的单位元。集合G的基数称为群的阶(order),表示为|G|;如果|G|是有限的,称群G,*为有限群(finite group),反之称其为无限群(infinite group)。 11.2 群(1)整数及整数上的加法运算构成了群Z,+,称之为整数加法群。其中0是群的单位元,每一个元素的逆元是它的相反数。(2)整数与整数上的乘法运算不能构成群,因为除了元素1和-1外,所有元素都不存在逆元。(3)类似,Q,+、R,+都是群,而Q,?和R,?都不是群,因为元素0没有逆元;(4)Q-{0}, ? 和R-{0}, ? 都是群,两个群的单位元均为1,元素的逆元是该元素的倒数。 11.2 群 证明 是群。?? 11.2 群 设G,*是群,则有运算如下性质:(1)运算“*”满足消去律;????? 11.2 群 设G,*是群,则有运算如下性质:(2)群中除单位元以外,不存在其他幂等元;? 11.2 群 设G,*是群,则有运算如下性质:(3)阶大于1的群中无零元;? 11.2 群 设G,*是群,则有运算如下性质:(4)群方程 的解唯一;??????由于群运算满足消去律,因此有? 11.2 群 设G,*是群,则有运算如下性质:(5)群的运算表中同一行或列中没有两个元素是相同的。?由于群运算满足消去律,因此有? 11.2 群 给

文档评论(0)

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

精品资料

版权声明书
用户编号:7040145050000060

1亿VIP精品文档

相关文档