离散数学第七章群和环.ppt

  1. 1、本文档共45页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
定义7.17:设S={1,2,?,n},S上的任何双射函数 称为S上的n元置换。 定义7.18:设 是n元置换, 的复合 o 也是n元置换,称为 与 的乘机,记作 。 7.4 循环群与置换群 定义7.19 一个置换群是一个群G,其元素是一个给定集M的置换,而其群作用是G中的置换(可以看作是从M到自身的双射)的复合;其关系经常写作(G,M)。注意所有置换的群是对称群;置换群通常是指对称群的一个子群。 n个元素的置换群记为 ;若M 是任意有限或无限集合,则所有M的置换组成的对称群通常写作Sym(M)。 设S≠Ф,|S|<+ ,S上的一个一一变换被称为置换。当S上的某些置换关于乘法运算构成群是,就成它为置换群。 若|S|=n,设{1,2,?,n},其置换全体组成的集合一般表示为Sn;经过n次恒等变换的群称为n次对称群。 7.4 循环群与置换群 置换群到被置换的元素的应用称为群作用;它在对称性和组合论以及数学的其他很多分支中有应用。 PART 01 PART 02 PART 03 半群 群 子群与群的陪集分解 PART 04 环与域 PART 05 循环群与置换群 内容安排 在本章前面的内容中介绍了半群、独异点和群,他们都是具有一个运算的代数结构,这对于研究简单的整数和实数系统来说都是不够的。因此,必须研究具有两个运算的代数结构——环和域。环和域均建立在Abel群的基础之上,在上一节中已经有过介绍。 7.5 环与域 定义7.21 设R,+,?是代数系统,+和?是二元运算,如果满足下列条件: (1)R,+构成交换群; (2)R,?构成半群; (3)?运算关于+运算适合分配律, 则称R,+,?是一个环。 为了区分环中的两个运算,通常称+为环中的加法,?为环中的乘法,把S,+称为加法群,S,?称为乘法半群。而且还规定,运算的顺序是先计算乘法再算加法。 常常又因为环中的乘法半群满足于不同的乘法的各种性质,将环冠以不同的名称。 7.5 环与域 定义7.22 给定环R,+,?,若R,?是可交换半群,则称R,+,?是可交换环;若R,?是独异点,则称R,+,?是含幺环;若?a,b?R,ab=0?a=0?b=0,则称R是无零因子环;若R,?满足等幂律,则称R,+,?是布尔环;若R既是交换环、含幺环,又是无零因子环,则称R是整环。 7.5 环与域 例7.25 Z,+,*,R,+,*,Q,+,*,E,+,*,和C,+,*等都是环。而且除了E,+,*之外都是拥有加法零元(数0)和乘法幺元(数1)的和交换含幺环。这里Z,R,Q,E,C分别为整数集合,实数集合,有理数集合,偶数集合和复数集合。而+和*分别为普通意义下的加法和乘法。 例7.26 给定P(S),+,*,其中P(S)是结合S的幂集,+和*分别为普通意义下的加法和乘法: A+B=(A-B)∪(B-A) A*B=A∩B 这里A,B∈P(S),∩和∪是集合的交与并运算。 不难验证,P(S),+,*是环,并且拥有加法幺元?和乘法幺元S的可交换幺换。通常称该环为子集环。 7.5 环与域 定理7.9 设R,+,?是环,则 (1)?a?R,a0=0a=0 (2)?a,b?R,(-a)b=a(-b)=-ab (3)?a,b,c?R,a(b-c)=ab-ac,(b-c)a=ab-ca 7.5 环与域 例7.28 在环中计算(a+b)3, (a?b)2 解 (a+b)3 = (a+b)(a+b)(a+b) = (a2+ba+ab+b2)(a+b) = a3+ba2+aba+b2a+a2b+bab+ab2+b3 (a?b)2 = (a?b)(a?b) = a2?ba?ab+b2 7.5 环与域 域的概念是在环的概念之上的延伸。 定义7.23 设R是整环,且R中至少含有两个元素。若?a? =R-{0},都有 ?R,则称R是域。 定理7.10 给定可交换环S,+,*,若S-{0},*为群,此时称S,+,*为域。 7.5 环与域 例7.29 R,+,*和Q,+,*都是域,而Z,+,*不是域,其中R,Q和Z分别为实数集合,有理数集合和整数集合,+和*为一般意义下的加法运算和乘法运算。 定理7.11 S,+,*为域?(?a)(?b)(a,b∈S?a*b=0?(a=0?b=0)) 7.5 环与域 定理7.1

文档评论(0)

189****6140 + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档