UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS (Universidad del Per, Decana de América) FACULTAD DE CIENCIAS MATEMATICAS Escuela Profesional de Matematica CURSO ESTRUCTURAS ALGEBRAICAS II Separata N°5 SUMA Y PRODUCTO DIRECTO Profesora del curso Martha Gonzales Bohorquez 2020IL4 SUMA Y PRODUCTO DIRECTO Definicién (Producto directo) Sea {M,}ie) una familia de R- médulos y M el producto cartesiano de los miembros de la familia. m=[[m=(@de / nem wed tel Dotamos a M de una estructura de R - médulo definiendo las siguientes operaciones Qdier + Odier = Gi + Wier r&dier = Oxdier wre R, Wx ¥i € Mi Con estas operaciones M es un R- médulo llamado el producto directo de la familia {MjJier Cada M; donde i € I, es llamado un factor de M Observaciones 1) Lafuncién i,:M,— M (Kk € 1), que asociaacada m, € M, el elemento (x;)jer €M tal que x, =m, y x, =0 Vie kesun monomorfismo de R-médulos llamado inclusién natural. En efecto, probaremos que i, es un homomorfismo de R-médulos - sean my,m', © My ig(my + m',) = Oier donde yy = my + my yy =0 ViEK & Cm + my) = die + C'Dier donde x,_ = myx =OWi#K y xp = mp, X= OWL HK EC + =i CM) Hip) -Sean f € R, my € My i(B my) =Qier donde y= Bm, y y=0viekPero (yi)ier = B(xier donde x, =m y x =0 Viek ig Bm) =B Der iB my) = Big(me) Por tanto é, es un homomorfismo de R-médulos. ker(ig) = {my € My /ig (my) = (%)ier donde x, = 0 Vi E 1} Ker (ig) = {mp € My / me = 0}=(0} Luego i,es un monomorfismo, 2) Lafuncién py:M — My (Kk € 1), que asocia a cada (x,)ie) € M su k- ésima componente x, € My , es un epimorfismo de R - médulos, llamada proyeccin sobre la k-ésima componente, 3) Secumplen a) Pe ei =I, VKET bd) Py eis vk,se€l talque k#s En efecto a) Sea m, € My x 2 iI) = PelieOM4)] = Pel ier] / He = Me ¥ | = OWE F Ke eo EM) = Xe = Mp, VIN E My entonces Py ° iy = Iny b) Seam, EM, y k#s (x2 is)Gms) = Pglis(ms)] = Pel Vier] / Xs = Ms ¥ H = OWL FS (Px ig)(m,) = x, =0, Wm, EM, tal que k #5 Peois =O Vk,sEl talque k#s Proposici6n 1.4.1 (Propiedad universal del producto directo) Sea {M,}ie, una familia de R- médulos, M el producto directo de esta familia wel] Y Dx: M — Mg (Kk € 1) las proyecciones sobre las componentes Dado un R- médulo N y una familia de homomorfismos de R- médulos {qui N — My} yer, existe un tinico homomorfismo f:N — M tal que Qn = Px ef, Vk El; es decir, tal que el diagrama conmuta W k € If N———*M My SeaxEN > q(x) €M, WkEl Entonces (q(x)),., € M = Mier Mi Demostracién Existencia Definimos FNOM/ f@) = (a) Asi definido f, satisface: Sean kEl,xEN We IC) = PFO) = Pe [(GOD), ej] =e, VEN Entonces py of =qy Wk EI. ter - Ahora probaremos que f es un homomorfismo de R-médulos. Sean x,y EN = qy(x), qx(v) € My Wk € 1 y como qx es homomorfismo UO +O) =a +y), Veet FEF = (WEA ae) = UD + WOM) = (OD), fety)=fQ)+fO), vey EN. Resta probar que f conserva la multiplicacién escalar, Sear€R,xEN (rx) = (alr), + (40) ier ict = (rqi(x)),., pues qi es homomorfismo de R-médulos =r (Gi)... =F 1) De ()y (I) f eshomomorfismo de R-médulos. ier fOx)=rf@), wer, ween Unicidad Supongamos que existe g:N > M talque peeg=qu, WkE! ...(1)Probaremos que f = g Seax EN De (1) x2 9G) = aC) = Px(9O)) = ae), VE ET Luego la k- ésima componente de g(x) es qx(x), Wk € 1 Entonces g(x) = (4@)) je; = f(x), WeeN =gll Definicin Sea {M,je; una familia de R- médulos y M = [je M; su producto directo. Una familia (x))je) € M se dice una familia casi nula si x; = 0 excepto para un ntimero finito de indices. Observacién El subconjunto formado por las familias casi nulas del R- médulo M = Tlie; Mz, es no vacia ya que la familia nula X = (x;)iey tal que x; = 0 Vi € I, es un elemento de este subconjunto. La suma de cualesquiera dos familias casi nulas es una familia casi nula. La suma es asociativa en este subconjunto y el opuesto de una familia casi nula es otra familia casi nula Ademés, el subconjunto de las familias casi nulas de M es estable respecto de la multiplicacién escalar de M, pues el producto de una familia casi nula por un escalar del anillo R es también una familia casi nula. Luego el subconjunto de familias casi nulas de M con las operaciones de M restringidas a este subconjunto, forma un submédulo de M. Definicién (suma directa externa) Sea {Mjie) una familia de R- médulos y M = []je M; su producto directo. El subconjunto de las familias casi nulas de M con la estructura de R-médulo definida por la restriccién de las operaciones de M es llamada summa directa externa de la familia y se denota Bic,Observaciones 1, Siel conjunto de indices es finito / = {1,2, ...,.n} entonces denotamos @iciM; = M,OM2@ ... OM, 2. BierM; = Tie: Mi Siy solo sil es finito o M; = 0 excepto para un ntimero finito de indices, 3. Se define las inclusiones naturales igs My > Bier, / m+ Bier donde x, =m, y m=O si i#k. Los i, son monomorfismos Wk € I 4. Se define las proyecciones naturales Px: BierMi > My (KEL) / (Xi)ier > Xe » Px eS UN epimorfismo de R - médulos. 5, Se cumplen a) Pkeiy = ly, VEE b) pyei,=0, Vk,sEl talque k#s Proposicién II.4.2 (Propiedad universal de la suma directa externa) Sea {Mj}ie) una familia de R- médulos, M = ®jeiM; y ix: Mp > M las inclusiones naturales. Dado un R-médulo N y la familia de homomorfismos de R-médulos {hy: My — N}xer » existe un tinico homomorfismo de R- médulos f:M—N talque hy =f oi,,Wk €1 ,es decir tal que el diagrama conmuta Vk € Demostraci6n Existencia SeaX = (x)ie €M = ®je:M;> x; = 0 excepto un miimero finito de indices. Como h; es homomorfismo de R-médulos, h;(x;) = 0 excepto un niimero finito de indices.Como h,(x;) € Ny vale cero excepto para un numero finito de indices entonces Yje; hj(x;) € N. (La suma Yie; hj(%;) tiene solo un ntmero finito de sumandos diferentes de cero) Por tanto podemos definir la funcién f:M > N talque f(X) = Vier h(x), donde X = (x)ier € M. De otro lado el homomorfismo natural i: My > M es tal que igt_) = GDier EM donde x, = {er sitar ) 0, sii#k Ay (x), si i= ke Luego h(x) = { Probaremos que hy = f° iy, Wk €1 Seak El y xp EMy= ix(xy) = (Dicer € M = Bie)M; , pues satisface (*) Pied) = FCDied Fo t)Cee) = YY ued = hae) fein=hy Weel Probaremos que lafuncién f:M — N talque f(X) = Yierhi(x)), donde X = (ier € M, es un homomorfismo de R-médulos. Sean X = (x))ierY = Odier €M = eM, > x, =0 excepto un mimero finito de indices ey, = 0 excepto un nitmero finito de indices. a X+V=Qi+yier POH) = FC + Wied =D) Mila +9 = DUG) + MODI =D) hed +) Od = £00 +70 Sea B ER,X = (xic) EM = @ic)M, > x, =0 excepto un ntmero finito de indices. Probaremos que f (BX) = Bf (X) BX = (BxdierFBX) =D" BaD =D" Bhd = BY held = BFC Luego la funcién foM WN talque (0) = ZierhiGe, donde X = (xiier € M = @rerM Es un homomorfismo de R- médulos que satisface f ix = hy ,Wk €1. Unicidad Supongamos que existe g: M— N homomorfismo de R- médulos que satisface g © iy = hy ,Vk 1. Probaremos que f = g Sea X = (x)ic) €M = ®jeiM; > x; = 0 excepto un niimero finito de indices. 10D =D" ald =D" (9° WE) =D, Hllaled) = 9D ined = 90 luego f(X) = g(X), VX = (ier €M fg Ejemplo Pruebe que si (n,m) = 1, entonces la suma directa externa de Z-médulos Zn ® Zm es isomorfo a Znm- Solucién Definimos el siguiente homomorfismo de Z-médulos f:Z>Z, PZ, tal que f(x) = (&,X) Donde es la clase de equivalencia del entero x médulon y ¥ es la clase de equivalencia del entero x médulo m. En efecto, probaremos que f es un homomorfismo de Z-médulos Seanx,y EZ faty)=(BFy Fy) =F +t D=ED+GTH =f@+fo) F@+WM=f@O+t+fO).wuyeZ (1)SeaxeZyaeZ flax) = (GE, B) = (a¥, a8) = a(&,¥) = af (x) flax) = af(x), VxEZ,VaeEZ (2) De (1)y (2) f es un homomorfismo de Z -médulos, Probaremos que f es sobreyectiva. Sea(@,b) €Z, ® Im > TE Zn y BE Zm Por hipotesis (n,m) = 1 entonces existen r,s € Z tal que r+sm=1 ...(3) Tomando x = brn+asm€Z se tiene #=brn+asm = brn+ am = asm = asm HI u De (3): mM¥sm=1 > TA+3mM= Reemplazando en (4): También ¥ = brn de(3):m+sm=1 37% Reemplazando en (5): Dado (@,b) € Zn ® Bm 3x EZ tal que f(x) = (€,%) +: f es sobreyectiva, Probaremos que Ker(f) = nmZ En efecto, Ker(f) ={xEZ/ f= (0, =(xeZ/F=T0A d)}={xeZ/ @&.X = (0,0)} F=O=(eeZ/x=n Ax=m} Por hipétesis (n,m) =1 entonces x=h Ax=mheexenmZ + Ker(f) =nmZ Luego por el primer teorema de isomorfia nm, = En ® Em Yeomo 8g ¥Znm entonces Znm = Zn ® Zm+