- 1、本文档共53页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
[互联网]第二章纠错编码代数基础
第二章 纠错编码代数基础 2.1整数的有关概念 2.2群的基本概念 2.3环的基本概念 2.4域的基本概念 2.1整数的有关概念 2.1.1整数的概念及性质 2.1.2同余和剩余类 2.1.3多项式 2.1.1整数的概念及性质 重述几个在编码中常用的概念。 素数:只能被1和它本身整除的整数。 合数:除1和自身外,还存在其他因数的整数。 最大公约数(a,b)的性质:任意正整数a,b,必存在整数A,B,使 (a,b)=Aa+Bb。 最小公倍数[a,b] 的性质:任意正整数a,b,必存在关系式ab=[a,b] (a,b)。 2.1.2同余和剩余类 1.同余 若两整数a,b被同一正整数d除时,有相同的余数,即 则称a,b关于d同余,记作 2.剩余类 模d运算余数相同的元素构成的集合为模d的剩余类,记为 对应代表元常0,1,…d-1,共有d个值,称为有d个剩余类。 剩余类之间也可定义加法和乘法运算: 例2-1 d=7,则 2.1.3多项式 定理2-1 给定任意两个多项式, , , 一定存在唯一的多项式 和, 使 称为模多项式, 称为余式, 记为。 1.同余 2.剩余类 2.2群的基本概念 2.2.1群的定义 2.2.2循环群 2.2.3子群和陪集 2.2.1群的定义 定义1-1 群G是一些元素构成的集合,该集合中定义一种运算“*”(加法或乘法),满足: 1.封闭性,对任何a , b ? G,有a ? b ? G 2.结合律,对任何a , b, c ? G, (a ? b) ? c = a ? (b ? c) 3.存在单位元e ?G,使对任何a ? G有 a ? e = e ? a = a 4.对任何a ? G有逆元a-1 ? G,使 a ? a-1 = a-1 ? a = e 习惯上,若群的运算是加法,则简称加群;若群的运算是乘法,则简称乘群。 例2-4 整数集合对加法运算很明显满足封闭性和结合律,任何整数加0等于其自身,故加法单位元为0,任意一个整数x的逆元是其相反数-x,因此可判断全体整数构成加群。 类似地,全体偶数、实数、复数也构成加群。 另外,n阶方阵对加法运算也构成群,单位元是零矩阵。 但对乘法来说,整数集合虽然满足封闭性和结合律,而且乘法单位元为1,但是由于除1和-1外,其他元素均无逆元,所以整数集合不能构成乘群。同样,因为元素0无逆元,故全体实数或复数集合也不能构成乘群。但如果把0排除掉,非0实数和非0复数集合在乘法运算下都是群,乘法单位是1,元素x的逆元为1/x。 交换群 如果“*”运算还满足交换律,即对任何a , b ? G,有a ? b = b ? a,则G称作交换群。 加法群是交换群,而乘法群不一定是交换群,如矩阵乘法不满足交换律。 群的阶 群的阶就是群中所含元素的个数。如整数加法群和非0实数乘法群的阶都是无穷值。 有限群 阶为有限值的群称作有限群。 例2-5 模d的全体剩余类对模d的加法运算如表2-1所示 从表看出,模d的全体剩余类对模d的加法运算满足封闭性、结合律和交换率,单位元为0,0的逆元为0,元素i的逆元为d-i,因此构成交换加群。该群的阶为d,是有限群。 例2-7 模6的非0剩余类对模6乘法运算如表2-3所示。 2.2.2循环群 元素阶的性质 2.2.3子群和陪集 1.子群的定义 若群G的非空子集G′对于G中所定义的代数运算也构成群,则称G′为G的子群。 例2-9 偶数加群是整数加群的子群。一般来说,某一整数m的所有倍数所构成的集合是整数加群的子群。 定理2-3 有限群的子群的阶一定整除群的阶。 2.群的陪集分解 设G′为群G的非空子群,取h ? G,则称h ? G′为G′的左陪集,称G′? h为G′的右陪集。当G是交换群时,子群G′的左、右陪集是相等的,元素h称作陪集首。 设子群G′= { g1 , g2 , … , gn },G′的阶为n ,又设为G′群G的子集,由定理2-3可知,若G的阶为n? m,可将G完备地分成m个陪集(子群本身也是一个陪集) 。 陪集首的选择应注意 (1)若陪集首h是子群G′中的元素,则陪集h ? G′ 与子群G′相同。 (2)若陪集首h不是子群G′中的元
文档评论(0)