G-conjuntos y p-Grupos Finitos.

1.

G-Conjuntos

Denicin 1.1. Sea G un grupo y X un conjunto no vac Una accin o o. o de G sobre X (por la izquierda) es una aplicacin o : G X X, vericando: 1. 1 x = x para todo x X, 2. g (h x) = (gh) x para cualesquiera g, h G y x X. Diremos que G act a por la izquierda sobre X y que X es un Gu conjunto. El grupo G se llama el dominio de operadores de la accin o y la aplicacin la aplicacin de G-estructura del G-conjunto X. o o Notemos que dada una accin de G sobre X, para cada g G podemos o denir una aplicacin: o (g) : X X (g)(x) := g x, x X. La condicin 1. nos dice que (1) = 1X , mientras que la condicin 2. nos o o dice que (gh) = (g) (h). En particular (g) (g 1 ) = 1X = (g 1 ) (g), esto es, (g) es una aplicacin biyectiva. Tenemos pues asociado un o homomorsmo de grupos : G S(X), g (g) de G en el grupo de permutaciones del conjunto X. Rec procamente, dado un homomorsmo de grupos : G S(X), tenemos una accin dada por o G X X, de manera que son equivalentes: (a) Dar una accin de G sobre X, o 1
g

(g, x) g x

x := (g)(x),

(b) Dar un homomorsmo de G en el grupo de permutaciones S(X) del conjunto X. El homomorsmo : G S(X) lo llamaremos la representacin de G o por permutaciones asociada a la accin. El ncleo de , esto es o u Ker() = {g G|(g) = idX } = {g G|g x = x, x X}, se llama el el n cleo de la accin. Si Ker() = 1 diremos que la accin u o o es el. Ejemplo 1.2. 1. La accin trivial de un grupo G sobre un conjunto X o es la dada por: : G X X,
g

x := x, x X, g G

cuya representacin asociada es el homomorsmo trivial 1 : G o S(X). 2. Si G acta sobre un conjunto X, con representacin : G S(X), y u o H es un subgrupo de G, entonces H acta sobre X por la composicin u o H G S(X). Esta accin la llamaremos la accin por restriccin o o o de H sobre X. o 3. Sea G = Sn y X = {1, 2, . . . , n}. Entonces la aplicacin Sn X X, (, x) x := (x)

es una accin. Su representacin asociada no es mas que id : Sn Sn o o y se trata pues de una accin el. o 4. Sea G = D4 = r, s|r4 = 2 = s2 , sr = r3 s el grupo didrico, y e X = {1, 2, 3, 4}. Entonces la aplicacin : D4 S4 = S(X) denido o por (r) = (1 2 3 4) y (s) = (2 4) es un homomorsmo de grupos que dene, entonces, una accin de D4 o sobre X. Es fcil ver que este homomorsmo es inyectivo, esto es, que a la accin es el. o Destacamos ahora dos ejemplos ms que tienen especial importancia por a sus consecuencias en el estudio de grupos nitos y, en particular, en el estudio de p-grupos nitos. Ejemplo 1.3. La accin por traslacin: Para cualquier grupo G, la accin o o o por traslacin de G sobre s mismo es dada por o G G G, (g, h) g h := gh.

Esta accin es el, pues el ncleo de o u : G S(G) es Ker() = {g G/gh = h, h G} = {1}, esto es, es un monomorsmo. En particular si G es nito con |G| = n, entonces S(G) Sn y deducimos = el conocido Teorema 1.4. Teorema de Cayley: Todo grupo nito es isomorfo a un subgrupo de un grupo de permutaciones. Ejemplo 1.5. La accin por conjugacin: Para cualquier grupo G, la o o accin por conjugacin de G sobre s mismo es dada por o o G G G, La representacin asociada o : G S(G), g g aplica un elemento g en el automorsmo interior de conjugacin por g, g : o G G, y as su imagen es el grupo de automormos interiores Int(G). Su , ncleo u Ker() = {g G/ghg 1 = h, h G} = {g G/gh = hg, h G} = Z(G), coincide con el centro del grupo. Consecuentemente la accin es el si el o centro del grupo es trivial. Finalmente un ejemplo parecido al anterior es el de la accin por conjuo gacin de un grupo G sobre el ret o culo de sus subgrupos Sub(G): G Sub(G) Sub(G), (g, H) g H := gHg 1 . (g, h) g h := ghg 1 .

