下周起,代数结构与数理逻辑课程上课教室改在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 。 即