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

定义14.8：[R;+,*]为有单位元e环,则E={ne|n?Z}称为R的单位子环。当|E|+?,必有m,n?Z,m?n,使me=ne,(m-n)e=0。使ke=0之最小正整数称为环R的特征数,一般表示为p;如果不存在这样的整数, 则称该环的特征数为0。用charR表示环R的特征数。 定理14.5：设p为有单位元环R的特征数, 则: (1)任a?R,有pa=0，而且，当R是整环时，对任何a?0,p是使pa=0的最小正整数 (2)当R为整环时,其特征数或为素数或为0 证明:(1)pa=p(e*a)=e*a+e*a+…+e*a =(e+e+…+e)*a=(pe)*a=0*a=0. R为整环,若存在l?Z,0 l p,使得la=0(a?0), 则0=la=l(e*a)=e*a+e*a+…+e*a =(e+e+…+e)*a=(le)*a 因为R是整环,所以le=0,与p为特征数矛盾 (2)若R的特征数为0,则已成立. 若R的特征数p?0,假定p=p1p2,p1?1,p2?1, 类似(1)的证明,可以得到对任a?R,由pa=0可得(p1a)(p2e)=0 二、环同态 定义14.9：对于环[R;+,*]与环[R;+,*],若存在映射?:R?R，使得对任r1,r2?R有: ?(r1+r2)=? (r1)+?(r2), ?(r1*r2)=?(r1)*?(r2), 则称?为R到R的同态映射;当?(R