Esta accin no es, en general, el. Nos irn apareciendo mas ejemplos de o a acciones en el desarrollo del tema. Volviendo a la situacin general, consideremos un G-conjunto X con o accin o G X X, (g, x) g x. Denimos la siguiente relacin binaria en X: Dados elementos x, y X o diremos que x y g G tal que y = g x. Es fcil ver que es una relacin de equivalencia. La clase de equivalencia a o de un elemento x X se llama la rbita de x que ser o a O(x) = {y X|x y} = {y X|g G tal que y = g x} = {g x|g G}. Desde la teor general de clases de equivalencia, las rbitas verican: a o 3

O(x) = O(y) x y y = g x para algn g G. u O(x) = O(y) O(x) O(y) = . El conjunto de las rbitas distintas constituye una particin del cono o junto X. Esto es, si X/ = {O(xi ); i I}, entonces X = iI O(xi ) y esta unin es disjunta. o Diremos que la accin es transitiva si X/ es unitario, es decir, si O(x) = o O(y), x, y X. Notemos que esto es equivalente a decir que Transitividad: Para cualesquiera x, y X, g G tal que x = g y. Denicin 1.6. Sea X un G-conjunto izquierda y x un elemento de X. o Denimos el estabilizador de x en G por: StabG (x) := {g G| g x = x}. Es fcil ver que StabG (x) es un subgrupo de G, llamado tambin el grupo a e de isotrop de x. a Se tiene: Teorema 1.7. Sea G un grupo nito que acta sobre un conjunto X, enu tonces para cada x X, su rbita O(x) es tambin un conjunto nito y o e adems a |O(x)| = [G : StabG (x)]. En particular, el cardinal de la rbita es un divisor del orden de G (i.e., o |O(x)| divide a |G|). Demostracin. o Se verica adems a Proposicin 1.8. Si x, y X son dos elementos que estn en la misma o a o rbita (i.e. O(x) = O(y)), entonces StabG (x) y StabG (y) son subgrupos de G conjugados. Demostracin. o Denicin 1.9. Sea G un grupo y X un G-conjunto izquierda. Decimos o que un elemento x X es jo por la accin si g x = x para todo elemento o g G. Denotaremos por F ix(X) al conjunto de elementos jos, esto es F ix(X) := {x X| g x = x, g G}. Observacin 1.10. o Notemos que

x F ix(X) O(x) = {x} StabG (x) = G. 4

Supongamos que X es nito y sea X/ = {O(x1 ), . . . O(xn )}. entonces, puesto que el conjunto de rbitas constituye una particin de X, si o o = {x1 , . . . , xn } es un conjunto de representantes de las rbitas, se o tendr: a n |X| = i=1 |O(xi )| = |F ix(X)| + xi F ix(G), xi |O(xi )| (1.1) = |F ix(X)| + xi F ix(G), xi [G : StabG (xi )] Nos ocupamos ahora de calcular rbitas y estabilizadores para tres de o los ejemplos estudiados: Ejemplo 1.11. (a) Recordemos que para cualquier grupo G, la accin por o traslacin de G sobre s mismo viene dada por o G G G, Entonces, dado h G O(h) = { g h/g G} = {gh/g G} = G y por tanto la accin es transitiva. Por otro lado o StabG (h) = {g G/ g h = gh = h} = {1}, mientras que F ix(G) = {h G/ g h = gh = h, g G} = . (b) Para la accin por conjugacin de un grupo G sobre s mismo, que o o recordemos est dada por a G G G, (g, h) g h := ghg 1 , (g, h) g h := gh.

la rbita de un elemento h G, se llama clase de conjugacin de o o h, y se denota por cl(h), esto es: cl(h) := O(h) = {ghg 1 /g G}. El estabilizador de un elemento h por esta accin se llama el centrao lizador de h en G, denotado cG (h), y entonces: cG (h) := StabG (h) = {g G/ghg 1 = h} = {g G/gh = hg}. Puesto que |cl(h)| = [G : cG (h)], entonces el nmero de conjugados de u h en G es =
|G| |CG (h)|

y es un divisor de |G|.

Finalmente el conjunto de elementos jos por esta accin es o F ix(G) = {h G/ g h = h, g G} = {h G/gh = hg, g G} = Z(G), 5

