§7.6 有 限 域.pptVIP

§7.6 有 限 域 有限域(Galois域) 定义. 只有有限个元素的域称为有限域(Galois域)。 设F是一个有限域，则 F的特征不可能是0.否则R0?F,与元数有限矛盾。 F的特征为质数p，以RP为其最小子域。 设F为q元域，则F中q-1个非0元素在乘法下作成一个q-1元群,因而都适合方程xq-1=1.由此知， F中q-1个非零元素都是多项式xq-1 -1 的根， F中q个元素都是多项式xq –x的根。 定理7.6.1 设F为q元域，F中的q-1个非0元素恰是所有q-1次单位根，而F的所有q个元素恰是多项式xq-x的所有的根。 证明：多项式xq-1-1最多只能有q-1个根。但F的非0元素已经是它的q-1个不同的根，所以F的非0元素恰是xq-1-1的所有的根，因而也就是所有的q-1次单位根。类似地可以说明F的所有元素恰是xq-x的所有的根。 结论：xq-1-1和xq-x均无重根。 例. R5={0,1,2,3,4}， q=5，它的所有q-1=4个非0元素恰是所有4次单位根，它的所有5个元素恰是多项式x5-x的所有的根。 结论：特征p必不能整除q-1。 证明： （反证）否则(xq-1-1)’=(q-1)xq-2=0, 因而xq-1-1有重根，与定理7.6.1矛盾。 定理7.6.2 F的q-1个非0元素在乘法下作成一 个q-1元循环群，其?(q-1