Notas para un curso de Algebra Abstracta I

Camilo Sanabria y Mario Valencia-Pabon Universidad de los Andes Departamento de Matem aticas Bogot a - Colombia.

II

 Indice general
1. Grupos 1.1. Grupos . . . . . . . . . . . . . . . . . 1.2. Subgrupos . . . . . . . . . . . . . . . . 1.3. Tabla de operaci on . . . . . . . . . . . 1.4. Grupos C clicos . . . . . . . . . . . . . 1.5. Grupos generados y producto directo . 1.6. Grupos de permutaciones . . . . . . . 1.7. Coconjuntos y el Teorema de Lagrange 1 1 3 4 5 8 11 14 17 17 18 20 21 23 23 25 27 28 30

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

2. Homomorsmos 2.1. Homomorsmos . . . . . . . . . . . . . . . 2.2. Propiedades de Homomorsmos . . . . . . 2.3. Subgrupos normales . . . . . . . . . . . . 2.4. Isomorsmos y el Teorema de Cayley . . . 2.5. Grupo Factor . . . . . . . . . . . . . . . . 2.6. Teorema Fundamental del Homomorsmo 2.7. C alculo de Grupo Factor . . . . . . . . . . 2.8. Grupos simples . . . . . . . . . . . . . . . 2.9. El centro y el conmutador . . . . . . . . . 2.10. Ejercicios . . . . . . . . . . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

3. Conjugaci on 33 3.1. Elementos y subgrupos conjugados . . . . . . . . . . . . . . . . . 33 3.2. An para n 5 es simple . . . . . . . . . . . . . . . . . . . . . . . 34 3.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 4. Acci on de grupo sobre un conjunto 4.1. G-conjuntos . . . . . . . . . . . . . 4.2. Subgrupo estabilizador y o rbitas . 4.3. La f ormula de Burnside . . . . . . 4.4. Ejercicios . . . . . . . . . . . . . . 37 37 39 40 42

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

IV

INDICE GENERAL 43 43 45 51 52 53 53 56 57 59 63 66

5. Teoremas de Isomorsmos y Series de Grupos 5.1. Teoremas de Isomorsmos . . . . . . . . . . . . 5.2. Series de Grupos . . . . . . . . . . . . . . . . . 5.3. Cadena Central Ascendente . . . . . . . . . . . 5.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . 6. Teoremas de Sylow y Grupos libres 6.1. Teoremas de Sylow . . . . . . . . . . . . . . . 6.2. Aplicaciones de la teor a de Sylow . . . . . . 6.3. Grupos abelianos libres . . . . . . . . . . . . 6.4. Teorema fundamental de los grupos abelianos 6.5. Grupos libres y representaciones . . . . . . . 6.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

 Indice de guras
1.1. Subgrupos de Z8 y de Z12 . . . . . . . . . . . . . . . . . . . . . . 1.2. transformaciones del cuadrado . . . . . . . . . . . . . . . . . . . 1.3. ret culo de subgrupos de D4 . . . . . . . . . . . . . . . . . . . . . 2.1. Fibras y Kernel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2. Teorema Fundamental del Homomorsmo . . . . . . . . . . . . . 4.1. Rotaciones del cubo . . . . . . . . . . . . . . . . . . . . . . . . . 5.1. 5.2. 5.3. 5.4. Primer Teorema de Isomorsmo . Tercer Teorema de Isomorsmo . Lema de la Mariposa . . . . . . . Teorema de Schreier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 14 15 19 24 41 43 45 46 47 57 63

6.1. Grupo abeliano libre . . . . . . . . . . . . . . . . . . . . . . . . . 6.2. Grupo libre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

VI

INDICE DE FIGURAS

Cap tulo 1

Grupos
1.1. Grupos

1.1 Denici on (Grupo): Una estructura < G, , e >, que consta de un conjunto G, una operaci on binaria , y un elemento distintivo e, es un grupo, si satisface los siguientes axiomas: G1: es asociativa x, y, z G(x (y z ) = (x y ) z ) G2: e es neutro en x G(x e = x e x = x) G3: existencia de inversa x G y G(x y = e y x = e) Teorema 1.2 (Unicidad del neutro y de las inversas) Sea < G, , e > un grupo, entonces: i) Si e es tal que para todo x G, x e = e x = x, entonces e = e. ii) Dado un x G, si y, y G son tales que x y = y x = e = x y = y x, entonces y = y . Demostraci on: Por hip otesis e e = e y por G2, e e = e , luego e = e . Por hip otesis x y = e y por G2, y = y e, luego y = y (x y ), as por G1, y = (y x) y , pero y x = e por hip otesis, entonces por G2 y = y . 1.3 Notaci on y observaci on. En general, a < G, , e >, la denotaremos simplemente G, excepto cuando se deba especicar para evitar confusiones. Si no especicamos un nombre diferente para el elemento distintivo, lo denotaremos

Cap tulo 1. Grupos

e. A x y , lo denotaremos xy , cuando sea claro el contexto, adem as dado que la operaci on binaria es asociativa, x(yz ) o (xy )z lo denotaremos xyz . Por otro lado el teorema anterior, justica la siguiente denici on. 1.4 Denici on (el neutro, la inversa) y notaci on: Sea < G, , e > un grupo, i) a e lo llamamos el elemento neutro o la identidad. ii) Dado g G, al elemento g G tal que gg = g g = e, lo llamamos la inversa, o el inverso, de g ,y lo notamos g 1 . 1.5 Ejemplos: Las siguientes estructuras son grupos, cuya demostraci on se deja al lector. i) < Z, +, 0 >, < Q, +, 0 >, < R, +, 0 >, < C, +, 0 >. ii) < Q , , 1 >, < R , , 1 >, < C , , 1 >. iii) < Zn , +n , [0]=n >, donde a =n b si n|a b y Zn = Z/ =n . iu) < GLn (R), , In >, donde GLn (R) es el conjunto de matrices invertibles de dimensi on n n. u) < S 1 , , 1 >, donde S 1 = {z C : |z | = 1}. ui) Si V es un espacio vectorial, el conjunto de las transformaciones lineales uno a uno, con la composici on como la operaci on y la identidad como el neutro. Teorema 1.6 (ley cancelativa) Sea G un grupo. Si x, y, z G son tales que xz = yz , entonces x = y . Demostraci on: Si xz = yz , entonces x = xe = (xz )z 1 = (yz )z 1 = ye = y . 1.7 Notaci on y observaci on. Si x G y n N, notamos: xn = e x xn1 si n = 0 de lo contrario

Dado que xn (x1 )n = xn (xn )1 = e, entonces extendemos la notaci on a todo Z con xn = (x1 )n . Cuando la operaci on se denote aditiva (ver ejemplo 1.5 i)), notaremos xn por nx, y x1 por x. Observe que xn xm = xn+m , para todo n, m Z, pero (xy )n no es necesariamente igual a xn y n , por ejemplo: Teorema 1.8 (xy )1 = y 1 x1 Demostraci on: (xy )(y 1 x1 ) = e.

Subgrupos

1.9 Posiblemente ya se habr a dado cuenta de cual es la condici on para que (xy )n = xn y n para todo x, y G. En honor al noruego Niels Henrik Abel (1802-1829): 1.10 Denici on (Grupo abeliano): Un grupo G, en el cual la operaci on sea conmutativa (i.e. a, b G(ab = ba)), se dice abeliano. 1.11 En el ejemplo 1.5, los grupo de i), ii), iii) y u) son abelianos, los de iu) y u) no lo son. Si V = Rn estos dos u ltimos grupos son bastante parecidos (ya formalizaremos eso). 1.12 Ejercicios: 1. Pruebe que si G es un grupo nito con identidad e y con un numero par de elementos, entonces existe un elemento a G, con a = e, tal que a2 = e. 2. Pruebe que todo grupo G con identidad e y tal que a2 = e para todo a G, es abeliano. 3. Sea G un grupo nito y sea x un elemento de G cuyo orden es n, donde n es impar. Pruebe que existe k N tal que x = (x2 )k .

1.2.

Subgrupos

1.13 Denici on (Subgrupo): Si < G, , e > es un grupo, diremos que < H, , e > es un subgrupo de G, y lo notaremos H G, si: i) H G ii) < H, , e > es grupo iii) =
H H

1.14 Observaci on a la denici on 1.13. Sea H G y h H , como h = h e = h e , y h = h e entonces por la ley cancelativa, e = e . As un subgrupo esta un vocamente determinado por el conjunto H , pues la identidad es la misma que en G y la operaci on es la restricci on. Esto justica nuestra notaci on H G. Por otro lado < {e}, {e}{e} , e > es subgrupo de G. 1.15 Denici on (Grupo trivial, subgrupo propio) i) Al grupo < {e}, , e >, lo llamamos grupo trivial. ii) Si H G y H = G, decimos que H es subgrupo propio de G, y lo notamos H < G. 1.16 Cada grupo de 1.5 i) es subgrupo del siguiente. Lo mismo sucede en 1.5 ii). Demostrar que un grupo es subgrupo de otro puede ser bastante engorroso bajo nuestra denici on, afortunadamente existen caracterizaciones m as adecuadas para esto:

Cap tulo 1. Grupos

Teorema 1.17 Sea < G, , e > un grupo. Las siguientes armaciones son equivalentes: i) H G ii) H no es vac o, es cerrado mediante la operaci on de G, y mediante inversi on. Esto es: H = , x, y H (xy H ), x H (x1 H ) iii) H = , x, y H (xy 1 H ) Demostraci on: i) ii): Como H G, e H luego H no es vac o. Las otras dos condiciones se siguen inmediatamente del hecho que H sea grupo y que la operaci on en H es la restricci on de la G. ii) iii): Si x, y H , y 1 H luego xy 1 H . iii) i): Tomemos = H H , veamos que es una operaci on binaria en H . Sea x H , el cual existe pues H no es vac o. Entonces e = x x1 H , y as x1 = ex1 H . Luego si x, y H , y 1 H y xy = xy = x(y 1 )1 H , entonces es una operaci on binaria en H , as se cumple G1. Adem as, e H y tambi en se cumple G2 pues = H H . Por esto u ltimo vemos tambi en que se cumple G3 pues dado x H , x1 H .

1.3.

Tabla de operaci on

1.18 Dado un grupo G nito podemos representar completamente la operaci on gracias a una tabla, al igual que sol amos hacer tablas de multiplicaci on en los n umeros naturales. Esto es, en la primera entrada (la superior izquierda), ponemos el signo de la operaci on, en el resto de la primera columna de la tabla ponemos los elementos de G y hacemos lo mismo, y en el mismo orden, en la primera la. Luego llenamos el resto de la tabla como indica la operaci on. Por el axioma G3 sabemos que en cada la debe aparecer e una vez, y por la unicidad de la inversa, una u nica vez. Seg un la ley cancelativa, lo mismo sucede con cada elemento. Este mismo fen omeno se repite con las columnas. Si el grupo es abeliano la tabla ser a sim etrica. Estas pautas nos permiten generar grupos nuevos (ver el cuadro 1.3). +4 0 1 2 3 0 0 1 2 3 1 1 2 3 0 2 2 3 0 1 3 3 0 1 2 e a b c e e a b c a a e c b b b c e a c c b a e

Z4

4-grupo de Klein V

Cuadro 1.1: Los dos u nicos grupos de cuatro elementos

Grupos C clicos

1.4.

Grupos C clicos

1.19 Denici on (Orden de un grupo, orden de un elemento): i) el orden de un grupo G, que notamos ord(G) (o simplemente |G|), es el n umero de elementos de G, si G es innito notamos ord(G) = +, ii) el orden de un elemento g G, que notamos ord(g ), es el m nimo n N n tal que g = e. Si dicho n no existe notamos ord(g ) = +. Lema 1.20 Si am = e, ord(a) | m. Demostraci on: Sea n = ord(a). Por denici on, n es el menor entero positivo tal que an = e y por lo tanto m n. Usando el algoritmo de la divisi on, podemos escribir a m como m = qn + r, donde q 1 y 0 r < n. Ahora, e = am = aqn+r = (an )q ar = eq ar = ar . Si r = 0, entonces se tiene una contradicci on a la minimalidad de n. Luego r = 0 y as n | m. Teorema 1.21 Sea a G, y H = {an }nZ . Entonces H G y ord(H ) = ord(a). Demostraci on: Como e = a0 H , an am = an+m H y (an )1 = an , por el teorema 1.17, H G. Suponga que ord(a) = +. Si i, j Z con i j son tales que ai = aj , aj i = e luego j i = 0. Entonces si i = j , ai = aj , luego ord(H ) = +. Ahora sea n = ord(a). Si i, j {0, 1, . . . , n 1} con i j , son tales que ai = aj , por el lema anterior n|j i, luego j i = 0, esto es i = j . Entonces n |H |. Y si m n, y m = qn + r, con 0 r < n, am = ar , luego |H | = n. 1.22 Denici on (Grupo generado por un elemento, grupo c clico): Sea G un grupo. i) Dado a G, llamamos a {an }nZ , el grupo generado por a, y lo notamos < a >. ii) Decimos que G es c clico si es un grupo generado por un elemento. 1.23 Ejemplos. i) Z =< 1 >, es un grupo c clico de orden innito. ii) Zn =< 1 >, es un grupo c clico de orden n. Ya veremos que todo grupo c clico tiene esta forma. 1.24 Ahora nos interesaremos en la estructura de los grupos c clicos, esto es, estudiaremos como son sus subgrupos. Estos grupos, fuera de tener una estructura bastante visualisable e intuitiva, son supremamente importantes. Teorema 1.25 Todo grupo c clico es abeliano.

Cap tulo 1. Grupos

Demostraci on: Sea G =< a >. As dos elementos elementos arbitrarios en G, son de la forma am , y an , con m, n Z. Pero como vimos en 1.7, am an = am+n = an am . Luego G es abeliano. Teorema 1.26 Un subgrupo de un grupo c clico es c clico. Demostraci on: Sea G =< a > y H G. Si H es el grupo trivial, H =< e >, es c clico. Suponga que H no es trivial, es decir, H contiene al menos un elemento diferente de e. Como H G y G =< a >, entonces todos los elementos de H son potencias de a. Sea m el menor entero positivo tal que am H . Se probara entonces que b = am genera H , es decir, H =< b >. Para ello, tomemos un elemento arbitrario c H y probemos que c es una potencia de b. Como c H , H G y G =< a >, entonces c = an para alg un n entero positivo. Por la minimalidad de m, podemos usar el algoritmo de la divisi on, y escribir n como n = qm + r, donde q > 0 y 0 r < m. Entonces, an = aqm+r = (am )q ar . Por lo tanto, como an H y (am )q H puesto que am H , entonces, ar = (am )q an H , puesto que H es grupo. Si r = 0, entonces se tiene una contradicci on a la minimalidad de m. Por lo tanto, r = 0, y n = qm, obteniendo si que c = an = aqm = (am )q = bq , es decir, c es una potencia de b, lo cual implica que H =< b > y por lo tanto H es c clico. Corolario 1.27 Si G =< a > es de orden innito todo subgrupo de G es de orden innito. 1.28 Observaci on. Todo subgrupo de Z es de la forma < n >= nZ = {nk : k Z}, para alg un n. Aqu usamos la notaci on aditiva. Teorema 1.29 Sea G =< a > de orden n. Entonces: i) Si s | n, entonces < as >= {e, as , a2s , . . . , a y < ar >=< a(n,r) >. iii) Todo subgrupo de G es de la forma < as > donde s | n. iu) El orden de todo subgrupo de G divide el orden de G. u) Por cada divisor s de n, existe exactamente un subgrupo de G de tama no n s, que es < a s >. ui) si H, K G entonces, H K si y s olo si |H | | |K |. Demostraci on: Note que una vez probado ii); i), iii) y iu) son consecuencias inmediatas, tomando s = (n, r) y recordando el teorema 1.21. Probemos entonces ii). Ya vimos en el teorema 1.26 que todo subgrupo, de G es de la forma < ar >. Ahora sea s = (n, r), entonces existe q tal que r = qs. As ar = (as )q , luego < ar >< as >. Por otro lado existen u, v Z tales que un + vr = s luego as = (an )u (ar )v = (ar )v , y as < as >< ar >. Es claro que
n1 s s

} tiene tama no n/s.

n (n,r )

ii) Todo subgrupo de G es de la forma < ar >, con r Z, | < ar > | =

Grupos C clicos

n enunciado de i) que | < a(n,r) > | = (n,r ) Probemos ahora la unicidad que se arma en u). Por lo que acabamos de ver n n si s | n, (n, n/s) = n/s y as | < a s > | = n/s = s. Ahora, si < ar > es un subgrupo de G de orden s, entonces por ii) s = n/(n, r), luego (n, r) = n/s y n as , < ar >=< a s >. Finalmente veamos ui). Suponga que K =< ak > y H =< ah > con k, h divisores de n, suponsici on valida en vista de u). As si H K por iu), poniendo K como G, |H | | |K |. Ahora, si |H | | |K |. existe q tal que ord(ah )q = ord(ak ), pero por u), ord(ah ) = n/h y ord(ak ) = n/k , luego kq = h, as (ak )q = ah , entonces < ah >< ak >.

1.30 Observaci ones. i) Dado un grupo G, como todo grupo tiene por subgrupo el trivial, podemos representar sus cadenas de subgrupos por un ret culo (i.e. lattice, en ingl es). ii) El resultado 1.29 iu) se pueden generalizar a todos los grupos de orden nito como se vera en el Teorema de Lagrange. Con el teorema anterior quedan completamente caracterizados los grupos c clicos (ver gura 1.1), en este momento el lector ya se puede hacer la idea de porque todo grupo c clico es de la forma de Z, o de Zn . PSfrag replacements
Z8 Z12

<2>

<3>

<2>

<4>

<6>

<4>

{0}

{0}

Figura 1.1: Subgrupos de Z8 y de Z12 1.31 Ejercicios: 1. Pruebe que si H y K son subgrupos de un grupo abeliano G, entonces HK = {hk : n H y k K } es un subgrupo de G. 2. Pruebe que un grupo c clico con u nicamente un generador puede tener a los sumo dos elementos. 3. Pruebe que si G es un grupo abeliano con identidad e, entonces todos los elementos x G tales que x2 = e forman un subgrupo de G. Generalice al caso donde n 1 es un entero jo y H = {x G : xn = e}.

Cap tulo 1. Grupos 4. Sea G un grupo y sea a un elemento de jo de G. Pruebe que Ha = {x G : xa = ax} es un subgrupo de G. Sea S G, y sea HS = {x G : xs = sx para todo s S }. Pruebe que HS G. Si S = G, entonces HG es llamado el centro de G. Pruebe que HG es un grupo abeliano. 5. Pruebe que un grupo sin subgrupos propios no triviales es c clico. 6. Pruebe que un grupo que tiene un numero nito de subgrupos es nito. 7. Pruebe que Zp no tiene subgrupos propios no triviales si p es primo. 8. Sea G un grupo abeliano y sean H y K subgrupos c clicos nitos con |H | = r y |K | = s. (a) Pruebe que si (r, s) = 1, entonces G contiene un subgrupo c clico de orden rs. (b) Pruebe que G contiene un subgrupo c clico de orden [r, s] (recuerde que [r, s] denota al m aximo com un m ultiplo de r y s).

1.5.

Grupos generados y producto directo

1.32 Dado que los subgrupos de un grupo forman un ret culo, podemos buscar los m nimos subgrupos, en la relaci on ser subgrupo, que contienen un subconjunto de los elementos del grupo. Teorema 1.33 Sea {Hi }iJ una colecci on indexada de subgrupos de G, entonces: Hi G
iJ

