离散数学 教学课件 作者 赵一鸣 阚海斌 吴永辉 dshu14n.pptVIP

* * * * * * * * * * * * * * * * * * * * 二、代数扩域 定义15.7：当域F的扩域K中每个元素都是F的代数元时,称K为F的代数扩域。当?1,…, ?n为域F上的代数元时,记F(?1,…, ?n)为包含F和?1,…, ?n的最小代数扩域,当n=1时,又称它为F的单代数扩域。 定理15.7:已知?为域F上的代数元,p(x)?F[x]为?在F上的极小多项式,degp(x)=n1,则: (1)F(?)≌F[x]/(p(x))。 (2)F(?)中的元素可唯一表示为 a0+a1?+…+an-1?n-1,其中ai?F,0≤i≤n-1。 证明:(1)利用环同态基本定理. 构造F[x]到F(?)的映射:?(f (x))=f (?) 证明?是同态映射. 证明Ker?=(p(x)) 域上的多项式环都是主理想环 证明?(F[x])=F(?) 推论15.3：在定理15.7中当degp(x)=n时[F(?):F]=n。 定理15.8:F(?)与F(?)是域F上的两个单代数扩域, ?与?在F上具有相同的极小多项式p(x)?F[x],则:F(?)≌F(?)。 证明:设degp(x)=n,由定理15.7知 F(?)≌F[x]/(p(x)) 由定理15.7知F[x]/(p(x))≌F(?) 因此F(?)≌F(?). 定理15.9:域F≌F,?为其同构映射,?,?分别为F与F的代