离散数学6.8有限域.ppt

7.6 有 限 域 有限域(Galois域) 定义. 只有有限个元素的域称为有限域，或Galois域。 设F是一个有限域，则1、F的特征不可能是0 2、F的特征为质数p ，以RP为其最小子域 3、设F为q元域，则F中q-1个非0元素在乘法下作成一个q-1元群，因而都适合方程xq-1=1。由此知，F中q-1个非零元素都是多项式xq-1 -1 的根， F中q个元素都是多项式xq - x的根。 F Rp 定理7.6.1 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的所有的根。 有限域(Galois域) 定理7.6.2 F的q-1个非0元素在乘法下作成一个q-1元循环群，其?(q-1)个生成元素恰是Φq-1(x)的所有的根。 证明： （1） q-1不是特征p的倍数 （反证法）若p|(q-1), 则(xq-1-1)’=(q-1) xq-2=0, 因而xq-1-1有重根，与定理7.6.1矛盾。 （2） Φq-1(x)在F中有根F既然包含xq-1-1所有的根，自然也包含Φq-1(x)的根。故由定理7.