Demostraci on: Como cada Hi contiene e, iJ Hi = . Ahora sean x, y H , como y Hi , y 1 Hi , para cada i J . As xy 1 Hi , para i iJ 1 todo i J , esto es xy iJ Hi , luego por el teorema 1.17 iJ Hi G. Corolario 1.34 Sea A G, con A = y H = {H G : A H }. Entonces H H H G. Teorema 1.35 Sea A G, con A = y H = {H G : A H }. Si HA H es tal que, si H H, HA H entonces HA = H H H G. Demostraci on: Esto es trivial, pues HA H, luego H H H HA . Por otro HA H H H , y HA = lado como A H H H , entonces H H H H as H G . H H 1.36 Observaci on. Los dos teoremas anteriores justican nuestra pr oxima denici on, el teorema que le sigue la explica. Note como se extiende el concepto de 1.22 1.37 Denici on (grupo generado, grupo nitamente generado):

Grupos generados y producto directo

i) Dado A G, con A = . Al m nimo subgrupo que contiene A lo llamamos el grupo generado por A, y lo notamos < A >. ii) Decimos que un grupo G es nitamente generado si G =< A > para alg un A G nito.
mn 1 m2 Teorema 1.38 Dado A G, < A >= {am 1 a2 . . . an : ai A, mi Z}. mn 1 m2 Demostraci on: Sea HA = {am : ai A, mi Z}. Como A = 1 a2 . . . an pq m1 m2 1 p2 n , HA = . Si x, y HA , x = a1 a2 . . . am e y = bp n 1 b2 . . . bq , para p q q q 2 1 algunos ai , bj A y mi , pi Z. As , y 1 = bq . . . b2 b1 , luego xy 1 = q2 q1 m1 m2 mn pq a1 a2 . . . an bq . . . b2 b1 HA . Entonces HA G. Ahora como A HA , < A > HA . Por otro lado un elemento arbitrario de HA es de la forma de x, pero cada ai A, luego como un subgrupo es cerrado por multiplicaci on, x < A >. As HA < A > y HA =< A >.

Teorema 1.39 Sea {Gi }i{1,2,...,n} una colecci on de grupos. G1 G2 . . . Gn bajo la operaci on ((x1 , x2 , . . . , xn ), (y1 , y2 , . . . , yn )) (x1 y1 , x2 y2 , . . . , xn yn ) es un grupo. Demostraci on: La operaci on es asociativa, pues la operaci on de cada G i lo es. Si ei es el neutro de Gi , (e1 , e2 , . . . , en ) es el neutro para nuestra operaci on. Fi1 1 1 , . . . , x ) = ( e , e , . . . , e ), luego cada elenalmente (x1 , x2 , . . . , xn )(x , x 1 2 n n 2 1 mento tiene inversa. Esto completa la demostraci on. 1.40 Denici on (Producto directo): Dada {Gi }i{1,2,...,n} una colecci on de grupos. Al grupo G1 G2 . . . Gn bajo la operaci on: ((x1 , x2 , . . . , xn ), (y1 , y2 , . . . , yn )) (x1 y1 , x2 y2 , . . . , xn yn ) lo llamamos el producto directo (externo) de G1 , G2 , . . . , Gn . 1.41 Cuando dec amos que dos grupos tienen la misma forma, formalmente nos refer amos a lo siguiente (a esto volveremos luego con m as detalle): 1.42 Denici on (Isomorsmo, isomorfo): Sean < G, , e >, < G , , e > dos grupos dados. Una biyecci on : G G es un isomorsmo si (x y ) = (x) (y ), para todo x, y G. Dos grupos se dicen isomorfos si existe un isomorsmo entre ellos.
x 1.43 Ejemplo: : R R + denida por (x) = e , es un isomorsmo entre x+y x y < R, +, 0 > y < R+ , , 1 > pues e =e e .

Teorema 1.44 Sea G =< a >. Si ord(G) = +, G es isomorfo a Z, si ord(G) = n, G es isomorfo a Zn . Demostraci on: Si ord(G) = +, dena : Z G, por (k ) = ak y si ord(G) = n, dena : Zn G, por (k ) = ak . Es claro que es sobreyectiva, ahora si + = ord(G) = ord(a), si (m1 ) = (m2 ), entonces am1 m2 = e. As m1 m 2 = 0 o m1 = m2 . Si n = ord(a), por el lema 1.20, n | m1 m2 luego m1 = m2 . De esto concluimos que es biyectiva. Finalmente como ak1 ak2 = ak1 +k2 , es isomorsmo.

10

Cap tulo 1. Grupos

Teorema 1.45 Sean m, n Z. Existe un isomorsmo entre Zm Zn y Zmn si y solo si (m, n) = 1. Demostraci on: Por el teorema 1.44, basta ver que Zm Zn es c clico de orden mn si y s olo si (m, n) = 1. Suponga primero (m, n) = 1 y sea k = ord((1, 1)). As (1, 1)k = (0, 0) luego m | k y n | k pero si k Z es tal que m | k y n | k , (1, 1)k = (0, 0) luego k es el m nimo com un m ultiplo de m y n, este es mn. Entonces Zm Zn =< (1, 1) > Ahora suponga que Zm Zn es c clico de orden mn con Zm Zn =< (a, b) >. Entonces en particular Zm =< a > y Zn =< b >. As , si k es el m nimo com un m ultiplo de m y n, (a, b)k = (0, 0) luego por el lema 1.20, mn | k . As k = mn y (m, n) = 1. Corolario 1.46 Zm1 Zm2 . . . Zmn es isomorfo a Zm1 m2 ...mn si y s olo si (m1 , m2 , . . . , mn ) = 1 1.47 Los grupos abelianos nitamente generados tienen una estructura particular. El siguiente teorema los caracteriza y nos dice que los Zpn , con p primo, son como los ladrillos para construirlos. Su demostraci on la pospondremos para cuando tengamos un poco m as de experiencia, y esta nos parezca m as natural. Dicho teorema se conoce como el Teorema Fundamental de los grupos abelianos nitamente generados, y al cual nos referiremos como al teorema TFGAFG por comodidad. Teorema 1.48 (TFGAFG) Todo grupo abeliano nitamente generado es isomorfo a un u nico grupo de la forma Zpr 1 Z p r 2 . . . Z p r n Z . . . Z, n 1 2 con los pi , para i {1, . . . , n}, primos tales que pi pi+1 , y los ri naturales no nulos tales que ri ri+1 si pi = pi+1 . 1.49 Ejemplos:
i i) Si i=1 pr on de m en potencias de primos con pi < pi+1 , i es la expresi r Zm es isomorfo a n Z i=1 p i . i

ii) El 4-grupo de Klein V es isomorfo a Z2 Z2 . 1.50 Ejercicios: 1. Encuentre el orden del elemento (3, 10, 9) en el grupo Z4 Z12 Z15 . 2. Pruebe que un grupo abeliano nito no es c clico si y solo si este contiene un subgrupo isomorfo a Zp Zp para alg un primo p. 3. Pruebe que si un grupo abeliano nito tiene orden una potencia de un primo p, entonces el orden de cada elemento en el grupo es una potencia de p. 4. Sean G, H , y K grupos abelianos nitamente generados. Pruebe que si G K es isomorfo a H K , entonces G es isomorfo a H .

Grupos de permutaciones

11

1.6.

Grupos de permutaciones

1.51 Denici on (Permutaci on): Sea A un conjunto. Una permutaci on de A es una funci on biyectiva de A en A. Al conjunto de las permutaciones de A lo notamos SA . Si A = {1, 2, . . . , n}, SA lo notamos Sn . 1.52 Observaci ones. i) |Sn | = n! ii) La composici on de dos permutaciones es una permutaci on. La identidad es una permutaci on y la inversa de un permutaci on es una permutaci on. En resumen, se tiene lo siguiente: 1.53 Denici on (Grupo de Permutaci on). Sea A un conjunto. Al grupo < SA , , id >, donde es la composici on, lo llamamos el grupo de permutaciones de A. Teorema 1.54 Si A = {ai }i{1,...,n} , SA y Sn son isomorfos. Demostraci on: Dena : Sn SA por ( ) : (i) a (i) . Sea SA y dena : {1, . . . , n} {1, . . . , n} por (i) = j si (ai ) = aj . Como es una permutaci on tambi en y ( ) = , luego es sobreyectiva. Vericar que tambi en es inyectiva es pura rutina, as que se lo dejamos al lector. Ahora: ( )(ai ) = a (i) = ( )(a (i) ) = ( ) ( )(ai ) as ( ) = ( ) ( ). Luego es un isomorsmo. 1.55 Notaci on. A la permutaci on Sn , la notamos 1.56 Ejemplo: S3 = {id, , 2 , , , 2 } con id = 123 , = 312 que = 2 . 2 = 123 213 , = 123 321 1 2 ... n (1) (2) . . . (n) 123 123 ,= 123 132 123 231 . Note . ,

, y 2 =

1.57 Denici on (Orbita): Sea SA y sea a A. Al conjunto { k (a) : k Z} lo llamamos la o rbita de a seg un . Teorema 1.58 Sea SA . Las o rbitas de forman una partici on de A. Demostraci on: Dena en A la relaci on por: a b si existe k Z tal que k (a) = b. As a b si y s olo si b esta en la o rbita de a seg un . Ahora 0 = id k k luego es reexiva. Si b = (a), entonces a = (b), luego es sim etrica. Ahora bien si b = k1 (a) y c = k2 (b), c = k2 +k1 (a), luego es transitiva. Ahora como es relaci on de equivalencia, sus clases, que son las o rbitas de forman un partici on de A. 1.59 Denici on (Ciclo, transposici on):

12

Cap tulo 1. Grupos i) Una permutaci on con a lo m as una o rbita de m as de un elemento es un ciclo. Si SA es un ciclo tal que la o rbita con m as de un elemento es { i (a)}i{0,1,...,n1} , notamos por (a (a) 2 (a) . . . n1 (a)), y decimos que es un n-ciclo.

ii) Una transposici on es un 2-ciclo. iii) Dos ciclos se dicen disyuntos si sus o rbitas de m as de un elemento son disyuntas. 1.60 Ejemplo. Continuando con 1.56, en S3 , = (1 2 3), 2 = (1 3 2), = (1 2), = (1 3) y 2 = (2 3). Lema 1.61 Todo n-ciclo se puede expresar como producto de n 1 transposiciones. Demostraci on: Sea SA un n-ciclo, con = (a1 a2 . . . an ). Tenemos entonces = (a1 an )(a1 an1 ) . . . (a1 a2 ). Teorema 1.62 Toda permutaci on en Sn se puede escribir como producto ciclos disyuntos. Demostraci on: Sea Sn , y {Oi }i{1,...,m} la colecci on de sus o rbitas. Sea i Sn tal que i (a) = (a) si a Oi y i (a) = a de lo contrario. As los i son ciclos disyuntos y = i{1,...,m} i (observe que como los ciclos son disyuntos no importa el orden en que los multipliquemos, por eso tenemos el derecho de usar la productoria aunque el grupo no sea abeliano). Corolario 1.63 Toda permutaci on en Sn , con n > 1, se puede expresar como producto de transposiciones. 1.64 Veamos ahora que Sn se divide en dos clases disyuntas, las permutaciones que son el producto de un n umero par de transposiciones, y las que son el producto de un n umero impar. 1.65 Denici on (Signo) Sea Sn , el signo de que notamos sg ( ), esta denido por: (i) (j ) sg ( ) = ij
1i<j n

Lema 1.66 sg ( ) es 1 o 1. Demostraci on: si i j aparece en el denominador, en el numerador aparece o bien ( 1 (i)) ( 1 (j )), o bien ( 1 (j )) ( 1 (i)). Lema 1.67 sg () = sg ( )sg ().

Grupos de permutaciones Demostraci on: sg () =

1i<j n

13

(i) (j ) (i) (j ) ij (i) (j ) (i) (j ) (i) (j ) (i) (j ) ij

=
ii<j n

ii<j n

= sg ( )sg ()
(i)(j ) (i)(j ) , (i)(j ) (i)(j ) (j )(i) (j )(i) .

sg ( ) =

ii<j n

pues

1.68 Observaci ones. i) Si Sn es una transposici on, sg ( ) = 1. ii) Si sg ( ) = sg () = 1, sg () = 1. iii) sg (id) = 1, as sg ( 1 ) = sg ( ). Teorema 1.69 Una permutaci on en Sn es el producto de un n umero par de transposiciones, o el producto de un n umero impar, pero no ambos. Demostraci on: Sea Sn , si es un producto par de transposiciones sg ( ) = 1, si es un producto impar de transposiciones sg ( ) = 1. Luego las dos posibilidades son excluyentes. 1.70 Denici on (permutaci on par, permutaci on impar, subgrupo Alternador): i) Una permutaci on Sn es par si sg ( ) = 1, impar si sg ( ) = 1. ii) El conjunto de las permutaciones pares de Sn es el grupo alternador (o alternante), y lo notamos An . 1.71 Considere un pol gono regular de n v ertices. Las rotaciones y las simetr as del pol gono que caen sobre el mismo, al etiquetar cada v ertice con un n umero del 1 al n, se pueden identicar naturalmente con un subgrupo de Sn de 2n elementos (ver gura 1.2). 1.72 Denici on (Subgrupo diedral): Al subgrupo de Sn que se puede identicar naturalmente con las rotaciones y simetr as de un pol gono regular de n v ertices en si mismo, se le llama el grupo diedral y se nota Dn . 1.73 Ejemplo: D4 = {0 , 1 , 2 , 3 , 1 , 2 , 1 , 2 }, donde 1 = (1 2 3 4), 1 = (1 2)(4 3), 2 = (1 4)(2 3), 1 = (1 3), 2 = (2 4) y, para i {0, 2, 3} i = i 1 (ver cuadro 1.6 y gura 1.3).

14 PSfrag replacements4
3 3 2 3

Cap tulo 1. Grupos

4

1
id

1234 2341

1234 2143

Figura 1.2: transformaciones del cuadrado 0 1 2 3 1 2 1 2 0 0 1 2 3 1 2 1 2 1 1 2 3 0 2 1 1 2 2 2 3 0 1 2 1 2 1 3 3 0 1 2 1 2 2 1 1 1 1 2 2 0 2 1 3 2 2 2 1 1 2 0 3 1 1 1 1 2 1 3 1 0 2 2 2 2 1 2 1 3 2 0

Cuadro 1.2: Tabla de operaci on de D4 1.74 Ejercicios: 1. Pruebe que Sn no es un grupo abeliano para n 3. 2. Si A es un conjunto, entonces un subgrupo H de SA es transitivo sobre A , si para cada a, b A existe H tal que (a) = b. Pruebe que si A no es un conjunto vac o, entonces existe un subgrupo nito c clico K de SA que es transitivo sobre A, tal que |H | = |A|. 3. Pruebe que para todo subgrupo H de Sn , con n 2, se cumple que todas las permutaciones en H son pares o bien exactamente la mitad de ellas son pares.

1.7.

Coconjuntos y el Teorema de Lagrange

1.75 Denici on (Coconjunto): Sea H G. Denimos el coconjunto izquierdo de H determinado por b, que notamos bH , por: bH := {bh : h H } , y el coconjunto derecho por Hb := {hb : h H }. Teorema 1.76 Sea H G. Entonces: i) {bH }bG es una partici on de G.

Coconjuntos y el Teorema de Lagrange

D4

15

PSfrag replacements
{0 , 2 , 1 , 2 } {0 , 1 , 2 , 3 } {0 , 2 , 1 , 2 }

{0 , 1 } {0 , 2 }

{0 , 2 }

{0 , 1 } {0 , 2 }

{0 }

Figura 1.3: ret culo de subgrupos de D4 ii) Todos los coconjuntos izquierdos de H son equipotentes. Un resultado similar se tiene para los coconjuntos derechos. Demostraci on: Dena en G la relaci on por a b si a1 b H . Como e H , 1 1 1 es reexiva. Si a b H , (a b) = b1 a H , luego es sim etrica. Si a1 b, b1 c H , a1 bb1 c = a1 c H , luego es transitiva. Entonces es relaci on de equivalencia. Suponga a [b] esto equivale a b1 a = h para alg un h H, o a = bh que es lo mismo que a bH , luego [b] = bH . Con esto concluimos i). Ahora dena f : H bH por f (h) = bh. Es claro que f es sobreyectiva, la inyectividad es consecuencia inmediata de 1.6. Luego f es un biyecci on y as H y bH son equipotentes. Para los coconjuntos derechos considere: a b : ab1 H . 1.77 Denici on (Indice): Sea H G. Denimos el indice de H como n umero de coconjuntos izquierdos de H . 1.78 Observaci ones y notaci on. i) {bH }bG lo notamos G/H , {Hb}bG lo notamos H \G ii) Al ndice de H lo notamos (G : H ). Si (G : H ) es nito, entonces (G : H ) := |G/H |. iii) Observe que |G/H | = |H \G|. iu) Si a bH , entonces aH = bH . De igual forma, si a Hb, Ha = Hb. Teorema 1.79 (Teorema de Lagrange) Sea G un grupo de orden nito. Si H G, entonces |H | | |G|, m as a un |G| = |H |(G : H ).

16 Demostraci on: Por el teorema 1.76: |G| = bH G/H |bH | = bH G/H |H | = (G : H )|H |

Cap tulo 1. Grupos

1.80 Los coconjuntos son parte fundamental de la teor a del a lgebra, toca entonces entenderlos y sentirlos. De esto se dar a cuenta el lector a lo largo de su estudio 1.81 Ejercicios: 1. Sean K H G grupos tales que (H : K ) y (G : H ) son nitos. Probar que (G : K ) = (H : K )(G : H ). 2. Sean H y K dos subgrupos nitos de un grupo G. Sea HK un subconjunto |H ||K | de G denido por HK = {hk : h H, k K }. Probar que |HK | = | H K | .

Cap tulo 2

Homomorsmos
2.1. Homomorsmos

2.1 Denici on (homomorsmo): Sean G y G dos grupos. Una funci on : G G es un homomorsmo si para todo a, b G se tiene que: (ab) = (a)(b) 2.2 Observaciones sobre denici on 2.1. i) Note que en el lado izquierdo de (2.1) la operaci on es la de G, mientras que en el lado derecho la operaci on es la de G . ii) Para todo par de grupos G, G , existe al menos un homomorsmo : G G , denominado el homomorsmo trivial denido por (g ) = e , para todo g G, donde e es el elemento identidad en G . Sin embargo, este homomorsmo trivial no nos proporciona mucha informaci on estructural sobre G y G . 2.3 Ejemplos: i) Sea r Z y sea r : Z Z denido por r (k ) = rk , para todo k Z. Entonces para todo m, n Z se tiene que r (m + n) = r(m + n) = rm + rn = r (m) + r (n). As , r es homomorsmo. Note que 0 es el homomorsmo trivial, 1 es le funci on identidad, y 1 es una funci on sobreyectiva de Z en Z. Para r = 1, r no es sobreyectiva. ii) Sea G = G1 G2 . . . Gi . . . Gn un producto directo de n grupos. La funci on proyecci on i : G Gi , denida por i : (g1 , . . . , gi , . . . , gn ) = gi es un homomorsmo para cada i {1, . . . , n}. iii) Sea : Z Zn dado por (m) = r, donde r es el residuo de la divisi on de m entre n. (2.1)

18

Cap tulo 2. Homomorsmos

2.2.

Propiedades de Homomorsmos

