lechra 1: Prodechs Direchs, Pop 4 ( Produch divecl Exlene ) Seem Gy HW doe grpos El tonmbs Gx HW & on grupo bejo la sigvienle — operada binawa : Ca he Vahe) = (a, hihe) donde 4496 G y huh eA Preba: ( Parcial ) Nora ; €| qepe GH etinido en Pop es llamado el products direc exlemo de ter gnpes Hy @. Prop 2: Sean Cee ce grepes El eonjunhs GQixxG, es wm gape ton la siguiente pero disin binoria Ges WI Besos de) = (Ms, 4, donde 9.4. € ee pave cada ie Aaah. Preba : Bosta verificer los axiomas de qe GY Seon C8 WW) CB chn Dy OGG) te Gx *G, \oup ,ie Ce eee = Cas Caaha) fe ) = Ch. Se Geta) = (deed Cad ha fo) Ca Behe Viede ) Re Nabe, PSE ae aistialiva ®) Frisle (Crrper}e Gree Ge (Cdinde & ey cl nevho de Ge) al qe (Giese Wee, Oo) = Chae de) (er, GeV Gue Je). W) Dodo CS WIE GES, etisk — CN Ga) EGG, ( donde 5, ey ed mano de J. en Qa) al qe Ue Ua Ene ee) ncaa Ng Lal De Ce), a) 4 Cw) se concluye +" Cae x Qe es Ww qrpe.Ejemple : Cras dee al cepts is 2°44 = \ (0, lot), G91, ary, Trequn (0) Cary Cue) ret) ‘egula_ 4 6 Yxd, es celia 2 (oe) Ce Gey gla = No (Todo elle cy de den 2) boty (oy O41) Ge) ee Ciro) (Ce) Gee) (54) (ay (so) Cow) Ce,°) cknsk USE xd, en We4R72 Det 2 (Minimo Comba Mellipls ) El minimo tomon mol hple de der enleos 9 y b mo nobos es un enlero positive om qe sabityace : Ge) a]m Y bln (w) s ala y bla enhret ma. Usodmenk — eseri ot nos m= Lab] so ms ment (ab). Teorema 3 San GyH gmpes ) Cahye Gel. Q later y Ihlss » enforces [(h)]= mem (4,5) _ Pacha: Sm Pamem(ns}e ZB legs Way Sle Ast qu t= a: ] J =k poe algun ole:Miconalmenle Ch b= CRY = Cee). Beene, 4 Quy _7 i |Cah)] = mn Qweay. Ahora Bupongo qe exisk oc l 4. Aho obsene " xe comple i" poss ods (abe Zar 2, ! (Ob) +a Caby) = Cac) Loewe [tar | | y ak jebls colon ces Liam) = Ax dy. Tisdlicenk tno | (hi ky - \ in Eq primer logor debemos poker ge b depende de la repre sentation de code 36 G Como produc» de om ekenerla €e qe y= he =he : donde ello nheH y whEK Lory, Wih= &K' ¢ HAK = tet Poe aa heh y Keak, Ast, Chey = Ch. @ ) bs decir, dh esha bien definida .be Kaw ello Seon WshEG — leege, anglen babe 64 y Fee K Lege GE HK), Rede SR enkyoocsn — weremos qe b presenwa to operacion de ape: Noles qe ve betsy gy shake (32) = (bit het ) = & Ch H% ) = Unhiy ee) = ay ts) Chr fe) = Che) oCheve) = 60%) POR) poco siq Finalmente , CG) Dodor GigE G on HHI = HH) » © bene qe dCi) = OCue,) pare algunos hishe Hy Ee © K Re ende, Chay te) = Chee ) As lwsh y wake ) Come hehe y dee enbnwy = 4a (vw) Dols Chixye HxK | ee ye ete gahee G tel we $(8)= $x) = nk), . De bdo le avlesor se coneluye qe G=lk |Ejemplo Considere les siquienbes sob grupos de Ze: Wadena} oy keqsst, Obsene que = G) HK =}0,3,3,5,4,7} = Be ley HAK = 44 (uw) Whet, zeK . he =A (Fes abeliono ) Por eonsiguenk, Be Wek. Dep 3 Sea G wm pepe Y Ha, Ha,.., Hn sdlogrupes de G Tecimos qe Goa podocls direelo tnkeno de Ur, He yes Hn Si se cumple = GQ) G= WHA, = Vhihehn + biel para cade ihn} dy HA ( U4) = je} Ge) iby = Iybs pore bdo es y Wel Teoema_& Sea GQ wm yore ye poduch divecto mene de los ssh grupos Hay, Ha Enlonces GS Hee > Hy