信息与编码第四章精编.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
代数基本知识 群、环和域;本节讨论一些具体的代数系统: 群、环、域 具有一个二元运算的群; 具有两个二元运算的环和域; ;;半群举例;解答;解答:a*b=a;解答: a*b=a+ab;解答:a*b=max(a,b); 3 子半群 设 S, *是半群,且非空H?S. 若运算*在H上是封闭的,则H,*也是一个半群,称H,*是S,*的子半群。 设 S, *, e 是含单位元半群,且H?S. 若运算*在H上封闭且e?H,则称H,*, e是S,*,e的子含单位元半群。 例 R,×是半群,I ? R,且×在集合I上封闭,则I,×是R,×的子半群。;定理1 设S, *是一个半群,若S是个有限集,则必有a?S,使得 a*a=a. 定理2 设S, *, e是一个含幺半群,则关于运算*的运算表中任何两行或两列都是不相同的。 定理3 设S, *是一个可交换含幺半群,H 是S的等幂元素所构成的集合,则H,*是S, *的子含单位元半群。 证 由幺元e?S且是等幂的,所以e?H; 设a,b?H, 因H中元素都是等幂的,故a*a=a, b*b=b,可得 (a*b)*(a*b)=(a*b)*(b*a)=a*(b*b)*a=a*b*a=a*a*b=a*b 说明a*b也是等幂的,故a*b?H,即*对于H是封闭的。 故 H,*是S, *的子含单位元半群。;4 循环半群 定义4 给定半群S,* (或含幺半群S,*,e ), 若存在g∈S,对任意a∈S,都有n∈N,使得a=gn, 则称该半群为循环半群(或循环含单位元半群)。 称g为循环半群的生成元,亦称元素g生成了循环半群。;循环含单位元半群举例;解答;5 半群同态 定义7.1.5 设U=X,ο 和V=Y, *是两个半群,ο和*都是二元运算,函数f:X→Y,若对任意的x,y∈X,有: f(xοy)=f(x)*f(y) (运算的象=象的运算) 则称f是代数系统U到V的一个半群同态映射(简称同态) 与代数系统 同态 概念完全一样。 定理6 设f为从代数系统X,ο和Y,*满同态映射,若X,ο是半群(或含幺半群,可交换半群),则 Y,*也是半群(或含幺半群,可交换半群)。 由满同态单方向地保持性质 可直接得到结论。;第二节 群的定义及基本性质;群举例;例 1 I,+是阿贝尔群。 例 2 G={α,β,γ,δ},验证G,*是群。 可验证运算*是可结合的, α是单位元, 且每个元素都可逆, *可交换, 故是阿贝尔群, |G|=4, 4阶群。;2.群的基本性质 定理 群中无零元; 定理 设 G,*是一个群,对于任意a,b∈G,方程a*x=b和y*a=b在G中都有惟一解。 定理 设 G,*是半群(或满足结合律),对任意 a,b∈G,若方程a*x=b和y*a=b在G中有解, 则G,*是群。 定理 设 G,*是一个群,对于任意的a,b,c∈G,有 (a*b=a*c) ? b=c , (b*a=c*a) ? b=c ( 消去律) 定理 设 G,*是一个群,对于任意a,b∈G,有 (a*b) -1 =b-1 * a-1 ( 运算的逆 = 逆的运算的交换);定理 群的运算表中每一行或每一列都是G中元素的双变换。 G中每个元素在每一行必出现且仅出现一次。(P176) 若群G,*中每个元素的逆是其自身, 证该群是阿贝尔群。 证 只需证运算*可交换。 对任意的a,b∈G, a*b=a-1*b-1=(b*a)-1=b*a 故G,*是阿贝尔群。 ;例1:S,*是有限可交换含幺半群,且对任意的a,b,c∈S,若a*b=a*c ? b=c. 证S,*是阿贝尔群。 证 只需证S中每个元素都可逆。 因S,*是有限可交换含幺半群,所以S是有限集。 不妨令S={a1,a2,…,an}, 对任意a∈S,有 {a*a1, a*a2 , …, a*an}?S, 又由对任意的ai , aj∈S,若a*ai=a*aj, 可推得ai=aj. 所以a*ai互不相同,即 {a*a1, a*a2, …, a*an}=S 又S中有:单位元e,故必存在某个ak∈S,使 a*ak=e. 又*可交换,a*ak=ak*a=e, 即a-1=ak, 由a任意,每个元素都可逆,即S,*是群,又因可交换,故是阿贝尔群。;第三节 循环群与变换群 ;讨论一下循环群的结构: 命题1: 设循环群G=(a),若a的所有不同的

文档评论(0)

花仙子 + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档