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

* * * * * * * * * * * * * * * * * * * * * * * * * * 定义14.15：设[I;+,*]为环[R;+,*]的理想, 称[R/I;?,?]为环[R;+,*]关于理想I的商环, 简记为R/I或R-I。 设[F[x];+,*]是域F上的多项式环, p(x)?F(x), 且degp(x)=n0,则(p(x))={p(x)*h(x)|h(x)? F(x)}是多项式环的理想. [F[x]/(p(x));?,?]是商环,其零元(?的单位元)是(p(x))+0, 其单位元是(p(x))+1,这里0是F[x]的零元,1是F[x]的单位元. F[x]/(p(x))= [Z2[x];+,*]是Z2上的多项式环。取p(x)= x2+x+1,则:Z2[x]/(p(x))={(p(x)), (p(x))+1, (p(x))+x,(p(x))+(x+1)},简化为{0,1,x,x+1} 定理14.17:F[x]为域F上的多项式环, 商环F[x]/(p(x))是域, 当且仅当p(x)为F[x]上的不可约多项式。 证明:(1)商环F[x]/(p(x))是域,证明p(x)为不可约多项式 反证,若p(x)可约,则存在h(x), g(x)?F(x), 且0degh(x),degg(x)degp(x), 使得p(x)=h(x)*g(x) 因此h(x),g(x)?(p(x))