离散数学第七讲群环域.ppt

  1. 1、本文档共49页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
一、群的定义和性质 定义1:群〈G , * 〉是一代数系统, 其中二元运算* 满足: (1) 运算*是可结合的; (2) 存在么元e; (3) 对每一a∈G, 存在一个元素a-1 , 使 a-1 * a = a * a-1 = e 如 〈Q, ×, 1〉 〈Q+, ×, 1〉 〈{1}, ×,1〉 定义2: 如果G是有限集合, 则称〈G, *〉是有限群; 如果G 是无限集合, 则称〈G, *〉是无限群。有限群G的 基数|G|称为群的阶数。 如 〈{1}, ×〉是有限群,阶数为1; 〈I, +〉是无限群。 定义3:如果群〈G , * 〉 中的运算* 是可交换的,则称 该群为可交换群, 或称阿贝尔群。 如 〈I, +〉是阿贝尔群。 例1:①〈Q+, ×, 1〉 ② 设A是任一集合, P表示A上的双射函数集合,”。” 表示函数合成,“-1”表示求逆运算, 〈P, 。, -1, IA〉 ③ 〈N,max〉 ④ 代数〈Nk, +k, -1, 0〉 代数〈Nk, ×k〉 群是半群和独异点的特定情况, 有关半群和独异点的性 质在群中也成立, 群的性质还有: 定理1: 如果〈G , *〉是一个群, 则对于任何a、b∈G, (a) 存在一个唯一的元素x, 使得a * x=b。 (b) 存在一个唯一的元素y, 使得y * a=b。 证:(a) 至少有一个x满足a * x=b, 即x= a-1 * b, 因为 a * (a-1 * b)=(a * a-1) * b= e * b=b 如果x是G中满足a * x=b的任意元素, 则 x=e * x=(a-1 * a) * x = a-1 * (a * x) = a-1 * b 所以, x= a-1 * b是满足a * x=b的唯一元素。 (b) 同理可证。 定理 2: 如果〈G, *〉是一个群, 则对于任何a、b、 c∈G, 证: 因为群的每一元素都有逆元, 本定理显然成立。 定理3:么元是群中唯一等幂元素。 证:如果x是等幂元素, 则 么元是群中唯一等幂元素。 定理4:群〈G , *〉的运算表中的每一行或每一列都是G中 元素的一个置换。 证:i)首先, 证明运算表中的行或列所含G的一个元素不可 能多于一次。(反证法) 如果对应于元素a∈G的那一行中有两个元素都是k, 即a * b1=a * b2=k,根据定理2有b1=b2, 而b1≠b2,矛盾。 对于列也一样可以证明。 定理4:群〈G , *〉的运算表中的每一行或每一列都是G中 元素的一个置换。 证: ii)其次, 要证明G的每一个元素都在运算表的每一行 和每一列中出现。 考察对应于元素a的那一行,设b是G中的任一元素, 由于b=a * (a-1 * b), 所以b必定出现在对应于a的那一行中。 对于列也可同样证明。 定理4:群〈G ,*〉的运算表中的每一行或每一列都是G中 元素的一个置换。 证: iii)最后, 因为〈G, *〉中含有么元, 所以没有两行 或两列是完全相同的。 综合以上结果便得出: 运算表中每一行都是G的元素的 一个置换, 并且每一行都是不同的置换。同样的结论适合 于列。证毕。 定理5:群中没有零元。 定理6: 如果〈G ,*〉是一个群, 则对于任何a、b∈G, (a * b)-1= b-1 * a-1 证: 由于 (a * b) * (b-1 * a-1) = a * (b * b-1) * a-1 = a * a-1 = e 而这里逆元是唯一的, 所以(a * b) -1=b-1 * a-1。 推论: 思考:一阶群、二阶群、三阶群各有几个? 为了继续介绍群的性质, 我们首先定义群〈G,

文档评论(0)

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

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

1亿VIP精品文档

相关文档