第3节有限扩张---抽象代数近世代数.docVIP

第3节 有限扩张 定义：1、代数扩张（∨元素∈代数元） 2、本原元 ξ，E=F(ξ) 3、分裂域E=F(α1，α2，…，αn)（f(x)在F上的~，若其在E[x]上能分解成一次因式的乘积） 定理：1.有限扩张→代数扩张； 2.有限扩张E?E=F(a1,a2,…，an) 3.代数元线性组合不变性 4.代数元极小多项式，无重根→存在ξ∈E，E=F（ξ） Char F=0，有限扩张E→E，单纯代数扩张 代数扩张的代数扩张→是代数扩张 域F上，任意f(x)都有分裂域 Char F=0，f(x)∈F【x】的分裂域E →ξ∈E，E=F（ξ） ，即单纯代数扩张 例： a?E（b）： ①扩张域E(b)的基底→元素的表示式→若a∈E，矛盾； ②添加元素的极小多项式阶数?基底→扩张域等式→整除 导致矛盾 求本原元：①代数元的极小多项式的所有根，考虑方程； ②取定合适的b值，则 ③Q(α,β,…)=Q（ξ） 求分裂域：一元二次多项式，两根为代数元，（由上题知，b=0，则ξ=α）则本原元为其 中任意一根 求分裂域：由上题知，先分解成二次因式的乘积， ξ=每一因式根的线性组合 求分裂域： 证明分裂域：类似 第3题 证明分裂域：特征数+一个根α→ 此根为f（x）的deg（f）重根 →E=F(α) 证分裂域是子域：①子域的判定 ②f(x)无重根（由f(x)的值得） ③子域的阶数= deg（f）