二、素域定义15.4一个没有真子域的域称为素域。设p为素.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