前置

定义

是两个域,且上的多项式环

为估值环同态映射

,则称零点

可以将域看作向量空间(E 是交换群,F 是域,数乘运算与上的乘法一致)

  • 代数元,若存在的非零多项式,使得

  • 超越元,若不存在的非零多项式,使得

  • 代数扩张,若中的每一个元素都是上的代数元,

若向量空间是有限维的,则称有限扩域,空间的维数记作

  • 代数闭域(代数闭包),若的每一个非零多项式都有零点

域的单拓展(simple extensions、单扩张、简单扩张、简单拓展):
(1) ,且上的代数元,的单拓展
(2) ,且上的超越元,的单拓展

, , 若, 则

性质

  1. 上的理想都是主理想

  2. 的理想是极大理想 是不可约多项式

  3. Kronecker 定理:对于任意一个,存在一个于,使得,即每一个都存在一个扩域使得有零点

  4. ,且上的代数元,存在不可约多项式,使得

  5. 是超越元 估值同态映射是单射

  6. 的单拓展 是包含的最小域

  7. 上的代数元 中的元素可以唯一表示:,其中

  8. , 拓展结果与拓展顺序无关

  9. 上的代数元,则 的有限扩域

  10. 上的代数元,且,则是一个维的向量空间,基为,对于任意,都有上的代数元,且,更精确地有

  11. 有限扩域都是代数扩域

  12. 的有限扩域,的有限扩域,则的有限扩域,且

  13. 的代数扩域,则的有限扩域

  14. 的扩域,则的子域

  15. 是代数闭域 每一个的非零多项式都有可以分解成线性因子的形式

  16. 是代数闭域,的代数扩域,则

  17. 每一个域都有一个代数闭包

  18. Let be a field extension of , and let be algebraic over . Then for some polynomial . Furthermore, is irreducible over . By multiplying by a suitable constant in , we can assume that the coefficient of the highest power of appearing in is 1. Such a polynomial having 1 as the coefficient of the highest power of appearing is a monic polynomial. The unique monic polynomial in is called the irreducible polynomial for over or the minimal polynomial for over , and it is denoted . The degree of the polynomial is called the degree of over and this number is denoted by .

  19. Let be an extension field of , and let be algebraic over . Then there is a unique irreducible polynomial such that is monic, , and for any polynomial with divides .