信息安全数学基础第06章.pptVIP

6.2 有限域的乘法结构 最小多项式与本原多项式 i=3：可以将式(x-α3)(x-α6)(x-α12)(x-α9)完全展开以便证明α3的最小多项式为x4+x3+x2+x+1。我们也可以按照例6.2.9的方法来给出α3的最小多项式，即由于α3可以表示为一个四维向量，因而α3的最初5个幂次中必然存在一个线性关系式。下面再介绍一个上述方法的变形。这里我们暂时记α3=β，则通过计算可以得到α3=β的最初5个幂次依次为 1=0001 β=α3=1000 β2=α6=1100 β3=α9=1010 β4=α12=1111 6.2 有限域的乘法结构 最小多项式与本原多项式 下面我们通过基本的列变换找出这5个四维向量的一个线性相关关系式。首先将第二列加到第一列，得到 0001 1000 0100 1010 0111 接着将第三列加到第一列，得到 0001 1000 0100 0010 1111 6.2 有限域的乘法结构 最小多项式与本原多项式 i=4：由于α, α2, α4, α8互为共轭根，因而他们具有相同的最小多项式。进而由α的最小多项式为x4+x+1，可知α4的最小多项式也是x4+x+1。 i=5：由于α5的最小多项式为(x-α5)(x-α10)，将其完全展开得到 (x-α5)(x-α10)=x2-α5x-α10x+α15 =x2-(α2+α)x-(α2+α+1) x+1=x2+x+1 i=6：由于α3, α6, α12, α9互为共轭根，因而他们具有相同的最小多项式。进而由α3的最小多项式为x4+ x3+x2+x+1，可知α6的最小多项式也是x4+x3+x2+x+1。 6.2 有限域的乘法结构 最小多项式与本原多项式 i=7：这里我们暂时记α7=β，则通过计算可以得到α7=β的最初5个幂次依次为 1=0001 β=α7=1011 β2=α14=1001 β3=α21=α6=1100（注意β5=α15=1） β4=α28=α13=1101 6.2 有限域的乘法结构 最小多项式与本原多项式 下面我们通过基本的列变换找出这5个四维向量的一个线性相关关系式。首先将第四列加到第一列，得到 1001 0011 0001 1100 0101 接着将第三列加到第四列，得到 1001 0010 0001 1100 0101 6.2 有限域的乘法结构 最小多项式与本原多项式 此时这个矩阵中有第一行与第三、四行之和为0，即 1+β3+β4=0 因而β=α7的最小多项式为 x4+x3+1 当然我们也可以将式 (x-α7)(x-α14)(x-α13) (x-α11) 完全展开以便证明α7的最小多项式为 x4+x3+1 6.2 有限域的乘法结构 本原元 i βi 0 (0,1) 1 (1,1) 2 (2,3) 3 (0,2) 4 (2,2) 5 (4,1) 6 (0,4) 7 (4,4) 8 (3,2) 9 (0,3) 10 (3,3) 11 (1,4) 12 (0,1) 6.2 有限域的乘法结构 本原元 因而β的阶为12，进而 α1=(1,0)，β=(1,1) t1=8，s=12 转到第四步。 由于lcm(8,12)=24，满足条件 gcd(d,e)=1且de=lcm(t1,s) 的t1=8的因子d，s=12的因子e，只有 d=8，e=3 因而 6.2 有限域的乘法结构 本原元 α2=α18/8β12/3=α1β4 =α1(2α1+2) =2α12+2α1 =2x2+2x ≡2x+4 (mod x2-2) 且α2的阶为 lcm(8,12)=24 因而t2=24，返回第二步，算法停止；2x+4即为F中的本原元。 6.2 有限域