离散数学6.8有限域（蓝色）.ppt

6.8 有限域;有限域(Galois域) ;定理6.8.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的所有的根。 ;定理6.8.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有重根，与定理6.8.1矛盾。 （2） Φq-1(x)在F中有根F既然包含xq-1-1所有的根，自然也包含Φq-1(x)的根。故由定理6.8.1和上节定理6.7.24，可知该定理成立。;在Rp[x]中取Φq-1(x)的一个不可约因式ψ(x)。设次ψ(x)=n。 由定理6.8.2，ψ(x)在F内应有n个根。 设ξ是ψ(x)在F中的一个根。于是 ψ(ξ)= 0 ;规定Rp[x]到F内的一个映射σ如下： σ (?(x))= ?(ξ) ;(1)σ是Rp[x]到F上的映