- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
§6.2 群的定义
天才的挪威数学家 Abel 例. 设(G, ·)是一个群,则(G, ·)是Abel群的充要 条件是对?a,b?G,有(a · b)2=a2 · b2 证明:必要性。若(G,·)是Abel群,即对 ?a,b?G,a· b=b · a。故, (a·b)2=(a·b)·(a·b) =a·(b·a)·b=a·(a·b)·b=(a·a)·(b·b)=a2·b2 充分性。对?a,b?G,由 (a · b)2=a2 · b2 ,得 a-1 · (a·b)·(a·b) · b-1=a-1 ·(a · a) ·(b · b) · b-1 故,b·a=a·b,因此,(G,·)是Abel群。 定理6.2.5 在一个Abel群(G,·)中,一个乘积可以任意颠倒因子的次序而求其值。 证明:考虑一个乘积a1·…·an。设σ是{1,…,n}上的一个一对一变换,欲证 aσ(1)· …·aσ(n)=a1·…·an 对n用数学归纳法,n=1时定理显然成立。假定 n-1时定理已真,证明n时定理亦真。 6.2.3 群的性质—(6: Abel群中的性质) 设将a1·…·an中各因子任意颠倒次序而得一式 P = aσ(1)·…·aσ(n) 因子an必在P中某处出现,因而P可以写成 P =(P′)·an·(P″) Pˊ或P″中可能没有元素,但照样适用以下 的论证,由交换律, P = Pˊ·(an·P″)= Pˊ·(P″·an) =(Pˊ·P″)·an, 现在Pˊ·P″中只有n-1个元素a1,…, an-1,只不过次序有颠倒,故由归纳法假 定, Pˊ·P″= a1·…·an-1。 因此,P =(Pˊ·P″)·an = a1·…·an-1·an, 从而归纳法完成,定理得证。 在Abel群中,第三指数律成立: (a·b)m = am·bm,m为任意整数。 6.2.3 群的性质—(6: Abel群中的性质) 加法群: (G,+) 永远假定加法群是一个Abel群 乘法群 加法群 1 0:a+0=a a-1 -a:a+(-a)= 0 an na 加法群中三个指数定律: (m+n)a=ma+na, m(na)=(mn)a, m(a+b)=ma+mb 思考:乘法群中a·b-1在Abel群中写作? 6.2.3 群的性质—(6: Abel群中的性质) §6.2 群的定义 6.2.1 半群 6.2.2 群 6.2.3 群的性质 6.2.1 半群--半群的定义 设G是一个非空集合,若 · 为G上的 二元代数运算,且满足结合律,则 称该代数系统(G, ·)为半群。 6.2.1 半群 -- 半群的例 例. 设S是一个非空集合,ρ(S)是S的幂集,∩和∪是ρ(S)上的交运算和并运算,则(ρ(S),∩),(ρ(S),∪)都为半群。 例. 设Z为整数集,+、-、· 是数的加法、减法和乘法,则(Z, +)、(Z, ·)都是半群;(Z, -)不是半群。 半群的例 例. 设N为自然数集,规定N 上的运算“⊙”如下:a ⊙ b = a + b + a·b, 显然,⊙为N上的二元代数运算。对N中任意三个元素a,b,c,有: (a⊙b)⊙c = ( a + b + a·b) ⊙ c = (a + b + a·b)+c+(a + b + a·b)·c =a + b + c + a·b + b·c + a·c + a·b·c, a⊙(b⊙c)= a⊙(b + c + b·c) =a+(b+c+ b·c)+a·(b+c+ b·c) = a + b + c + a·b + b·c + a·c + a·b·c, 故,(a⊙b)⊙c = a⊙(b⊙c). 因此,(N, ⊙)为半群。 设(G, ·)为半群,如果满足下面条件: (1) 有壹(单位元):G中有一个元素1,适合对于G中任意元素a,都有1·a = a·1 = a; (2) 有逆:对于G中任意a,都可找到G中一个元素a-1,满足a·a-1 = a-1·a = 1, 则称
文档评论(0)