2.4 Denici on (Imagen, rango, imagen inversa): Sea : X Y una funci on del conjunto X al conjunto Y . Sean A X y B Y . i) La imagen [A] de A en Y bajo es el conjunto {(a) : a A}. ii) El conjunto [X ] es el rango de . iii) La imagen inversa 1 [B ] de B en X es el conjunto {x X : (x) B }. Teorema 2.5 Sea : G G un homomorsmo de grupos. Entonces: i) Si e es la identidad en G entonces (e) es la identidad e de G . ii) Si a G, entonces (a1 ) = (a)1 . iii) Si H es un subgrupo de G, entonces [H ] es un subgrupo de G . iv) Si K es un subgrupo de G , entonces 1 [K ] es un subgrupo de G. Demostraci on: Como a = ae, para todo a G, entonces (a) = (ae) = (a)(e). Ahora multiplicando a ambos lados por (a)1 a derecha, se tiene que e = (e), que es lo que dice i). Para ver ii), e = (e) = (aa1 ) = (a)(a1 ), y multiplicando a ambos lados por (a)1 a derecha se tiene (a)1 = (a1 ). Sea H G y sean (a) y (b) dos elementos en [H ]. Entonces (a)(b) = (ab), luego (a)(b) [H ] pues ab H , esto es [H ] es cerrado bajo operaci on de G . Ahora, como e = (e) y (a)1 = (a1 ) entonces [H ] G , vericando iii). Sea K G y sean a, b 1 [K ]. Entonces (a)(b) K , puesto que K es grupo. Ahora, la ecuaci on (2.1) prueba que ab 1 [K ]. As , 1 [K ] es cerrado bajo la operaci on de G. Adem as, e K luego como e = (e), entonces e 1 [{e }] 1 [K ]. Y nalmente si a 1 [K ], entonces (a) K y (a)1 K . Pero (a)1 = (a1 ) y as a1 1 [K ]. Lo que completa la demostraci on de iv). 2.6 Denici on (Fibra): Sea : G G un homomorsmo y sea a G . La imagen inversa 1 [{a }] es la bra sobre a bajo . De ahora en adelante notaremos 1 [{a }] por 1 (a ). 2.7 Nota. Como {e } es un subgrupo de G , el teorema 2.5 muestra que la bra 1 (e ) bajo un homomorsmo : G G es un subgrupo de G. Demostraremos a continuaci on que las bras de G bajo son los coconjuntos del grupo 1 (e ). As las bras de G bajo forman una partici on de G (ver gura 2.1).

PSfrag replacements

Propiedades de Homomorsmos
G
Ker () e a 1 (x ) b

19

G
e (a) (b) x

Figura 2.1: Fibras y Kernel 2.8 Denici on (Kernel): Sea : G G un homomorsmo, y e el neutro en G. El kernel de es la bra sobre e bajo , y lo notamos Ker(). Formalmente:

Ker() := {g G : (g ) = e } Teorema 2.9 Sean : G G un homomorsmo, H = Ker() y a G. Entonces la bra sobre (a) bajo es el coconjunto izquierdo aH de H, y es el coconjunto derecho Ha de H . Como consecuencia, las dos particiones de G en coconjuntos izquierdos y derechos de H son la misma. Demostraci on: Se desea probar que {g G : (g ) = (a)} = aH . Suponga que a, g G son tales que (g ) = (a). Entonces (a)1 (g ) = e , donde e es la identidad en G . Por el teorema 2.5, sabemos que (a)1 = (a1 ), y entonces se tiene (a1 )(g ) = e . Adem as, como es homomorsmo, (a1 )(g ) = (a1 g ), luego (a1 g ) = e . Esto es a1 g H , o a1 g = h, para alg un h H , luego g = ah aH . As {g G : (g ) = (a)} aH . Para comprobar la inclusi on opuesta, considere g aH , entonces g = ah para alg un h H . Esto implica (g ) = (ah) = (a)(h) = (a)e = (a). As g {g G : (g ) = (a)}, luego aH {g G : (g ) = (a)}. Una demostraci on similar demuestra el mismo resultado para coconjuntos derechos. Corolario 2.10 Un homomorsmo : G G es inyectivo si y s olo si Ker() = {e}. Demostraci on: Suponga que Ker() = {e}, entonces si a, g G son tales que (a) = (g ), g aKer(). Pero aKer() = a{e} = {a}. Luego g = a. Para demostrar la implicaci on inversa, suponga que es inyectiva. Por el teorema 2.5 (e) = e , la identidad de G . Pero es inyectiva, luego el u nico elemento enviado a e por es e, luego Ker() = {e}.

20

Cap tulo 2. Homomorsmos

2.3.

Subgrupos normales

2.11 Denici on (Subgrupo normal): Un subgrupo H de G es normal si sus coconjuntos derechos e izquierdos coinciden, lo que notaremos por H G. Es decir: H G : g G, gH = Hg

2.12 Observaci on. Todo subgrupo de un grupo abeliano es normal. Corolario 2.13 (al Teorema 2.9) Ker() mo con dominio G. Teorema 2.14 H G para cualquier homomors-

G (h, g ) H G, ghg 1 H

Demostraci on: Suponga que H G. Sea h H y g G. Como gh gH y por denici on gH = Hg , entonces gh = h g , para alg un h H . Luego ghg 1 = h , esto implica ghg 1 H . Ahora suponga que para todo h H y para todo g G, ghg 1 H . Considere alg un g G. Sea gh gH , con h H , as ghg 1 H , o ghg 1 = h , para alg un h H , luego gh = h g Hg . As gH Hg . De forma similar establecemos Hg gH . Luego gH = Hg . Corolario 2.15 H G g G, gHg 1 = H

2.16 Nota. Frecuentemente consideraremos la caracterizaci on del teorema 2.14 y de su corolario 2.15 para hacer demostraciones. 2.17 Ejemplo: Sea S3 el grupo sim etrico sobre {1, 2, 3} y sea H el subgrupo que consiste de la permutaci on identidad y de la transposici on (1 2). Entonces H no es normal pues (2 3)1 (1 2)(2 3) = (2 3)(1 2)(2 3) = (1 3) y (1 3) / H. Lema 2.18 Sea H G y sean g1 , g2 G. Entonces g1 Hg2 H = (g1 g2 )H .

Demostraci on: g2 H = Hg2 as : g1 Hg2 H = g1 (Hg2 )H = g1 (g2 H )H = (g1 g2 )H . Teorema 2.19 Sea H G. Entonces el conjunto de todos los coconjuntos de H en G es un grupo bajo la operaci on que a (g1 H, g2 H ) le asocia (g1 g2 )H . El elemento identidad de este grupo es H , y el inverso de gH es g 1 H , para cualquier g G. Demostraci on: Por el lema anterior el conjunto de los coconjuntos es cerrado bajo la operaci on. Sea g G. El subgrupo H es un coconjunto de H pues H = eH . Adem as, gHH = gHeH = (ge)H = gH , HgH = eHgH = (eg )H = H , gHg 1 H = (gg 1 )H = eH = H y nalmente g 1 HgH = (g 1 g )H = eH = H . As , el conjunto de todos los coconjuntos de H es un grupo.

Isomorsmos y el Teorema de Cayley

21

2.20 Observaci on. Es interesante en este momento observar que el resultado anterior es otra forma de caracterizar los grupos normales, es decir un subgrupo es normal si y s olo la operaci on del teorema anterior resulta bien denida. Formalmente: Sea B = {Bi }iI una partici on de G tal que (Bi , Bj ) Bi Bj es una operaci on bien denida de B B en B. Entonces B0 , la clase de e es un subgrupo normal de G, B = G/B0 y la operaci on es (g1 B0 , g2 B0 ) (g1 g2 )B0 (ver ejercicio ??). Teorema 2.21 Sean K, N G, con N i) N K ii) N K G. Entonces:

<N K >

iii) N K =< N K >= KN iv) si K G y N K = {e}. Entonces: nk = kn, (n, k ) K N

Demostraci on: Como N G entonces por la caracterizaci on 2.14, gng 1 N , para todo n N y g G. Luego si n N K N y k K , knk 1 N . As knk 1 N K , pues knk 1 K , de donde i) es vericado. Como N < N K >, ii) es trivialmente concluido seg un el teorema 2.14. Para demostrar iii), observe primero que N K < N K >, con lo cual u nicamente debemos ver que < N K > N K . Ahora, un elemento h < N K > es un producto de la forma n1 k1 n2 k2 . . . nr kr , con ni N y ki K , para i {1, . . . , r}. Como N G, entonces, como se vi o en la demostraci on de 2.14, si k K y n N , kn = n k para alg un n N . En t erminos pr acticos esto es, podemos correr los ki s hacia la izquierda y as h = n(k1 k2 . . . kr ), para alg un n N , luego h N K , de forma similar h KN . Y as la inclusi on que faltaba es vericada. Suponga las hip otesis adicionales para iv), y sean k K y n N . Entonces nkn1 K y kn1 k 1 N , luego (nkn1 )k 1 K y n(kn1 k 1 ) N , pero N K = {e} luego nkn1 k 1 = e o nk = kn. Teorema 2.22 Sean H, K G, entonces |HK | |H K | = |H | |K |, y as (H : H K ) = |HK |/|K | si H y K son nitos. Demostraci on: Dena la relaci on de equivalencia en H K por (h, k ) (h , k ) si hk = h k , esto es si (h )1 h = k k 1 , o mas a un si (h , k ) = (gh, gk 1 ) para alg un g H K . Entonces cada una de las |HK | clases de equivalencia es de tama no |H K |. Ahora considere f : H K/ HK denida por f ([(h, k )] ) = hk . As , f es biyectiva y |HK | |H K | = |H | |K |.

2.4.

Isomorsmos y el Teorema de Cayley

2.23 Denici on (Isomorsmo): Un isomorsmo es un homomorsmo biyectivo.

22

Cap tulo 2. Homomorsmos

Teorema 2.24 Sea C una colecci on de grupos, y dena la relaci on en C por G G si existe un isomorsmo : G G . Tenemos que es una relaci on de equivalencia sobre C . Demostraci on: La identidad es un isomorsmo, luego es reexiva. Si : G G es un isomorsmo, su inversa tambi en, luego es sim etrica. La composici on de dos isomorsmos es un isomorsmo, luego es transitiva. 2.25 Observaci ones. i) Toda colecci on de grupos se puede particionar mediante la relaci on .

ii) La estructura de dos grupos isomorfos es la misma, luego podemos identicarlos como uno solo, pues su u nica diferencia es el nombre de los elementos. 2.26 Para probar que dos grupos G y G son isomorfos debemos: i. Denir una funci on : G G ii. Probar que es un homomorsmo. iii. Probar que es biyectiva. Note lo u til que puede resultar el corolario 2.10 al teorema 2.9 para probar iii.. Teorema 2.27 Todo grupo c clico innito es isomorfo a < Z, + >. Demostraci on: Sea a un generador de G, as G = {an : n Z}. Dena : n n m G Z por (a ) = n. Ahora (a a ) = (an+m ) = n + m = (an ) + (am ). Finalmente observe que (an ) = 0 si y s olo si n = 0, luego es inyectiva, y adem as dado n Z, (an ) = n, luego es sobreyectiva. Teorema 2.28 (Teorema de Cayley) Todo grupo es isomorfo a un subgrupo de un grupo de permutaciones. Demostraci on: Sea G un grupo y SG es grupo sim etrico sobre G. Si a G dena a : G G por a (g ) = ag . Ahora si a (g ) = a (g ) entonces ag = ag luego g = g , y a (a1 g ) = g , as vemos que a es una permutaci on, pues es una biyecci on. 1 Sea G = {a : a G}, como = a1 y e = Id entonces G SG . Y a as mismo vemos que g g es un isomorsmo. 2.29 Observaci on. El teorema de Cayley parece decir algo bastante general. Pero en la teor a que estamos estudiando ac a no es de mucha utilidad.

Grupo Factor

23

2.5.

Grupo Factor

2.30 En el teorema 2.19 vimos que si H G entonces el conjunto de los coconjuntos de H bajo la operaci on (aH, bH ) abH es un grupo. Esto motiva la siguiente: 2.31 Denici on (Grupo factor): Sea G un grupo. Dado H G el grupo de los coconjuntos de H bajo la operaci on (aH, bH ) abH es el grupos factor de G m odulo H . Lo notaremos G/H . 2.32 Observaci on. Seg un el corolario 2.13 dado un homomorsmo con kernel H , podemos denir el grupo factor de G m odulo H . Este grupo factor jugar a un rol supremamente importante en el resto de la teor a, como empezaremos vi endolo en el teorema fundamental del homomorsmo (ver teorema 2.36). 2.33 Ejemplo: Z4 Z2 es abeliano, luego todos sus subgrupos son normales, en particular {0} Z2 . Entonces (Z4 Z2 )/({0} Z2 ), es un grupo y adem as es tambi en abeliano, y as lo podemos clasicar de acuerdo al teorema de los grupos abelianos nitamente generados (teorema 1.48). Ahora, Z4 Z2 = {(0, 0), (0, 1), (1, 0), (1, 1), (2, 0), (2, 1), (3, 0), (3, 1)} y {0} Z2 = {(0, 0), (0, 1)} si podemos G = Z4 Z2 y H = {0} Z2 H1 = H + (1, 0) = {(1, 0), (1, 1)} H2 = H + (2, 0) = {(2, 0), (2, 1)} H3 = H + (3, 0) = {(3, 0), (3, 1)} tenemos G/H = {H, H1 , H2 , H3 }, as como G/H tiene cuatro elementos, solo hay dos alternativas: G/H Z2 Z2 o G/H Z4 . Pero G/H =< H1 > luego es c clico, y as es isomorfo Z4 .

2.6.

Teorema Fundamental del Homomorsmo

Lema 2.34 Si H G, : G G/H denida por (g ) = gH es un homomorsmo con kernel H . Demostraci on: Es consecuencia directa del teorema 2.19. 2.35 Denici on (proyecci on can onica): Si H G, a H : G G/H denida por (g ) = gH la llamamos proyecci on can onica, o homomorsmo can onico, de kernel H .

24

Cap tulo 2. Homomorsmos

Teorema 2.36 (Teorema Fundamental del Homomorsmo) Sea : G G un homomorsmo con kernel H . Entonces la funci on : G/H [G] tal que = H , es un isomorsmo. Demostraci on Sean g, g G tales que gH = g H , as g 1 g H esto equivale 1 1 a (g ) (g ) = (g g ) = e . Esto es (g ) = (g ), entonces podemos denir por (gH ) := (g ). Pero H (g ) = gH , luego = H . Ahora por el teorema 2.19 es un homomorsmo. Es evidente que es sobreyectivo, y la inyectividad la podemos deducir de la equivalencia entre gH = g H y (g ) = (g ). As es isomorsmo. Su unicidad es evidente, pues si : G/H [G] es tal que = H , (gH ) = (g ). Corolario 2.37 Si : G G es un homomorsmo sobreyectivo con kernel H , G/H G . 2.38 Observaci on. El teorema fundamental del homomorsmo nos habla de la din amica del grupo G: si tenemos un homomorsmo sobreyectivo de G en G con kernel H , podemos descomponer la operaci on de G en dos partes una primera que tiene la din amica de H con consecuencias en otra despu es que tiene la de G . Por ejemplo sea a, c G, b aH con b = ah y d cH con d = ch, entonces bd acH y si h H es tal que ch = h c, bd = ac(h h) (ver gura 2.2). Una visualizaci on de esto es la operaci on de suma en los reales que se puede descomponer en una parte decimal y en otra entera (1, 75 0, 75 + Z, PSfrag replacements 2, 43 0, 43 + Z, 4, 18 = 1, 75 + 2, 43 1, 18 + Z = 0, 18 + Z).

bd = ac(h h)
acH . . . aH

uv

b = ah

cH

v d = ch
. . .

h h
H

e h

h
G G

Figura 2.2: Teorema Fundamental del Homomorsmo

C alculo de Grupo Factor

25

2.7.

C alculo de Grupo Factor

2.39 Ejemplos: i) El subgrupo trivial {0} de Z es un subgrupo normal. Calculemos Z/{0}. Como N = {0} tiene u nicamente un elemento, todo coconjunto de N tiene un solo elemento. Es decir, los coconjuntos son de la forma {m} para alg un m entero. As Z/{0} Z ii) Sea n N . El conjunto nR = {nr : r R} es un subgrupo de R con la adici on. nR es normal puesto que R es abeliano. Calculemos R/nR. x x ) con n R. De ah que para Note que cada x R es de la forma n( n cualquier x R tenemos que x nR. Entonces nR = R y en consecuencia R/nR consta de un u nico elemento, a saber, nR. A nR/R no le queda mas alternativa que ser el grupo trivial. 2.40 Observaci on. Por el teorema fundamental del homomorsmo, podemos pensar en el grupo factor G/H como un grupo en el cual cada coconjunto de H colapsa a un s olo elemento. En particular H colapsa a un neutro. Como acabamos de ver el colapso puede variar de inexistente (cuando H = {e}), a catastr oco (cuando H = G). Es claro que estos dos tipos de colapsos no nos proporcionan mayor informaci on sobre la din amica en G. 2.41 Ejemplos: i) Comencemos observando lo siguiente: Si G es un grupo nito y G/N tiene solo dos elementos, entonces |G| = 2|N |. Note adem as que cualquier subgrupo conteniendo la mitad de los elementos de G es forzosamente normal, puesto que dado a G, a esta en H o no esta en H . En el primer caso se tendr a a H, aH = H = Ha, y en el segundo a / H, aH = Ha forzosamente. Ahora bien, como sabemos que |Sn | = 2|An |, entonces el grupo alternante An es un subgrupo normal de Sn y el grupo cociente tiene dos elementos. Sabiendo que cualquier grupo de orden dos es isomorfo a Z2 conocemos completamente la operaci on en Sn /An . Tomando / An una permutaci on impar y si renombramos An por impar y An por par vericamos la siguiente propiedad de la dinam amica de Sn : (par)(par) = par (impar)(par) = impar (par)(impar) = impar (impar)(impar) = par Vemos como conocimiento acerca de la operaci on en el grupo factor S n /An reeja una propiedad de la operaci on en Sn . ii) El rec proco del teorema de Lagrange no es cierto. Veamos que no es cierto que k | |G| implique que exista alg un H G tal que |H | = k . Mostraremos que A4 no tiene subgrupos de orden seis. Suponga por contradicci on que H es un subgrupo de A4 de orden seis. Como |A4 | = 12, H es normal. As A4 /H tiene solo dos elementos H y H para alg un

26

Cap tulo 2. Homomorsmos / H . Como en un grupo de orden dos el cuadrado de todo elemento es la identidad, entonces HH = H y HH = H . Ahora, el producto en el grupo factor se puede lograr mediante el producto de elementos representativos de los los coconjuntos, luego tenemos que para cualquier A4 , 2 H . Pero en A4 se tiene (123) = (132)2 y (132) = (123)2 luego (123) y (132) est an en H . De la misma forma se verica que (124), (142), (134), (143), (234) est an todos en H . Esto muestra que H tiene al menos ocho elementos, contradiciendo la hip otesis de que H tenia seis elementos.

