第二章纠错编码代数基础.ppt

第二章 纠错编码代数基础 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′中的元