Scribd Logo
Upload

Welcome to Scribd!

  • El Grupo de Las Transformaciones Del Triangulo

    Uploaded by

    Roberto Cancino Equisde
    15 views26 pages
    ..

    Original Title

    El Grupo De Las Transformaciones Del Triangulo

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    ..

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    15 views26 pages

    El Grupo de Las Transformaciones Del Triangulo

    Uploaded by

    Roberto Cancino Equisde
    ..

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    of 26
    Fe | GRUPO DE LAS TRANSFORMACIONES DEL TRIANGULO EQUILATERO Erdulfo Ortega Patio ndo se hace la presentacién del concepto de grupo, uno je los pocos ejemplos concretos que se mencionan es el deno- yinado grupo de las simetrias del tridngulo equilétero; pe ‘o tal referencia solo se reduce a construir la tabla de layley para verificar los respectivos axiomas, En este ar~ ticulo me propongo mostrar como este sencillo ejemplo se puede aprovechar mucho mis, especialmente para ilustrar los conceptos principales de 1a Teoria de Grupos Finito: E1_grupo de las simetrias del tridngulo equilétero, denota~ do Dz © Sy, es el caso particular mds simple de la fami~ lia de los grupos de las simetrias de un poligono regular de lados denominados grupos dihédricos 0 dihedrales: Dy, (n> 3). Podemos interpretar las simetrias de una figura como trans~ formaciones sobre s{ mismas. Asi por ejemplo, el tridngulo equildtero tiene simetr{a rotaci al. Esto significa que puede Llevarse a coincidir consigo mismo, sin deformarse, por medio de los siguientes movimientos: rotacién de 24/3 radianes 0 120° en el sentido contra rio de las agujas del reloj, alrededor de su centro de gravedad. r r 32, 2——93 e S='ror =r’: rotaciéa de 4iT/3 redianes 0 280° atre dedor de su centro de gravedad. s s s t: rotacién de 2% 0 0 radianes 0 360° 0 0° (anflo geomet)? is, el tridngulo equilétero tiene simetria axial. Los ejes de simetria son las alturas o mediatrices que pa ~ por cada vértice. Es decir, el triangulo equilatero coin- ide consigo mismo al reflejarse, en su plano, de la siguien— maner reflexién en 1a recta Aque pasa por el vértice 1. (Deja £ijo el vértice 1). u u u ; 2— 93 3 reflexién en la recta f que pasa por el vértice 2. (De- ja fijo el vértice 2). v v v 1——+3 2 3-1 reflexién en la recta & que pasa por el vértice 3. (De - ja fijo el vértice 3). ve a) a—Mirg 2 4 Ss 4 3 “hes v= Som = Su 2 3 2 3 ‘Asi queda determinado el conjunto T= {r, 5, t, u, v, wJ Puesto que las rotaci y las ret es del tridngulo equilatero envian vértices sobre vértices, cualquier elemen- to del conjunto T esta perfectamente identificado por su efecto sobre los vértices. Por lo tanto podemos represen = tar cada elemento de T mediante un elemento de S,, donde = {f:k—->A/t es biyecciin} y A= f1, 2,3} ROTACTONES fi 3) 2 (ft & Joy Sart feed pos Ia 1 2 re REFLEXIONES al 2 ee ela ics und a? 3° | mere = = fersuwv} = fesreuyrusetu } Pe este modo, podemos dotar al conjunto $3 de una opera - cién interna, denotada 0, definiendo la " ‘multiplicacién" © “el compuesto" de dos simetrias (0 movimientos) como el resultado de realizar una tras la otra en el orden usual de 1a composicién de funciones, los correspondientes resultados los expresamos por medio de la siguiente Tabla de Cayley, El lector, £Acilmente, puede verificar que (Sj, 0) es un grupo. Por ejemplo, segiin 1a tabla, podemos comprobar que cada ele mento de S, tiene inverso en $4: a © © 2 I. Subgrupos de 3. El Teorema de Lagrange establece que si (G, *) es un grupo finito y H es un subgrupo de G, (H £G), enton- ces el orden de H es un divisor del orden de G. Com | ist. Como |S,| = 6 y los divisores de 6 son: 1, 2, 3, 6, 3 entonces, los subgrupos de $3 _ si existen, serdn de 98 orden: 1, 2, 3, 6. 1. Los sul 5 triviales o impropios son: {t} Syscon [ics] =1 y |s3] =6. 2. Los subgrupos de orden 2 deben tener una tabla de operacién en la cual estarA el elemento identidad t y el otro elemento del subgrupo, "x", debe satisfa - cer la condicién: x HH 2 t, donde Hes el posible subgrupo, Los elementos que la satisfacen son: u, ru y ru, pues: a? = (ray? = (r4u)? = ¢ Las tablas para estos subgrupos son: oft] e | ru o |e ]rtu z te fel iu te fe | rw t fe fru al 2 wu fale ru] ru] e eulAal e Entonces, los subgrupos de orden 2 son: t= {tea} os Wye fey ruf suy= fer’ z : ‘ ' i : Ademis, Hy = : Hy = ; Hy = = [x kez} Esto significa que S$, no es un grupo ciclico. 3 Para los subgrupos de $3 tenemos que: 100 teu} =gu> 5 Hee tt, mm} = crud 2 (t, fu} - soa = ftsrsr?) cro eer O sea que: Hy, Hj, Hy, H, son subgrupos cfelicos de S. 1 ge My 6. Diagrama de Subgrupos. tal fun as iter3} rete a Bers fe} IL. Subgrupos Normales. Recordemos que si Hl, es subgrupo de S,, (Hh, € $3), entonces H, es subgrupo normal de $3, (HS), si y solo si: Hx = xl, para todo x€ donde: Hx = {hx /hel,, x€S,] es 1a clase lateral a derecha, y xi, = [xh /h€H, x€S,] es la clase lateral a izquierda. 1) Para Hy = {t, uj<¢ Sg» tenemos que existe r € 5 tal que: yr # rth, pues: 2) 3) 4) 101 r= {tr,ur} = {rortu} ¢ {r, ru} ={rt, ru} = ri Luego H, no es subgrupo normal de Para Hy ={t, ru} ee oe ee -{rt,ruj = mi, Es decir, Hy no es subgrupo normal de S,. 2 Para t= {t, ru} < s, Hye = {r, ru} # fr, uj} = rh. Entonces, ll, no es subgrupo normal de Sq. Ahora, sea H, = {t, ry? $ € Sy. a 2 Venos que: H,t = tH, ; Hr =r, 5 Wyre = rH, Hye = Hy § HyCea) = Crudlhy 5 HyCr?ay = CrPapHl, Es decir, para todo x € $3: H,x = xH,. Por lo tanto H, es subgrupo normal de S. (H,® S3). Nota: Este resultado también se obtiene aplicando el Teorema de Lagrange, puesto que siendo S, gru- po finito y H,€S3, donde |S,] = ye ["a] = 3, entonces: s esto es, [S5: H,] = 2, (el fi 34 dice de H, en $5) luego: H,& 83. 5) Por otra parte, trivialmente, se tiene que: tt]es,, S398, . Como hemos observado, los subgrupos normales determinan so: bre el Grupo 1a misma particién por congruencia a izquier - da y a derecha. Estos subgrupos son importantes para deter. minar tanto la estructura del grupo como la naturaleza de los homomorfismos de grupo. TIL. GRUPOS COCTENTE DE S,. Puesto que W,&S, 3 {t}a@ S3 ¥ $355, los res- Pectivos grupos cocientes son: a) (S3/H,, 0), donde: ° | Sst, = { Hy, Cusru,r2a}} = H, / 4, a | ={. Wy 4 [4 iy 4G t y ay Hy La operacién "o" se define por la Tabla de Cayley. >) (Sg/{t} , 0), . donde: S/dey = ftth. ted tes tay, teut, fe2uh a 103 La Tabla de Cayley para este grupo es andloga a la de (8, 6)5 teniendo en cuenta la caracteristica especial de sus elenentos. Los grupos S3/{it} ¥ Sy som isomorfos. (S3/S,,,0), donde S3/S3 = 1 S3} .y Epimorfismos e Im4genes Homomérficas de_ S,- Sabemos que dados dos grupos G y G , un epimorfi £: G —+© es un homomorfismo sobreyectivo, En este caso G se llama imagen homonérfica de G. Dado que los grupos cocientes de S, son: syftt¥" 7 F Sy/ly + S3/Sy entonces definimos los epimorfismos canénicos: a) Ji Sy—wSy/ ted ¢ bY d: Sz—wS4/y xe—rith x x Hx ©) J: 8; —» S4/8, x 83x para todo x € Sy Luego el conjunto de imigenes homombrficas de S; es: BS) = [Sf Led 6 Syl, + 84/85 J 104 © sea que, en este caso, el conjunto de las imigenes h momérficas de $3 coincide con el conjunto de los gru pos cocientes de S,. Automorfismos de_S,. Un_automorf: de S es un isomorfismo de S, en $3. Puesto que cualquier elemento de S$, lo podemos expre ~ sar en términos de una rotacién ry de una reflexién u, para determinar los automorfismos de S, debemos identi. ficar las imagenes que bajo tales automorfismos deben corresponder a r ya wu. Entonces debemos tener en cuenta que si F: S;—+S, es automorfismo, entonces: a) Ixt = [FG], para todo xe S33 b) F(t) = te As! Ie] = 3 [R(r)] = 3-0 F(r) = reer er También: fx? |, 9,3, eae F(x), «2 mee. peo x2 De tal manera que las (inicas imAgenes posibles para r bajo automorfismos son ry r°. Ahora, como: ful = frup = [r’ul =2 y Fe =e, las finicas posibles imigenes para u son: u, ru, ru, esto es: ur i u—rru : unerty Convenimos en identificar los automorfismos asi: 105 t Ir i u ru ru Feu 7 i | toir fare tu t iE r u ru ru! F = r.ru | 2 , to opr ort fru, rte ou Z - 2 Btemplo: Fy py(ru) = Fe ey Fer) = [Fry cGt)! Fy, 26) 2 fe eu uoru ru) a. Ts | | | tee dete beh ou oe e t r r u ru ruy F2 = | ios t r?! fou | tu rw | Ys ru el rycu . eat er t. ru ru Zia) wu t ru u Ejemplo Pz 2ytu) = Fy (2) Fy 9 (u) = ()@7u) = ru. Pyare VI. Autormorfi interiores. Si he S35 la funcién: 83 > 8, xr oF,G) = nxn} _ 106 para todo x € $3, es el automorfismo interior correspon ~ diente ah, Denotemos: (A(S3), 0) : el grupo de los automorfismos de S, 3 3 (1(S3), 0) + el subgrupo de los automorfismos interiores de 85. Es decir: 1(S3) < A(S3) Puesto que el grupo dihédrido D,, (nz 3) tiene 2n auto~ morfismos interiores sia es as yn autonorfisnos interiores sin es par, entonces D, = S3 tiene 2 x 3 =6 autosorElanos interiores, Esto Series que I(S,) = A(S3). (Se pubde verificar utilizando 1a definicién). luego: Us.) = {F, Re? F, ru? “ry Ahora, si convenimos en definir: -1 (Fy) 200 = FGx) = hxh entonces podemos representar en forma explicita al conjun - to 1(S3) mediante el siguiente “arreglo” a manera de tabla de Cayley: 107 A Binah ot wf ora} tty z F, r @ a ae rm 2 Py t Be r ru u ru 2 2 co jet pee fot | 2 Pile ju | ru | Pte feu leu a | Fo £ eo # ru u ru Po 0 sea que cada F, es la permutacién de los elementos de $, correspondiente al elemento dado h € S3. Por ejemplo: (P,) & (eu) = Fy Gr) =ir(eude! = (fur? =u. Ast: cor wy etal 2 \ E ogikxt oft uu ow =: (uy r2uy rus =F 1g € ACS) reru VII. El centro c Sy. El centro ile Sy se denota %(S,) y se define como: 2654) = (x € Sy/hit Sh, para toto he 83) 108 Verificando esta definicién con cada uno de los elementos de S, vemos que t € 2(S3), sin embargo para h < S, h # t, tal condicién no se cumple, por lo tanto: 284) = {te}. Los grupos: $3/2(S3) ; 1(S,) son isomorfos puesto que 1a funcién: $ : S,/{t}- 7 1(S,) es isomorfismo, como Inper es facil verificarlo. También se puede verificar que para todo F, € A(S3): F(t) = t, ast que: Ker(F,) = {t}. VIII. El Teorema de Cayley. Sea B un conjunto no vacio cualquiera. El conjunto 8g = S(B) = { h: B-- +B/ hes una biyeccién } es un grupo con la operacién composicién de funciones ‘o". El grupo (S(B), 0) es 1lamado grupo simétrico o stupo de permutaciones de B. Cuando B= {1, 2, ...,0)}, el grupo Sse de - nota s yun elemento 7M de ee por [ 2 2a. vpBioh ACG) AQ). + ii(n) El Teorema de Cayley establece que: "Todo grupo G es isomorfo a un subgrupo de S(G)" 109 Para G = S, denotaremos con S3 a tal subgrupo. Esto es, 85 € S(S,). Si 0 € Sy, definimos Fe xe Fy (x) = 5x y S$= {Fe / Fe Sy} Cc SS). — +S} es isomorfismo. de 9k 2 Si = r° € Sy, entonces: ert ey Pr) = rr et v oy Fa ca GER) matteo 7 = rue u 5B @twe Arye tu r De esta manera obtenemos las permutaciones o elementos de Suir 2 2 2, ee? ue ru ctu 2 } por ou ww ctu] tor ou om a) of apa ae oo B. 8 MN ND EW Fs te Pe sw os 5 Z wos ta Beat ee x ee 2 “oe 3 gee c a $52 {tirt?, uy va; 22a} 0 sea « Z 3 a 2 5 3 a IX.Orbitas y Subgrupos Estacionarios de S,. En primer lugar recordamos los conceptos de accién de un grupo sobre un conjunto y accién de conjugacién. = Dados un grupo G y un conjunto X no vacto arbitra rio, se Mama accién a izquierda de G, 0 G-accidn, so bre X a una funcién #yOeke at (g, De og tx tal que: i) para todo xe X, e* x= x ii) para g) y 8) elementos de G y para xe K ay * (ay * 2) = (e8)) * x Decimos entonces que X es un G-conjunto a izquierda. De manera andloga se define una G-accién a derecha. ~ Una accién de conjugacién es una accién de G sobre si mismo. *:GxG—+6 (s, Drogtxasxe? Es decir, el grupo G actfa sobre s{ mismo por conjuga cién. 1. Dada una accién "*" de un grupo G sobre un conjunto X (no vacto), se lama érbita del elemento x de X, denota~ de x. 0 sear gtx/ge Gt In 0,, ada clase de equi [x] = Oe ly eX yeet x wet 12 Si "*" es la accién de conjugacién sobre G, tenemos: O={e*x/gec}) = {exes lygec} Esta es la clase conjugada de x. Para G=S, se tiene: = tts constitufda por los elem ~ mentos de orden 1. 2utow " ” = 07 =O = Ju, ru, ru 2 ru te ” # " 0-05 ={r, 47} 3 r Segin esto, los conjugados son los elementos del mismo orden, 2. La Ecuacién de Clase para _S,. * Sabemos que para un grupo finite G con centro Z(G) y érbitas no unitarias: 0,0 , ..., 0, 5 1a ecuacién n de clase es: Wel= |zc@y]+ Fo | sxe y x, € 206) isl Donde A contiene exactamente un elemento de cada érbita, Entonces: 2 [85] = |26)| + EPI + xe {r, uf WSs =[tetl + fo} +40 = 1424526 Ademas : 2 $3 UOWo = LEW I ref UY fusrnefaf 3 (U : unidn disjunta) afer ru cu ul 3. El Grupo Estacionario o Estabilizador de un elemento x de un grupo G se define por: E-{eec/stx-x} £6 Cuando "#" es la accién de conjugacién, se tiene: faeG/ exe llamado el centr: Para G = 1. £7 lacs axet®x}on Os.) € 85 Luego: = turvr2.u,ra,rtu = Lot 2 Ee (ere t= G5, («) § {tir} 65,00) <8, - {tu} = G00) < 85 Eye fteru} = Ss, (eu) $ 83 2 _ 2 en fe. us = Cy (r?u) $85 4 ‘También podems verificar que: [a ihey een oe G(x) | Es decir que, el indice de C(x) = E, en G es el tamafio de 1a érbita 0,, Ig] Para Sy: [0] = | |65,00] &.] = [5 & co] = Sabemos que si G es un grupo, = [H/1

    You might also like