---扩域和分裂域.pptVIP

例7 求 在 上的分裂域, 这里 是任一正 解 设 是 次本原单位根, 有理数. 那么 中的每一个都是 在 中的根, 因此 在 中分裂. 域 , 使得 ,且 在 上分裂,则 ,从而, 于是 从而 .由分裂域的定 义, 是 在 上的分裂域. 定义5.3.2 设 我们称多项式 为 的导数(derivative), 记作 . 注意到我们这里的定义不涉及极限, 仅是一种公 理话的定义, 但它仍满足微积分中关于导数的如下的 运算法则. 引理5.3.2 设 , 则 1. 2. 3. 定理5.3.4 域 上的多项式 在某个扩域 上 有重根的充要条件是 和 在 中有正次数 的公因式. 证 如果 是 在某个扩域 中的重根, 那么 存在 ,使得 . 因为 所以 ,于是 是 和 在 的扩域 上的公因式. 如果 和 在 中没有正次数的公因式, 那么存在 , 使得 , 将其 看成 中的元素, 我们得 , 矛盾! 所以 和 在 中必有正次数的公因式. 目录 后页 返回 * 前页 引理5.3.1 ---同构 定理5.3.1 ---扩域和分裂域 定理5.3.2 ---域中元的唯一表示 例3 例4 §5.3 多项式的分裂域 (1) 一、分裂域的定义 定义5.3.1 ---分裂域 例1 例2 定义5.3.2 ---导数 定理5.3.3 ---分裂域的同构 例6 推论2 例5 推论1 例7 定理5.3.5 ---重根的判断 定理5.3.7 ---完备域上多项式 定理5.3.8 ---不可约多项式与分裂域 定理5.3.6 ---有限域是完备域 定义5.3.3 ---完备域 例8 参考资料 推论3 引理5.3.2 ---导数的性质 定理5.3.4 ---多项式重根条件 §5.3 多项式的分裂域 (2) 数多项式. 如果 能分解成 中一次因式的乘积， 则称 在 上是分裂的. 如果 在 上是分裂的, 但在 的任一包含 的真子域 上不分裂, 则称 为多项式 在 上的分裂域(splitting field). 定义5.3.1 设 是 的扩域. 为 上的一个非常 一、分裂域的定义 注 多项式在域上的分裂域不仅依赖于该多项 式，还依赖于域. 下一例子就是要说明 上的多项式 的分裂域是如何依赖于域 的. 例1 考虑多项式 . 因为,我们发 现 在 中是分裂的, 但它在 上的分裂域是 在 上的分裂域是 . 又 如, 在 上是分裂的, 但它在 上的分裂 域 是 (它也等于 ). 注 分裂域的定义与不可约多项式的定义有相 似之处.就象我们说“ 是不可约的”没有意义一样, 说“ 是 的分裂域”也同样是没有意义的. 在上述 两种情况中都必须指明基域, 即必须说“ 在 上 不可约”和“ 是 在 上的分裂域”. 定理5.3.1 设 是域, 是 的非常数多项式, 那 么存在 的扩域 ,使 为 在 上的分裂域. 证 我们对