iii) Calculemos el grupo factor Z4 Z6 / < (0, 1) >. Sea H =< (0, 1) >, as H = {(0, 0), (0, 1), (0, 2), (0, 3), (0, 4), (0, 5)} Como H tiene 6 elementos, todos los coconjuntos de H tambi en deben tener 6 elementos y |(Z4 Z6 )/H | = 4. Como Z4 Z6 es abeliano, entonces Z4 Z6 /H tambi en. Los coconjuntos de H en Z4 Z6 son: H = (0, 0) + H H1 = (1, 0) + H H2 = (2, 0) + H H3 = (3, 0) + H As Z4 Z6 / < (0, 1) > es c clico, luego es isomorfo a Z4 . Teorema 2.42 Sea G = H K el producto de dos grupos H y K . Entonces = {(h, e) : h H } es un subgrupo normal de G. Adem es isomorfo H as, G/H a K . Similarmente, G/K H Demostraci on: Considere el homomorsmo 2 : H K K , donde 2 (h, k ) = y 2 es sobreyectiva, el teorema 2.36 nos dice que k . Como Ker(2 ) = H H K/H K . Teorema 2.43 Un grupo factor de un grupo c clico es c clico. Demostraci on: Sea G =< a >, y N G. As N G, y c omo a genera todo G, aN genera todo G/N . Luego G/N =< aN > es c clico. 2.44 Observaci on. Ya vimos que un grupo factor de un grupo no c clico bien podra ser c clico (por ejemplo, Sn /An , para n 3). El teorema 2.42 nos muestra como algunos grupos factor colapsan separadamente, este no siempre es el caso como lo veremos ahora mismo. 2.45 Ejemplos: i) Calculemos Z4 Z6 / < (0, 2) >. Sea H =< (0, 2) >= {(0, 0), (0, 2), (0, 4)}. En primera instancia note que Z4 Z6 es abeliano, luego el grupo factor tambi en es abeliano, y como |H | = 3, es de orden 8. Usando el teorema fundamental de los grupos abelianos nitamente generados, sabemos que

Grupos simples

27

el grupo factor debe ser isomorfo a uno de los siguientes grupos: Z8 , Z4 Z2 o Z2 Z2 Z2 . Con un poco de paciencia calculamos los coconjuntos: H = (0, 0) + H = {(0, 0), (0, 2), (0, 4)} H1 = (0, 1) + H = {(0, 1), (0, 3), (0, 5)} H2 = (1, 0) + H = {(1, 0), (1, 2), (1, 4)} H3 = (1, 1) + H = {(1, 1), (1, 3), (1, 5)} y los subgrupos generados son: < H1 < H2 < H3 < H4 < H5 < H6 < H7 >= {H, H1 } >= {H, H2 , H4 , H6 } >= {H, H3 , H4 , H7 } >= {H, H4 } >= {H, H5 } >=< H2 > >=< H3 > H4 H5 H6 H7 = (2, 0) + H = (2, 1) + H = (3, 0) + H = (3, 1) + H = {(2, 0), (2, 2), (2, 4)} = {(2, 1), (2, 3), (2, 5)} = {(3, 0), (3, 2), (3, 4)} = {(3, 1), (3, 3), (3, 5)}

Como no hay ning un elemento de orden 8, entonces no puede ser isomorfo a Z8 . Como no todo elemento tiene orden 2, entonces tampoco lo puede ser a Z2 Z2 Z2 . Entonces no quedendo m as alternativa, es isomorfo a Z4 Z2 . Este es un ejemplo de como los coconjuntos colapsan separadamente. ii) Calculemos el grupo factor (Z4 Z6 )/ < (2, 3) >. Sea H =< (2, 3) >, entonces H = {(0, 0), (2, 3)}. Como H es de orden 2, entonces (Z4 Z6 )/H es de orden 12. Se podr a cometer el error de pensar que Z4 y Z6 separadamente colapsan en grupos isomorfos a Z2 y que y entonces el grupo factor ser a isomorfo a Z2 Z2 . De esta manera el grupo factor tendr a orden 4 y no 12 como de hecho es. Tenga cuidado en no pensar que los factores siempre colapsan separadamente!! Ahora bien, los grupos abelianos de orden 12 son: Z4 Z3 (que es isomorfo a Z12 ), Z6 Z2 y Z2 Z2 Z3 . Adem as Z4 Z3 es el u nico que tiene un elemento de orden 4. Probaremos que el coconjunto (1, 0) + H es un elemento de orden 4. Para encontrar la potencia mas peque na de un coconjunto que de la identidad, basta escoger la potencia mas peque na del representante que este en H . Ahora, 4(1, 0) = (1, 0) + (1, 0) + (1, 0) + (1, 0) = (0, 0). Por lo tanto (Z4 Z6 )/H tiene un elemento de orden 4 y as es isomorfo a Z4 Z3 .

2.8.

Grupos simples
G, [N ] [G]. Si

Teorema 2.46 Sea : G G un homomorsmo. Si N N [G], 1 [N ] G.

Demostraci on: Sean N GyN [G]. [N ] [G] y 1 [N ] G por el teorema 2.5. Ahora si ((g ), (n)) [G] [N ], gng 1 N y (gng 1 ) = (g )(n)(g )1 [N ], luego [N ] [G]. Por otro lado si g, n G 1 [N ], (gng 1 ) = (g )(n)(g )1 N y gng 1 1 [N ], luego 1 [N ] G.

28

Cap tulo 2. Homomorsmos

2.47 Ejemplo: En S3 considere = (2 3). Dena el homomorsmo : Z2 S3 por (0) = 0 y (1) = . Ahora bien Z2 Z2 , pero {id, } = [Z2 ] no es subgrupo normal de S3 , como ya se vio previamente. 2.48 Observaciones. i) Como lo muestra el ejemplo anterior, a un si N subgrupo normal de G . G, [N ] puede no ser

ii) Sabiendo que construir grupos factor nos ilustra sobre la din amica del grupo, podemos preguntarnos en que condiciones un grupo no admite sino colapsos triviales. 2.49 Deniciones (Grupo simple, subgrupo normal maximal): i) Un grupo G es llamado simple si su u nico subgrupo propio normal es {e}. ii) Un subgrupo propio normal M de G es llamado maximal, si: N GM <N N =G

2.50 Observaciones a la denici on 2.49. i) Semejante a los n umeros primos, el grupo trivial no es simple. ii) Un subgrupo es normal maximal si y s olo si el u nico subgrupo normal que lo contiene propiamente es todo el grupo. Teorema 2.51 M es un subgrupo normal maximal de G si y s olo si G/M es simple. Demostraci on: Sea M un subgrupo normal maximal de G. Considere la proyecci on can onica M , y tome N G/M . Ahora, por el teorema 2.46, 1 [N ] G. 1 Entonces si N = {M }, [N ] = Ker(M ) = M , de lo contrario M < 1 (N ) lo cual implica 1 (N ) = G, y as N = G/M . As el u nico subgrupo propio normal de G/M es {M }. Para vericar el converso, suponga que G/M es simple, y tome N G tal que M < N . As M [N ] G/M y N = {M }, luego M [N ] = G/M . Entonces N es un subgrupo de G que contiene a M y a un representante de cada coconjunto de M , luego N = G. As M es normal m aximal.

2.9.

El centro y el conmutador

2.52 Todo grupo tiene dos subgrupos normales importantes, el centro y el conmutador, que nos indican de cierto modo que tan abeliano es G. Por un lado nos podemos preguntar qu e elementos conmutan en G, y por otro, c omo podriamos abelianizar G (i.e encontrar un grupo factor de G abeliano y parecido a G).

El centro y el conmutador

29

2.53 Notaci on. Dados a, b G notaremos aba1 b1 por [a : b] y lo llamaremos conmutador de a y b. Teorema 2.54 K = {z G : zg = gz, g G} y H =< {[a : b] : a, b G} > son subgrupos normales de G. Demostraci on: Comencemos con K , si g G, eg = ge, luego e K . Ahora si k1 , k2 K y g G, k1 g = gk1 , as multiplicando a izquierda y derecha 1 1 1 1 por k1 obtenemos, gk1 = k1 g , luego k1 K , y k1 k2 g = k1 gk2 = gk1 k2 , as k1 k2 K . Entonces K G. Ahora sea (g, k ) G K . Entonces si g G, (gkg 1 )g = kg = g k = g (gkg 1 ), luego gkg 1 K . As K G. Ahora preocupemonos por H . H G por denici on. Si a, b G, e = [a : a] H , [a : b]1 = [b : a] H . Luego por el teorema 1.38, H consiste de todos los productos nitos de conmutadores. Si x, y, g G, gxyg 1 = (gxg 1 )(gyg 1 ), entonces concluiremos que H es normal si g [x : y ]g 1 es un producto de conmutadores. Pero, g [x : y ]g 1 = gxyx1 y 1 g 1 = gxyx1 (g 1 y 1 yg )y 1 g 1 = ((gx)y (gx)1 y 1 )(ygy 1 g 1 ) = [gx : y ][y : g ]

luego H

G.

2.55 Deniciones (Centro y conmutador): i) El centro de G es el subgrupo Z (G) denido por: Z (G) := {z G : zg = gz, g G} ii) El conmutador de G es el subgrupo C (G ) denido por: [G : G] :=< {[a : b] : a, b G} > 2.56 Observaci on: En el caso en que G es abeliano, su centro es todo G y su conmutador es {e}. Bajos estas condiciones estos subgrupos, como se pod a esperar, no son de mucha utilidad. 2.57 Ejemplo: Por vericaci on (continuando el ejemplo 1.56), vemos que Z (S3 ) = {id} Teorema 2.58 Sea G un grupo: i) G/[G : G] es abeliano. ii) G/N es abeliano si y s olo si [G : G] N

30

Cap tulo 2. Homomorsmos

Demostraci on: Sean a, b G, como [a : b] [G : G], ab(ba)1 [G : G] = [G : G], luego ab[G : G] = ba[G : G]. As G/[G : G] es abeliano. Ahora suponga que G/N es abeliano, esto equivale a: para todo a, b G, abN = baN ; que sucede si y s olo si [a : b] = ab(ba)1 N para todo a, b G, que es [G : G] N . 2.59 Ejemplo: S3 /A3 es abeliano luego [G : G] A3 . Con la notaci on de 1.56, [ : ] = 2 = = 2 y [2 : ] = 2 = 2 = = . Luego A3 [G : G]. Concluimos que [G : G] = A3 .

2.10.

Ejercicios

1. Sea : G G un homomorsmo de grupos. Pruebe que: (a) Si |G| es nito, entonces |[G]| es nito y es un divisor de |G|. (b) Si |G | es nito, entonces |[G]| es nito y es un divisor de |G |. 2. Pruebe que todo homomorsmo : G G donde |G| es un primo debe ser o bien el homomorsmo trivial o bien un homomorsmo inyectivo. 3. Sea G un grupo y sea g un elemento jo de G. Pruebe que la aplicaci on ig : G G denida por ig (x) = gxg 1 es un isomorsmo de grupos. (Un isomorsmo de un grupo G en si mismo es llamado un automorsmo de G. El automorsmo ig es llamado el automorsmo interno de G por g ). 4. Sea H un subgrupo de un grupo G. Pruebe que H G si y solo si ig [H ] = H , para todo g G. (Es decir, H es normal en G si y solo si H es invariante bajo todos los automorsmos internos de G). 5. Un subgrupo H es dicho conjugado con un subgrupo K de un grupo G si existe un automorsmo interno ig de G tal que ig [H ] = K . Pruebe que la conjugaci on es una relaci on de equivalencia sobre la colecci on de subgrupos de G. 6. Sea H un subgrupo normal de un grupo G, y sea m = (G : H ). Pruebe que am H para todo a G. 7. Pruebe que la intersecci on de subgrupos normales de un grupo G es un subgrupo normal de G. 8. Pruebe que si un grupo G tiene exactamente un solo subgrupo H de un orden dado, entonces H G. 9. Pruebe que si H y N son subgrupos de un grupo G, donde N es normal en G, entonces H N es normal en H . Pruebe con un ejemplo que H N no es necesariamente normal en todo G.

Ejercicios

31

10. Pruebe que el conjunto de todos los automorsmos de un grupo G forman un grupo bajo la operaci on de composici on.( Dicho grupo se denota por AUT(G)). 11. Pruebe que los automorsmos internos de un grupo G forman un subgrupo normal de AUT(G). (Pruebe primero que el conjunto de los automorsmos internos de G es un subgrupo de AUT(G)). 12. Sean G y G dos grupos y sean H y H subgrupos normales de G y G respectivamente. Sea un homomorsmo de G en G tal que [H ] H . Pruebe que induce un homomorsmo natural : G/H G /H . 13. Pruebe que si un grupo nito G contiene un subgrupo propio de ndice 2 en G, entonces G no es simple. 14. Pruebe que si un grupo G no es abeliano, entonces el grupo factor G/Z (G) no es c clico. 15. Use el ejercicio anterior para probar que un grupo G no abeliano de orden pq , donde p y q son primos, tiene un centro trivial.

32

Cap tulo 2. Homomorsmos

Cap tulo 3

Conjugaci on
3.1. Elementos y subgrupos conjugados

3.1 Denici on (Elementos conjugados): Dos elementos k, h de un mismo grupo G son conjugados si k = ghg 1 para alg un g G. 3.2 Observaciones a la denicici on 3.1. i) La relaci on ser conjugados es una relaci on de equivalencia en el grupo, la vericaci on de esta trivialidad se le deja al lector. Las clases de equivalencia de esta relaci on las denominaremos clases de conjugaci on y la ]. notaremos [h ii) La clase de conjugaci on de la identidad contiene solamente a la identidad. Adem as es la u nica clase de conjugaci on que es un grupo, ya que las otras no contienen a la identidad. iii) Un grupo es abeliano si y s olo si todas sus clases de conjugaci on son conjuntos unipuntuales (ejercicio). 3.3 Denici on (Centralizador): Sea G un grupo y h G. El Centralizador de h, que notaremos C (h), esta denido por: C (h) := {g G : hg = gh} 3.4 Ejemplo: Considere S3 , el grupo de permutaciones sobre el conjunto {1, 2, 3}. Sea h = (1 2). Entonces, el centralizador de h es C (h) = {id, (1 2)}. Claramente C (h) S3 , pero C (h) no es subgrupo normal en S3 pues (1 3)(1 2)(1 3)1 = (2 3). 3.5 Observaci on. El Centralizador de h son justamente los elementos de G que conmutan con h. Evidentemente e C (h), ahora si g, g C (h) entonces hgg = ghg = gg h, esto es gg C (h). Lo anterior muestra que C (h) G. El

34

Cap tulo 3. Conjugaci on

centralizador tiene apariencia de ser un subgrupo normal, aunque el ejemplo anterior muestra que no siempre es el caso. Pero, aunque C (h) no es subgrupo normal, si podemos denir las siguientes aplicaciones que ser an de gran utilidad en el futuro: 3.6 h : G G g hgh1 Note que si hgh1 = hg h1 entonces g = g y si g = h1 gh entonces hg h1 = g , luego h es una biyecci on. Ademas para g, g G arbitrarios hgg h1 = 1 1 (hgh )(hg h ), luego h es isomorsmo de G en G (es decir, h es un automorsmo de G). Ahora bien, si b g C (h) entonces b = gk para alg un k C (h) as bhb1 = 1 1 1 1 gkh(gk ) = gkhk g = ghg . Luego: fh : G/C (h) G g C (h) g (h) esto es fh (g C (h)) = ghg 1 , esta bien denida. Note que fh no es necesariamente un homomorsmo pues G/C (h) no tiene porque tener estructura de grupo, puesto que C (h) no es necesariamente normal en G. ]| = (G : C (h)). Teorema 3.7 Sea G un grupo nito, y h G. Entonces: |[h Demostraci on: Es claro que para demostrar esto basta ver que la aplicaci on ]. fh denida en 3.6 es biyectiva, ya que cuando g recorre G, fh (g ) recorre [h Suponga que fh (aC (h)) = fh (bC (h)), esto es aha1 = bhb1 o b1 ah = hb1 a, 1 ] as luego b a C (h) lo que equivale a aC (h) = bC (h). Ahora sea a [h a= ghg 1 para alg un g G, luego g (h) = a o fh (g C (h)) = a. 3.8 El hecho que g sea un isomorsmo, implica que si H G entonces gHg 1 G, lo que nos sugiere expandir nuestra relaci on de ser conjugados a la siguiente, que tambi en es de equivalencia: 3.9 Denici on (Subgrupos conjugados): Dos subgrupos H, K de un mismo grupo G son conjugados si K = gHg 1 para alg un g G.

3.2.

An para n 5 es simple

3.10 Recordemos los siguientes resultados ya obtenidos: i) Toda permutaci on de un conjunto nito es la permutaci on identidad, un ciclo, o un producto de dos o m as ciclos disyuntos.

An para n 5 es simple

35

ii) Toda permutaci on de un conjunto nito con m as de un elemento puede expresarse como un producto nito de transposiciones. iii) Una permutaci on de un conjunto nito es un producto o bien de un n umero par de transposiciones o bien de un n umero impar de transposiciones, pero no las dos. iu) Un n-ciclo es, par si n 1 es par; impar si n 1 es impar. u) Toda permutaci on par de un conjunto nito con al menos tres elementos puede expresarse como un producto de 3-ciclos. ((a b)(a c) = (a b c), (a b)(c d) = (a c b)(a c d)) Lema 3.11 Si k n 2 es impar, todos los k -ciclos en An pertenecen a una misma clase de conjugaci on. Demostraci on: Sea k como en las hip otesis. Demostraremos que todo k -ciclo es conjugado de h = (1 2 . . . k ). Considere un ciclo k = (m1 m2 . . . mk ) en An . Sea g An tal que g (i) = mi (Por qu e existe un tal elemento en An ?). As g 1 (mi ) = i. Ahora si i k 1, ghg 1 (mi ) = gh(i) = g (i + 1) = mi+1 y ghg 1 (mk ) = gh(k ) = g (1) = m1 . Pero si d {1, . . . , n} es tal que d = mi , para todo i {1, . . . , k }, g 1 (d) k + 1, y as hg 1 (d) = g 1 (d) entonces 1 1 ghg (d) = d. Luego ghg = k , esto es k y h son conjugados. 3.12 Observaci on: A4 no es simple. Considere V4 := {id, (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)} Sea g A4 , entonces g (1 2)(3 4)g 1 = (g (1) g (2))(g (3) g (4)) es un elemento de V4 y algo similar sucede con las otras dos permutaciones de V4 diferentes a la identidad. Luego V4 A4 . (Ejercicio: pruebe que V4 es el u nico subgrupo normal propio no trivial de A4 ). Lema 3.13 Sea n 5 y N An no trivial. Entonces, existen g N \{id} y a {1, 2, . . . , n}, tales que g (a) = a. Demostraci on: Dividimos la prueba en dos casos: uno, todo elemento h N es tal que h2 = id; dos, el caso en que no. Suponga que primero que no, y sean h N y a {1, 2, . . . , n} tales que h2 (a) = a. Sea b = h(a), c = h(b), as a, b y c son distintos. Ahora como n 5, existen otros dos elementos d, e distintos a los tres anteriores. Sea h = (c d e)h(c d e)1 as h N y h (a) = b, h (b) = d. Luego h = h y si g = h1 h , entonces g N , donde g no es la identidad y g (a) = a. Ahora suponga el otro caso, y sea h N \{id} y a {1, 2, . . . , n} tal que h(a) = a. Sea b = h(a). Ahora como h es par h = (a b) y as existen dos elementos m as c y d, distintos, tales que h(c) = d. Sea e un quinto elemento distinto de a, b, c, y d, y sea h = (c d e)h(c d e)1 . Entonces h N es tal que h (a) = b y h (d) = e luego h = h y si g = h1 h , entonces g N , donde g no es la identidad y g (a) = a.

36 Lema 3.14 Sea n 5 y N

Cap tulo 3. Conjugaci on An . Si N contiene un 3-ciclo, N = An .

