信息基础与编码理论 第十章.pptVIP

信息论与编码Information Theory Coding 第十章????? 线性分组码 若运算 *满足：条件 1°,2°，3°,4° ,5°则称G为一个交换群或Abel群。 若运算 * 是普通的加法“+”,则群称为加群 。 若运算 * 是普通的乘法“×”,则群称为乘群 。 定义2 若群G 仅有有限个原素则称为有限群 ；否则为无限群。 1）无限群举例 例1 整数集对加法构成Abel群 ,对乘法不是群。 例2 有理数、实数、复数集对加法构成Abel群 ，不含数 0 的有理数、实数、复数集对乘法构成Abel群。 例3 n 维方阵的集合加法构成Abel群 ,对乘法不是群. 例4 n 维非奇异方阵对乘法构成非Abel群。 2）有限群举例 例1 数 0 对加法构成群 , 数 1 对乘法构成群。 例2 集合{ 0 , 1 , 2 , … , m-1}对模m加法运算构成Abel群 , 对乘法不是群。 例3 当 m 为素数时 , 集合{ 1 , 2 , … , m-1}对模 m 乘法运 算构成Abel群。 例4 线性分组码构成Abel群 , 所以线性分组码又称为群码。 （2） 域的概念 定义1 F 是一个非空集合 , 对于F 的任意两个元素a 和 b ,定义集合元素的加法运算 , 记作a＋b ; 乘法运算 ,记作a b ; 且有如下规则 : 加法运算 1° a , b ∈F , 有 a＋b ∈F ; 2° a , b ∈F , 有 a＋b = b＋a ; 3° a，b，c ∈F , 有 (a＋b)＋c = a＋( b＋c) ; 4°存在0 ∈ F , a ∈F , 有 a＋0 = a ； 5° a ∈F , 存在 - a ∈F , 有 a＋(- a) = 0 ; 乘法运算 1° a , b ∈F , 有 a b ∈F ; 2° a , b ∈F , 有 a b = b a ; 3° a，b，c ∈F , 有 (a b) c = a ( b c) ; 4° 存在e ∈ F , a ∈F , 有 a e = a ； 5° a ∈F ,且a≠0 , 存在 a -1 ∈F , 有 a a -1= e ; 乘法对加法的分配律 a , b , c ∈F , 有 a (b＋c) = a b＋a c 以上运算规则都成立，则称 F 对于所规定的加法运算 和乘法运算是一个域 . 定义2 设F 是一个域 , 如果F 中的元素个数无限 , 则F 称为 无限域 . 如果 F 中的元素个数有限 , 则 F 称为有限 域，有限域亦称为Galois域。 当有限域中元素的个数为q时，q称为域的阶，记为GF（q） 1°无限域的例子 例1 有理数、实数、复数集对加法 , 乘法构成域。 例2 形如 的数对加法 ,乘法构成域。 2°有限域的例子 例1 集合{ 0 , 1 , 2 , … , m-1}对模 m加法,乘法运算构成域。 二元域的运算 （1）系数取自GF（2）的多项式 对于（n+1）bit的二进制数字序列，可以用多项式来描述 称为GF（2）上的n次多项式。 其中： 的值为0或者1，是二元域GF（2）的元素，对应二进制数字序列。 代表着对应系数所在的位置。 （2）可做长除法 10.2 线性分组码的基本概念 （1) 模运算(对于整数) ① 同余 a =b(mod m): a 除以 m 与 b 除以 m(m1)的余数 相同； 或称为 a 和 b 对于模 m 同余 . 最小非负剩余: a = r (mod m) ; 0 ≤r m ； r 为模 m最小非负剩余 模 m 运算: a ,b ∈{ 0 ,1 ,2 , … , m-1} ； r为最小非 负剩余；将a + b =r (mod m), a