近世代数课件_5.4.多项式的分解域.pptVIP

§4.多项式的分解域; 我们有以下事实：对于每一个域F都存在F的代数扩域E，而E是代数闭域。 这一事实的证明也超出本书范围。但分裂的理论可以在一定意义下离补这一个缺陷。; 按这个定义，E是一个使得 能够分解为一次因子的F的最小扩域。我们先看一看，一个多项式的分裂域应该有什么性质。; 根据这个定理，如果有F上的多项式 的分裂域E存在，那么E刚好是把 的根添加于F所得的扩域。因此我们也把多项式的分裂叫做它的跟域。现在我们证明多项式的分裂域的存在。; 定理 2 给了域F上一元多项式环 的一个n次多 项式 ，一定存在 在F的分裂域E。; 这里 是 里最高系数为1的不可约多项式。这样存在一个域 而 在 上的极小多项式是 在 是 是 的最高系数为1的不可约多项式。这样我们又可以利用 来得到域 ，使得在 里 这样一步一步地我们可以得到域 使得在 里 证完; 域F上一个多项式 当然可能有不同的在F上的分裂域。但是这些域都同构。要证明这一点，我们需要两个引理。; ; 在上述同构映射 这下， 的一个不可约多项式的象显然是 的一个不可约的多项式。; 证明 假定 的次数是n，那么 的次数也是n。这样，若 是 与 间的同构映射，那么 是一个 与 间的一一映射，看 的两个元 由于 有 ;我们知道， ，这里 由引理1得 因此 这样， 是 与 间的同构映射。 至于 能够保持原来 与 间同构映射，显然。 证完。; 定理 3 令 与 是同构的域， 的 与 的 是在引理1的意义下相对应的n次多项式。又假定 是 在 上的一个分裂域， 是 在 上的一个分裂域， 那么在 与 间存在一个同构映射 ， 能够保持 与 间的同构映射，并且可以分别换掉 还的次序，使在 之下 。 ; 证明 我们已经知道： 。假定对于 ，我们能够分别掉换 的次序，使得 这个同构映射保持 与 间的同构映射，并且在这个同构映射之下， 设在 里 这里 是 的一个最高系数为1的不可约多项式。由引理1，在 里 而 是 的一个最高系数为1的不可约多项式。; 在 和 里，因子 进一步分别分解为 和 。分别掉换 和 的次序，不妨假定 于是由引理2， 这个同构映射保持 与 间的同构映射，并且在这个同构映射下 证完; 我们知道，一个n次多项式在一个域最多有n个根（Ⅳ），6，推论1）。分裂域的存在定理告诉我们，域 上多项式 在 的某一个扩域里一定有n个根。分裂域的唯一存在定理告诉我们，用不同方法找到的 的两组根，抽象地来看，没有什么区别这样，给了任何一