Demostraci on: Por el lema 3.11 si N contiene un 3-ciclo, al ser normal tambi en contiene los demas 3-ciclos. Ahora por 3.10 u), estos generan An . Teorema 3.15 Si n 5, An es simple. Demostraci on: Procederemos por inducci on sobre n. Sea N A5 no trivial. Por el lema 3.13, existen g N \ {id} y a {1, . . . , 5} tales que g (a) = a. Sea h A5 tal que h(a) = 5, y g = hgh1 , luego g (5) = 5 y g N \ {id}. Dena H = {g A5 : g (5) = 5}, as H G y H A4 . Luego N H H , y g N H , y como el u nico subgrupo propio no trivial normal de A4 es V4 , {(1 2)(3 4), (1 3)(2 4), (1 4)(2 3)} N H . Ahora (1 2)(4 5) = (3 4 5)(1 2)(3 4)(3 4 5)1 , luego (1 2)(4 5) N . Adem as (3 4 5) = (1 2)(3 4)(1 2)(4 5), as (3 4 5) N . Entonces por el lema 3.14, N = A5 . Sea n > 5. Suponga que An1 es simple. Sea N An no trivial y H = {g An : g (n) = n}. Por el lema 3.13, existen g N \ {id} y a {1, . . . , n} tales que g (a) = a. Sea h An tal que h(a) = n, y g = hgh1 , luego g (n) = n y g N \ {id}. Luego N H H , y g N H , entonces N H = H , pues H An1 y An1 es simple, as N contiene un 3-ciclo y entonces por el lema 3.14, N = An . 3.16 Observaciones. i) Actualmente debe ser claro para el lector lo elegante de la conjugaci on 1 ( a b ), entonces ghg = en los grupos de permutaciones. Si h = n i i i=1 n ( g ( a ) g ( b )). Es impreciso hablar de una productoria en un grupo i i i=1 no abeliano, para que la identidad sea cierta se requiere que se considere el mismo orden en el producto que expresa ghg 1 que el que se us o para h. Lo anterior, evidentemente, no es lo u nico impresionante en todo esto. ii) Uno de los objetivos de los primeros cursos en Algebra Abstracta es demostrar la insolubilidad de los polinomios de grado mayor o igual a cinco (la insolubilidad de la quintica). Por extra no que nos parezca actualmente, el hecho que An sea simple para n 5 es una de las razones para ello. Elegante, no?. Sigamos entonces con nuestro estudio.

3.3.

Ejercicios

1. Pruebe que un grupo G es abeliano si y solo si todas sus clases de conjugaci on contienen exactamente un elemento de G. 2. Sea H un subgrupo de un grupo G. Para cada g G, el subconjunto gHg 1 es un conjugado de H . Probar que cada conjugado de H es un subgrupo de G y que la intersecci on de los conjugados de H es un subgrupo normal de G.

Cap tulo 4

Acci on de grupo sobre un conjunto

4.1. G-conjuntos

4.1 Denici on (Acci on de Grupo y G-conjunto): Sea X un conjunto y G un grupo. Una acci on de G sobre X es una aplicaci on : G X X tal que: i) e x = x, x X ii) (g1 g2 ) x = g1 (g2 x), x X, g1 , g2 G Bajo estas condiciones, X es un G-conjunto. Cuando no halla lugar a confuci on notaremos g x por gx. 4.2 Nota. Aqu denimos la acci on actuando por la izquierda, algunos libros la preeren actuando por la derecha. Por lo general esto u ltimo se hace cuando tambi en se preere la composici on por derecha (i.e. f g (x) = g (f (x))). 4.3 Ejemplo: Sea X un conjunto, y H un subgrupo de SX . Entonces X es un H -conjunto, donde la acci on de H sobre X es la denida por gx = g (x). La condici on ii) de la denici on 4.1, es una consecuencia inmediata de la denici on de multiplicaci on de permutaciones vista como composici on, y la condici on i), de la denici on de la permutaci on identidad como la funci on identidad. Note que en particular, {1, . . . , n} es un Sn -conjunto. 4.4 El siguiente teorema muestra que para cada G-conjunto X, dado un g G la aplicaci on g : X X denida por g (x) = gx es una permutaci on de X , y que existe un homomorsmo : G SX tal que la acc on de G sobre X es b asicamente la descrita en el ejemplo 4.3 con H = [G]. Por lo tanto, las acciones de los subgrupos de SX sobre X describen todas las posibles acciones de un grupo G sobre X . As al momento de estudiar el conjunto X , acciones usando

38

Cap tulo 4. Acci on de grupo sobre un conjunto

subgrupos de SX ser an sucientes. Sin embargo, algunas veces, un conjunto X es usado para estudiar G v a una acci on de grupo G sobre X . Teorema 4.5 Sea X un G-conjunto. Para cada g G, la funci on g : X X denida por g (x) = gx es una permutaci on de X . Adem as, la aplicaci on : G SX denida por (g ) = g es un homomorsmo. As (g )(x) = gx, esto es: : G SX g g : X X x gx

Demostraci on: Dado g G, demostremos que x gx es una biyecci on. Sean x, y X , tales que gx = gy . As por 4.1 ii), ex = g 1 gx = g 1 gy = ey , luego por 4.1 i), x=y. Ahora, sea x X , tome x = g 1 x, as gx = gg 1 x = ex = x. Visto entonces que x gx es una biyecci on, tiene sentido nuestra funci on , pues x gx es una permutaci on. Ahora, de la condici on ii) de la denici on 4.1 se sigue inmediatamente que es un homomorsmo. 4.6 Deniciones (Acci on el, acci on transitiva): Sea X un G-conjunto. i) Decimos que G act ua elmente sobre X si: dado un g G tal que gx = x para todo x, implica g = e. ii) Decimos que G act ua transitivamente sobre X si: para cada x1 , x2 X , existe un g G tal que gx1 = x2 . 4.7 Observaci on. Sea X un G-conjunto. Seg un el teorema 4.5 y el corolario 2.13, el subconjunto N de G que deja todo elemento de X jo es un subgrupo normal. Ahora, por el teorema fundamental del homomorsmo, a X lo podemos ver como un G/N -conjunto, donde gN x = gx. As G/N act ua elmente sobre X. 4.8 Ejemplos: i) Considere g : G G denida por g (g ) = gg . Ahora e = id y g1 g2 = g1 g2 , luego si denimos g x = g (x), G es un G-conjunto. Si H G, de misma forma podemos ver a G como un H -conjunto. Note que con las g : G G, denidas por g (g ) = g g podemos denir un acci on a derecha pero no a izquierda. ii) Recuerde g : G G denida por g (g ) = gg g 1 . Entonces, e = id y g1 g2 = g1 g2 , luego si denimos g x = g (x), G es un G-conjunto. iii) Sea V un espacio vectorial sobre R, los axiomas 1v y (rs)v = r(sv ), muestran que V se puede ver como un R -conjunto, con el grupo < R , ., 1 >.

Subgrupo estabilizador y o rbitas

39

iu) Sea S n = {x Rn+1 : x = 1} la esfera n-dimensional. Considere SOn+1 (R) = {U Mn+1n+1 : det(U ) = 1 U U t = I } el conjunto de matrices ortonormales de dimensi on n + 1 n + 1. As bajo la acci on U x = U x, S n es un SOn+1 (R)-conjunto. u) Sea H G y LH el conjunto de los coconjuntos izquierdos de H en G. Bajo la acci on g xH = (gx)H , LH es un G-conjunto. Esta acci on ser a de gran utilidad (cf. Cap tulo 6).

4.2.

Subgrupo estabilizador y o rbitas

4.9 Notaci on. Sea X un G-conjunto, notaremos: Xg := {x X : gx = x}, y Gx := {g G : gx = x} Teorema 4.10 Sea X un G-conjunto. Entonces, Gx G, para todo x X . Demostraci on Sea x X . ex = x luego e Gx , si g Gx , g 1 x = g 1 gx = x, 1 luego g Gx , y nalmente si g1 , g2 Gx , g1 g2 x = g1 x = x, entonces g1 g2 Gx . 4.11 Denici on (Subgrupo estabilizador): Dado X un G-conjunto. A Gx lo llamamos el subgrupo estabilizador de x. Teorema 4.12 Sea X un G-conjunto. La relaci on denida por x1 x2 si existe un g X tal que gx1 = x2 , es de equivalencia. Demostraci on: ex = x, para todo x X , luego la relaci on es reexiva.Sea x1 , x2 , x3 X . Si gx1 = x2 , x1 = g 1 x2 , entonces la relaci on es simetrica. Ahora si g1 x1 = x2 y g2 x2 = x3 , tenemos que g2 g1 x1 = x3 , luego la relaci on es tambi en transitiva. 4.13 Denici on (Orbitas): A la clase de equivalencia de x de la relaci on denida en 4.12, la llamamos o rbita de x, y la notaremos Gx. As : Gx := {a X | g G : gx = a} 4.14 Aunque la notaci on de la o rbita y del estabilizador se parecen, no hay que confundirlos. Existen otras notaciones para estos conjuntos pero esta nos parece bastante descriptiva. Ahora bien, un lector prudente que ya se desenvuelva en esta teor a, le parecer a el siguiente resultado muy natural. Teorema 4.15 |Gx| = (G : Gx )
1 Demostraci on: Si x Gx, con x = g1 x = g2 x entonces g1 g2 Gx , luego g1 Gx = g2 Gx . As podemos denir : Gx {gGx }gG por (gx) = gGx . Veamos que es una biyecci on. Sea x1 , x2 Gx, tales que (x1 ) = (x2 ). Ahora, suponga que x1 = g1 x y x2 = g2 x, as g1 Gx = g2 Gx luego existe un g Gx tal que g2 = g1 g , entonces x2 = g1 gx = g1 x = x1 . La sobreyectividad es evidente, dado g G, (gx) = gGx .

40

Cap tulo 4. Acci on de grupo sobre un conjunto

4.3.

Aplicaciones de G-conjuntos en combinatoria: La f ormula de Burnside

4.16 Suponga que queremos saber de cuantas maneras se puede marcar un dado c ubico de forma que cada marcada sea distinguible de las otras, sin importarnos que lados opuestos sumen siete. Para marcar la primera cara disponemos de 6 n umeros, para la segunda de 5, y as sucesivamente vemos que tenemos 6! = 720 formas de marcarlos, pero varias de estas marcadas no son distinguibles pues algunas se pueden obtener de otras mediante rotaci on. As si consideramos las diferentes rotaciones del cubo como un grupo, y las 720 marcadas como un conjunto, dos de estas no son distinguibles si est an en la misma o rbita de la acci on rotar el cubo. Aqu es donde el problema se une con nuestra teor a, y para resolverlo usamos la f ormula de Burnside. Teorema 4.17 (La f ormula de Burnside) Sea G un grupo nito y X un Gconjunto. Si r es el n umero de o rbitas en X, entonces: r|G| = gG |Xg |. Demostraci on: Considere todos los pares (g, x) tales que gx = x, y sea N el n umero de dichos pares. Para cada g G, hay |Xg | pares teniendo a g como primer elemento. Entonces: N= |Xg | (4.1)
xX

Por otro lado, para cada x X , hay |Gx | pares teniendo a x como segundo elemento. Entonces: |Gx | (4.2) N=
xX

Ahora, por el teorema 4.15, |Gx| = (G : Gx ), y por el teorema de Lagrange (G : Gx ) = |G|/|Gx |, as |Gx | = |G|/|Gx|, y remplazando en (4.2): N=
xX

|G| = |G| |Gx|

xX

1 |Gx|

(4.3)

Ahora |Gx| es el mismo para todo x Gx, luego x Gx 1/|Gx| = 1, as de (4.3), N = |G|r, y combinando esto con (4.1) obtenemos el resultado buscado. Corolario 4.18 Si G es un grupo nito y X un G-conjunto, entonces: (n umero de o rbitas en X bajo G) = 1 |G| |Xg |
g G

4.19 Ejemplo: Continuemos con el problema del dado. Est abamos en que dos marcadas son distinguibles si y s olo si pertenecen a o rbitas distintas, luego nuestro problema se reduce a contar el n umero de estas. Formalicemos la idea de actuar por rotaci on del cubo. Primero note que hay 24 posibles posiciones para el cubo mediante rotaci ones: cada cara se puede poner abajo (6 posibilidades),

La f ormula de Burnside

41

y despu es, la posici on del cubo queda completamente determinada por la cara que se ponga al frente (4 posibilidades). Estas rotaciones, si etiquetamos cada v ertice del cubo, se pueden identicar naturalmente con un subgrupo G de S8 de 24 elementos (ver gura 4.1). As |G| = 24, y adem as, dado g G con g = e, se tiene |Xg | = 0, pues toda rotaci on diferente a la identidad cambia de posici on el dado. Sin embargo |Xe | = 720. Entonces por el corolario 4.18, el n umero de 1 720 = 30. Luego el n umero de marcadas distinguibles es 30. o rbitas es 24
5 8 7 5 8 6 7 8 7 5 6 7 6 8 5

PSfrag replacements6

4 1 2

3 4

3 1

2 3

2 4

1 2

1 3

id

12345678 23416785

12345678 34127856

12345678 41238567

Figura 4.1: Rotaciones del cubo Teorema 4.20 Sea G un grupo. Sea A un G-conjunto y B un conjunto, ambos nitos. B A es un G-conjunto bajo g f denida por gf (x) = f (g 1 x). Adem as, si dado un k N , denotamos Ck (G) el conjunto de permutaciones en [G], donde es el homomorsmo del teorema 4.5, teniendo exactamente k ciclos en su descomposici on c clica. Entonces: (n umero de o rbitas en B A bajo G) = 1 |G|
+

|Ck (G)||B |k
k=1

Demostraci on: Como ef (x) = f (e1 x) = f (x) y (g1 g2 )f (x) = f ((g1 g2 )1 x) = 1 1 1 f (g2 g1 x) = g2 f (g1 x) entonces vemos que lo que se deni o en el enunciado del teorema es una acci on. Ahora bien, por la f ormula de Burnside, es suciente demostrar que para un k N dado: |Ck (G)||B |k = |Xg |
g Ck (G)

Note que si es una permutaci on en A, como en la descomposici on los c clos son disyuntos, f ( (a)) = f (a) para todo a A si y s olo si f es constante sobre A cada c clo de . Suponga que g Ck (g ), entonces Bg = {f B A : gf = f }, y A Bg esta compuesta por todas las aplicaciones que son constantes en cada uno de los k c clos de (g 1 ), y estas son |B |k . 4.21 Ejemplo: Sean n c rculos iguales dispuestos en c rculo. Queremos ver cual es el n umero de coloraciones distinguibles que se logran con c colores. Note

42

Cap tulo 4. Acci on de grupo sobre un conjunto

que si consideramos los n c rculos como los v ertices de un pol gono convexo regular con n lados, entonces podemos usar el grupo diedral Dn para representar las distintas conguraciones de los c rculos. Sean entonces A el conjunto de los n c rculos, G = Dn (|G| = 2n) y B el conjunto de los c colores. Ahora cada coloraci on se puede ver como un elemento de B A , luego si el n umero de coloraciones distinguibles es N , tenemos N = n 1 k k=1 |Ck (G)|c . 2n umero de elementos en Zn El n umero de rotaciones que son k n k -ciclos es el n que generan un subgrupo de orden n k , esto es |Nk | donde Nk = {a {1, . . . , n} : (a, n) = k }. Ahora si n es impar, cada una de las n simetr as pasa por un v ertice, 1 luego es n as 2 2-ciclos y un 1-ciclo. Y si n es par, cada una de las n/2 simetr 2 que pasan por un v ertice es n 2 2-ciclos y dos 1-ciclos, y cada una de las n/2 simetr as que no pasan por alg un v ertice es n 2 2-ciclos. Esto abarca todos los elementos de Dn . Entonces: n+1 k 2 ) si n es impar 21 k|n |Nk |c + c n( N= n n n k 1( 2 2 +1 )) si n es par. k|n |Nk |c + 2 (c + c 2n

4.4.

Ejercicios

1. Sea X un G-conjunto, y sean x1 , x2 X tales que x1 y x2 se encuentran en la misma o rbita. Probar que los estabilizadores Gx1 y Gx2 de x1 y x2 respectivamente, son subgrupos conjugados en G. Deducir que Gx1 y Gx2 tienen el mismo orden. 2. Sea X un G-conjunto, donde G es un grupo de permutaciones. Sea O una o rbita de X bajo la acci on de G. Si x, y O, entonces pruebe que el conjunto de permutaciones en G que env an x a y (es decir, el conjunto { G : (x) = y }) es un coset derecho de Gx . Contrariamente, pruebe que todos los elementos de un coset derecho de Gx env an x al mismo punto en O. 3. Sea G un grupo de permutaciones actuando transitivamente sobre un conjunto X . Entonces, G act ua sobre X X , y una o rbita de X X bajo la acci on de G es llamada un o rbital (para diferenciarla de una o rbita de X bajo G). Sea x X . Pruebe que existe una biyecci on entre los o rbitales de X X bajo G y las o rbitas de X bajo la acci on del subgrupo estabilizador Gx .

Cap tulo 5

Teoremas de Isomorsmos y Series de Grupos

5.1. Teoremas de Isomorsmos

Teorema 5.1 (Primer Teorema de Isomorsmo) Sea : G G un homomorsmo con kernel K , y sea K : G G/K la proyecci on can onica (i.e. K (g ) = gK ). Entonces, hay un u nico isomorsmo : G/K [G] tal que = K (ver gura 5.1). PSfrag replacements
G
K

[G] G

G/K

Figura 5.1: Primer Teorema de Isomorsmo 5.2 Denici on (join): Sean H, N G. Se dene el join H N de H y de N por: H N :=< HN > 5.3 Observaci on. H N es el subgrupo m as peque no de G que contiene HN . Adem as H N es el subgrupo m as peque no de G conteniendo tanto a H como a N , puesto que cada uno de tales subgrupos debe contener HN . En general, HN no es un subgrupo de G. Lema 5.4 Si N G, y H G, entonces H N = HN = N H . Adem as, si H G, entonces HN G.

44

Cap tulo 5. Teoremas de Isomorsmos y Series de Grupos

Demostraci on: La primera parte del lema no es sino una reformulaci on del teorema 2.21 iii). Ahora, supongamos adem as que H G, y sea h H, n N y g G, luego ghng 1 = (ghg 1 )(gng 1 ) HN , y as HN G. Teorema 5.5 (Segundo Teorema de Isomorsmo) Si H G y N entonces HN/N H/(H N ). G,

Demostraci on: Como N G entonces H N H . Sean h, h1 H y n, n1 N , 1 y suponga que h1 n1 = hn. Eso es equivalente a h1 h1 = nn h1 h1 esta en 1 , as H y en N , es decir, h1 h1 H N que es lo mismo que h(H N ) = h1 (H N ) elemento de H/(H N ). Luego podemos denir : HN H/(H N ) por (hn) = h(H N ). Veamos que es un homomorsmo. Sean n1 , n2 N y h1 , h2 H . Como en el lema 5.4, se puede escribir n1 h2 = h2 n3 para alg un n3 N , puesto que N G. Entonces: ((h1 n1 )(h2 n2 )) = ((h1 h2 )(n3 n2 )) = h1 h2 (H N ) = h1 (H N )h2 (H N ) = (h1 n1 )(h2 n2 ). Luego es homomorsmo, y es evidente que es sobreyectivo. Ahora, si hn HN es tal (hn) = N , esto es hnN = N o hN = N luego h H N . As Ker() = (H N )N = N , y adem as [HN ] = H/(H N ), luego por el teorema 5.1 HN/N H (H N ). 5.6 Ejemplos: i) Sea G = Z Z Z, H = Z Z {0}, y N = {0} Z Z. As HN = G y H N = {0} Z {0}. Se tiene entonces que (HN )/N Z y tambi en que H/(H N ) Z. ii) Si H, K G y K H , entonces H/K G/K (compruebelo). G, con K

