You are on page 1of 16
Matematicas Discretas. tame Dice time anes cat, =— Grupos. Definicion de grupo. Un grupo (G.") es un monoide con idntidad con la propiedad adicional de que ‘ara cada elemonio acG talquea“a'=a"ae Asi, un grupo es un conjnto G con una ‘operacionbinaria~ en Gtalque 1. (@'b)"e-a"(b) para cualquiera de ls olemontos a byconG 2. Existo un elemento eG tal que a'e=e"a=a para cada acG 83. Para cada acG existe un elemento a'eG lamado inverso de a tal que are ‘Observe que si (,") es un grupo, entonces * 8s una operacion binara, de modo que ‘G debe ser cerrado ba " es deci, 4a°bEG para cualesquiera elemento ay b eG Pra simpliicar la notacién, de aqui en adelante, cuando solo so esté considerando tun grupo (G,") y no halla posibiidad de contusion se escribir el producto de a'b de los elementos ay ben el grupo (G," solo como ab, y también se hard referencia de (G-) s6lo como (6). Definicion grupo abetiano, Un grupo G es abeliano sab = ba para todos los elementos a y ben G. Elempio ‘Sea G el conlunto de los numeros reales dstintos de cero y sea a°b= ‘uosre qu (6. es abeiano. Primero se vetica uo“ e¢ una opera bina. Si ay b gon elomentos de G, ‘erionces es un nimer real distin de cero y que potato pertenece a. 1. Asociatvidad (ebye= abe) = LEmesto Senties Exeatante, Grupos. ‘Como a'b = b'a pare toda a y ben G, se concluye que G es un grupo abeliana ‘Teorema 1 ‘Sea G un grupo. Cada elemento a en G tlene un inico inverso en G: €) abeac; implica que b=c. (propiedad de cancelacién por ta lzquierda) 'b) basca: implica que bec. (propiedad de cancelacién por ta derecha) ‘Teorema 3. ‘Sea Gun grupo y sean ay b elementos de G. entonces a) @tyt=a b) (aby Teorema 4. ‘Sea Gun grupo y sean aly b elementos de G. Enionoes 12) La ecuacién ax=b tiane una Gnica solucion en G. 'b) La eouacion ya= bene una dnsca solcion en G, Matemsics crete. mest Sens Eclat, — emostracion €)E] elemento ea ' os la solucion dea ecuaclén ax b pues eb (a's) = Gaa'ybed ebb beb ‘Supongase ahora que six y x: son dos soluciones de la ecuacion ax= b axab y axe=b Por o tanto x= axe ‘con el teoreme 2 (propiedad de cancelacién por la izquorda), implica que x ) El elemento yaba es la solucién dela ecuacién ya= b pues ya=b G@'ba=b baa')=b be-b bb ‘Supéngase ahora que sys y ye son dos soluciones de la ecuacion ya=b. Entonces Yidb y yoaD or lo tanto yam ya '¥ por el eorema 2 (propiedad de la canceladién por la derecha), implica que y=¥2 ‘Se sabe que si un grupo G tiene un numero tte de elementos, entonces es posible ‘proporconar su eparacién binaria modiante una tabla, que por lo general s lama {abfa de mutipticar. La tabla de mutiplicar de un grupo Gafay.a2, 29} bajo la ‘operacion binara * debe satstacer as siguientes propiedad: 1. Lala etquetada con “e" debe contaner los elementos a, 5.-ta yl ‘columna etiquetads cone" debe contener los elementos os a 2. Por el Teorema 4 cada elemento b" del grupo, debe aparecer exactamente tuna vez en cada fia y colurma do la abla. Asi como cadia fa ycolurma os, luna permtacion de los eementos a4, 8m de G, y cada a (y cade, coluna) dotormina una pormutacion ferent. SS meso Sees Ecatant, Grupo. Grape Finito y Orden. SIG 68 un trupo con un numero finito de elementos, G un grupo finitoy el orden {d0.G 0s l numaro de elementos de (G| en 6 Tabla de muliplicar de un grupo G de orden 1 Go} \ ‘Se debe escribir © porque no pueden exist repeticiones en las fas ni en las columns. “Tabla do multpicar de un grupo G de orden 3 Ge(o.an) a > “Tabla de muitipticar de un grupo G de orden 4 Ga feand, Mates crete. jercicio 3 (2° Parcial) 1 $ 2 - 1, Sea 6:(te.m.Atp.7y-ram) @! conjunio de movimientos rigidos del Wriangulo ‘equlitero. Hacemos G un grupo defriendo defriendo ef movimiento oB, para 128 < G. como el movimionta obtenido al apicar primero a y después B. ‘Gotene la tabla de mutipicar y dec si G es un grupo Abeliano, 2. Sea G el grupo de nimeros comps (1,1, |,-} mediante a) el producto b) el cociente. Obtenge las tabias de mutica y digas! son grupos abelianos. Definicién de Subgrupo. Sea H un subconjnto de un grupo G, tal que a) La denied ¢ de G pertenece a H ) Siaybperionecen a H, entonces abclt ©) Siapettenece a Entonoes Hes un subgrupo. Elinciso b) dice que H es un subsemigrupo de G. ‘Asi, un subgrupo de G se puede ver como un subsemigrupo que tiene las ‘ropiedades al y 0) ‘SiG es un grupo y H es un subgupo de G, enlonces H también es un grupo con ‘respecte de la operacion en G, pues la propiedad asociava en G también os valida en a “Emesto Sentes Escalante Grupos. ejemplo. Considérese Sy, e grupo de movimiento rigidos de riéngule equitter (grupo de ‘Simetrias del tigngulo equlétro) cuya tabla de mutica es Te [tm [th [n [a [o {Me {Mo [TT [mh [rs [ee |e Th {ts {th [Th [ns [na [eo We {Me_| To Th_t2_| sf a [a [6 in 1 T [Me [Th 6 [6 [a te 1th [th [Me He (MT. Th) es un subgrupo de Ss 4) La denidad e= Tlede Sopertenece aH, b) Sia,be H,entonces abel. Por ejemplo Th Tet, ThTh=Thet Th ToeH , Thllo= Thelt ©) SiaeH, entoncesa'e H Por ejemplo The, ora Te Thee=Te Tae etre wthive Tex Tt ete" th'sTh ‘Como se cumplen las tres condiciones a), )y ¢) antonces H 8s un subgrupo de Ss. Definicion homomorfismo de grupos. Si(G 9 (H") son grupos y £G-+ H entonces tes un homomortismo de grupos si para todos a,b « G,fa°t)= a) * Kb). ‘Cuando sabemos que las estructura dadas son grupos, decines simplemente que la funeén fe¢ un homomarismo. tame Dice time anes cat, — ‘Teorema. Propiedades de los homomorfismos. Sean (G.") (H.*) grupos con neutos respectvos aay &y .Sit:G-+ Hesun Ihomomerfsmo, entonces. a)ffea)= ex (a) = Ha)) "para todo ac G ©) a") = [(@)]"para todo ac G y todone Z (8) €6 un subgrupo de H para cada subgrupo S de G. Definicién isomortismo. Sif: (G.") + (H.") ¢6 un homomorfismo,f es un isomorfiamo si es inyectva y sobre. En este caso G y H son grupos isomorfos. ‘Como un isomartismo debe ser una funcén blunivoca y sobre, dos grupos cuyos ‘rdenes no sean iguales no pueden ser isomotos, Elemi0. Sea G el gupo de numeros reeles bal la suma, y sea H el grupo de ndmeros reales ‘positvos alo la mulisicacion. Sea f:G ~ H detinida por (x)=e. Mostrar que f es un ‘somortsmo. Para que sea inyectva comprobamos sfa)-(b)enionces fa) = ey Hb)= 8° ‘= 6, axb porlo tanto os inyeciva(biunivoca). Sic eH entonces nc « Gy fn c)=e"*= ede mado que f es sobre. Por stim fa°}= Kay") Harbjacte =o (a) 1) porto tanto es un isomorismo. Definicion grupo eictico. Un grupo G es ciclico sl existe un elemento x € G tal que para todo a « G, am x” ‘para alginin elemento de. ‘De modo que todo elemento de G es una potancia de x, decimas que x genera G. Esto se dencta con =o. — resto Satis Eclat, raps. Sia a po oe nines cove (1,1) mini ode. SH = «) censors a union 5» Mes poe (10), M1) f= [8 ih 19 Dige es tn inom 1) Obtenga un bgp ce «© Digaqu lentes gonran a G 10-0) = FA) = 10) = +B HMC) = 10 i+ Por lo tanto si es unisomorfismo porque es inyeciva y sobre, ') Se observa que la imagen bao t de! subgrupo {1,1 de G 0s (1,2). un subgrupo de ©) Diga que elementos goneran a G. ‘Avalizando G: ‘De modo que todo elemento de G es una potencia de tgeneraaGcont sna, Ga IgeneraaGcontsns4; G=<-1> Matemsics crete. mest Sens Eclat, = Definicion de orden. SiG e5 un grupo y a € 6, a orden de @ que denoiarnos con 9 (a) es Kca>|. Si Jea>| 98 infrito, decimas que lene orden init. Elempto. Diga el orden 9 (1), # (-1),@ (8 (-) para el grupo G de némeros complejos (171,14) mediante el producto. eay=tct>j=4 oC) =|<-1> eW=li=4 OCs i= 4 Si |caplet, ontonces a= 0 puesto quo asa’ eca>y ona’ ex a>. $i f| 06 Infnto ‘pero. a'sc, enlonces =(a"|mez) es finto de modo que (a,a%,c%..} =(a"Im€Z") también es firila. En consecuencia existe s,c © Zhalesque 1 s-St y a = a! de la ue lambien se sigue que a” = e,con t—s € Z*. Como e& {aime Z°), sea nel minimo entero posiivo tal que. a ‘Afrmamos que = (2,07,a,..,a"#,a%(= e)) Primero observemos que. lc, 22,a! (= e)l=n. En caso contrat, tendriamos a* = a, para u, venteros positvos, tales que 1 | x. Pero para cualquier kez, of ‘lgorimo dela viion implica que k = qn +r, dande 0 = = n, por que at = ah = (a")M(a") = (ea) = a" €fa,0! ate con Por lo tanto = (a,a2,0%...a°-*,0"(= e) y también podemos defini (2) como ‘el minimo entero positivo ni tal que a = e. Esta definicionalteratva para el orden {den elerento del grupo (de orden firto) 66 muy dtl para el siguiente teorema, Teorema, Sea a €6 con O(a) = n, 81k €Z,a = « antonces nk (n es disible = Emesto Senties Eaton. ‘Grupos, Demoxtracton. Por et algoritmo dela division tenemos que k = gn + r para 0 < r

You might also like