Lich 8 a Dept: Bes grpes C@e) y (ase) mn ssontopras 9 existe una jmedn biyectiva &: G@—> WH bel ge : blak) = Ue) edn) poe bdo he G. Ademas , cvondo @ y A son isomorjos eieribimor GE. El mapeo © serd Wamado SOrLORFISHO . Ejemplo : © Vepnimes + By —> vat 7 Ademas, dados Time By we dedvee ge ' 3 plavm) = bam) = v= UU" = ba) OCH), diy Px tanto, > @& um igomor tigmo enhe AYlz @ Considore ley qrpss CRAY y CR) Dyfindemer Te fined ¢ ROR de la siguiente jeoma G(x) = e. En primer legor fet biyechiva ( Sjerciero). — Ademas , dadoy oxusye R se tiene qe: xey plasyy = OU = e7e? = Px) ou), ve Ay ) €Su_tSvmorfismo En consewencia, IR = R. Teoema 1: Sq >: G3H m isomerfismo de dor gqropos. Entonces — los sigyienles Gfirmacionet son verdaderas : Ge) bs HG & mM isomorfismo, vid) }q@l = 14) (itt) SiG es abeliono , enlonces HY es abeliano, Sw) Si G & cvelico , enloness H es eiclico. () SG fen m sobgrope de orden 1 enbonces Here un wb- grpo de orden 1. Preba # (vd Dade qe fm Isomorfimo se deduce qe So muersa $i es ong fncion biyecliva. Ademas , dedor Wha €H day =h y eG) =\ , Bao. G- tales qeLugo ie Uh) = &' (G0 6029) $ (ony) = 44 = Ga) O"Uh). Poe lanle : be mw 1 fl rsomeyismo etre Hy G. (vy eefeadenes at 7. Ahieves eyinimos ae) Lego, TSH CCotelor >). Teorema 2 Todo qrpo cielico de orden rmpnits es isomodo a # Rucba Sepong ames qe 4 G& cs efelico 1 [Glso luego, exiske geG tal we GS <3) Abie defi ni mos b F—G ne a Oksene los siquienks heclos (4) Dados name Ze se Viene qe bCn+m y = ha = T ; = P(r) btm). iy _es_inyectiva . id Nels ge P= pln) Ass \waty ex \Camscannerie Sbsene ye YM caso n| = te 2t | lo wal mw es posible ( TAREA © Sea G ot CASO m es sebreye cha . Sea ae GC orbiherio } “Lado gue @=<4> , enfonces a=4k pera clam roe Fn eovceesencia, a= $(e), Re donb, b es sheyechva De G) Ce) 4 (HY ee condloye ge os mm vamorqigmo Lego. =a. Teoema 3 SiG ts om gupo cfclico de orden n , enforcer G22). Prebe = Soper gemos 4 Ge crclicn de orden 1. lego, exisk qe G tal we a= eae ee tee consiquienle, ~Ae alae as sii , r Itlal qe is Ahora, dado me QR — lenemos ee exislen Ge % ma ny Tr ton OST, < Ast, . w = ye = (fy q a wm ost, < 1. Ra lanls godemos dejo \, siguienle fron. eG 4% eo Su CET 1 Al | Tore |g, me enbonces | mat (dn), | donde Ts | de divedss mere 7 fF Abwea cbsene 4 pe myechon Superga ye Ys EG y $C) = O(a.) a 3 luego Yr 3 \ on) poo algunot wdeg@ Ademas , i, _ Ty, Dado e Os 4e at em sobgrpe de Se. \s @ Pobor qe le fimcién $: G——> G 4, -— ay BM isomoryismo de qepes ype lonle Gice Teorema & (Coyley J Todo yer es isomerto gq om gps de permobaciones Escaneado con Camscanner