近世代数与课件--5.5.有限域 .ppt

§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。所以 由于 ，所以有 因此，用 来表示E的元，在E里多项式 而且显然 这样，E是多项式 在△上的分裂域。 但特征为p的素域都同构，而多项式 在同构的域上的分裂域也同构，所以任何有 个元素的有限域都同构。证完。 现在我们证明有限域的存在。 定理 3 令△是特征为p的素域，而 。那么多项式 在△上的分裂域E是一个有q个元的有限域。 证明 ，这里 是 在域E里的根。由于E的特征是p， 的导数 所以 与 互素。这样，由Ⅳ，6，推论2， 的q个根都不相同。 我们断言， 的这q个根作成E的一个子域 。这是因为，由Ⅲ，4， 这就是说， 和 仍是 的根而属于 ，因而 是E的一个子域。 但 含△，也含一切 ，所以 就是多项式 在△上的分裂域。这样 ，而E恰好有q个元。证完。 以上证明了，给了素数p和正整数n，有而且（抽象地来看）只有一个恰好含 个元的有限域存在。 我们知道，单扩域是比较容易掌握的一种扩域现在我们要进一步证明，一个有限域一定是它所含素域的一个单扩域。我们先证明 引理 令G是一个有限交换群，而m是G的元的阶中最大的一个。那么m能被G的每一个元整除。 证明 容易看出：若 和b是G的两个元， 的阶是 ，b的阶是 ，而 ，那么 的阶是 （参看Ⅱ，9，习题3）。 假定G的元c的阶n不能被m。那么有素数p存在，使 令m是元d的阶。于是 于是根据前面的结论， 这与m是G的元的阶中最大的一个的假设矛盾。证完。 定理 4 一个有限领域E是它的素域△的一个单扩域。 *