在群论中 , 我们比较两个群 , 所用的工具是群的同态与同构 ,
同样地 , 在环论中 , 我们也将使用同态与同构去比较两个环 ,
环是具有两个运算的代数系统 ,
因此在第一章所介绍的有关代数系统的同态、同构的概念可以如下移植到环中
设R和R'是环 , 若存在映射φ: R→R' , 使得映射φ保持环的运算 ,
即对属于R的任意a , b有下列等式
φ(a+b)=φ(a)+φ(b) ,
φ(ab)=φ(a)φ(b) ,
则称φ是R到R'的环同态 , 记为R~R' ,
设φ是R到R'的环同态 ,
若φ是单射(或满射) , 则称φ是R到R'的单同态(或满同态) ,
特别地 , 若φ是双射 , 则称φ是R到R'的环同构 , 记为R≅R' ,
若φ是R到自身的环同构 , 则称φ是R的环自同构 ,
设φ是F到F'的环同构 , 若F和F'都是域 , 则称φ是F到F'的域同构 ,
特别地 , 若φ是F到自身的域同构 , 称φ为F的域自同构 ,
注意 , 同构的代数对象具有“一样”的代数结构和运算性质 ,
令φ是环R到R'的同态映射 ,
则称Ker φ={a∈R|φ(a)=0}=φ‒1(0)为映射φ的同态核 , 其中0是R'的零元 ,
而称Im φ={φ(a)|a∈R}=φ(R)为映射φ的同态像 ,
命题4.1设φ是环R到R'的环同态 , 则如下结论成立:
(1)φ(0)=0 , φ(‒a)=‒φ(a) ,
其中第一个0是R的零元 , 第二个0是R'的零元 , a属于R;
(2)Ker φ是R的理想;
(3)Im φ是R'的子环;
(4)φ是单同态⟺Ker φ={0} ,
证: 若φ是环R到环R'的环同态 , 则φ是加法群R到加法群R'的群同态 ,
因此 , 根据群同态的性质可知 , (1)和(4)成立 ,
下面我们仅需证明(2)和(3) ,
证明(2): 显然0属于Ker φ , 即Ker φ是R的非空子集 ,
另外 , 对属于R的a , 和属于Ker φ的x , y , 我们有
φ(x‒y)=φ(x)‒φ(y)=0‒0=0 ,
φ(ax)=φ(a)φ(x)=φ(a)0=0 ,
φ(xa)=φ(x)φ(a)=0φ(a)=0 ,
即x‒y , ax , xa属于Ker φ , 所以 , 根据本章定理3.1可知 , Ker φ是R的理想
证明(3): 显然Im φ是非空集合 ,
对属于Im φ的φ(a) , φ(b) ,
有φ(a)‒φ(b)=φ(a‒b)属于Im φ和φ(a)φ(b)=φ(ab)属于Im φ ,
所以 , 根据本章定理1.1可知 , Im φ是R’的子环 ,
例4.1设I是环R的理想 , 则映射π: R→R/I , a→a+I=是满射 ,
并且π(a+b)==+=π(a)+π(b) , π(ab)===π(a)π(b) ,
因此 , π是R到R/I的满同态 ,
一般地 , 称π为自然同态 , 容易验证 , π的核为Ker π=1 ,
例4.1说明了一个环与其商环之间的关系 ,
下面的环同态基本定理将告诉我们这种环与环之间的关系具有一般性 ,
定理4.1(环同态基本定理) , 若φ是环R到环R’的环同态 , 则R/Ker φ≅Im φ
证: 只需证明映射: R/Ker φ→Im φ , a+Ker φ→φ(a)是环同构即可 , 如图3.1
首先 , 证明是映射 ,
若a+Ker φ=b+Ker φ , 则a‒b属于Ker φ , 即φ(a‒b)=0 , 因此 , φ(a)=φ(b) ,
其次 , 证明是同态 ,
对属于R的a , b , 有
((a+Ker φ)+(b+Ker φ))
=((a+b)+Ker φ)
=φ(a+b)
=φ(a)+φ(b)
=(a+Ker φ)+(b+Ker φ) ,
((a+Ker φ)(b+Ker φ))
=(ab+Ker φ)
=φ(ab)
=φ(a)φ(b)
=(a+Ker φ)(b+Ker φ) ,
最后 , 证明是双射 , 显然 , 是满射 ,
另外 , 若(a+Ker φ)=φ(a)=0 ,
则a属于Ker φ , a+Ker φ=Ker φ , 即Ker ={Ker φ} , 是单射 ,
综上 , 商环R/Ker φ与环Im φ同构
在群论中 , 我们有群的第一、第二同构定理 ,
在环论中 , 同样有环的第一、第二同构定理 ,
定理4.2设I是环R的理想 , S是环R的子环 , 则如下结论成立:
(1)I+S是环R的子环 , I是I+S的理想;
(2)(环的第一同构定理)S/(S⋂I)≅(I+S)/I;
(3)(环的第二同构定理) , 若J也是环R的理想且I包含于J , 则(R/I)/(J/I)≅R/J
证: (1)首先证明I+S是子环 , 显然 , I+S是R的非空子集 ,
另外 , 对属于I的a1 , a2 , 和属于S的s1 , s2 ,
有(a1+s1)‒(a2+s2)=(a1‒a2)+(s1‒s2)属于I+S ,
(a1+s1)(a2+s2)=(a1a2+a1s2+s1a2)+s1s2属于I+S ,
所以 , I+S是R的子环 ,
因为I是环R的理想 , 且I包含于I+S , 所以 , I是I+S的理想 ,
(2)显然φ: S→(I+S)/I , s→s+I=是满射 ,
又因对属于S的s1 , s2 , 有
φ(s1+s2)==+=φ(s1)+φ(s2) ,
φ(s1s2)===φ(s1)φ(s2) ,
因此 , φ是S到(I+S)/I的满同态 , 而Ker φ={s∈ S|=I}={s∈ S|s∈ I}=S⋂I ,
所以 , 由环同态基本定理有S/(S⋂I)≅(I+S)/I ,
(3)要证明(R/I)/(J/I)≅R/J , 根据环同态基本定理 ,
只需证明φ: R/I→R/J , a+I→a+J是满同态 , 且Ker φ=J/I ,
首先 , 若a1+I=a2+I , 则a1‒a2属于I包含于J , 从而a1+J=a2+J , 即φ是映射 ,
φ的满射性是显然的 ,
φ((a1+I)(a2+I))
=φ(a1a2+I)
=a1a2+J
=(a1+J)(a2+J)
=φ(a1+I)φ(a2+I);
φ((a1+I)+(a2+I))
=φ((a1+a2)+I)
=(a1+a2)+J
=(a1+J)+(a2+J)
=φ(a1+I)+φ(a2+I) ,
所以φ保持运算 , 从而φ是R/I到R/J的满同态 ,
另外 , Ker φ={a+I | a+J=J}={a+I|a∈ J}=J/I ,
所以由环同态基本定理有(R/I)/(J/I)≅R/J ,
例4.2设R是环 , 证明R/{0}≅R和R/R≅{0} ,
证: 显然 , R上的恒等映射idR: R→R是R到R的满同态 , 且Ker idR={0} ,
所以由环同态基本定理可知R/{0}≅R ,
若映射φ: R→{0} , 使等式φ(a)=0成立 , 则φ是R到{0}的满同态 , 且Ker φ=R ,
所以 , 由环同态基本定理可知R/R≅{0} ,
推论4.1设φ是环R到环R'的单同态 , 则环R与环Im φ同构 ,
例4.3设四元数体H= , 证明存在实数域R到环H的单同态
证: 令E= , 定义映射φ: R→H , a→aE , 则对属于R的a , a' , 有φ(a+a')=(a+a')E=aE+a'E=φ(a)+φ(a') ,
φ(aa')=(aa')E=(aE)(a'E)=φ(a)φ(a') ,
且Ker φ={0} , 即φ是R到H的单同态 ,
所以 , 由推论4.1可知 , R与Im φ同构 ,
因此 , 在同构意义下 , 可以将R视为四元数体的子域 ,
例4.4设R是整环 , 试证明:
若Char R=p(p是素数) , 则R包含一个同构于Zp的子域 ,
若Char R=0 , 则R包含一个同构于整数环Z的子环 ,
证: 我们先来构造一个环Z到环R的同态映射 ,
令φ: Z→R , n→ne , 其中e是环R中的单位元 ,
对属于Z的s , t , 有
φ(s+t)=(s+t)e=se+te=φ(s)+φ(t) ,
φ(st)=(st)e=(se)(te)=φ(s)φ(t) ,
所以 , 是环Z到环R的环同态 , 根据环同态基本定理可知Z/Ker φ≅Im φ⊆R ,
另外 , Ker φ={n∈Z|ne=0} , 即Ker φ的元素是e的阶的倍数 ,
而e的阶就是Char R , 所以 , Ker φ=⟨Char R⟩ ,
由推论4.1可知 , 当Char R=0时 , Z≅Im φ;当Char R=p时 , Zp=Z/⟨p⟩≅Im φ ,
最后我们来讨论剩余类环之间的关系 ,
例4.5证明φ: →xφ()是Zm到Zn的环同态的充分必要条件是
mφ()= , (φ())2=φ() ,
证: 必要性是显然的 , 下面证明充分性 ,
首先 , 证明φ是Zm到Zn的映射 ,
若 , 属于Zm , = , 则存在属于Z的t , 使得a‒b=tm ,
从而 , aφ()‒bφ()=(a‒b)φ()=tmφ()= ,
因此aφ()=bφ() , 即φ()=φ() ,
另外 , 对属于Z的 , , 由
φ(+)=φ()=(a+b)φ()=aφ()+bφ()=φ()+φ() ,
φ()=φ()=(ab)φ()=(aφ())(bφ())=φ()φ() ,
可知φ: →xφ()是Zm到Zn的环同态 ,
例4.6求Z5到Z10的所有环同态 ,
解: 设φ是Z5到Z10的环同态 , 则对属于Z5的任意 , 有φ()=φ(x)=xφ() ,
这说明φ是由φ()决定的 ,
设φ()= , 则由例4.5可知 , 应满足条件5⦁=和=2 ,
但是在Z10中 , 满足这两个条件的元素只有 , ,
所以φ()=或φ()= ,
那么Z5到Z10的环同态有两个: φ()=x=和φ()=x= ,
习题