esto es el centro del grupo. Entonces la frmula (1.1), nos dice en este o caso que |G| = |Z(G)| + hZ(G),h |cl(h)| = |Z(G)| + hZ(G),h [G : cG (h)], siendo un conjunto de representantes de las clases de conjugacin. o Esta frmula se conoce como la frmula de las clases y veremos que o o tiene importantes aplicaciones en el estudio de p-grupos. (c) Finalmente, consideremos la accin por conjugacin de un grupo G o o sobre el ret culo de sus subgrupos Sub(G): G Sub(G) Sub(G), Entonces, para H G, O(H) = { g H = gHg 1 /g G} = subgrupos conjugados de H en G, y entonces O(H) = H H G. Respecto al estabilizador, este es llamado el normalizador de H en G, denotado por NG (H), esto es NG (H) := StabG (H) = {g G/gHg 1 = H} = {g G/gH = Hg}, tenindose que e NG (H) = G H G. Es fcil ver que H es un subgrupo normal de su normalizador, i.e. H a HG (H); adems NG (H) es el mayor subgrupo normal de G en el que H a es normal. El conjunto de elementos jos por est accin es a o F ix(Sub(G)) = {H Sub(G)/gHg 1 = H, g G} = {H Sub(G)/H G}. Finalmente, puesto que |O(H)| = [G : NG (H)], concluimos que el nmero de u conjugados de un grupo H es un divisor de |G| y coincide con el ndice de su normalizador. Observacin 1.12. La determinacin de las clases de conjugacin de un grupo o o o G es importante para el estudio de sus representaciones. Veamos un ejemplo de clculo de dichas clases. Sea G = D4 = r, s/r4 = 1 = s2 , sr = r3 s = a {1, r, r2 , r3 , s, rs, r2 s, r3 s}. Calculamos todos los productos xyx1 mediante (g, H) g H := gHg 1 .

la tabla: x 1 r r2 r3 s rs r2 s r3 s x1x1 1 1 1 1 1 1 1 1 xrx1 r r r r3 r3 r3 r3 r3 xr2 x1 r2 r2 r2 r2 r2 r2 r2 r2 xr3 x1 r3 r3 r3 r3 r r r r 1 2s 2s 2s xsx s r s r s r s r2 s 1 3s 3 s r3 s xrsx rs r rs r rs r3 s rs xr2 sx1 r2 s s r2 s s r2 s s r2 s s xr3 sx1 r3 s rs r3 s rs r3 s r3 s rs r3 s de donde concluimos que hay 5 clases de conjugacin que son: o Cl(1) = {1}, Cl(r) = cl(r3 ) = {r, r3 }, Cl(r2 ) = {r2 }, Cl(s) = cl(r2 s) = {s, r2 s}, Cl(rs) = cl(r3 s) = {rs, r3 s}. Veamos la aplicacin de los resultados anteriores en el estudio de po grupos:

2.

p-grupos.

u Denicin 2.1. Sea p un nmero primo. Un grupo nito G se dice un o p-grupo si el orden de todo elemento de G es una potencia de p. Un subgrupo H de G que sea p-grupo diremos que es un p-subgrupo de G. Se tienen los siguientes resultados. Teorema 2.2. (Teorema de Cauchy:) Sea G un grupo nito. Para todo divisor primo p de |G|, existe un subgrupo de G de orden p. Consecuentemente G contiene al menos un p-subgrupo. Demostracin. o Corolario 2.3. Sea G un grupo nito. Entonces G es un p-grupo |G| = pn para algn n N. u Demostracin. o Teorema 2.4. (Teorema de Burnside) Si G es un p-grupo nito no trivial entonces |Z(G)| p. En particular Z(G) = 1. Demostracin. o

Corolario 2.5. Si |G| = p2 , p un nmero primo, entonces G es un grupo u abeliano. Demostracin. o Teorema 2.6. (Primer teorema de Sylow) Sea G un grupo nito y |G| = n y p un nmero primo. Entonces para toda potencia pi tal que pi |n, existe u H G con |H| = pi . Damos entonces la siguiente: Denicin 2.7. Sea G un grupo nito y p un nmero primo divisor de |G|. o u Sea pk la mxima potencia de p que divide al orden de G (i.e., |G| = pk m a con m.c.d.(p, m) = 1). Todo subgrupo H de G con |H| = pk se llamar un a p-subgrupo de Sylow de G. Como consecuencia del primer teorema de Sylow tenemos: Corolario 2.8. (Primer teorema de Sylow sensu strictu ) Para todo grupo nito G y todo divisor primo p de su orden, existe un p-subgrupo de Sylow. Para la demostracin del segundo teorema de Sylow, vemos primero el o siguiente lema: Lema 2.9. Sea P un p-subgrupo de Sylow de un grupo G y sea H un psubgrupo de NG (P). Entonces H est contenido en P. a Demostracin. o Teorema 2.10. (Segundo teormea de Sylow) Sea G un grupo nito, p un nmero primo y |G| = pk m, con m.c.d.(p, m) = 1. Sea np := nmero de u u p-subgrupos de Sylow de G. Entonces: 1. Todo p-subgrupo de G est contenido en un p-subgrupo de Sylow de G. a 2. Todos los p-subgrupos de Sylow de G son conjugados (i.e., si P y Q son dos p-subgrupos de Sylow de G, entonces existe g G tal que P = gQg 1 ). 3. np |m y np 1(mod p). Demostracin. o Corolario 2.11. Sea P un p-subgrupo de Sylow de un grupo G. Son equivalentes los dos enunciados siguientes: (i) P es el unico p-subgrupo de Sylow de G. (ii) P es un subgrupo normal de G.

