UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS ( Universidad del Peri, Decana de América) FACULTAD DE CIENCIAS MATEMATICAS Escuela Profesional de Matematica CURSO ESTRUCTURAS ALGEBRAICAS II Separata N° 2 HOMOMORFISMOS DE ANILLOS Profesora del curso Martha Gonzales Bohorquez 202020 1.3 HOMOMORFISMOS DE ANILLOS DEFINICION Sean (A, +, -)y (4',+!, “") dos anillos, una aplicacién fA — A’ que satisface 1) f(a+b) = f(a)+'f(b) va,bEA 2) f(a:b) = f(a)" f(b) va,beA Es llamado homomorfismo de anillos. OBSERVACION 1 1. La condicién (1) que define un homomorfismo de anillos, nos dice que todo homomorfismo de anillos, es también un homomorfismo entre los grupos (4, +) y (A', +). 2. Si el homomorfismo de anillos f:A > A’ es una biyeccion entonces se dice que f es un isomormorfismo de anillos y que A y A’ son isomorfos 3. Si(C,+, Dy (C',+', ') son cuerpos, entonces toda aplicacién f:C > C’ que satisface: f(at+b)=f(@+'f(b) , vabec f(a.b) = f(a) f(b), vabec es llamado homomorfismo de cuerpos. Andlogamente, un homomorfismo de cuerpos f:C — C’, es también un homomorfismo entre los grupos (C, +) y (C’, +); y entre los grupos (C*, +) yc", "), EJEMPLO 1 Sea (4,+, -) un anillo e J un ideal de A, entonces 4/, es un anillo con las operaciones (at D+(b+N)= (a+b) +1 (a+ D(b+N =ab4t1 mas A, ay atl La aplicacién es un homomorfismo de anillos, en efecto, (a+b) = (a+b) +1 = (at) + (b+) = x(a) + (6) n(ab) = ab +1 = (a+ D(b +1) = x(a)m(b) 4.1 es homomorfismo de anillos, llamado homomorfismo canénico El nucleo de m es /, en efecto: Martha O. Gonzales Bohorquez2 Nu(m) ={a€A / n(a)=I}=(aE€A/ atl=N=(aeA/ ael=l Nu(z) = 1. Ademés claramente es un homomorfismo sobreyectivo. EJEMPLO 2 Sea €((0,1]) el anillo de las funciones continuas de [0,1] en R, con las operaciones usuales de suma y producto de funciones. Igualmente el anillo R con sus operaciones usuales. Laaplicacion Yc) R 1 fro wy) =f(2) es un homomorfismo de anillos, en efecto: Sean f,g € C({0,1]) vo+n= F492) =1(2)+9Q="N+¥O von =(F9 (2) =6 Gs @)="O.%@ + es un homomorfismo de anillos. De otro lado Nuc¥) = fF € C((0.1) / ¥(F)=0} ={r < caoap/r(3)=9} Nu(‘¥) esta formado por todas las funciones de C((0,1]) que se anulan en @) Y es sobreyectiva, yaquesi ae R= 3f € C((0,1]) talque f@)=a, vreily Y=F(Z)=a EJEMPLO 3 Z[i] = {a+bi/a,b€Z} con la suma y el producto usual de numeros complejos es un anillo f: Zé) > Zi] atbira-bi f es un homomorfismo de anillos, en efecto: Sean a + bi,c + di € Z[i] fla + bi) + (c + did] = f((a +c) + (b+ d)i) = (atc) -—(+a)i Martha O. Gonzales Bohorquez22 = (abi) + (cdi) = f(a+ bi) + f(e+di), luego flat bi) + (c+ di)] = f(a + bi) + f(c + di) flat bd(c + di)] = f((ac — bd) + (ad + bc)i) = (ac - bd) — (ad + be)i = (a—bi(c = di) = f(a + bi) f(c + di) F(a t bi(c + di)] = f(a t bi)f(c + di) Luego f es un homomorfismo de anillos. Pero ademas es evidente que f es inyectivo y sobreyectivo por tanto f es un isomorfismo de anillos. EJEMPLO 4 ab -b a producto de matrices es un cuerpo. Consideremos la siguiente aplicacién del cuerpo de los niimeros complejos C en H El conjunto H = {[ |] /4,b € R} con las operaciones usuales de suma y che fen | fatby=[% 2 f es un homomorfismo de cuerpos, en efecto: Seana +bi, c+di EC flat b+ +a] = slaty +o+ai=[_44% 244] I-(b+d) ate =“ a Lo j= flatbi)+ f(ctdi) ac—bd ad + be f(a + b0) (€ + di] = flac ba) + (ad + beV=|_Coa4 be) ae bd a b ba ILS, 4 = flat bif(c + di) Luego f es un homomorfismo de cuerpos Nu(f) ={a+biec / flat bi) =0}={atbiec/[% »\=0} Nu(f) ={at+ bie / a=b=0}=(0+0i} Nu(f) = {0 + 0i} Imp =fa+bd /atbiecy={[% ? ={l fsaven}=n ] sa+biec} Im(f) =H 2. f es.un isomorfismo de cuerpos. Martha O. Gonzales Bohorquez23 PROPOSICION 1.3.1 Sea f:(4,+,-) (4',+',-’) un homomorfismo de anillos, entonces se cumple: 4. f(04)=0, — (04 y 04" Son neutros aditivos de A y A’ respectivamente) fCX) =-f@) 2, SiS esun subanillo de A = f(S) es un subanillo de A’. 3. SiS’ es un subanillo de A’ = f-1(S') es un subanillo de A 4, a) Nu(f) es un ideal de A b) f es inyectiva @Nu(f) = (0,} Si ' es un ideal de A’ = f~¥(/') es un ideal de A Si es un ideal de A y f es sobreyectiva =f (/) es un ideal de A’. 7. Si A es un anillo con unidad 1, y f es sobreyectiva entonces 4’ es un anillo con unidad y f(14) = 14. oa PRUEBA 1. f(a) = fq + 04) > f(O4) = f (04) + f(O4) pues f es homomorfismo. F(On)-+ Oy = F(O4) + Fx) > Oy = F004) Seaxe€A F(x) + f(-x) = F(x + (Hx) = FO) al = J+ 1) = f(x +2) = f(Oq) = 0y, SPF 8S SI OPvestO aditivo de f(x) , por tanto f(x) = f(-x) 2. Hipétesis: Ses subanillode A yf: — A’ es homomorfismo de anillos Probaremos que f(S) es subanillo de A’ De la hipétesis se tiene que (S,+) es subgrupo de A y el producto es cerrado en S. Como f:(A, +) — (4, +') es homomorfismo de grupos = por propiedad (FS), +) 5 4+) Resta probar que el producto (-’) es cerrado en f(S). Sean x,y € f(S) = 3a,b €S talque x= f(a) y y= f(b) Luego como el producto es cerrado en S y f es homomorfismo de anillos abeSy xy=f(a)f(b) = fab) € f(s) F(S) es subanillo de A’ 3. Hipétesis: 5’ es subanillo de A’ y f:A — A’ es homomorfismo de anillos por probar f~'(S") es subanillo de A. Martha O. Gonzales Bohorquez24 como (5', +’) < (4’,+") y f es homomorfismo de grupos entre (4, +) y a+) = (6769.4) <4) Resta probar que el producto (-') es cerrado en f-(5"). sean a,b € f-*(S') > f(a), f(b) eS! como el producto (:") en S’ es cerrado por hipétesis, entonces f(@f(b) € S' =f (ab) € S' > ab € f-*(5') + f71(S) es subanillo de A 4, a)Probaremos que Nu(f) es ideal de A En efecto: Nu(f) ¢ A, ademas 0, € Nu(f) #0 yaque f (0, Veamos que se cumple las siguientes condiciones: © vxye Nu(f): x—y € Nulf) * vae A, vx ENu(f) + ax © Nu(f) Axae Nu(f) Sea x,y € Nu(f) = f(x) = fy) = 9% fey) = f(x +(-Y)) = f@) + FEW) = £9 + (-£09) = f@) - 0) = 04 O4r = 04" > x-ye Nu(f) SeaaeAyxe Nu(f) > f(x) = 0% Fax) = F(a)F (x) = F(a)0 4 = Og, > ax € NuCf) f(a) = F(X) F(a) = 04'f (a) = 04 > xa € NuCf) Luego Nu(/) es un ideal de b) (=) Hipstesis: f: A > 4’ es homomorfismo inyectivo de anillos Por probar Nu(f) = {04} seax € Nu(f) > f(x) = 04" = f,) = F@) = fa) como f es inyectiva =x = 0, = Nu(f) © {0,} y obviamente 0, € Nu(f) = Nu(f) = {04} («) hipétesis: Nu(f) = {04} Probaremos que f es inyectiva Seanx,y €A/ f(x) = f(y) = fF) - £0) = 04 = Fe -y) = Oy Martha O. Gonzales Bohorquez25 ax-ye Nu(f) = (0) >x-y=0,>x=y +f es inyectiva. 5. Hipétesis: f: A + A’ es homomorfismo de anillos y 1’ es ideal de A’ Probaremos que f~*(I') es ideal de A como I es ideal de A’ I es subanillo de A’ y satisfice va' €A', vx" EI’: a'x' EI’ Ax'a’ EI’ Luego por la propiedad (3) demostrada, f-*(I') es subanillo de A Resta probar que Va € 4, vx € f-"(I) tax € f1(I") » xa € f*(I') En efecto: Seaa€AA xe f-(I') =f(x) Ely f(a) €4' ycomo 1’ es ideal de A’ F@)F(@) = f(xa) EI > xa € f-*(') Fla)f(x) = flax) €1" = ax€ f-*U’) + f-*()) es un ideal de A 6. Hip. f:A — 4’ es homomorfismo sobreyectivo de anillos e | es ideal de A Probaremos que f(/) es un ideal de A’ Por hipétesis | es subanillo de A, como f:A — A’ es homomorfismo de anillos = por propiedad (2) se tiene que f(I) es subanillo de A’ Resta probar que va EA’, vx Efi a'x' efi) a x'a'e f) En efecto: Sead'ed’ , xe f(l) Como f es sobreyectivo = Ja € A tal que f(a) =a" Ef aE! / x =fO. a'x' = f(a)f(i) = f(ai) € f()_ pues aie! x'a’ = f(Df(a) = f(ia) € f(D pues ia €/ ya que / es ideal de A. + f(D) es ideal de 4’, 7. Hipétesis: f:A — 4’ es homomorfismo sobreyectivo de anillos y A tiene elemento unidad. Probaremos que 4’ es anillo con unidad 14, y que 14, = f(1,). seaa’€ A’ como f es sobreyectivo 3a € A tal que f(a) = como 1, es elemento unidad de A entonces: Iya =a=1ha = fF (14a) = f(a) FOF (a) = f@ F(aty) F(a) fa) Martha O. Gonzales Bohorquez26 (a’ es arbitrario en A’) =a'f(14) + f(14) es elemento unidad en A’ y como el elemento unidad es unico entonces 14, = f(1,). ™ EJERCICIO Sean A y A’ anillos conmutativos yf: A' homomorfismo. Pruebe que si I’ es ideal primo de 4’ entonces f-*(I’) es ideal primo de A En efecto: Por la proposicién I.3.1- (5) se tiene que f~#(1") es un ideal de A, solo nos falta demostrar que va,b€A:ab€ f(a € fr") v bE f') Sean a,b € A (arbitrarios) tal que ab € f~*(I’) = F(ab) = f(@fb)er Como f(a), f(b) € A’ y I’ es ideal primo de 4’ entonces flayer’ vfoyer' Saef') vbe fr’) +. f-4(') es un ideal primo de A. PROPOSICION 1.3.2 (Primer Teorema de Isomorfia) Sea F:A +> A’ un homomorfismo de anillos, J, = Nu(F), entonces 1) Laaplicacién o: 4 — F(A) | a+1,+ F(a) es un isomorfismo de anillos 2) Si F es sobreyectivo, entonces existe una correspondencia biyectiva entre el conjunto de todos los ideales de A que contienen a /, y el conjunto de todos los ideales de 4’ PRUEBA 1) Veamos que o esta bien definida ©: a = F(A) | atly+> F(a) Sea a’ € a+1, por probar F(a’) = F(a) comoa'€ atl,a'—a€l, perol, =Nu(F) = F(a’ —a) = 0, como F es homomorfismo F(a") — F(a) = 04, = F(a") = F(a) +9 esta bien definida, Probemos que » es homomorfismo de anillos Sean atly, b+l, € ie Martha O. Gonzales Bohorquez7 0((a + Io) + (b + Io) = o((a + b) + Io) = F(a + b) = F(a) + F(b) = (a +l.) + 0(b +1) (ab + I,) + F(ab) = F(a)F(b) “g(a + Ig)o(b + Io) +g @s un homomorfismo de anillos. O((a + 1,)(b + Io) Probemos que es monomorfismo Seaatl, € Nu(o) como.a+l, €Nu(o) > o(a+ Ip) = 4, > F(A) = 04, 3a € NU(F) = [p> a+ 1p = Ip € {lo} Luego Nu € {I} y COMO PI) = o(0 + Ip) = F(0) = Op, > {To} C Nu = Nuo={h} +. 9 €§ monomorfismo. Probemos que ¢ es sobreyectiva Seay € F(A) = 3a € A tal que y = F(a) saa+le4 tal que o(a + I,) = F(a) = y +9 eS Sobreyectiva En conclusién » es isomomorfismo de anillos F(A) 2) Sea Hy ={I/ lesidealdeA A 1, C1} y Hy ={J/ Jesideal de A’} Definimos OH, Hy 15 F() Probemos que @ esté bien definido, 1 es ideal de A, y F: A+ A’ es homomorfismo sobreyectivo de anillos = por proposicién 1.3.1. se tiene que F(I) es ideal de 4’, por tanto FD) € Hy. + esta bien definida, Probemos que @ es inyectiva Sean LEH, / OD) =0) =F PAF). (at) Como F: (A, +) + (4’, +) es un homomorfismo de grupos y Nu(F) = I, = = FIEO)=! Nu(F) =1, 61, Ac] eA=l 2) SiC es un cuerpo = sus Uinicos ideales son los triviales {0} y C. En efecto: Sea J un ideal de C tal que J # {0} pp. J=C como J # {0} + ax €J/x #0 como x #0 es un elemento de C y C es cuerpo > 3x71 EC como J es ideal de C > x-.x =1€) Aplicando la observacién (1), J = € + {0} y C son los Unicos ideales del cuerpo C DEFINICION ( Ideal maximal ) Sea A unanillo, Jun idealde A / I # A, diremos que | es ideal maximal de A sino existe J ideal de A tal que 1cJCA conl#JAJ#A EJEMPLO 5 En el anillo de los enteros Z, el ideal | = (9,12) es maximal En efecto, como el maximo comun divisor de 9 y 12 es 3 se tiene 1 = (9,12) = (3) SeaxeZ / x€/ entonces x=3+1 v x=34+2 Six=341 >akEZ /x=3k+1> 1=x-3kE(3,x) 9 (3x) =2 Martha O. Gonzales Bohorquez29 Six=34+2 S3kEZ/ x=3k+2> 1=3(k+1)-x€(3,x)3(3,x)=Z Luego no existe ningun ideal de Z distinto de | y de Z que contenga a / +1 = (3) es maximal EJEMPLO 6 En el anillo de los enteros Z, el ideal | = (4) no es maximal En efecto, 4 = 2(2) € (2) > I = (4) € (2), luego existe un ideal J = (2) # Z que contiene a /. 1=(4)E(2)E7 = [no es maximal EJEMPLO7 En elanillo de los enteros gaussianos Z[i], el ideal / = (2, 1 + i) es maximal. En efecto, sea y=a+bi€Z[i] tal quey €/, esto implica que a—b es impar, ya que si a — b es par entonces ‘a—b 2 )+0ato=ver Luego a — b es impar. Anbu 2 Observe que 2( ') +b. +) - (a+ bi) =1€(21+6y) Luego (2,1 + i,y) = Z[i]. Por tanto no existe ningun ideal de Z[i] distinto de / y de Z{i] que contenga al. 1 es maximal PROPOSICION 1.3.3. A Sea A un anillo conmutativo con unidad e / un ideal de 4, entonces * es cuerpo © / es ideal maximal de A PRUEBA (>) Hipétesis: + es cuerpo. Por probar: / es ideal maximal de A SeaJidealde A talque/cJ cA... (*) Probaremos que J=/! Vv J=A stosic 4 5 , Por hipétesis 4 es cuerpo = por observacién 2- (2) sus Uinicos ideales son {Dy A/I. Consideremos el homomorfismo canénico de anillos Martha O. Gonzales Bohorquez30 aA ™ T Sabemos que 1 es sobreyectivo y que Nu(m) = I Por proposicién 1.3.1-(6) m(J) es un ideal de 4 > n() ={}v my) =4 Sin(J)={Rascl (yaquesifjeJ>n(j)=j+l=1 jel) perode(*) oJ J=I sin(J) = | como m es sobreyectivo entonces (A) =4 an =A) = (2) =1*(n(4)) como I = Nu(n) cj, 1CA > n(n())=J A W4(n(A)) =A = reemplazando en (*): J =A (€) Hipétesis: / es ideal maximal de A Por probar: A/I es cuerpo. Por hipétesis general, 4 es anillo conmutativo y con unidad 1 => 4 es anillo conmutativo y con undiad 1 + /. Probaremos que todo a+/€4 distinto de! , admite inversoen 4 Sea a+/ #1 =a, definimos J =/U{a}cA como A es anillo conmutativo y con unidad => por proposicién 1.2.2. U)=Gati/xe aie Claramente 1 J) A1# (J) pues a € (J) pero a¢! como | es ideal maximal de A = (J) = A como1EAS1EY) >3x EAA VE! talque 1=xa+iy (a) observe que x) €/ ya que si x9 €/ > de (a) 1€/ +1 =A (contradiccién, pues! #A_ por ser ideal maximal de A) Como 1—i, = x94 3 1 -ig t= x94 1 3 141 = (H+ Dat) > at! admite inverso xo +1-#1 -Veamos que el producto es cerrado en (4) donde (4) supongamos que 3 a+/,b+le (4) / (a+/)(+N=! ...(B) comoa+/ #14 a*+/ inversode a+! en (B) multiplicando por a~' +I se tiene b+1=1 (se) Martha O. Gonzales Bohorquez31 Luego el producto es cerrado en (4)° 4 es cuerpo. m COROLARIO Todo ideal maximal en un anillo conmutativo con unidad es un ideal primo. PRUEBA. Sea A un anillo conmutativo con unidad y J un ideal maximal de 4 entonces aplicando la proposicién 1.3.3, y es un cuerpo, luego es dominio de integridad Como J #A esidealde A y +s dominio de integridad , aplicando la proposicién |.2.3. se tiene que J es ideal primo de A. m EJERCICIO Pruebe que todo ideal primo del anillo Z es maximal PRUEBA. Z.es anillo conmutativo con unidad, todo ideal primo de Z es de la forma pt, donde p € Z* es primo Sea pZ un ideal primo de Z, probaremos que pZ es ideal maximal de Z. Laaplicacion f:Z— Z, / f(a) = [a] es un homomorfismo sobreyectivo de anillos con Nu(f) = pZ. Aplicando la proposicién 1.3.2 Zz pz Como (Z,,+, *) es un anillo conmutativo con unidad y Z," = Z, — {0} con el producto de clases residuales modulo p es un grupo, entonces (Zp, +, -) es un cuerpo, como a =Z, luego a es cuerpo entonces por la proposicién |.3.3 el ideal primo pZ es maximal. Martha O. Gonzales Bohorquez