前置
定义
和是两个域,且,是上的多项式环
为估值环同态映射
若,则称是的零点
可以将域看作向量空间(E 是交换群,F 是域,数乘运算与上的乘法一致)
-
称是的代数元,若存在的非零多项式,使得
-
称是的超越元,若不存在的非零多项式,使得
-
称是的代数扩张,若中的每一个元素都是上的代数元,
若向量空间是有限维的,则称是的有限扩域,空间的维数记作
- 称为代数闭域(代数闭包),若的每一个非零多项式都有零点
域的单拓展(simple extensions、单扩张、简单扩张、简单拓展):
(1) ,且是上的代数元,是的单拓展
(2) ,且是上的超越元,是的单拓展
, , 若, 则
性质
-
上的理想都是主理想
-
的理想是极大理想 是不可约多项式
-
Kronecker 定理:对于任意一个,存在一个于,使得,即每一个都存在一个扩域使得有零点
-
,且是上的代数元,存在不可约多项式,使得
-
是超越元 估值同态映射是单射
-
的单拓展 是包含和的最小域
-
是上的代数元 中的元素可以唯一表示:,其中
-
, 拓展结果与拓展顺序无关
-
是上的代数元,则 是的有限扩域
-
是上的代数元,且,则是一个维的向量空间,基为,对于任意,都有是上的代数元,且,更精确地有
-
-
有限扩域都是代数扩域
-
是的有限扩域,是的有限扩域,则是的有限扩域,且
-
设是的代数扩域,则是的有限扩域
-
是的扩域,则是的子域
-
是代数闭域 每一个的非零多项式都有可以分解成线性因子的形式
-
若是代数闭域,是的代数扩域,则
-
每一个域都有一个代数闭包
-
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 .
-
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 .