近世代数课件_5.2 单扩域.pptVIP

§．单扩域; 假如这样的 ， ，…， 不存在， 就叫做 上的一个超越元．若 是 上的一个代数元， 就叫做 的一个单代数扩域；若 是 上的一个超越元， ; 这里 是 的一个唯一的确定的、最高系数为１的不可约多项式，并且． 证明　 包含 上的 的多项式环 　　　　　　一切 ， 我们知道， 　　　　　　　　　; 情形１． 是 上的超越元． 这时以上映射是同构映射： 　　　　　　　　 由Ⅲ，１０，定理４， 　　　　　　　　的商域 的商域 由Ⅲ，１０，定理３，我们可以知道， （１）　　　 的商域 另一方面， 的商域包含 也包含 ，因此，由 的定义 （２）　　　　　　　　的商域; 由（１）和（２）得 　　　　　　　　　　　的商域 因而 的商域; 而 的单位就是 的非零元．所以令 的最高系数是１， 就是唯一确定的．由 的定得： ；由此得 不是 的非零元．但 是 上的代数元，所以 也不是零多项式．因此， 的次数≥１．; 这就是说 ， 或 ，即 　　　　　　　　　　 这是一个矛盾．; 以上定理把单扩域归结到我们已经知道的域．当 是域 上代数元的时候，我们还可以把 描述得更清楚一点．;证明　由于 ，所以 的一个任意元 可以写成 　　　　　　　　　　 的形式．但 　　　　　　　　 其中 　　　　　　　　　　　　 因而，由于 ，有 　　　　　　　　　;这种表示方法是唯一的．因为：假如 　　　， 和的次数＜ 那么 　　　　　　　　　　　　　　　　 由于的次数＜ ，得 　　　　　　　　　　， 由以上证明可以看出，定理的后一部分成立．证完．;定义　 中满足条件 的次数最低的多项式 　　　　　　　　　　 叫做元 的在 上的极小多项式． 叫做 的在 上的次数． 以上的讨论是在域 有扩域 的前提下进行的．现在我们问，若是只给了一个域 ，是不是 的单扩域存在？; 现在我们证明 定理３　对于任一给定域 以及 上一元多项式环 的给定不可约多项式 　　　　　　 总存在 的单代数扩域 ，其中 在 上的极小多项式是 ．; 这里 是 所在的剩余类．由于 ，在这个同态满射之下， 与 同构．这样，由于 和 没有共同元，根据Ⅲ，５，定理４．我们可以把 的子集 用 来掉换，而得到一个域 ，使得 　　　　　　　　　　，; 这样，域 包含一个 上的代数元 ．我们证明， 就是 在 上的极小多项式．令 是 在 上的极小多项式．那么 中一切满足条件 的多项式 显然作成一个理想，而这个理想就是主理想（参看Ⅳ，４，定理１的证明）．因此 能被 整除．但 不可约，所以一定有 　　　　　　　　　　，; 给了域 和 的一个最高系数为１的不可约多项式 ，可能存在若干个单代数扩域，都满足定理３的要求．但我们有; 总起来，我们有 定理５　在同构的意义下，存在而且仅存在域 的一个单扩域 ，其中 的极小多项式是 的给定的，最高系