Teorema 5.7 (Tercer Teorema de Isomorsmo) Sean H, K H , entonces G/H (G/K ) (H/K ).

Demostraci on: Sea : G (G/K ) (H/K ) dada por (a) = (aK )(H/K ), para a G. Claramente, es sobreyectiva, y para a, b G, se tiene que: (ab) = [(ab)K ](H/K ) = [(aK )(bK )](H/K ) = [(aK )(H/K )][(bK )(H/K )] = (a)(b) Entonces es homomorsmo. Ahora, si x G es tal que (x) = H/K , x H , luego por el teorema 5.1 se tiene que G/H (G/K ) (H/K ). 5.8 Nota. Una buena manera de ver el teorema 5.7 es mirando la aplicaci on can onica H : G G/H siendo factorizada por un subgrupo normal K de G, obteni endose H = H/K K , como se ilustra en 5.2

PSfrag replacements Series de Grupos

G
K H

45
G/H
Homomorsmo natural

G/K

H/K

(G/K ) (H/K )

Figura 5.2: Tercer Teorema de Isomorsmo

5.2.

Series de Grupos

5.9 Deniciones (Series normales y subnormales): i) Una serie subnormal de un grupo G es una secuencia nita H0 , H1 , . . . , Hn de subgrupos de G tal que Hi < Hi+1 , para todo i {0, 1, . . . , n 1}, y tal que {e} = H0 H1 H2 Hn1 Hn = G ii) Una serie normal es una serie subnormal donde adem as: Hi G, i {0, 1, . . . , n}. 5.10 Observaciones. i) Para un grupo abeliano, las nociones de series subnormales y normales coincide, puesto que todo subgrupo es normal. ii) Una serie normal es siempre subnormal. Pero lo contrario no es cierto (ver 5.11). 5.11 Ejemplos: i) {0} 8Z a la vez). 4Z Z, y {0} 9Z Z, son series subnormales (y normales

ii) Considere D4 , el grupo de isometr as del cuadrado (el grupo diedral). La serie {0 } {0 , 1 } {0 , 2 , 1 , 2 } D4 es subnormal, pero no es normal, puesto que {0 , 1 } no es normal en D4 . 5.12 Denici on (Renamiento): Una serie subnormal (normal) {Kj }j {0,1,...,m} es un renamiento de una serie subnormal (normal) {Hi }i{0,1,...,n} de un grupo G si {Hi }i{0,1,...,n} {Kj }j {0,1,...,m} (i.e. cada Hi es uno de los Kj ) 5.13 Ejemplo: La serie {0} 72Z 24Z 8Z 4Z Z es un renamiento de la serie {0} 72Z 8Z Z (note que los subgrupos 4Z y 24Z han sido insertados). 5.14 Para estudiar le estructura de un grupo G, los grupos factor Hi+1 /Hi son de mucha utilidad.

46

Cap tulo 5. Teoremas de Isomorsmos y Series de Grupos

5.15 Denici on (Series isomorfas): Dos series subnormales (normales) {Hi }i{0,1,...,n} y {Kj }j {0,1,...,n} de un mismo grupo G son isomorfas si existe una correspondencia biun voca entre las colecciones de grupos factores, esto es entre {Hi+1 /Hi }i{0,1,...,n1} y {Kj +1 /Kj }j {0,1,...,n1} tal que los grupos correspondientes son isomorfos 5.16 Observaci on. Claramente dos series subnormales (normales) isomorfas deben contener el mismo n umero de grupos. 5.17 Ejemplo: Las dos series de Z15 : {0} < 5 > Z15 y {0} < 3 > Z15 , son isomorfas. Tanto Z15 / < 5 > como < 3 > /{0} son isomorfos a Z5 , y Z15 / < 3 > es isomorfo a < 5 > /{0}, o a Z3 . Teorema 5.18 (Lema de Zassenhaus (mariposa)) Sean H y K dos subgrupos de un grupo G y sean H y K subgrupos normales de H y K respectivamente. Entonces (ver gura 5.3): i) H (H K ) ii) K (H K ) iii) H (H K ) K (H K ) K (H K )/K (H K ) (H K )/[(H K )(H K )]

H (H K ) H (H K )

PSfrag replacements

H H (H K )

K K (H K )

HK

H (H K )

K (H K )

H K (H K )(H K )

H K

Figura 5.3: Lema de la Mariposa Demostraci on: H H y H K es un subgrupo tanto de H como de K , luego por el lema 5.4 H (H K ) es grupo. De manera an aloga vemos que H (H K ), K (H K ), y K (H K ) tambi en lo son. Ahora si r H K y s H K , entonces sr s1 esta en H y en K , pero esto es sr s1 H K . Luego H K H K . Con un mismo argumento

Series de Grupos

47

vemos que H K H K . Y as por el lema 5.4 (H K )(H K ) = (H K )(H K ) =: L H K . Veamos ahora que las tres inclusiones marcadas con negrita en la gura 5.18 son normales y sus grupos factores isomorfos, con eso habremos probado el lema. Para eso nos valdremos de un homomorsmo adecuadamente denido y del primer teorema de isomorsmo. 1 Sean h1 , h2 H y x1 , x2 H K tales que h1 x1 = h2 x2 , esto es h 2 h1 = 1 x2 x1 H (H K ) = H L L. Luego x1 L = x2 L. Luego podemos denir : H (H K ) (H K )/L por (h x) = xL donde h H y x H K . Sean h1 , h2 H y x1 , x2 H K , como H H , entonces existe h H tal que x1 h2 = hx1 . As ((h1 x1 )(h2 x2 ) = ((h1 h)(x1 x2 )) = (x1 x2 )L = x1 Lx2 L = (h1 x1 )(h2 x2 ). Entonces es homomorsmo. Claramente es sobreyectivo. Ahora si h H , y x H K , son tales que (hx) = L, la condici on es equivalente a x L o a hx H L = H (H K )(H K ) = H (H K ). Luego Ker() = H (H K ). Entonces como es sobreyectivo con kernel H (H K ), por el teorema 5.1 H (H K )/H (H K ) (H K )/L y adem as Ker() Dom(). Y con un homomorsmo similar de K (H K ) en (H K )/L demostramos lo que falta de la prueba. 5.19 Suponga que tiene dos cadenas de subgrupos de un mismo grupo G: Hi1 Hi Hi+1 y Kj Kj +1 . Teniendo en mente el lema 5.18, note Hm,n := Hm (Hm+1 Kn ) y Km,n := Km (Km+1 Hn ). As , tendremos unas cadenas como las que se muestran en la gura 5.4 donde los grupos factor formados por los grupos unidos por lineas de mismo espesor son isomorfos. Vale la pena notar que en caso de tener series y no simples cadenas, las lineas en negrita de cada lado de la gura estar an conectadas, ya que las series empiezan en {e} y terminan en G. Esto es lo que se explica formalmente en el Teorema 5.20. Teorema 5.20 (Teorema de Schreier) Dos series subnormales (normales) de un mismo grupo tienen renamientos isomorfos. PSfrag replacements

$&% $&% $$$ &% $$$ &$&$$ H &% &% $&% $&% $&$%&% $&% &% &% &&$ 43 $ &% $ &% $ 4% &% &% 34% 34% 434343 34% 34% 34% 434343 34% 34% 34% 434343 34% 3 3 % 4 H 0% 3 4343 H '0) (' 4% )('0% )('0% )('0% 0)('% 0% 0% 0)(% )0% )% )0% )0% 0 )0% ) ) ) ) % 0 0 ) 0% ) 0% ) 1% ) 2% 0% 0) 2121  12% 1% 12% 1% 1 212121 H 1% 1 % 2 1% 1 % 2 1% 1 % 2 212121 1% 12% 2% 1% 1 1% 1 % 2 212121 1% 12% 1% 12% H 1% 2% 1H 21
Hi+1
i i1 i1,j

i,j +1

Kj,i+1

"#

 K

j +1

Kj,i
i,j

! 6565 656556

65  

i1,j +1

Kj,i1

Kj

Figura 5.4: Teorema de Schreier

48

Cap tulo 5. Teoremas de Isomorsmos y Series de Grupos

Demostraci on: Sea G un grupo y sean: {e} = H0 {e} = K0 H1 K1 ... ... Hn = G Km = G (5.1) (5.2)

dos series subnormales para G. Para i {0, 1, . . . , n 1} forme la cadena de grupos: Hi = Hi (Hi+1 K0 ) Hi (Hi+1 K1 ) Hi (Hi+1 K2 ) ... Hi (Hi+1 Km ) = Hi+1 . Despu es de hacer todas estas cadenas para cada i {0, 1, . . . , n 1} y notando Hi,j := Hi (Hi+1 Kj ), se obtendr a la siguiente cadena de grupos: {e} = H0,0 H0,1 H1,1 H2,1 . . . Hn1,1 Hn1,2 ... Hn1,m1 Hn1,m = G (5.3) Esta cadena 5.3 contiene nm + 1 grupos, no necesariamente distintos, donde Hi,0 = Hi , para cada i {0, 1, . . . , n 1}. Por el lema de Zassenhaus, la cadena 5.3 es una subnormal, es decir, cada grupo es normal en el siguiente grupo (lo que justica el uso del signo en lo que sabemos ahora que es una serie). Entonces la cadena 5.3 es un renamiento de la cadena 5.1. En forma sim etrica, si Kj,i = Kj (Kj +1 Ki ), para j {0, 1, . . . , , m 1} e i {0, 1, . . . , , n}, tenemos la siguiente serie subnormal: {e} = K0,0 K0,1 K1,1 K2,1 . . . Km1,1 Km1,2 ... Km1,n1 Km1,n = G (5.4) La cadena 5.4 contiene tambi en mn + 1 grupos, no necesariamente distintos, donde Kj,0 = Kj , para cada j {0, 1, . . . , m 1}. Entonces por un argumento similar, la cadena 5.4 es un renamiento de la cadena 5.2. Por el lema de Zassenhaus, se tiene que: Hi (Hi+1 Kj +1 )/Hi (Hi+1 Kj ) Kj (Kj +1 Hi+1 )/Kj (Kj +1 Hi ) o lo que es equivalente: Hi,j +1 /Hi,j Kj,i+1 /Kj,i , (i; j ) {0, . . . , n 1} {0, . . . , m 1} (5.5) K0,2 K1,2 K2,2 ... ... ... K0,n1 K1,n1 K2,n1 K1,0 K2,0 K3,0 H0,2 H1,2 H2,2 ... ... ... H0,m1 H1,m1 H2,m1 H1,0 H2,0 H3,0

La relaci on 5.5 de isomorsmo, proporciona una correspondencia biun voca de grupos factor isomorfos entre las series subnormales 5.3 y 5.4. Para vericar esta

Series de Grupos

49

correspondencia note que Hi,0 = Hi y Hi,m = Hi+1 , mientras que Kj,0 = Kj y Kj,n = Kj +1 . Cada cadena en 5.3 y 5.4 contiene un arreglo rectangular de mn s mbolos . Cada produce un factor. Los grupos factor inducidos por en la i- esima la en 5.3 corresponden a los grupos factor inducidos por en la misma columna en 5.4. Eliminando subgrupos repetidos de las cadenas 5.3 y 5.4, se obtiene series subnormales de grupos distintos que son renamientos isomorfos de las cadenas 5.1 y 5.2, con lo que se pruebe el teorema para series subnormales. Para series normales, donde los Hi s y los Kj s son normales en G, se tiene que todos los grupos Hi,j y Kj,i formados anteriormente son normales en G, por lo tanto, el teorema tambi en se cumple para estas series. La normalidad de Hi,j y Kj,i se obtiene por el lema 5.4 y por el hecho que la intersecci on de subgrupos normales de un grupo, es tambi en subgrupo normal. 5.21 Denici on (Serie compuesta y serie principal) i) Una serie subnormal {Hi }i{0,1,...,n} de un grupo G es una serie compuesta si todos los grupos factor Hi+1 /Hi son simples. ii) Una series normal {Hi }i{0,1,...,n} de G es una serie principal si todos los grupos factor Hi+1 /Hi son simples 5.22 Observaciones. i) Hi+1 /Hi es simple si y solo si Hi es normal m aximal en Hi+1 . ii) En los grupos abelianos, los conceptos de serie compuesta y serie principal coinciden. iii) Como cada serie normal es subnormal, cada serie principal es una serie compuesta para todo grupo, abeliano o no. 5.23 Ejemplos: i) Z no tiene serie compuesta ni serie principal: Sea {0} = H0 H1 . . . Hn1 Hn = Z una serie subnormal. H1 debe ser de la forma rZ para alg un r Z+ . Pero H1 /H0 Z, es un grupo c clico innito con muchos subgrupos normales no triviales, por ejemplo 2rZ. Entonces Z no contiene series compuestas, ni tampoco principales. ii) {id} An Sn , con n 5, es una serie compuesta y tambi en principal de Sn , puesto que An /{id} An , es simple para n 5, y Sn /An Z2 tambi en. 5.24 Observaciones. i) Como se observ o anteriormente, en una serie compuesta, cada Hi debe ser normal m aximal en Hi+1 . Entonces, para formar una serie compuesta de un grupo G, se debe tratar de encontrar un subgrupo normal m aximal

50

Cap tulo 5. Teoremas de Isomorsmos y Series de Grupos Hn1 de G, despu es Hn2 subgrupo normal m aximal de Hn1 y as sucesivamente. Si el proceso anterior termina en un n umero nito de pasos, se tiene una serie compuesta. De la misma forma, se puede construir una serie principal de G con la restricci on que cada i, Hi G.

ii) Adem as, como Hi es normal m aximal en Hi+1 si y solo si Hi+1 /Hi es simple (ver teorema 2.51), una serie compuesta, no puede tener ning un renamiento. Teorema 5.25 (Teorema de Jordan-H older) Cualquier par de series compuestas (principales) de un grupo G son isomorfas. Demostraci on Sean {Hi }i{0,...,n} y {Ki }i{0,...,m} dos series compuestas (principales) de G. Por el Teorema de Schreier (5.20), estas series tienen renamientos isomorfos. Pero como todos los grupos factor son simples, entonces por el teorema 2.51, estas series no pueden ser renadas, lo cual implica que {Hi }i{0,...,n} y {Ki }i{0,...,m} son isomorfas (y por lo tanto n = m). 5.26 En el caso de grupos nitos, se puede ver una serie compuesta como una factorizaci on de un grupos en grupos factor simples, an aloga a la factorizaci on de un entero positivo en primos. En ambos casos, la factorizaci on es u nica m odulo el orden de los factores. No hace entonces falta enfatizar m as en la importancia del teorema de Jordan-H older. Teorema 5.27 Si G tiene una serie compuesta (principal), y si N es un subgrupo normal propio de G, entonces existe una serie compuesta (principal) conteniendo a N . Demostraci on: La serie {e} N G es una serie tanto subnormal como normal de G. Como G tiene una serie compuesta {Hi }i{0,...,n} , entonces por el teorema de Schreier (5.20), existe un renamiento de {e} N G en una serie subnormal isomorfa al renamiento de {Hi }i{0,...,n} . Pero como {Hi }i{0,...,n} es una serie compuesta esta no se puede renar m as. Por lo tanto, la serie {e} N G puede renarse a una serie subnormal donde todos sus grupos factores son simples, esto es a una serie compuesta. Un argumento similar se tiene en el caso en que {Hi }i{0,...,n} sea principal. 5.28 Ejemplo: Una serie compuesta (tambi en principal) de Z4 Z9 conteniendo al subgrupo < (0, 1) > es: (0, 0) < (0, 3) > < (0, 1) > < 2 > < 1 > < 1 > < 1 >= Z4 Z9 A continuaci on se dene la solubilidad de un grupo. Se dar an dos deniciones de solubilidad: solubilidad fuerte usada por Fraleigh, y la solubilidad cl asica la cual llamaremos simplemente solubilidad. 5.29 Denici on (Grupo soluble fuerte): Un grupo se dice soluble fuerte si tiene una serie compuesta {Hi }i{0,...,n} tal que todos los grupos factor

Cadena Central Ascendente Hi+1 /Hi son abelianos.

51

Denici on (Grupo soluble): Un grupo se dice soluble si tiene una serie subnormal {Hi }i{0,...,n} tal que todos los grupos factor Hi+1 /Hi son abelianos.

5.30 Observaci on. Por el teorema de Jordan-H older (5.25), se tiene que para un grupo soluble fuerte, toda serie compuesta {Hi }i{0,...,n} debe tener grupos factor Hi+1 /Hi abelianos. 5.31 Ejemplos: i) S3 es soluble fuerte, puesto que la serie compuesta {e} A3 S3 tiene grupos factor A3 /{e} Z3 y S3 /A3 Z2 , los cuales son abelianos. ii) S5 no es soluble fuerte, puesto que A5 es simple y la serie {e} es compuesta, pero A5 /{e} A5 no es abeliano. A5 S5

5.3.

Cadena Central Ascendente

5.32 Recordemos que el centro de un grupo G es: Z (G) := {z G : zg = gz, g G}. Sabemos que Z (G) G, entonces G/Z (G) es un grupo factor. Ahora, se podr a encontrar el centro del grupo factor G/Z (G), es decir, Z (G/Z (G)). Como Z (G/Z (G)) G/Z (G), entonces si G/Z (G) : G G/Z (G) 1 es el homomorsmo can onico, G/Z (G) [Z (G/Z (G))] =: Z1 (G) es un subgrupo normal G. Se puede entonces formar el grupo factor G/Z1 (G) y encontrar su centro, y si G/Z1 (G) : G G/Z1 (G) es el homomorsmo can onico, tomando 1 sucesivamente. G/Z1 (G) de dicho centro obtener Z2 (G), y as 5.33 Denici on (Cadena central ascendente): Sean: Z0 := {e}
1 Zn+1 := n [Z (G/(Zn (G)))], donde n : G G/Zn (G) es el homomorsmo can onico

La cadena {e} Z1 (G) Z2 (G) . . . es la cadena central ascendente.(Note que Z1 (G) = Z (G)) 5.34 Ejemplos: i) Z (S3 ) = {id}, entonces la cadena central ascendente de S3 es: {id} {id} . . . ii) Z (D4 ) = {id, (1 3)(2 4)}, entonces la cadena central ascendente de D4 es: {id} {id, (1 3)(2 4)} D4

52

Cap tulo 5. Teoremas de Isomorsmos y Series de Grupos

5.4.

Ejercicios

1. Sea H G y sea K = {a G : ax = xa, para todo x H }. Sea A el grupo de automorsmos de H y sea I el grupo de automorsmos internos de H . Para cada a G, sea a el automorsmo de H tal que para todo x H , a (x) = axa1 . Denote por : G A la aplicaci on denida por: a a . a) b) Determinar Ker(). Probar que HK es un subgrupo normal de G.

c ) Probar que existe un homomorsmo inyectivo de G/HK en A/I . d ) Probar que HK/K = I. 2. Sean G1 y G2 dos grupos no isomorfos de centros Z (G1 ) y Z (G2 ) respectivamente. Pruebe que Z (G1 G2 ) es isomorfo a Z (G1 ) Z (G2 ). 3. Sea H un subgrupo de un grupo G. Sea = {aH : a G} el conjunto de cosets izquierdos de H en G. Dena la acci on de G sobre por traslaci on, es decir, para cada g G y para cada aH , g (aH ) = (ga)H . a) b) Determine el subgrupo estabilizador GaH para el elemento jo aH . Sea la aplicaci on de G en el conjunto de permutaciones de denida por: g G, a G, (g )(aH ) = (ga)H . Entonces, (i) pruebe que es un homomorsmo de grupos; (ii) Pruebe que Ker() = aHa1 .
aG