Calculemos nalmente los p-subgrupos de Sylow de algunos grupos: Ejemplo 2.12. 1. En primer lugar si |G| = pk , esto es, el orden de G es una potencia del primo p, entonces el mismo G es su unico p-subgrupo de Sylow. 2. Si G es un grupo abeliano nito, entonces todo subgrupo suyo es normal y entonces el corolario anterior nos dice que, para cada divisor primo p del orden de G, existe un unico p-subgrupo de Sylow. 3. Sea G = Cn = a/an = 1, el grupo c clico de orden n. Entonces si n = pt1 . . . ptk es la factorizacin en nmeros primos de n, para cada o u 1 k i {1, . . . , k} el unico pi -subgrupo de sylow de Cn es el grupo c clico Cpti = ani siendo ni = ni . t
i

pi

4. Sea G = S3 . Los 2-subgrupos de Sylow de S3 son c clicos de orden 2 y entonces hay 3 que son P1 = (1 2), P2 = (1 3) y P3 = (2 3). Los 3-subgrupos de Sylow tienen orden 3 y entonces slo hay uno que o es A3 . 5. Sea G = S4 . Como |S4 | = 24 = 23 3, los 2-subgrupos de Sylow de S4 tienen orden 8 y los 3-subgrupos de Sylow tienen orden 3. Veamos quienes son. Si n3 = nmero de 3-subgrupos de Sylow, sabemos que n3 |8 y n3 u 1(mod 3). Consecuentemente n3 = 1 o 4. Como los 3-subgrupos de Sylow tienen orden 3, entonces son c clicos generados por los elementos de orden 3 de S4 , que son los ciclos de longitud 3. Entonces S4 tiene cuatro 3-subgrupos de Sylow que son: P1 = (1 2 3), P2 = (1 2 4), P3 = (1 3 4) y P4 = (2 3 4). Respecto a los 2-subgrupos de Sylow, sea n2 = nmero de 2-subgrupos u de Sylow de S4 . Entonces n2 |3 y n2 1(mod 2) y entonces n2 = 1 o 3. Si n2 = 1 y Q fuera el unico 2-subgrupo de Sylow de S4 , este tendr a que contener a todas las transposiciones (pues todo 2-subgrupo est cona tenido en un 2-subgrupo de Sylow) pero entonces coincidir con S4 , a pues las transposiciones generan el grupo S4 , lo cual es claramente contradictorio. Consecuentemente n2 = 3 y denotemos por Q1 , Q2 y Q3 los 2-subgrupos de Sylow de S4 . Para su clculo, consideremos el subgrupo de Klein K = {id, (1 2)(3 4), a (1 3)(2 4), (1 4)(2 3)} S4 . Como sabemos es un 2-subgrupo normal de S4 y entonces K Qi para todo i = 1, 2, 3 9

En efecto, sabemos que por ser un 2-subgrupo est contenido en uno a de ellos. Si K Q1 , puesto que Q2 = Q1 1 y Q3 = Q1 1 para ciertos , S4 , tendremos K Q1 = K = K1 Q1 1 = Q2 , K Q1 = K = K 1 Q1 1 = Q3 . Finalmente, sea (i j) cualquier transposicin y H el subgrupo que o genera. Aplicamos el tercer teorema de isomorsmo a K S4 y H, por el que concluimos que KH/K H/K H H, puesto que K H = 1. = = As |KH| = 2|K| = 8 y entonces KH es un 2-subgrupo de Sylow de S4 . Consecuentemente, los 2-subgrupos de Sylow de S4 son: Q1 = K(1 2) = K {(1 2), (3 4), (1 4 2 3), (1 3 2 4)}, Q2 = K(1 3) = K {(1 3), (2 4), (1 4 3 2), (1 2 3 4)}, Q3 = K(1 4) = K {(1 4), (2 3), (1 3 4 2), (1 2 4 3)}.

10