设p为素数,则p是素域.域F的特征数定理14.5任何整环的.pptVIP

二、素域 定义15.4：一个没有真子域的域称为素域。 设p为素数,则Zp是素域. 域F的特征数 定理14.5:任何整环的特征数或为素数或为0。 域是整环,其特征数或为0或为素数。 定理15.4：设[F;+,*]为域,则[F;+]中的非零元同阶。 证明:设F的单位元为e 1.特征数非零,设charF=p,则p是素数. 因此对任意a?F*,有pa=0,且p是使la=0的最小正整数. (定理14.5：设p为有单位元环R的特征数, 则: (1)任a?R,有pa=0，而且，当R是整环时，对任何a?0,p是使pa=0的最小正整数) 2.特征数为零,则F的单位元e关于+的阶无限 对任意a?F*,要证明a的阶也是无限 现在考虑域F与它的扩域K,它们的特征数有何联系. 注意到K和F的单位元是同一个e, 由定理15.4,在K中e的阶是charK, 在F中e的阶是charF, 因此charK= charF 推论15.1：当K为F的扩域时,charK= charF。 定理15.5：F为域,则必包含一个素子域?,且: (1)charF=0时, ?≌Q (2)charF=p时, ?≌Zp 证明:(1) charF=0 构造集合?={(ne)*(me)-1|m,n?Z,m?0} 因为(ne)*(me)-1?F,因此??F. 下面证明?是域,且无真子域. (2) charF=p ,构造集合?={0,e,?,(p-1)e} 显然??F. 同样要证明?是域,且无真子域 §2 代数元与根域 一、代数元与超越元 1.代数元与超越元 定义15.5：K为域F的扩域,??K,如果有f(x)?F[x]使得f(?)=0,则称?为域F的代数元,否则就是F的超越元。 所谓代数元实际上就是域上某个多项式的根 2.极小多项式 定义15.6:?是域F的一个代数元,p(x)? F[x],称它为?在F上的极小多项式,如果p(x)之首项系数为1,且它是F[x]中以?为根的多项式中次数最低的。 定理15.6:?为F之代数元,p(x)为其在F上的极小多项式, 则: (1)p(x)不可约。 (2)若f(x)?F[x],f(?)=0则p(x)|f(x)。 (3)p(x)是唯一的。 证明: (1)p(x)不可约.设p(x)?0,degp(x)?1. 若degp(x)=1,p(x)当然不可约. 对于degp(x)1,若p(x)可约, 则存在g(x),q(x)?F(x),使得p(x)=g(x)q(x) 且1≤degg(x),degq(x)degp(x) 0=p(?)=g(?)q(?). F(?)是域,无零因子, 因此或者g(?)=0,或者q(?)=0. 与p(x)为极小多项式矛盾. (2)若f(x)?F[x],f(?)=0则p(x)|f(x)。 因为f(x)=p(x)q(x)+r(x), q(x),r(x)?F(x),r(x)=0或者degr(x)degp(x) 由f(?)=0,得r(?)=0 根据极小多项式 定义,有r(x)=0,即p(x)|f(x) (3)p(x)是唯一的 若存在?的另一极小多项式p1(x) 则p(x)|p1(x), p1(x)|p(x) 由定理14.10知p(x)=ap1(x),a?F*, 极小多项式 首项系数为1, 因此a=1,即p(x)=p1(x). p(x)?F[x],首项系数为1,在F上不可约,且 p(?)=0,p(x)是否为极小多项式？ 设?的极小多项式为p1(x). 证明p(x)=p1(x) 推论15.2：p(x)?F[x],首项系数为1,在F上不可约,又有 p(?)=0,则p(x)为?在域F上的极小多项式。 二、代数扩域 定义15.7：当域F的扩域K中每个元素都是F的代数元时,称K为F的代数扩域。当?1,…, ?n为域F上的代数元时,记F(?1,…, ?n)为包含F和?1,…, ?n的最小代数扩域,当n=1时,又称它为F的单代数扩域。 作业：P207 2,8,9,11 定义15.6:?是域F的一个代数元,p(x)? F[x],称它为?在F上的极小多项式,如果p(x)之首项系数为1,且它是F[x]中以?为根的多项式中次数最低的。 定理14.10:F为域,f(x),g(x)?F[x],则有f(x)|g(x),且g(x)|f(x),当且仅当f(x) =ag(x),a?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。 * * * * * * * * * * * * * * *