c ) Sea N un subgrupo normal de G tal que N es un subgrupo propio de aHa1 aHa1 . Deduzca que el grupo H . Pruebe que N
aG aG

es el subgrupo normal m as grande de G contenido en H .

Cap tulo 6

Teoremas de Sylow y Grupos libres

6.1. Teoremas de Sylow

6.1 Teniendo ya completamente caracterizados los grupos abelianos, podemos buscar un estudio m as general de los no-abelianos. Sabiendo que el rec proco del teorema de Lagrange no es cierto, es natural preguntarnos de que orden tiene subgrupos (normales o no) un grupo dado , y que relaci on hay entre ellos. Nuestro objetivo inmediato es ver que por cada potencia de un primo que divida el orden de un grupo dado, ese grupo tiene un subgrupo de orden esa potencia. En toda esta secci on p es primo. 6.2 Observaci on. Sea X un G-conjunto nito. Sea r es el n umero de o rbitas en X y XG := gG Xg el conjunto de los elementos de o rbitas unipuntuales. Si {xi }i{1,...,r} es un conjunto de representantes de las o rbitas de X con {xi }i{1,...,|XG |} = XG entonces:
r

|X | = |XG | +
i=|XG |+1

|Gxi |

(6.1)

Teorema 6.3 Si G es un grupo de orden pn y X un G-conjunto nito, |X | |XG |(mod p). Demostraci on: Por el teorema 4.15, |Gx| | |G| = pn , luego |Gx| = pm , para r alg un m {0, 1, . . . , n}. As en (6.1), p | i=|XG |+1 |Gxi |, de donde |X | |XG |(mod p). 6.4 Denici on (p-grupo, p-subgrupo): Sea p primo. Un grupo en el cual todos los elementos tienen orden una potencia de p, es un p-grupo. Un subgrupo que es un p-grupo, lo llamamos p-subgrupo.

54

Cap tulo 6. Teoremas de Sylow y Grupos libres

Teorema 6.5 (Teorema de Cauchy) Si G es un grupo nito y p | |G|, entonces G tiene un elemento de orden p y por lo tanto, un subgrupo de orden p. Demostraci on: Sea X = {(g1 , g2 , . . . , gp ) Gp | g1 g2 . . . gp = e}. Sean g1 , . . . , gp1 , p 1 elementos en G, as (g1 , g2 , . . . , gp ) X si y s olo si gp = (g1 . . . gp1 )1 , p1 vemos entonces que |X | = |G| , luego p tambi en divide |X |. Sea el ciclo (1 2 . . . p) en Sp . Si (g1 , g2 , . . . , gp ) X , g(1) g(2) . . . g(p) = g2 . . . gp g1 = e, luego bajo la acci on k (g1 , g2 , . . . , gp ) = gk (1) gk (2) . . . gk (p) , X es un < >conjunto. Ahora, | < > | = p y as por el teorema 6.3, 0 |X | |X<> |(mod p), esto es p | |X<> |. Pero como los elementos de X<> son de la forma (g, g, . . . , g ), y (e, e, . . . , e) X<> entonces |X<> | > 1 y as existe a = e tal que ap = e. | < a > | = ord(a) = p. Corolario 6.6 Sea G un grupo nito. G es p-grupo si y s olo si |G| = pn para alg un n N.
r1 rs Demostraci on: Suponga G p-grupo y pn q1 . . . qs una descomposici on de |G| en potencias de primos distintos. Suponga por contradicci on que ri > 0 para alg un i {1, . . . , s}, por el teorema de Cauchy, existe b G tal que ord(b) = q i , lo cual contradice la hip otesis de G p-grupo. El converso es una consecuencia inmediata del teorema de Lagrange.

6.7 Denici on (Normalizador): Sea H G, el normalizador de H es el subgrupo N [H ] denido por: N [H ] := {g G| gHg 1 = H } 6.8 Observaci on: Es f acil ver que N [H ] es el subgrupo de G m as grande en el cual H es normal. Lema 6.9 Si H un p-subgrupo de un grupo nito G, entonces (N [H ] : H ) (G : H )(mod p). Demostraci on: Considere (G/H ) el conjunto de los coconjuntos izquierdos de H en G. Bajo h gH = (hg )H , G/H es un H -conjunto. Sea gH (G/H )H , esto es (hg )H = gH para todo h H , o g 1 hg H . Entonces gH (G/H )H si y s olo si g N [H ]. Luego |(G/H )H | = (N [H ] : H ). Ahora el orden de H , por ser p-subgrupo, es una potencia de p, luego por el teorema 6.3 |(G/H )H | |(G/H )|(mod p), que es lo que quer amos establecer. Corolario 6.10 Si H es un p-subgrupo de un grupo nito G tal que p | (G : H ), entonces N [H ] = H . Demostraci on: 0 (G : H ) (N [H ] : H )(mod p), luego (N [H ] : H ) = 1, de donde N [H ] = H .

Teoremas de Sylow

55

Teorema 6.11 (Primer teorema de Sylow) Sea G un grupo tal que |G| = pn m, donde n 1, p primo y p | m. Tenemos que: i) G contiene un subgrupo de orden pi , para cada i {1, . . . , n}. ii) Todo subgrupo de G de orden pi es normal en un subgrupo de orden pi+1 , para i {1, . . . , n 1}. Demostraci on: Haremos inducci on en i. Por el teorema de Cauchy, G contiene un subgrupo de orden p. Ahora suponga que H es un subgrupo de orden pi1 , con i n, as como |G| = pn m, p | (G : H ), entonces por el lema 6.9, p | (N [H ] : H ) = |N [H ]/H |. Luego N [H ]/H contiene un subgrupo K de orden p. Considere 1 H la proyecci on can onica con dominio N [H ], as H [K ] es subgrupo de G de i orden p.ord(H ) = p en el cual H es normal. 6.12 Denici on (p-subgrupo de Sylow): Un p-subgrupo es de Sylow si es m aximal (i.e. Ning un otro p-subgrupo lo contiene). 6.13 Observaci on y nota. Por el teorema 6.11, todos los p-subgrupos de Sylow de un grupo dado, tienen el mismo cardinal. Esta teor a fue desarrollada por el noruego Ludvig Mejdell Sylow (1832-1918). Teorema 6.14 (Segundo teorema de Sylow) Si P1 y P2 son dos p-subgrupos de Sylow de un grupo nito G, entonces P1 y P2 son conjugados. Demostraci on: Considere la acci on de P2 sobre (G/P1 ) denida por y xP1 = (yx)P1 . As por el teorema 6.3, |(G/P1 )P2 | |(G/P1 )|(mod p). Ahora por el teorema 6.11, |G/P1 | = (G : P1 ) no es divisible por p, pues de lo contrario P1 no seria m aximal. Luego |(G/P1 )P2 | = 0. Si xP1 (G/P1 )P2 entonces yx P1 = x P1 , o x1 yx P1 , para todo y P2 , luego x1 P2 x P1 . Pero |P2 | = |P1 |, entonces x1 P2 x = P1 . Teorema 6.15 (Tercer teorema de Sylow) Si G es un grupo nito y p | |G|, entonces el n umero de p-subgrupos de Sylow es congruente con 1 m odulo p y divide |G|. Demostraci on: Sea P un p-subgrupo de Sylow y L el conjunto de p-subgrupos de Sylow en G. Considere P actuando por conjugaci on sobre L. As |LP | |L|(mod p). Ahora si T LP , entonces xT x1 = T , para todo x P , as P N [T ] (ver observaci on 6.8). T N [T ], entonces T y P son p-subgrupos de Sylow, luego, por el segundo teorema de Sylow, son conjugados en N [T ]. Pero T N [T ], entonces T = P . De donde, LP ={P }. Entonces 1 |LP | |L|(mod p). Si ponemos a G actuar por conjugaci on, como todos los p-subgrupos de Sylow son conjugados, bajo esta acci on hay una u nica o rbita en L. Para P L, su estabilizador es N [P ], luego por el teorema 4.15 |L| = (G : N [P ]), (G : N [P ]) | |G|, luego |L| | |G|.

56

Cap tulo 6. Teoremas de Sylow y Grupos libres

6.2.

Aplicaciones de la teor a de Sylow

6.16 Ejemplo: Veamos que ning un grupo G de orden 15 = 3 5 es simple. Por el primer teorema de Sylow, G tiene un 5-subgrupo, cuantos m as?, seg un el tercer teorema de Sylow estos son, 1, 6 o 11, pero de estas opciones la u nica que divide 15 es 1. Luego G tiene un u nico 5-subgrupo, que es de Sylow. Su conjugado tambi en es otro 5-subgrupo de Sylow, pero como hay uno solo, este es normal. Luego G no es simple. Teorema 6.17 Todo grupo G con orden potencia de un primo p, es fuertemente soluble. Demostraci on: Si |G| = pn , G es un p-grupo y entonces por el primer teorema de Sylow, tiene una serie normal con factores de orden p. As los factores son abelianos y simples (por qu e?). Luego la serie es compuesta y sus factores abelianos, esto es G es fuertemente soluble. 6.18 Denici on (Ecuaci on de clase): Sea X el G-conjunto donde G esta actuando por conjugaci on sobre X = G. Si tomamos c = |Z (G)| = |XG | y ni = |Gxi | como en (6.1), tenemos: |G| = c + nc+1 + nc+2 + . . . + nr que es lo que llamamos la ecuaci on de clase de G. 6.19 Observaci on a la denici on 6.18. Como ni = (G : Gxi ) entonces por el teorema de Lagrange ni | |G|. La ecuaci on de clase nos dice algo muy natural: el cardinal de G es la suma de los cardinales de sus clases de conjugaci on. 6.20 Ejemplo: Las clases de conjugaci on de S3 son {0 }, {1 , 2 } y {1 , 2 , 3 }. Su ecuaci on de clase es entonces |S3 | = 1 + 2 + 3. Teorema 6.21 El centro de un p-grupo no trivial es no trivial. on de Demostraci on: Sea G un p-grupo no trivial y |G| = c + i ni su ecuaci clase. Como cada ni | |G| y |G| = pn para alg un n N entonces c 0(mod p). Ahora, e Z (G) luego c p pues |Z (G)| 1 y p | c. Como p 2, Z (G) es no trivial. Lema 6.22 Sea G un grupo. Si G tiene dos subgrupos normales H y K tales que H K = {e} y H K = G entonces G H K . Demostraci on: Dena : H K G por (h, k ) = hk . Por el teorema 2.21 iu), ((h, k )(h , k )) = (hh , kk ) = hh kk = hkh k = (h, k )(h , k ). Ahora suponga que hk = e, luego h = k 1 H K , as h = k = e, luego es inyectivo. Y como HK = H K , es tambi en sobreyectivo. 6.23 Observaci on. Dadas las hip otesis del lema anterior, decimos que G es el producto interno de H y K . Aunque este concepto no lo usaremos mucho ac a, es v alido observar que algo semejante se tiene en el a lgebra lineal.

Grupos abelianos libres Teorema 6.24 Sea p un primo. Todo grupo de orden p2 es abeliano.

57

Demostraci on: Sea G un grupo de orden p2 . Suponga que G no es c clico, as todo elemento de G excepto la identidad tiene orden p. Luego, si a G es distinto de la identidad, < a > no es todo G, y si b / < a >, < b > < a >= {e}. Por otro lado por el primer teorema de Sylow, < a > y < b > son subgrupos normales de G, adem as | < a > < b > | = p2 (Por qu e?), entonces por el lema 6.22, G < a > < b >. Luego G es abeliano. Teorema 6.25 Si p y q son primos con p < q , entonces todo grupo de orden pq tiene un u nico subgrupo de orden q . Mas a un el subgrupo de orden q es normal, luego G no es simple y si q 1(mod p), G es c clico. Demostraci on: Por los teoremas de Sylow, G contiene un n umero n de q subgrupos de Sylow que es congruente a 1 m odulo q y que divide a pq . De esto u ltimo n|p, pero p < q luego n = 1. As por el segundo teorema de Sylow, si Q es el q -subgrupo de Sylow de G, Q G. De la misma forma, el n umero m de p-subgrupos de Sylow divide a q y es congruente a 1 m odulo p. As m {1, q }. Entonces si q 1(mod p), m = 1. As si P es el p-subgrupo de Sylow de G, P G, y Q P = {e}. As G P Q Zp Zq Zpq .

6.3.

Grupos abelianos libres

6.26 Imagin emonos que quisieramos sumar entidades sin ninguna relaci on entre ellas, diga usted cuadrados y tri angulos. Probablemente no querr amos que la suma de un cuadrado, un tri angulo, y otro cuadrado diera algo diferente a dos cuadrados y un tri angulo. Estamos sumando tri angulos y cuadrados formalmente, y algo as es lo que ahora consideraremos. 6.27 Denici on (Grupo abeliano libre, base): Una terna (G, A, i) que consta de un grupo abeliano G, un conjunto A y un funci on i : A G, se llama un grupo abeliano libre si para todo grupo abeliano H y toda funci on de f : A H , existe un u nico homomorsmo f : G H tal que (ver gura 6.1): f i=f El conjunto A es la base de G. PSfrag replacements
G
i f e f

Figura 6.1: Grupo abeliano libre

58

Cap tulo 6. Teoremas de Sylow y Grupos libres

Teorema 6.28 Si (G, A, i) es un grupo abeliano libre, entonces: i) i es inyectiva. ii) G =< i[A] > iii) si (G , A, j ) es grupo abeliano libre, G G

iu) (G, i[A], j ) es grupo abeliano libre, donde j es la inclusi on. Demostraci on: Suponga que i no es inyectiva, y sean a, b A tales que i(a) = i(b) pero a = b. Dena f : A Z2 por f (a) = 0 y f (b) = 1, y sea f : G Z2 homomorsmo tal que f i = f . Entonces f (a) = f i(a) = f i(b) = f (b). Contradicci on, i es inyectiva. Suponga que G =< i[A] >, luego G/ < i[A] > es un grupo abeliano no trivial. Ahora si dene f : A G/ < i[A] >, por f (a) = 0 para todo a A, el homomorsmo trivial, 0, y la proyecci on can onica con kernel < i[A] >, <i[A]> son homomorsmos diferentes tales que 0 i = <i[A]> i = f . Contradicci on, G =< i[A] >. Ahora, considere i : G G y j : G G tales que i i = j y j j = i. Entonces i j j = j , por un lado, y por otro, idG , la identidad en G , es el u nico homomorsmo tal que idG j = j , luego i j = idG . De la misma forma j i = idG , luego G G . Sean j : i[A] G, la incluci on, H un grupo abeliano y f : i[A] H una funci on. Considere g : A H denida por g = f i, y f : G H homomorsmo tal 1 1 que f i = g . As , como i es inyectiva, f j = f (i i i[A] ) = g i i[A] = f . f es el homomorsmo buscado. 6.29 Nota. En vista del teorema anterior, si (G, A, i) es grupo abeliano libre, podemos considerar A G e i como la inclusi on. En este caso decimos que G es un grupo abeliano libre sobre A. Teorema 6.30 Sea G un grupo abeliano y A = {ai }i{1,...,n} subconjunto de G. Las siguientes aserciones son equivalentes: i) G es libre sobre A, con |A| < . ii) Todo elemento g en G se puede expresar de forma u nica como g = con cada ni Z iii) G =< A > y
n i=1 n i=1

ni a i ,

ni ai = 0 si y s olo si cada ni = 0.

Demostraci on: ii) i) : Sean j : A G la inclusi on y H grupo abeliano. Dada f : H A n n dena f : G H por f ( i=1 ni ai ) = i=1 ni f (ai ), as f j = f . De donde G es abeliano libre sobre A. i) iii) : en el teorema 6.28 ya vimos G =< A >. Ahora suponga que 0 = n i=1 ni ai , dena para k {1, . . . , n}, fk : A Z por fk (x) = 0 si x = ak y

Teorema fundamental de los grupos abelianos

59

fk (ak ) = 1 y considere fk : G Z tal que fk j = f , donde j : A G es la n inclusi on. Entonces 0 = fk (0) = i=1 ni fk (ai ) = nk . iii) ii) : Como G =< A >, lo u nico que hace falta demostrar es la unicidad n n n de la expresi on. Si g = i=1 ni ai = i=1 mi ai entonces i=1 (ni mi )ai = 0 y as ni = mi para cada i {1, . . . , n}. 6.31 Ejemplo (existencia de grupos abelianos libres): Sea A un conjunto y dena G = ZA e i : A G por i(a)(x) = 0 si x = a e i(a)(a) = 1. < G, +, 0 > donde la suma es la usual entre funciones y 0 es la funci on que env a todo al 0, es un grupo abeliano. Ahora si H es un grupo abeliano, dada f : A H , dena f : G H por f ( aA na i(a)) = aA na f (a), as f i = f . (G, A, i) es entonces grupo abeliano libre. Observe que si |A| < , y A = {ai }i{1,...,n} , bajo el isomorsmo que env a g G al elemento cuya k - esima entrada es g (ak ), G Z Z . . . Z.
|A|

Teorema 6.32 Sea (G, A, i) grupo abeliano libre. Si (G, B, j ) es grupo abeliano libre entonces |A| = |B |. Demostraci on: ZB y ZA son equipotentes si y s olo si |A| = |B |. Teniendo en mente lo que se acaba de decir en el ejemplo 6.31, el teorema se sigue entonces del teorema 6.28 iii). 6.33 Denici on (Rango): Sea (G, A, i) un grupo abeliano libre. Denimos el rango de G como la cardinalidad de A. 6.34 Nota. En vista de lo u ltimo que se prob o, de ahora en adelante cuando hablamos de un grupo abeliano libre omitiremos la referencia a la base A y a la funci on i, que por lo general la tomaremos como la inclusi on. Para cualquier lector en este momento ya debe ser claro lo similar que es un grupo abeliano libre a un espacio vectorial. Teorema 6.35 Dos grupos abelianos libres son isomorfos si y s olo si tienen mismo rango. Demostraci on: Los mismos argumentos que se usaron para demostrar el teorema 6.32, sirven para este.

6.4.

Teorema fundamental de los grupos abelianos nitamente generados

6.36 Ya tenemos las herramientas necesarias para demostrar el teorema 1.48, lo que haremos en general es dado un grupo abeliano G nitamente generado, factorizaremos un grupo abeliano libre hasta obtener G. Comencemos.

60

Cap tulo 6. Teoremas de Sylow y Grupos libres

6.37 Denici on (Subgrupo de torsi on, grupo libre de torsi on): Sea G un grupo abeliano. El subgrupo de torsi on de G, T , esta denido por: T := {g G : ord(g ) < +} Decimos que G es libre de torsi on si T es trivial. 6.38 Nota. Para un grupo cualquiera, se acostumbra decir que es de torsi on (o peri odico) si todos sus elementos tienen orden nito, y libre de torsi on (o aperi odico) si todos sus elementos, menos la identidad, tienen orden innito. Lema 6.39 Si G es un grupo abeliano, T su subgrupo de torsi on y T =< c T {0} >, G T T y as G/T T es libre de torsi on. Demostraci on: Como T G, T G, T T = {0} y T T = G, por el lema 6.22, G T T . Ahora si g / T , ng / T para todo n Z , luego G/T es libre de torsi on.
i Lema 6.40 Sea G un grupo abeliano de torsi on. Entonces si |G| = i=1 pr i es una descomposici on en potencias de primos con pi < pi+1 para i {1, . . . , n1}, G Tp1 Tp2 . . . Tpn donde Tpi = {g G : ord(g ) = pn i , n N}.

