下周起,代数结构及数理逻辑课程上课教室改在2108教室.pptVIP

下周起，代数结构与数理逻辑课程上课教室改在2108教室 二、环同态 定义15.9：对于环[R;+,*]与环[R;+,*],若存在映射?:R?R，使得对任r1,r2?R有: ?(r1+r2)=? (r1)+?(r2), ?(r1*r2)=?(r1)*?(r2), 则称?为R到R的同态映射;当?(R)=R称两个环同态;当?为一一对应时两个环同构;当R?R时称R到R的同态为自同态,同构为自同构。 定理15.6：设环[R;+,*]与环[R;+,*]有同态映射?, 则: (1)?(0)=0,0为R之加法单位元, 0为R之加法单位元。 (2)如果R和R均为有单位元环, 且e,e分别为其单位元,则当?是满同态,或者R无零因子且?不是零同态,则?(e)=e。其中零同态是指所有元素在?下的象都是0。 (3)?(R)?R必为R的子环。 请考虑(2)中若把一些条件去掉后,结论不成立的例子. 推论15.1:若两个环R与R同构,R≌R,则R为整环时, R也为整环；R为除环时R’也是除环；R为域时R也为域。 推论15.1的结论不能拓广到两个环同态的情况。 例如对于整数环Z和同余类环Zm，可以构造满同态映射?，使得?(x)=[x]?Zm。我们知道，Z是整环但不是域，而当m是素数时，Zm是域，当m不是素数时，Zm不是域，也不是整环。即两个同态的环Z和Zm性质并不相同。 下面证明a?b 时?(a)??(b)。 即