第五章代数系统教程.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
§5.4 群与子群 a*b=a*(b-1)-1 ?S,而(b-1)-1 =b ∴a*b ?S ∴ S ,* 是 G , *的子群 例:设H,*和K,*都是群G,*的子群,试证明 H?K,*也是G,*的子群。 第三篇小结 通过本篇的学习应该达到以下基本要求: (1)给定集合与运算的解析表达式,写出该运算的运算表。 (2)给定集合和运算,判别该集合对运算是否封闭。 (3)给定二元运算,说明运算是否满足交换律、结合律、幂等律、分配律和吸收律。 第三篇小结 通过本篇的学习应该达到以下基本要求: (4)给定集合S上的二元运算,求出该运算的幺元、零元、幂等元和所有可逆元素的逆元。 (5)给定集合S和二元运算*,能判定S,*是否构成半群、独异点和群。 (6)给定半群S和子集B,判定B是否为S的子半群;给定独异点V和子集B,判定B是否为V的子独异点,给定群G和子集H,判定H是否为G的子群。 习题选讲 例1. 设:S={a,b},则S上可以定义多少个二元运算?其中有4个运算如下表所示,则有哪些满足交换律,哪些满足幂等律,哪些有幺元,哪些有零元? a a b a a a b a ?1 a b b b a a b a ?2 a a b a b a b a ?3 b a b b a a b a ?4 习题选讲 例2. 对以下定义的集合和运算判别它们能否构成代数系统?如能,请说明是构成哪一种代数系统? (1) ,+为普通加法; (2) ,*为普通乘法; (3) ,≤为小于等于关系; 人有了知识,就会具备各种分析能力, 明辨是非的能力。 所以我们要勤恳读书,广泛阅读, 古人说“书中自有黄金屋。 ”通过阅读科技书籍,我们能丰富知识, 培养逻辑思维能力; 通过阅读文学作品,我们能提高文学鉴赏水平, 培养文学情趣; 通过阅读报刊,我们能增长见识,扩大自己的知识面。 有许多书籍还能培养我们的道德情操, 给我们巨大的精神力量, 鼓舞我们前进。 * 实例分析 集合 运算 单位元 零元 逆元 Z, Q, R 普通加法+ 0 无 x 的逆元 ?x 普通乘法? 1 0 x 的逆元 x?1 (x-1属于给定集合) Mn(R) 矩阵加法+ ? 无 X 逆元?X 矩阵乘法? E ? X的逆元 X?1 (X是可逆矩阵) P(B) 并? ? B ?的逆元为? 交? B ? B的逆元为B 对称差? ? 无 X的逆元为X ? 和 E 分别表示n 阶全0 矩阵 和 单位实数矩阵 §5.2 运算及其性质 [定义]设 °为集合S上二元运算,如果对于任意元素 x, y, z?S, x ?θ,都有 x ° y = x ° z ? y = z, y ° x = z ° x ? y = z 成立,则称 ° 运算满足消去律。 例如,普通加法和乘法满足消去律,矩阵加法满足消去律,矩阵乘法不满足消去律. 集合的并和交运算也不满足消去律,例如{1}?{1,2}={2}?{1,2},但是{1}?{2}. 例题分析 例 设 ° 运算为 Q 上的二元运算, ?x, y?Q, x ° y = x+y+2xy, (1) 判断 ° 运算是否满足交换律和结合律,并说明理由. (2) 求出 ° 运算的单位元、零元和所有可逆元素的逆元. 解 (1) ° 运算可交换. 任取x, y?Q, x ° y = x+y+2xy = y+x+2yx = y ° x, ° 运算可结合,任取x, y, z?Q, (x ° y) ° z = (x+y+2xy) + z + 2(x+y+2xy) z = x+y+z+2xy+2xz+2yz+4xyz x °(y ° z) = x + (y+z+2yz) + 2x(y+z+2yz = x+y+z+2xy+2xz+2yz+4xyz (2) 设 ° 运算的单位元和零元分别为 e 和 ?,则对于任意 x 有 x° e = x 成立,即 x+e+2xe = x ? e = 0 由于° 运算可交换,所以 0 是幺元. 给定 x,设 x 的逆元为 y, 则有 x ° y = 0 成立,即 x+y+2xy = 0 ? (x ? = ?1/2)

文档评论(0)

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

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

1亿VIP精品文档

相关文档