3.4环的同态与同构范例.pptVIP

§3.4 环的同态与同构(3.4 Homomorphism and Isomorphism of Ring) 3.4.1 商环（Quotient Ring） Def：设R是环, I是R的理想，R关于I的商集R/I对于模I的加法和乘法做成的环，称为R关于理想I的商环，或称R模I的同余类环。 其中加法和乘法为， ? x, y ∈R, 3.4.2 环的同态与同构 (Homomorphism and Isomorphism of Ring) 在群论中我们讨论过群的同态与同构，本节我们把它推广到环和域上，讨论环的同态与同构。环的同态与同构的概念与理论与群的同态与同构十分类似，因此，我们在学习这部分内容时，要注意把它们彼此联系起来，并留意它们的不同之处。 Def：设（R,+，·），（R,+，·）是两个环，若存在一个R到R的映射f，满足 ? a,b∈R,都有 f (a+b) = f (a)+f (b), f (ab) = f (a) · f (b), 则称 f 是环R到环R的同态映射，简称同态～ 。 3.4.3 同态基本定理(Basic Theorem of Homomorphism) 在群论中，有群的同态基本定理和同构定理等一系列定理，它们都可以相应地推广到环与域上，这里只作叙述，不做证明，读者可仿照群的相应定理证明. Th1：（环的同态基本定理）设 f 是环R到环R的满同态～ ， K=Ker f，则 (1) R/ K ? R; (2) 设?是R 到R/ K 的自然同态，则存在R/ K到 R的同构σ ，使得 f = σ · ? （或σ = f · ? -1） （注：令σ ：a+K → f (a), ? ：a → a+K 即可） * * 例1．Z是整数环，n是大于零的正整数, nZ是Z的 理想，则 即整数环Z对理想nZ的商环,就是模n同余类环Z/(n). 例2．高斯整数环 是有单位元1的交换环，I=1+i是Z(i)的理想， 求Z(i)/ I的所有元素。 解：由于Z(i)是有单位元的交换环，故 注意到x+y, x-y只能同时为奇或同时为偶,故对任意高斯整数 a+bi，只要a，b的奇偶性相同，则方程组 x-y=a, x+y=b 恒有整数解。即a+bi∈I。因此，I由一切高斯整数a+bi组成，其中a，b奇偶性相同。 由此可见，对任意a+bi∈ Z(i), 只要a，b的奇偶性相同，恒有a+bi ≡ 0(I)；若a，b奇偶性不同，则a+bi ≡ 1(I),即 ,也即A/I只含两个元。 类似可得，若 ，则 （ 事实上,对? a+bi∈ Z（i）， 其中 满足上述条件的 只有4个：0，1，i,1+i，即 R R f ′ 注1．有定义可知，环的同态映射 f 是保持加法和乘 法两种运算的映射。 注2． f 单射—— f 是单同态 f 满射—— f 是满同态 f 双射—— f 是同构，记作R ? R 注3． f 是单同态—— R ? f(R), 称f 将R同构嵌入 到R中 注4．当R =R，即f：R→R时—— 自同态，自同构， 自同构群 Aut R={f∣f：R ?R}. 例1．设 R= Z，R = Z/(n)，命 则 1°f 是Z到Z/(n)的满射 2° 3° 故 f 是 R=Z 到 R = Z/(n) 的同态映射，亦为满射。 例2．设R是任一个环， I是R的一个理想，命 则?是R到商环R/I的满同态，这个同态映射? 叫R到R/I的自然同态。 例3．设R和R是两个环，定义 则 f 是R到R 的一个同态，且同态像为 f(R)={0}， 这个同态称为零同态，它是任何两个环之间都存在 的一个同态。 例4．通过同构映射，可以把一个环“嵌入”到另 一个环中去. 设M2(R) 到M3(R)的一个同构映射为 不难验证, σ是一个同态，且有σ(M2(R) ? M2(R)。 通常称σ把M2(R)同构嵌入到M3(R)中。 故在同构意义下，M3(R)是M2(R)的扩环。 Def：设 是环的同态，则R 的零元0 的原象 f -1 (0) 称为 f -1的同态核 同态核 Ker f 是R的一个理想，且有: f 单同态 ? Ker f ＝{0}