第二章-通信的数学基础.doc

第二章 现代通信的数学基础 2.1 群、域的多项式定义及其应用 2.1.1 群、域的概念 群的概念：一个集合G，在其上定义了一个封闭二元运算*，若它满足下述条件就称作群。 ⅰ）对二元运算*是结合的： ⅱ)G有一个元素e使得G中任意的a有： 此元素e称为恒元。 ⅲ）对G中任一元素，G中存在有另一元素，使 此元素称为a的逆元。 若群G的二元运算*还满足如下条件，对G中任意a和b，，则称群G为可交换群。 例如：，在其上定义模2加运算，则： ，是可交换群，其中0为恒元。 域的概念： F是一个元素集合，在其上定义两种运算“”和“”，均为封闭的二元运算。若他满足一下三个条件，则称其为域。 ⅰ）F在“”运算下是一个可交换群，加法恒元叫做“零元”，表示：“0”。 ⅱ）F中的非零元素在“”下是一个可交换群，乘法恒元叫做“单位元”，表示：“1”. ⅲ）任意的,都有，即：乘法在加法上是可分配的。 域中元素的个数用表示，若域中元素是有限的，则称该域为有限域。 例：， 定义运算modp“”和modp“” 所以G在modp“”运算下是可交换群，恒元为0，在 modp“”运算下构成可交换群，满足可分配，所构成有限域。当P=2时即为,此刻1的逆元：（设X为1的逆元），则1的逆元（即）为：(-1不在G中)，因此，1的逆元为。 对任意正整数m,可以将素域GF(P)扩展成有个元素的域，称之为的扩域，并以表示（或 ）而且已经证明：任意有限域的阶都是素数的幂。 任意一个大于1的正整数n，都可以表示成素数幂的乘积的形式，即：。 例： 所以可得Euler函数（欧拉函数） 2.1.2 GF(2)上多项式的相关知识 下面我们研究系数取自2元域GF(2)的多项式性质。 (2-1) 其中，,即对，或1. 若，则是n次多项式。下面我们将用“上的多项式”来表示“系数取自的多项式”。 上的多项式可以按普通方法进行加、减、乘、除。且满足三律。这里重点看一下除法： 当除时，则有： （对于两个多项式相除，一般都是将除法转换为乘法） 其中为商多项式，为余多项式。其中的次数小于的次数，若，则可被整除。这就是大家都熟悉的欧几里得除法。 例： 如果余式为零，我们就说可以被除尽，是的因子。 概念1：GF(2)上的既约多项式 若GF(2)上的m次多项式不能被GF(2)上任何次数小于m，但大于零的多项式除尽，就称它是GF(2)上的既约多项式。业已证明，对于任意，存在有m次既约多项式。 定理1：GF(2)上的任意m次既约多项式都可以除尽。 例如：是三次既约多项式。 这是因为x=0, 1都不是它的根，所以不能被x和x+1除尽，所以也不能被任何二次多项式除尽，从而证明它是GF(2)上的既约多项式。也可以验证除尽。 概念2：GF(2)上的本原多项式 若m次既约多项式除尽的的最小正整数n满足，就称它为本原多项式。 例如是三次本原多项式，因为它能除尽，但不能除尽，，，。 既约多项式不一定时本原多项式，例如是既约的，但不是本原的，因为它能除尽和。 识别一个本原多项式并不容易。本原多项式表： 定理2：对GF(2)上的多项式，对任意，则：。 例：，因为是GF(2)上的多项式，所以不能有2，所以，所以，即：。 2.1.3 伽罗华域的构造 下面，我们给出一种采用多项式方法的有限域构造方法，该方法或者思想对后面的伪随机序列、纠错编码及CDMA技术都是非常有用的。其构造过程包括如下四个步骤： 1、构造集合 设是属于GF(2)上的m次本原多项式，即，所以由定理1有： (2-2) 设是的根，即有，所以，所以 。选取集合，需要证明F中的元素互不相等，从而保证。 证明：若，且，则，由于都在的范围内，所以，这和（2-2）相矛盾，所以F中的元素互不相等。 2、定义乘法运算(封闭、可交换群) 可交换群含义：非零元素集合。 定义运算： 、、、…,则形成可交换群。 3、定义加法运算 当时，考虑与之间的关系。为本原多项式，所以也为既约多项式，由既约多项式定义知： 与之间无公因子，所以，且，其，所以 （其中：） 证明 假设 则 ，所以可以除尽。因为，所以，，这就是说中还能找到一个更小的被整除，而这与是本原多项式矛盾，所以， 共有个元素。共有个元素。所以F中的元素与中的多项式可以一一对应。对应关系： 定义加法： (2-3) 域元素与向量之间的关系： 例：已知本原多项式，利用来构造并