近世代数--可离扩域.pptVIP

* § . 可离扩域 我们要讨论的第二种特殊类型的域是可离扩域。我们的主要目的是要证明，有限可离扩域都是单扩域。 定义 令 是一个域，E是 的一个代数扩域而 是E的一个元。如果 在 上的极小多项式没有重根，那么 叫做 上的一个可离元。如果E的每一个元都是 上的可离元，那么E叫做 的一个可离扩域；否则E叫做 的一个不可离扩域。 为了对于可离扩域有一些初步的了解，我们先看一看，一个不可约多项式什么时候有重根。 引理 1 令 是 的一个不可约多项式，这里 是一个域。若 的特征是∞，那么 没有重根；若 的特征是 ，那么 有重根的充分与必要条件是： ，这里 是 的一个多项式。 证明 有重根的充分与必要条件是： 与它的 导数 在 中有次数 的公因子；由于 不可 约，这个条件只在 时才能被满足。令 那么 情形1. 的特征是∞。这时 这就是说， ，与 不可约的假设矛盾。所以在这个情形下 不能有重根。 情形2 . 的特征是 。这时 这就是说，只要 ，就必有 。因此 证完 引理 1 特征是∞的域的任何代数扩域都是可离扩域。 特征是 的域可以有不可离扩域。 引理 2 令 是一个特征为 的域。当而且只当 的每一元 都是 的某一元 的 次幂； 时， 的任何代数扩域都是可离扩域。 证明 假定 的每一元 都可以写成 的形式。这时 的一个多项式 在 里一定可约。因为令 ，就有 这样，若 的一个多项式在 中不可约，那么它不 能在 中写成 的形式。于是根据引理1， 的 每一不可约多项式都没有重根，因而F的代数扩域都是 可离扩域。 现在反过来假定， 含有元 而 。看 的多项式 作 在 上的分裂域E。在E中 有 个根。另其中 的一个为 ，那么 ，因而由假设， 不属于 。 设 在 上的极小，多项式是 ，那么 。但 在 中 所以在 中 并且由于 不属于 ，这里的 。这样 在 上的 极小多项式 有重根，因而E就是 的一个不可离 扩域。证完。 满足引理2的条件的域是存在的。例如有限域。 定理 2 有限域的任何代数扩域都是可离扩域。 证明 令有限域 的特征是 ，并且 含 个元： 考察 的元 由于当 时， 所以 是 个不同的元，因而是 的全部元素。因此 的每一元都是 的某个元的 次幂.证完。 不满足引理2的条件的域 当然有不可离扩域，但这样的域 仍然可以有非凡（即不属于 ）的可离元。 例 考虑特征是3的素域△的单超越扩域 。元 显然不是 的某一个元 次幂，因此 有不可离扩域。但 的多项式 显然 在里不可约并且没有重根。因此 有非平凡的可离元。 以下我们要证明，只要一个域 有非平凡的可离元， 就有真（即大于 的）可离扩域。按照可离扩域的定义，这一点并不是显然的。 引理 3 令 是一个特征为 的域。那么元 是 上的可离元的充分必要条件是： 证明 假定 是 上的一个可离元。这时， 一定是 上的一个可