有限域学习课件.pptVIP

7.1 域的扩张 7.1 域的扩张 CRC的数学原理 有限域中，将一般将位串看作系数为0或1的多项式，所以CRC也叫做多项式编码 如10011有6位，表示多项式为G(x)=x4+x+1，G(x)每项对应的系数分别为1、0、0、1、1 在M后面添加r位0，就相当于xr·M(x)。 有限域中，加法、减法是模2运算，因此，在上面第二步骤除法的减法运算为异或。 7.1 域的扩张 CRC的数学原理 若待发送数据为M(x)，生成元为G(x)，G(x)的最高次数为r，R(x)为余数，实际发送的数据为S(x) ： （1）添零：计算xr·M(x) （2）做除法：xr·M(x) ( mod G(x) ) = R(x) （3）余数填充：S(x) = xr·M(x)+ R(x) （4）接收方检查：S(x) ( mod G(x) ) = ( xr·M(x)+ R(x)) ( mod G(x) ) = R(x)+R(x) = 0 7.1 域的扩张 CRC的硬件实现 ? ? ? ? ? 无零因子环 ? 环 ? ? 域 阿贝尔群 群 半群 整环 交换环 含幺环 * ? 2003-2004 Microsoft Corporation. All rights reserved. This presentation is for informational purposes only. Microsoft makes no warranties, express or implied, in this summary. * 巫玲 Wuling751@126.com 有限域 Galois Field 7.1 域的扩张 域 整环 无零因子环 含幺环 可交换环 环 Abel群 群 半群 A B 表示满足A则满足B 除环 7.1 域的扩张 定义7-1 非空集合F，若F中定义了加和乘两种运算，且满足： 1) F关于加法构成阿贝尔群，加法恒等元记为0 2) F中所有非零元素对乘法构成阿贝尔群，乘法恒等元记为1 3) 加法和乘法之间满足分配律 则F与这两种运算构成域 每一个非零元都是可逆元的有单位元的交换环 如实数域\复数域\有理数域 7.1 域的扩张 当域元素个数有限时，称为有限域或伽罗瓦galois域,记为GF 并把元素的个数称为F的阶，记为GF(n),否则称为无限域 最常见:GF(2) 两个元素个数相同的有限域一定同构 7.1 域的扩张 如： 1、全体整数 2、全体偶数 3、全体实数 4、全体复数 5、全体有理数 设q为素数，则整数全体关于模q的剩余类 在模q的运算下(模q加和乘)构成q阶有限域GF(q) 构成环，不构成域 构成域 构成域 构成域 构成环，不构成域 无限域 6、 7.1 域的扩张 子域 定义7-2 记为F≤A 7.1 域的扩张 定义7-3 设F是域，X是F一个子集，那么F中包含X所有子域的交，称为X所生成的子域。 所有子域的交:最小子域 ? 素域 素域也称为极小域 任何域都包含一个素域 7.1 域的扩张 这两个例子实际上已刻划了所有的素域。 7.1 域的扩张 有限扩张 设F是K的扩域，视F是K上的向量空间，且维数为n，则称F是E上的有限扩张，记为 [F:K]=n。 例：视C为R上向量空间，基{1，i}，维数为2, 称C为R的二维扩张。 [F:K]=[F:E] [E:K] 无限扩张 [F:K]=∞ 7.1 域的扩张 扩域的过程反过来，就得到素域的概念，即不会是任何域的扩域的域 定义7-3 域F上子域K，可以并入F子集X扩张，称为X在K上生成的子域，表示为K(X) 扩域过程中最小的一步，是得到所谓单扩张，即并入一个元素而生成之扩域。 例 设F=Q,E=C,S={√2}，则 F(S)=Q(√2)={a+b √2|a,b∈Q} 复数域上的子域R，子集X={i}, 则R(X)=C 7.2 有限域的基本性质 有限域的加法特性：特征 有理数域、实数域和复数域中，任意多个1相加都不等于0 而有限域中，因为元素个数有限，若干个1相加中不可能没有相同的元素 设i*1=j*1,1≤ij,则