Demostraci on: Es claro que los Tpi son subgrupos de G, y que Tpi Tpj = {0}, n si i si i = j . Ahora bien, si g G con ord(g ) = i=1 ps i , tomando mi = ord(g )/pi , n como (m1 , m2 , . . . , mn ) = 1, existen ki Z tales que 1 = i=1 ki mi , de esta n n forma g = i=1 ki gi donde gi = mi g . De esta forma como i=1 ki (mi g ) = si ord(gi ) = pi , gi Tpi y G = Tp1 + Tp2 + . . . + Tpn . Luego, por el lema 6.22, G T p1 T p2 . . . T pn . Lema 6.41 Si G es un grupo abeliano libre sobre A = {ai }i{1,...,n} , i = j y t Z, B = {a1 , . . . , ai1 , ai + taj , ai+1 , . . . , an }, tambi en es base para G. Demostraci on: ai = (ai + taj ) taj , luego < B >= G. Ahora si (n1 )a1 + . . . + ni1 ai1 + ni (ai + taj ) + ni+1 ai+1 + . . . + nn an = 0, entonces como A es base, nk = 0 si k = j y tni + nj = 0. De donde nj = 0 y por el teorema 6.30, B es base para G. Teorema 6.42 Sea G un grupo abeliano libre de rango nito n. Si K G, K es tambi en abeliano libre. Mas a un si K es de rango m, existen A = {a i }i{1,...,n} base para G y {di }i{1,...,m} N , tales que di | di+1 y {di ai }i{1,...,m} es una base para K . Demostraci on: Dada una base A = {ai }i{1,...,n} de G, y g G con g = n n a , n{|ni | : i {1, . . . , n}, ni = 0}. Ahora si i=1 i i denimos |g |A := m K G, denimos |K |A := m n{|k |A : k K \ {0}}. Tome B1 = {bi,1 }i{1,...,n} base de G tal que |K |B1 sea minimal, con k1 K n tal que |k1 |B1 = |K |B1 y k1 = i=1 ni,1 bi,1 donde |n1,1 | = |K |B1 . Ahora

Teorema fundamental de los grupos abelianos

61

si ni,1 = qi,1 n1,1 + ri,1 , con 0 ri,1 < |n1,1 |, aplicando n 1 veces el len ma 6.41, A1 = {b1,1 + i=2 qi,1 bi,1 , b2,1 , . . . , bn,1 } es tambi en base para G. n Entonces si a1 = b1,1 + i=2 qi,1 bi,1 , ai,1 = bi,1 para i 2, y d1 = n1 1, k1 = d 1 a1 + n como d1 = |k1 |A1 , ri,1 = 0 i=2 ri,1 ai,1 donde ri,1 < |d1 |. As n y k1 = d1 a1 K . Observe adem as que si k K con k = m1 a1 i=2 mi ai,1 , entonces d1 | m1 (Por qu e?) Si < d1 a1 >= K terminamos, de lo contrario escoja B2 = {bi,2 }i{1,...,n} base para G tal que |K |B2 sea minimal entre las bases que contengan a1 . Puede sun poner que k2 = i=2 ni,2 bi,2 es un elemento en el cual este m nimo se alcanza y que lo alcanza en el coeciente d2 del segundo elemento de la base (el primero es a1 ), pues podemos restar (o sumar) cuantas veces sea necesario d1 a1 a n de volver nulo el coeciente en a1 . As se dene, semejante a lo anterior, n on de ni,2 por a2 = b2,2 + i=3 qi,2 bi,2 , donde qi,2 es el cociente de la divisi d2 , y as k2 = d2 a2 . Entonces A2 = {a1 , a2 , b3,2 , . . . , bn,2 } es base para G. Pero adem as si d2 = qd1 + r, donde 0 r < |d1 |, Y = {a1 + qa2 , a2 , b3,2 , . . . , bn,2 }, es tambi en base para G en la cual k = d1 a1 + d2 a2 = d1 (a1 + qa2 ) + ra2 K . Entonces si r = 0, |k |Y = r < |d1 | lo que llevar a a una contradicci on con la elecci on de B1 . As d 1 | d2 . Si < d1 a1 , d2 a2 >= K terminamos, de lo contrario continuamos as sucesivamente. Mostrando una base para K queda de paso demostrado que es abeliano libre por el teorema 6.30. Lema 6.43 Si G es un grupo abeliano nitamente generado entonces: G Z m1 Z m2 . . . Z mn Z . . . Z

con mi | mi+1 , para i {1, . . . , n 1}. Demostraci on: Suponga que G =< A > donde A = {ai }i{1,...,n} . Considere un grupo abeliano libre (C, A, i) y tome : C G el homomorsmo tal que i = idA , donde idA es la inclusi on de A en G. es sobreyectiva, luego por el teorema fundamental del homomorsmo C/Ker() G. Entonces por el teorema 6.42, existe X = {xi }i{1,...,n} base para G con {mi }i{1,...,m} , tales que mi | mi+1 y {mi xi }i{1,...,m} es una base de Ker(). Ahora como C < x1 > . . . < xn >, K < d1 x1 > . . . < dm xm > y < di xi > < xi >, entonces C/Ker() Zm1 Zm2 . . . Zmm Z . . . Z. odulo isomorsmo. Si mi = 1 podemos obviar el factor Zmi , m 6.44 Ahora s probaremos el teorema fundamental de los grupos abelianos nitamente generados. La existencia de la descomposici on es consecuencia inmediata de lo que ya hemos probado. Es frecuente en matem aticas que la unicidad se deba a una trivialidad una vez probada la existencia, pero en este teorema no es el caso, por intuitiva que sea. Teoremas que concluyan una clasicaci on tan exhaustiva son una rareza en matem aticas en general y en la teor a de grupos en particular.

62

Cap tulo 6. Teoremas de Sylow y Grupos libres

Teorema 6.45 (Teorema fundamental de los grupos abelianos nitamente generados) Si G es un grupo abeliano nitamente generado: G Z pr 1 Z pr 2 . . . Z pr n Z . . . Z n 1 2
r

donde los pi , para i {1, . . . , n}, son primos tales que pi pi+1 , y los ri son naturales no nulos tales que ri ri+1 si pi = pi+1 . Mas a un los pi , los ri y r est an un vocamente determinados. A r se le llama n umero de Betti de G. Demostraci on: Sea G un grupo abeliano nitamente generado. El subgrupo de torsi on T de G es nito pues si T =< {x1 , x2 , . . . , xm } >, y Ti =< xi >, cada Ti es nito y T = T1 + T2 + . . . + Tm . Ahora, por los lemas 6.39 y 6.40, G
n

T p1 T p2 . . . T pn T

(6.2)

i donde |T | = i=1 ps i , con cada pi primo tal que pi < pi+1 , Tpi = {g G : n ord(g ) = pi , n N}, y T es libre de torsi on. Cada Tpi es de torsi on, luego, como |Tpi | < +, por el lema 6.43,

T pi

Z pr 1 Z r2 . . . Z rk i pi p i
i

(6.3)

con ri ri+1 . Ahora como T es libre de torsi on, por el lema 6.43, si T no es trivial, T Z ... Z (6.4) Luego T es abeliano libre y por el teorema 6.35 el n umero de Zs en la productoria (6.4), es decir el n umero de Betti de G, esta un vocamente determinado (si T es trivial, r = 0). Cuando probemos la unicidad de la descomposici on en (6.3), habremos terminado la demostraci on. Dena para p primo, el pn -z ocalo Tpi [pn ] de Tpi , por n n n ocalo Tpi [p ] Tpi y cada elemento del pi -z Tpi [p ] := {g Tpi : p g = 0}. As tiene orden pi o 1. Entonces por el lema 6.43, Tpi [pi ] Zpi . . . Zpi donde el n umero de elementos en la productoria esta un vocamente determinado por el orden del pi -z ocalo. Entonces como (Zpr 1 Zpr2 . . . Z rk )[pi ] es isomorfo pi i i al producto directo de ki Zpi s, el n umero de elementos de la productoria (6.3) esta un vocamente determinado. Zpd1 , . . . Zpdk , con 0 di < ri y Ahora bien dado n N , Tpi [pn i] i i n = qi ri + di . De donde, Tpi /(Tpi [pn i ]) Zpr1 d1 . . . Zprk dk
i i

(6.5)

As el n umero de Zprj s en (6.3) para los cuales n 0(mod rj ) esta determinado i por el n umero de elementos en la productoria (6.5) que colapsaron en triviales, dado por el n umero de elementos no triviales, que ya vimos que es propio de todo grupo abeliano nitamente generado. De esta forma cada rj queda un vocamente determinado cuando se recorre n por {1, . . . , logpi (ord(Tpi ))}.

Grupos libres y representaciones

63

6.46 Con un estudio m as profundo de los grupos abelianos de torsi on, de los libres de torsi on y de los abelianos libres, se puede exponer una demostraci on mucho m as corta del teorema fundamental de los grupos abelianos. Pero el enfoque que se le da ac a ilustra bien, en un primer (y se espera que no u nico) acercamiento, el funcionamiento de los grupos abelianos nitamente generados.

6.5.

Grupos libres y representaciones

6.47 Denici on (Grupo libre): Una terna (F, X, i), que consta de un grupo F , un conjunto X y una funci on i : X F , es un grupo libre si para todo grupo G y toda funci on f : X G, existe un u nico homomorsmo f : F G tal que (ver gura 6.2): f i=f PSfrag replacements
F
i f e f

Figura 6.2: Grupo libre Teorema 6.48 Si (F, X, i) es un grupo libre, entonces: i) i es inyectiva. ii) si (F , X, j ) es grupo libre entonces F F.

iii) (F, i[X ], j ) es grupo libre, donde j es la inclusi on. Demostraci on: Una demostraci on similar a la del teorema 6.28 verica este. 6.49 Observaci on. A diferencia del teorema 6.28, en el 6.48 no esta F =< i[X ] >, en el caso de los grupos libres esto no es tan evidente ` a priori. Por otro lado, nada en la denici on de grupo libre nos indica que existen. Con el siguiente teorema se visualizan los grupos libres, y estos problemas quedan resueltos. Teorema 6.50 Sea X un conjunto. Existe F grupo e i : X F funci on, tales que (F, X, i) sea grupo libre con F =< i[X ] >. Demostraci on: Considere otro conjunto equipotente a X , por ejemplo X 1 = 1 {x : x X }. El s mbolo 1 no tiene ning un signicado, es s olo para distinguirlo de los elementos de X . Por letra enteremos un elemento de X X 1 y por palabra entenderemos una sucesi on nita de letras o la palabra vac a que notaremos e (si en X est a ese s mbolo se le puede poner otro a la palabra vac a). As si

64

Cap tulo 6. Teoremas de Sylow y Grupos libres

en 1 e2 un s mbolo, w es una palabra tenemos w = xe 1 x2 . . . xn , donde ei es o bien ning o bien el s mbolo 1. Sea W el conjunto de todas las palabras. Si w, v W , denimos wv como la palabra que se obtiene al concatenar w y v , esto es si e1 e2 e1 e2 en em en e1 e2 em 1 e2 w = xe 1 x2 . . . xn y v = y1 y2 . . . ym , wv = x1 x2 . . . xn y1 y2 . . . ym . Tame2 e1 1 1 en bi en denimos w por w = xn . . . x2 x1 , donde ei es 1 si ei no es s mbolo y ning un s mbolo si ei es 1. Ahora, en W dena la relaci on , donde w v si de w puedo obtener v mediante las operaciones:

(a) agregar entre dos letras xx1 o x1 x donde x es una letra. (b) eliminar una ocurrencia de xx1 o x1 x que suceda en la palabra. Es claro que es una relaci on de equivalencia. Denimos F = W/ y [w] = [w] . F ser a nuestro grupo. Denimos la operaci on por [w][v ] = [wv ], y as [e] es la identidad y [w 1 ] = [w]1 . Tambi en se puede vericar f acilmente que [wv ][u] = [w][uv ], con lo cual se comprueba que F es un grupo. Y mas a un si i : X F es tal que i(x) = [x], vemos que F =< i[X ] >. Ahora bien si < G, , eG > es un grupo y f : X G es una funci on, dena e2 e1 en en 1 e2 : W G por (xe 1 x2 . . . xn ) = g1 g2 . . . gn donde gi = f (xi ) y (e) = eG . As pues (xx 1) = eG , luego podemos denir f : F G por e1 e2 e1 e2 en en f ([x1 x2 . . . xn ]) = g1 g2 y f ([e]) = eG . Por construcci on f es . . . gn homomorsmo y f i = f . Por otro lado si g es otro homomorsmo tal que g i = f , como g coincide con f en i[X ], y F =< i[X ] >, f = g . Luego (F, X, i) es grupo libre. Teorema 6.51 Sea (F, X, i) un grupo libre. Si (F, X , j ) es grupo libre, |X | = |X | Demostraci on: Considere el conjunto V compuesto por los homomorsmo de F en Z2 . V se puede ver can onicamente como un espacio vectorial sobre Z2 . Dado X , dena f : X Z por f (x) = 0 si x = y f ( ) = 1 y sea BX = {f }X donde f i = f . Dado f V , f = X f ( )f , y adem as si = X a f es tal que para todo x F , (x) = 0, entonces ( ) = a = 0, luego BX es una base de V . Una base similar BX , se puede denir con X . As |BX | = |BX |, pero |BX | = |X | y |BX | = |X |. 6.52 Denici on (rango): Si (F, X, i) es un grupo libre a |X | lo llamamos rango de F . Teorema 6.53 Dos grupos libres son isomorfos si y s olo si tienen mismo rango. Demostraci on: Es f acil ver que si dos grupos libres son isomorfos tienen mismo rango (Por qu e?). Ahora bien considere (F1 , X1 , i1 ) y (F2 , X2 , i2 ) dos grupos libres tales que exista f : X1 X2 biyecci on. As existen dos u nicas f1 : F1 F2 , y f2 : F2 F1 tales que f1 i1 = i2 f y f2 i2 = i1 f 1 . As (f2 f1 ) i1 = f2 i2 f = i1 f 1 f = i1 , pero idF1 i1 = i1 luego F 1 F2 . idF1 = f2 f1 . De forma similar idF2 = f1 f2 . As

Grupos libres y representaciones

65

6.54 El gran inter es que despierta los grupos libres esta resumido en el siguiente teorema. Teorema 6.55 Sea G un grupo tal que G =< X > y (F, Y, i) un grupo libre. Si f : Y X es sobreyectiva, entonces existe un homomorsmo : F G sobreyectivo tal que i = f . En particular todo grupo es imagen de un grupo libre. Demostraci on: Viendo f con codominio G, existe un u nico homomorsmo : F G tal que i = f . Ahora bien G =< X >, luego es sobreyectiva, pues (F, Y, i) es libre. 6.56 Observaci on. Dadas las condiciones del teorema anterior, G F/Ker(). As todo grupo es de la forma F/K donde K F . Para generar un grupo entonces consideremos un grupo libre (F, X, i), S F , y R el m nimo subgrupo normal de F que contiene < i[S ] > (la clausura normal de S ), nuestro grupo es F/R que esta un vocamente determinado u nicamente por X y S . En esto nos concentramos ahora. 6.57 Denici on (representaci on, relacionador): Sea < G, , 1 > un grupo. Un homomorsmo sobreyectivo : F G, donde (F, X, i) es grupo libre, es una representaci on de G. A los elementos de Ker( ) los llamamos relacionadores. Si S F es tal que su clausura normal es Ker( ) decimos que (, X, S ) determina un conjunto generador y dene los relacionadores para G, que notamos: G =< X |S > 6.58 Observaci ones a la denici on 6.57. i) Si X = {xg : e = g G}, (F, X, i) grupo libre, y : F G denida por (xg ) = g , es la representaci on est andar de G. ii) Ahora bajo el contexto de la denici on 6.57, A = i[X ] es un conjunto generador de G, y (s) = 1 para todo s S . Luego (6.57) tambi en lo notamos: G =< A|s = 1, s S > 6.59 Ejemplos: i) Una representaci on de Zn es < a|an = 1 >. ii) Considere el D =< x, y |x2 = 1, y 2 = 1 >, llamado diedral innito. Si a = xy , D =< a, x >, y x1 ax = yx = a1 , luego otra representaci on es < x, a|x2 = 1, x1 ax = a1 >, pues de x1 ax = a1 deducimos y 2 = (x1 a)2 = 1. Por otro lado x1 = x, ax = xa1 y a1 x = xa1 luego un elemento t pico de G es de la forma xr as . donde r {0, 1} y s Z.

66

Cap tulo 6. Teoremas de Sylow y Grupos libres

iii) Dos representaciones de Dn son < x, y |x2 = y 2 = (xy )n = 1 > y < x, a|x2 = an = 1, x1 ax = a1 >. Se debe sentir porque esto es una representaci on del grupo diedral, x representa una reexi on y a la primera rotaci on. Los otras rotaciones son am y las otras reexiones xam . La prueba formal requiere un poco m as de trabajo. 6.60 El tema de grupos libres y representaciones es bastante m as extenso. Por ejemplo en 6.59 mostramos que un grupo puede tener varias representaciones, eso lo llamamos representaciones isomorfas. Tambi en podemos preguntarnos si dado S podemos determinar si un elemento de F es o no es un relacionador, en un n umero nito de pasos.

6.6.

Ejercicios

1. Sea S un Sylow p-subgrupo de un grupo nito G. Pruebe que todo subgrupo de NG (S ) de orden una potencia de p es un subgrupo de S . (Recuerde que NG (S ) es el normalizador de S en G, es decir, NG (S ) = {g G : gSg 1 = S }) 2. Sea G un grupo de orden 12. Cuales son los valores posibles para los n umeros de 2-subgrupos y de 3-subgrupos de Sylow en G? Pruebe que existen exactamente 5 estructuras de grupos diferentes de orden 12. 3. Sea G un grupo nito y p un primo que divide |G|. Pruebe que si H es un p-subgrupo normal de G, entonces H esta contenido en todo p-subgrupo de Sylow de G. 4. Sea G un grupo nito y sea p un primo que divide |G|. Sea P un p-subgrupo de Sylow de G. Pruebe que N [N [P ]] = N [P ]. 5. Sea G un grupo nito y sea p un primo que divide |G|. Sea P un p-subgrupo de Sylow de G y sea H un p-subgrupo de G. Pruebe que existe g G tal que gHg 1 P . 6. Pruebe que todo grupo de orden (35)3 tiene un subgrupo normal de orden 125. 7. Pruebe que no hay grupos simples de orden 255 = (3)(5)(17). 8. Pruebe que un grupo nito de orden pn contiene subgrupos normales Hi , para 0 i n, tales que |Hi | = pi y Hi < Hi+1 para 0 i < n. (Ayuda: recuerde (o pruebe) que el centro de un p-grupo nito no trivial es no trivial, y use este hecho). 9. Pruebe que todo elemento diferente a la identidad de un grupo libre es de orden innito. 10. Pruebe que si G y G son grupos abelianos libres, entonces G G es abeliano libre.

Ejercicios

67

11. Pruebe que Q bajo la adici on no es un grupo abeliano libre. (Ayuda: pruebe que ning un par de n umeros racionales distintos n/m y r/s pueden estar en un conjunto que cumpla con las condiciones de ser base.)

68

Cap tulo 6. Teoremas de Sylow y Grupos libres