如果任取环R中的元素x都满足x2x^2x2=xxx,请证明环R是交换环。
由题意可得,(ab)2(ab)^2(ab)2=ab,a2a^2a2=a,b2b^2b2=b,(ab)2(ab)^2(ab)2=a2b2a^2b^2a2b2,abab=aabb,故ba=ab。
若R为整环,ab=ba=0,满足交换律。
若R不为整环,ab=0且a和b均不等于0,(ba)2(ba)^2(ba)2=ba=baba=0,依旧满足交换律。
记Z\ZZ[√2][√2][√2]={a+b√2:a,b∈Z\ZZ},请证明Z\ZZ[√2][√2][√2]是环,且是整环。
Z[√2]\Z[√2]Z[√2]为非空子集,对加法:
满足封闭性,含有单位元0,对∀a,b∈Z\ZZ,有a+b√2+c+d√2=0,c=−-−a,d=−-−b,有逆元。对加法满足交换律,故为阿尔贝群。
对乘法:
对∀a,b,c,d,e,f∈Z\ZZ,有(a+b√2+c+d√2)+e+f√2 =a+b√2+(c+d√2+e+f√2),故满足结合律。
证明乘法在加法上满足分配律,即a(b+c)=ab+ac
对∀a,b,c,d,e,f∈Z\ZZ,有(a+b√2)*(c+d√2+e+f√2) =ac+ad√2+ae+af√2+bc√2+2bd+be√2+2bf=(a+b√2)*(c+d√2)+(a+b√2)*(d√2+e+f√2) ,满足左分配律,右分配律同理可得。
对∀a,b,c,d∈Z\ZZ,有(a+b√2)*(c+d√2)=0,(a+b√2)*(c+d√2)=ac+ad√2+bc√2+2bd=ac+2bd+(ad+bc)√2=0,则ad+bc=0且ac+2bd=0,若a,b,c,d≠0,得c2c^2c2=2d22d^22d2,因为c,d∈Z\ZZ,故c2c^2c2≠2d22d^22d2,得证Z[√2]\Z[√2]Z[√2]为整环。
记Z\ZZ[i][i][i]={a+bibibi:a,b∈Z\ZZ},请证明Z\ZZ[i][i][i]是整环。
证明Z\ZZ[i][i][i]为环的部分和上一题差不多,接下来证明Z\ZZ[i][i][i]是整环:
对∀a,b,c,d∈Z\ZZ,有(a+bi)*(c+di)=0,(a+bi)*(c+di)=ac+adi+bci-bd=0,则ad+bc=0且ac=bd,得到d2d^2d2+c2c^2c2=0,故证明了Z\ZZ[i][i][i]是整环。
如果III和JJJ都是交换环RRR的理想,则 III+JJJ={ iii+jjj , i∈Ii∈Ii∈I,j∈Jj∈Jj∈J}也是RRR的理想。
由题意可得,对∀r∈R,有rI⊂I,rJ⊂J,Ir⊂I,Jr⊂J,那么现在对∀r∈R,i∈Ii∈Ii∈I,j∈Jj∈Jj∈J,有ri+rj,其中ri⊂I,rj⊂J,则ri+rj⊂III+JJJ,同理可证ir+jr⊂III+JJJ。
证明命题12.4
因为映射ϕϕϕ为环同态,故有ϕ(ab)ϕ(ab)ϕ(ab)=ϕ(a)ϕ(a)ϕ(a)ϕ(b)ϕ(b)ϕ(b)=ϕ(ba)ϕ(ba)ϕ(ba)=ϕ(b)ϕ(b)ϕ(b)ϕ(a)ϕ(a)ϕ(a),故R为交换环时,ϕ(R)ϕ(R)ϕ(R)也是交换环。
因为ϕ(a+0)ϕ(a+0)ϕ(a+0)=ϕ(a)ϕ(a)ϕ(a)+ϕ(0)ϕ(0)ϕ(0)=ϕ(a)ϕ(a)ϕ(a)+0′0'0′,故ϕ(0)ϕ(0)ϕ(0)=0′0'0′。
因为ϕϕϕ为满射,故R′R'R′上任意的x′x'x′,均有ϕ(x)ϕ(x)ϕ(x)=x′x'x′,ϕ(x)ϕ(x)ϕ(x)=ϕ(1∗x)ϕ(1*x)ϕ(1∗x)=ϕ(1)ϕ(1)ϕ(1)ϕ(x)ϕ(x)ϕ(x)=ϕ(x)ϕ(x)ϕ(x)ϕ(1)ϕ(1)ϕ(1),故ϕ(1)ϕ(1)ϕ(1)为R′R'R′的单位元,得证ϕ(1)ϕ(1)ϕ(1)=1′1'1′。