§5.有限域.pptVIP

§5.有限域 * 我们要讨论的第一中特殊类型的域是有限域。有限域在实验设计和编程理论中都有应用。 定义 一个只有限个元素的域叫做一个有限域。 例如，特征是p的素域就是一个有限域。 先看一看，一个有限域应该有什么性质。 定理 1 一个有限域E有 一元素，这里p是E的特征而n是E在它的素域△上的次数。 证明 E的特征一定是一个素数p，不然的话，E所含的素域已经有无限多个元，而E不可能是一个有限域。 把E所含的素域记作△。因为E只含有限个元，所以它一定是△的一个有限扩域而 。这样，E的每一个元可以唯一地写成 的形式，这里 ，而 是向量空间E在△上的一个基。由于△只有p个元，所以对于每一个 有p种选择法，因而E一共有个 元。证完。 定理 2 令有限域E的特征是素数p，E所含素域是△，而E有个 元。那么E是多项式 在△上的分裂域。任何两个这样的域都同构。 证明 E的不等于零的元对于乘法来说，作成一个群。这个群的阶是 ，单位元是1。所以 由于 ，