Notas de lgebra abstracta a

Octavio Alberto Agust Aquino n 20 de diciembre de 2005

Indice
1. Grupos 1

1.1. Ejemplos . . . . . . . . . . . . . . . . . . . 1.2. Propiedades elementales de los grupos . . . 1.3. Subgrupos . . . . . . . . . . . . . . . . . . . 1.4. Grupos cclicos . . . . . . . . . . . . . . . .  1.5. Clases laterales y el teorema de Lagrange . 1.6. Grupos normales y grupos cociente . . . . . 1.7. Homomorsmos . . . . . . . . . . . . . . . . 1.8. Los teoremas de isomorsmo . . . . . . . . 1.9. Producto directo de grupos . . . . . . . . . 1.10. El teorema de Cayley . . . . . . . . . . . . 1.11. Acciones de grupo, rbitas y estabilizadores o 1.12. Conjugacin . . . . . . . . . . . . . . . . . . o 1.13. Permutaciones y los grupos simtricos . . . e 1.14. Ecuacin de clases de un grupo nito . . . . o 1.15. Teorema de Cauchy . . . . . . . . . . . . . 1.16. La estructura de los p-grupos . . . . . . . . 1.17. Los teoremas de Sylow . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . .

2 2 3 4 5 7 9 11 12 13 13 14 15 18 19 20 20

1.

Grupos

Un semigrupo es una pareja (G, ) donde G es un conjunto y : G G G es una operacin asociativa. En lo sucesivo la operacin actuando sobre dos o o elementos de una estructura algebraica se expresar por simple yuxtaposicin a o a menos que se indique lo contrario. Un monoide es un semigrupo (G, ) con identidad, esto es, existe e G tal que ex = xe = x para todo x G. Un elemento u G en un monoide (G, ) es una unidad si existe u tal que u u = uu = e, donde e es la identidad de G. 1

Si cada elemento de un monoide (G, ) es una unidad entonces a dicho monoide se le denomina grupo. Si, adems, la operacin del grupo es conmutativa, a o dicho grupo se dice abeliano. Si el conjunto G de la estructura algebraica es nito, se dice que la estructura algebraica es nita, y la cardinalidad del conjunto se representa con |G| y se denomina orden de la estructura algebraica. Si (G, ) es un grupo nito, entonces |G| es el orden del grupo. En lo futuro slo se escribir el conjunto que sirve de o a base a la estructura algebraica, esto es, el grupo (G, ) se escribir simplemente a como G.

1.1.

Ejemplos

Denotemos por En el espacio eucldeo n-dimensional. Una gura geomtrica  e S puede verse como un subconjunto de En . Una simetra de S es una transfor macin T : En En con la propiedad de que T (S) = S. El conjunto de todas las o simetras de S es un grupo, el llamado grupo simtrico de S, bajo la composicin  e o de funciones. Para todo natural n > 2, el grupo diedral D2n de orden 2n es el grupo de simetra de un polgono regular de n lados. Consiste en todas las rotaciones con   ngulos 2j con j = 0, 1, 2, . . . , n 1 junto con las re exiones respecto a los n a n ejes de simetra del polgono.   Las simetras de un rectngulo que no sea un cuadrado constituyen un grupo  a de orden 4. Las simetras son las siguientes: la identidad, la re exin con respecto  o a los ejes vertical y horizontal, y rotacin por radianes. Si I denota la identidad, o A y B las rotaciones con respecto a los ejes de simetra y C la rotacin, tenemos  o que A2 = B2 = C2 = I, AB = BA = C, AC = CA = B y BC = CB = A. Este grupo es abeliano, y generalmente se le reere como el grupo de Klein (en alemn, Kleinsche Viergruppe). a Las simetras de un tetraedro regular tridimensional son un grupo. Cual quier permutacin de los vrtices del tetraedro puede ser efectuada por una o e simetra apropiada. Ms an, cada simetra est unvocamente determinada por  a u  a  la permutacin de vrtices que induce. Por lo tanto, el orden de este grupo es o e 24, puesto que hay 24 permutaciones en un conjunto con cuatro elementos. Sin embargo, este grupo no es abeliano.

1.2.

Propiedades elementales de los grupos

Lema 1. Hay exactamente un elemento identidad en un grupo.

Demostracin. Sean f, e dos elementos identidades en el grupo. Entonces fe = o ef = e = f, y el resultado se sigue.

Lema 2. Un elemento x de un grupo G tiene exactamente un inverso.

Demostracin. Existe al menos un x tal que xx = x x = e. Si z es otro o

elemento tal que xz = e entonces z = ez = (x x)z = x (xz) = x e = x , y anlogamente si zx = e. Luego el inverso est unvocamente determinado. a a  El lema anterior permite escribir el inverso de x como x1 .
Lema 3. Sean x e y elementos de un grupo G. Entonces (xy)1 = y1 x1 .

Demostracin. Segn las propiedades de un grupo tenemos que o u

(xy)(y1 x1 ) = x(y(y1 x1 )) = x((yy1 )x1 ) = x(ex1 ) = (xe)x1 = xx1 = e.

Similarmente, (y1 x1 )(xy) = e, y por lo tanto (xy)1 = y1 x1 , segn el u lema anterior. Ntese que en particular (x1 )1 = x, por la simetra de los requerimientos o  del inverso. Denimos recursivamente xn para cada entero no negativo n a travs de e 0 x = e y xn = xn1 x, y como xn = (xn )1 para los enteros negativos.
Teorema 1. Sea x un elemento de un grupo G. Entonces xm+n = xm xn y xmn = (xm )n para cualesquiera enteros m y n.

Demostracin. Las identidades son obvias en el caso en que tanto m como n o son nulos. Si ambos son positivos, acudimos a una doble induccin. Si ambos o son negativos basta tomar el inverso de las identidades, y si dieren en signo se deducen fcilmente de los dos casos anteriores. a
Ntese tambin que en los grupos las expresiones (xyz)w = x(yzw) = o e (xy)(zw), etctera, son todas equivalentes, y por lo tanto el producto xyzw e o de cualquier nmero nito de trminos est unvocamente determinado. u e a 

1.3.
si

Subgrupos

Denicin 1. Sea G un grupo. Un subconjunto H de G es un subgrupo de G o

1. La identidad de G est en H. a 2. HH H, donde HH representa a todos los posibles productos de elementos de H. 3. H1 H, donde H1 representa el conjunto de los inversos de todos los elementos de H.

Si H es un subgrupo de G se escribe H G. Segn la denicin G G. Si H G y H = G, entonces escribimos H < G. u o

Lema 4. Para que un subconjunto H no vaco de un grupo G sea un sub

grupo slo basta que se cumplan los puntos 2 y 3 de la denicin. o o

Demostracin. En efecto, asumamos 2 y 3 y demostremos que se cumple 1. Sea o

y el lema queda demostrado.
g G. Por el inciso 3 tenemos que g1 G, y por 2 se sigue que gg1 = e G,

Lema 5. Sea x un elemento de un grupo G y denamos el conjunto x := {xi : i Z}. Entonces x G.

propiedad de subgrupo. Por el teorema anterior, xm xn = xm+n , para cualesquiera m y n enteros, y ya que m + n tambin es un entero, se cumple la e segunda propiedad de subgrupo. Por dencin, (xm )1 = xm , y claramente o 1 m tambin es un entero. Luego x e x , y se satisface la tercera propiedad de subgrupo, y la prueba concluye. El subgrupo x se conoce como el subgrupo generado por x. El orden de x es el mnimo entero n positivo tal que xn = e. 
Lema 6. Sea G un grupo y H, K G. Entonces H K G.

Demostracin. Puesto que e = x0 , segn la denicin, se satisface la primera o u o

Demostracin. Como H, K G, la identidad e pertenece a ambos, y de ah que o 

a su interseccin. Como ambos son subgrupos, si x, y H K entonces xy H, o y xy K, luego xy H K. Por la misma razn x1 H K, y la prueba o termina. El lema anterior se puede generalizar para cualquier coleccin de subgrupos o de un grupo dado.

1.4.

Grupos c clicos

Denicin 2. Un grupo G es cclico si existe x G tal que x = G. A tal o 

elemento se le denomina generador.

El grupo aditivo de los enteros es cclico con el 1 como generador.  El grupo aditivo Zn de las clases de equivalencia mdulo n es cclico. o 
Lema 7. Sea G un grupo cclico nito con generador x, y sea j y k enteros.  Entonces xj = xk si y slo si j k(mod|G|). o

Debe ser que xj = xk para algunos enteros j y k con j < k, puesto que el grupo es nito. Sea m = k j > 0; entonces xm = xkj = xk xj = e. Sea n el menor entero positivo tal que xn = e. Segn el algoritmo de la divisin, para cualquier u o entero i existen q y r tales que i = qn + r con 0 r < n (as q es el menor  enter tal que qn i). Por lo tanto, xi = (xn )q xr = exr = xr . La eleccin de r o r i garantiza que x = e si 0 < r < n. Se sigue que el entero i satisface x = e si y slo si n divide a i. Sean j y k enteros. Ahora xj = xk si y slo si xjk = e, o o y se sigue que esto es posible si y slo si j k es divisible entre n. Dicho de o otro modo, j k(mod|G|). Adems, n es el orden del grupo pues cada xi con a 0 i < n son distintos. Ahora clasicaremos todos los subgrupos de un grupo cclico G. Sea x el  generador de G. Dado un subgrupo H de G con ms de un elemento, sea m a el menor entero positivo tal que xm H. Supongamos que xi H para algn u entero i. Ahora i puede expresarse como i = qm + r, donde q y r son enteros y 0 r < m. Ahora xr = xiqm = xi (xm )q , con xi , xm H, y por lo tanto xr H. La eleccin de m asegura que r = 0, y de aqu que i = qm. As que o   xi H si y slo si i es alg n m ltiplo entero de m. Eso muestra que H es el o u u grupo cclico con xm como generador, donde m es el mnimo entero positivo tal   m que x H. Supongamos que el grupo G es nito. Sea s el orden de G. Entonces xs = e, y de aqu que xs H. Se sigue que s es un mltiplo entero de m, donde m  u es el mnimo entero tal que xm H. Por lo tanto todos los subgrupos de un  grupo nito G son el subgrupo trivial {e} y los generados por xm donde m es un divisor de s. Consideremos el caso en el que G es innito. Para cada entero m el elemento xm genera un subgrupo de G y de hecho m es el mnimo entero tal que xm  pertenece al subgrupo. Por lo tanto G es un grupo cclico innito con generador  x y cuyos subgrupos cclicos son generados por xm donde m es un entero no  negativo.

Demostracin. Probaremos primero que xm = e para algn entero positivo m. o u

1.5.

Clases laterales y el teorema de Lagrange

Denicin 3. Sea H un subgrupo de G. Una clase lateral izquierda de H en G o es un subconjunto de G de la forma xH, donde x G y xH = {y G : y = xh para alg n h H}. u

Similarmente, una clase lateral derecha de H en G es un subconjunto de G que es de la forma Hx donde x G y

Hx = {y G : y = hx para alg n h H}. u

Ntese que un subgrupo H de G es en s mismo una clase lateral de H en G. o  5

Lema 8. Sea H un subgrupo de G. Entonces las clases laterales izquierdas de H en G tienen las siguientes propiedades:

1. Tenemos que x xH para todo x G. 2. Si x e y son elementos de G y si y = xa para algn a H, entonces u xH = yH. 3. Si x e y son elementos de G y si xHyH es no vaco entonces xH = yH. 
e H, pues H es subgrupo de G. Se sigue que x xH. Esto prueba 1. Sean x e y elementos de G, donde y = xa para algn a H. Entonces u xh = y(a1 h) para todo h H. Ms a n ah H y a1 h H para todo h H, a u pues H G. Se sigue que yH xH y xH yH y por lo tanto xH = yH. Esto

Demostracin. Sea x G. Entonces x = xe, donde e es la identidad de G. Pero o

prueba 2. Finalmente, supongamos que x, y G y xH yH = . Sea u xH yH, y as u = xh1 = yh2 . Entonces x = yh2 h1 , como h2 h1 H, segn el inciso 2  u 1 1 se sigue que xH = yH. De este lema se deduce que las clases laterales izquierdas constituyen una particin de G. o
Lema 9. Sea H un subgrupo nito de G. Entonces cada clase lateral izquierda de H en G tiene el mismo nmero de elementos que H. u

y sea x un elemento de G. Entonces la clase lateral derecha xH consiste en los elementos xhj para j = 1, . . . , m. Supongamos que j y k son enteros entre 1 y m para los cuales xhj = xhk . Entonces hj = x1 (xhj ) = x1 (xhk ) = hk , lo que contradice que los elementos son distintos. Se sigue que cada xhj con j = 1, . . . , m son distintos, y que la clase lateral derecha xH tiene el mismo nmero de elementos que el subgrupo H, como se peda. u 
Teorema 2 (Lagrange). Sea G un grupo nito, y sea H un subgrupo de G. Entonces el orden de H divide al orden de G.

Demostracin. Sea H = {h1 , h2 , . . . , hm }, donde h1 , h2 , . . . , hm son distintos o

izquierda de H en G, y como las clases forman una particin de G, se sigue o que cada elemento de G pertenece exactamente a una clase lateral izquierda. Ms an, cada clase lateral izquierda de H contiene |H| elementos. Por lo tanto a u |G| = n|H| donde n es el n mero de elementos de H, y el resultado se sigue. u
Denicin 4. Sea H un subgrupo de G. Si el n mero de clases laterales izo u quierdas de H en G es nito, tal nmero se denomina ndice de H en G, y se u  denota por [G : H].

Demostracin. Cada elemento de G pertenece a al menos una clase lateral o

orden de G.

Corolario 1. Sea x un elemento de G. Entonces el orden de x divide al

Corolario 2. Cualquier grupo nito de orden primo es cclico. 

tos distinto de la unidad. Entonces el orden de x es mayor que uno y divide al orden de G. Pero el orden de x debe dividir al de G, pero como |G| es primo, debe ser que el orden de x es igual al de G. Luego G es un grupo cclico generado  por x.

Demostracin. Sea G el grupo nito de orden primo y x alguno de sus elemeno

1.6.

Grupos normales y grupos cociente

Sean A y B subconjuntos de G. El producto AB de los conjuntos A y B se dene como AB = {xy : x A, x B}. Denotamos a {x}A y A{x} por xA y Ax, para todos los elementos x de G y subconjuntos A de G. La asociatividad del grupo G asegura que (AB)C = A(BC) para cualesquiera subconjuntos A, B, C de G, luego el producto ABC est unvocamente determinado. El producto de a  un nmero nito de subconjuntos se extiende de manera obvia. u Si A, B, C G y A B, entonces claramente AC BC y CA CB. Ntese que si H es un subgrupo de un grupo G y x es un elemento de G eno tonces xH es la clase lateral izquierda de H en G que contiene a x. Similarmente, Hx es la clase lateral derecha de H en G que contiene a x. Si H es un subgrupo de G entonces HH = H. De hecho HH H, puesto que el producto de dos elementos de un subgrupo es en s un elemento de H.  Tambin H HH puesto que h = eh para cualquier elemento h H, donde e e es la identidad de G y que pertenece a H.
Denicin 5. Un subgrupo N de un grupo G se dice normal en G si xnx1 N o para cada n N y x G, y lo denotamos por N G. Denicin 6. Un grupo no trivial G se denomina simple si sus unicos subgrupos o  normales son el grupo total y el subgrupo trivial {e}. Lema 10. Cada subgrupo de un grupo abeliano es normal.

Demostracin. Sea N un subgrupo de un grupo abeliano G. Entonces o

xnx1 = (xn)x1 = (nx)x1 = n(xx1 ) = ne = n

para todo n N y x G, y el resultado se sigue.

Proposicin 1. Un subgrupo N de un grupo G es un grupo normal de G o si y slo si xNx1 = N para todos los elementos de x de G. o

Demostracin. Supngase que N es normal en G. Sea x un elemento de G. o o Entonces xNx1 N, segn la denicin. Reemplazando x por x1 vemos u o 1 tambin que x Nx N, y as N = x(x1 Nx)x1 xNx1 , y de aqu se e   concluye que xNx1 = N. Recprocamente, si N es un subgrupo de G que cumple con xNx1 = N, por  denicin se satisface que N es normal. o
Corolario 3. Un subgrupo N de un grupo G es normal si y slo si xN = Nx o para todo x G. N, entonces Nx = (xNx1 )x = xN. Recprocamente, si xN = Nx, entonces  1 1 xNx = Nxx = Ne = N, y seg n teorema esto implica que N G. u

Demostracin. Sea N un subgrupo de G, y sea x un elemento de G. Si xNx1 = o

Sea N un subgrupo normal de G. Por el corolario anterior podemos eliminar la distincin entre clases laterales izquierdas y derechas de N y decir simpleo mente clases laterales de un subgrupo normal.
Lema 11. Si N es un subgrupo normal de un grupo G y sean x e y elementos de G. Entonces (xN)(yN) = (xy)N.

Demostracin. Si N es un subgrupo normal de G, entonces yN = Ny, y por o

lo tanto (xN)(yN) = x(Ny)N = x(yN)N = xy(NN). Pero NN = N, puesto que N es un subgrupo de G. Por lo tanto (xN)(yN) = (xy)N, como se peda. 

Proposicin 2. Sea G un grupo, y sea N un subgrupo normal de G. Eno tonces el conjunto de todas las clases de N en G es un grupo bajo la multiplicacin de clases. El elemento identidad es N mismo, y el inverso de la o clase xN es x1 N para todo x en G.

Demostracin. Segn el lema anterior la operacin est bien denida, y el resto o u o a

de la proposicin es claro. o
Denicin 7. Sea N un subgrupo normal de un grupo G. El grupo cociente o G/N se dene como el grupo de las clases laterales de N en G con el producto

de clases.

Ejemplo 1. Consideremos el grupo diedral D8 , que representa el grupo de simetras de un cuadrado plano. Entonces  D8 = {I, R, R2 , R3 , T1 , T2 , T3 , T4 },

donde I es la transformacin identidad, R un rotacin en sentido antihorario o o entorno al centro del cuadrado en un ngulo /2, y T1 , T2 , T3 y T4 son las re ea xiones con respecto a las bisectrices del cuadrado: la horizontal, una diagonal, la vertical y la otra diagonal respectivamente. Sea N = {I, R2 }. Entonces N es 8

un subgrupo de D8 . Las clases laterales izquierdas de N en D8 son N, A, B y C, donde A = {R, R3 }, B = {T1 , T3 }, C = {T2 , T4 }. pues R = RI, R3 = RR2 (la clase lateral izquierda de R); T1 = T1 I, T3 = T1 R2 (la clase lateral izquierda de T1 ); y T2 = T2 I, T4 = T2 R2 . Ms an N, A, B y C son tambin clases laterales derechas de N en D8 , y a u e por lo tanto N es normal en D8 . Al multiplicar las clases entre s tenemos que  AB = BA = C, AC = CA = B y BC = CB = A.

1.7.

Homomorsmos

Denicin 8. Un homomorsmo : G K de un grupo en otro es una funcin o o con la propiedad (g1 g2 ) = (g1 )(g2 ) para cada g1 , g2 G. Ejemplo 2. Sea q un entero. La funcin que va del grupo Z de enteros a o s mismo denida por (n) = qn es un homomorsmo.  Ejemplo 3. Sea x un elmento de un grupo G. La funcin (n) = xn es un o homorsmo que va de Z a G pues xm+n = xm xn . Lema 12. Sea : G K un homomorsmo. Entonces (eG ) = eK , donde eG y eK son los elementos identidad de G y K respectivamente. Tambin e 1 1 (x ) = ((x)) para todo x en G.

Demostracin. Sea z = (eG ). Entonces z2 = (eG )(eG ) = (eG eG ) = o

(eG ) = z. Pero eso implica que z = eK . Sea x un elemento de G. El elemento (x1 ) satisface (x)(x1 ) = (xx1 ) = (eG ) = eK , y similarmente (x1 )(x) = eK . La unicidad del inverso asegura que (x1 ) = ((x))1 . Denicin 9. Un isomorsmo : G K entre grupos G y K es un homoo

morsmo biyectivo. Dos grupos son isomorfos si existe un isomorsmo entre ello.

Ejemplo 4. Sea D6 el grupo de simetras de un tringulo equilatero en el plano  a con vrtices A, B y C, y sea S3 el grupo de permutaciones del conjunto {A, B, C}. e La funcin una simetra del tringulo a su correspondiente permutacin de sus o  a o vrtices es un isomorsmo entre el grupo diedral D6 y el grupo simtrico S3 . e e Ejemplo 5. Sea R el grupo aditivo de los n meros reales, y sea R+ el grupo u multiplicativo de los reales estrictamente positivos. La funcin : R R+ o denida por (x) = ex es un isomorsmo entre ambos grupos, pues preserva las operaciones y es biyectiva. El inverso del isomorsmo es la funcin 1 (x) = ln x. o

He aqu alguna terminologa adicional en lo concerniente a los homomors  mos. 9

Un monomorsmo es un homomorsmo inyectivo. Un epimorsmo es un homomorsmo sobreyectivo. Un endomorsmo es un homorsmo que mapea a un grupo en s mismo.  Un automorsmo es un isomorsmo que mapea a un grupo en s mismo. 
Denicin 10. El n cleo nuc de un homomorsmo : G K es el conjunto o u de todos los elementos de G que son mapeados por al elemento identidad de K. Ejemplo 6. Sea el conjunto {1, 1} dotado con la multiplicacin de enteros y o sea : Z {1, 1} el homomorsmo denido por (n) = (1)n . El ncleo del u homomorsmo es el subgrupo de Z consistente en todos los enteros pares. Proposicin 3. Sean G y K grupos y : G K un homomorsmo entre o ellos. Entonces el ncleo del homorsmo es {e} si y slo si el homomorsmo u o es inyectivo, donde e es el elemento identidad de G.

Demostracin. Supongamos que nuc = {e}. Si (x) = (y) entonces (x)(y)1 = o

homomorsmo es inyectivo. Ahora propongamos que es un homomorsmo inyectivo. Sean x e y elementos del ncleo de . Entonces (x) = (y) = e , y dada la inyectividad del u homomorsmo, se concluye x = y. Pero el ncleo de es un subgrupo de G, lo u que implica que es el subgrupo trivial {e}.
Lema 13. Sean G y K grupos y : G K un homomorsmo entre ellos. Entonces nuc G. e ; (xy1 ) = e , donde e es el elemento identidad de K. Por lo tanto xy1 nuc, lo cual implica que xy1 = e, y as x = y, de donde se deduce que el 

Demostracin. Sean x e y elementos de nuc. Entonces (x) = e e (y) = e , o

siendo e el elemento identidad en K. Pero entonces (xy) = (x)(y) = e e = e , de donde xy nuc. Tambin (x1 ) = ((x))1 = e 1 = e , y por lo tanto e x1 nuc, y de aqu que nuc G. Adems  a
(gxg1 ) = (g)(x)(g)1 = (g)(g)1 = e ,

por lo que nuc

G.

Si N es un subgrupo normal de un grupo G entonces N es ncleo del hou momorsmo cociente : G G/N denido por (g) = gN. Se sigue que un subgrupo N de G es normal si y slo si es ncleo de algn homomorsmo. o u u
Proposicin 4. Sean G y K grupos, un isomorsmo entre ellos y N un o subgrupo normal de G. Supngase que N nuc. Entonces el isomorsmo o : G K induce un homomorsmo : G/N K que enva a gN G/N a  (g). Ms an, es inyectiva si y slo si N = nuc. a u o

10

Demostracin. Sean x e y elementos de G. Tenemos que xN = yN si y slo si o o x1 y N. Tambin (x) = (y) si y slo si x1 y nuc, pues (xy1 ) = e. e o Por lo tanto si N nuc entonces (x) = (y) siempre que xN = yN, y por lo tanto : G K induce una funcin bien denida : G/N K que enva a o  gN G/N a (g). Esta funcin es un homomorsmo puesto que ((xN)(yN)) = o (xyN) = (xy) = (x)(y) = (xN)(yN). Supngase ahora que N = nuc. Entonces (x) = (y) si y slo si xN = yN. o o Por lo tanto el homomorsmo : G/N K es inyectivo. Recprocamente, si  : G/N K es inyectiva entonces el n cleo de consiste unicamente en la u  identidad de G/N, que es precisamente N.
Corolario 4. Sean G y K grupos, y : G K un homomorsmo entre ellos. Entonces (G) = G/nuc.

Demostracin. Hay que demostrar que (G) K. Sean x, y (G). Tenemos o

que x = (x ) e y = (y ) donde x , y G, y as xy = (x )(y ) = (x y ),  pero tambin x y G, luego xy (G), y por un lema anterior x1 (G). e Entonces (G) K, y segn la proposicin anterior, la funcin : G/N (G) u o o es biyectiva, y el corolario se sigue.

1.8.

Los teoremas de isomorsmo

Lema 14. Sean H y K subgrupos de un grupo G. Entonces HK es un subgrupo de G si y slo si HK = KH. o

Demostracin. Supongamos que HK G. Sea u HK. Entonces u = hk para o

h H y k K y u1 = k1 h1 HK, pues HK es un grupo. Pero tambin e 1 1 k h KH, luego HK KH, y de forma totalmente anloga KH HK, lo a que permite concluir que KH = HK. Ahora supongamos que KH = HK, y sean x, y KH. Entonces x = k1 h1 y y = k2 h2 , donde k1 , k2 K y h1 , h2 H. Pero tambin h1 k2 = k2 h1 , pues e HK = KH, luego xy = k1 h1 k2 h2 = k1 k2 h1 h2 KH. Tambin x1 = h1 k1 , e 1 1 luego x1 HK = KH. Esto nos permite concluir que KH G. Corolario 5. Sea G un grupo, H un subgrupo de G y N un subgrupo normal de G. Entonces HN es un subgrupo de G. Adems, N es normal en HN. a

Demostracin. Un grupo normal conmuta con cualquier subconjunto de G, en o

particular con cualquier subgrupo de G.
Teorema 3 (Primer Teorema de Isomorsmo). Sea G un grupo, H un subgrupo de G y N un subgrupo normal de G. Entonces HN H . = N NH

11

Demostracin. Cada elemento de HN/N es una clase lateral de N que es de o la forma hN para algn h H. Por lo tanto haciendo (h) = hN para todo u h H tenemos que : H HN/N es un homomorsmo suprayectivo. Sea x nuc y as (x) = e . Pero e = N, y so slo ocurre si x N, y como  e o x H, se sigue que x H N. Si x H N, es claro que x nuc. Luego u o nuc = HN. Ahora (H) = H/nuc, segn el corolario de la seccin anterior, y dada la sobreyectividad de , el teorema se sigue.
Teorema 4 (Segundo Teorema de Isomorsmo). Sean M y N subgrupos normales de un grupo G, con M N. Entonces G G/M . = N N/M

enva gM a gN para todo g G. Ms an, el homomorsmo es sobreyectivo  a u y nuc = N/M, pues naturalmente si g N, (gM) = gN = N, que es la identidad de G/N, y si (gM) = gN = N, eso implica que g N, luego gM N/M. Nuevamente, por el corolario de la seccin anterior, (G) = G/nuc, esto o G G/M G  es M = N = N/M , como se requera.

Demostracin. Hay un homomorsmo bien denido : G/M G/N que o

1.9.

Producto directo de grupos

Sean G1 , . . . , Gn grupos y sea G el producto cartesiano G1 Gn considerando a G1 , . . . , Gn como conjuntos. Los elementos de G son n-adas (x1 , . . . , xn ) donde xi Gi para i = 1, . . . , n. Denamos una operacin binaria en G de la o siguiente manera:
(x1 , . . . , xn )(y1 , . . . , yn ) = (x1 y1 , . . . , xn yn ).

Claramente la operacin hereda su asociatividad de las operaciones denidas o en G1 , . . . , Gn . El elemento identidad es, evidentemente, (e1 , . . . , en ), donde ei Gi para i = 1, . . . , n es la identidad de Gi . Tambin es trivial comprobar e 1 que el inverso de (x1 , . . . , xn ) es precisamente (x1 , . . . , x1 ). Ahora G, junto con n la operacin antes descrita, es un grupo llamado producto directo de G1 , . . . , Gn o y se denota por G1 Gn .
Ejemplo 7. Sean C2 y C3 grupos cclicos de orden 2 y 3, respectivamente.  Entonces C2 C3 es un grupo cclico de orden 6, y C2 C2 es isomorfo al grupo 

de Klein. Consideremos primeramente a C2 C3 . Sean x e y los generadores de C2 y C3 respectivamente, y sean e y e los elementos identidad de C2 y C3 . Entonces C2 = {e, x} y C3 = {e , y, y2 }. Los elementos de C2 C3 son (e, e ), (e, y), (e, y2 ), (x, e ), (x, y), (x, y2 ). Sea z = (x, y); vemos que z2 = (e, y2 ), z3 = (x, e ), z4 = (e, y), z5 = (x, y2 ) y (e, e ). Vemos que n = 6 es el mnimo entero para el  12

cual zn = e. Como el nmero de elementos de C2 C3 es tambin 6, se deduce u e que C2 C3 es un grupo cclico de orden 6, cuyo generador es z = (x, y).  Ahora examinemos a C2 C2 , cuyos elementos son I = (e, e), A = (e, x), B = (x, e) y C = (x, x). Entonces AB = (x, x) = BA = C, AC = (x, e) = CA = B y BC = (e, x) = CB = A, lo que lo hace isomorfo al grupo de Klein, como se armaba.

1.10.

El teorema de Cayley

Teorema 5 (Cayley). Sea G un grupo de orden n. Entonces G es isomorfo al grupo isomorfo a algn subgrupo de Sn , el grupo de las permutaciones u de un conjunto de n elementos.

Demostracin. Para cada elemento x de G, sea x : G G denida por o

x (g) = xg para todo g G. Entonces x1 (x (g)) = x1 (xg) = (x1 x)g = g

y
x (x1 (g)) = x(x1 g) = (xx1 )g = g,

para todo g G. Al tener x una inversa x1 , se sigue que es una biyeccin. o Por lo tanto es una permutacin de los elementos de G, por lo que podemos o denir la funcin : G Sn a travs de (x) = x , con x G. Tal funcin o e o es un homorsmo, pues xy (g) = (xy)g = x(yg) = xy (g) = x (y (g)) = x y (g), lo que indica que (xy) = xy = x y = (x)(y). El homomorsmo es inyectivo, pues si x = y entonces xg = yg para todo g G, lo que implica que x = y, segn la cancelacin en grupos, lo que indica que el homomorsmo es u o inyectivo. Adems (G) Sn , luego G es isomorfo a algn subgrupo de Sn . a u

1.11.

Acciones de grupo, rbitas y estabilizadores o

Denicin. Una accin izquierda de un grupo G en un conjunto X asocia a o o cada g G y x X un elemento g(x) X de tal modo que g(h(x)) = (gh)(x) y e(x) = x para g, h, e G donde e denota la identidad en G. Dada accin izquierda de un grupo G en un conjunto X, la rbita de x X es o o el subconjunto {g(x) : g G} de X, esto es, el conjunto de todas las actuaciones de G sobre x, y el estabilizador de x es el subgrupo {g : g(x) = x} de G, esto es, el subgrupo de los elementos de G que dejan invariante a x. En efecto, si h, g H donde H es el estabilizador de x en G, tenemos que (hg)(x) = h(g(x)) = h(x) = x, y tambin e(x) = h1 h(x) = h1 (x) = x, y tenemos que H G. e

13

Lema 15. Sea G un grupo nito que acta en un conjunto X por la izquieru da. Entonces la orbita de x X contiene [G : H] elementos, donde [G : H]  es el ndice del estabilizador H de x en G.  Demostracin. Probaremos que la funcin : G/H X denida por (gH) = o o

g(x) est bien denida. Supongamos que gH = g H. Entonces g = g u, donde a u H. Entonces g(x) = (g u)(x) = g (u(x)) = g (x), puesto que u pertenece al estabilizador de x en G. Luego g = g , y esto prueba que es una funcin. o A continuacin demostramos que es inyectiva. Supongamos que g(x) = f(x), o con g, f G. Entonces f1 g(x) = e(x) = x, y de aqu que f1 g H, lo que  equivale a que fH = gH, y de aqu que la funcin sea inyectiva. Adems, su  o a imagen es la rbita de x al barrer a todo G, y el teorema queda demostrado. o

1.12.

Conjugacin o

Denicin. Dos elementos h y k de un grupo G se dicen conjugados si o k = ghg1 para alg n g G. u La relacin R denida por hRk si y slo si h y k son conjugados es de o o equivalencia. En efecto, como h = ehe1 se tiene que es re exiva; ya que k = ghg1 para alg n g G tenemos que g1 kg = h, luego kRh implica hRk; u nalmente si hRk y kRl entonces k = ghg1 y l = g kg 1 para g, g G, y as l = gg hg 1 g1 = gg h(gg )1 , y como gg G, se tiene que hRl.  Los elementos de la particin de G que induce R se denominan clases de o conjugacin de G. El grupo G es la unin disjunta de tales clases. Ms an, la o o a u clase de conjugacin del elemento identidad no contiene otro elemento de G. o Supongamos que el grupo G es abeliano. Sea h G arbitrario y sea [h] su clase de conjugacin. Tomemos k [h]. Entonces k = ghg1 para algn g G. o u Como G es abeliano, k = gg1 h = eh = h. Luego [h] = {h}. Recprocamente,  supongamos que para todo h G se cumple que [h] = {h}. Sean h G cualquier. Entonces para todo g G, h = ghg1 , lo que implica que hg = gh, y como h y g fueron arbitrarios, se sigue que G es abeliano. Podemos concluir entonces que G es abeliano si y slo si sus clases de conjugacin consisten en un solo o o

elemento cada una. Sea G un grupo, y para un elemento h G consideremos el conjunto C(h) denido por C(h) = {g G : gh = hg}. Sean u, v C(h). Tenemos que (uv)h = u(vh) = u(hv) = (uh)v = (hu)v = h(uv). Por lo tanto uv C(h). Tambin h = he = h(uu1 ) = uh(u1 ), por lo que u1 h = hu1 , lo que e implica que u1 C(h). Entonces C(h) G. Denicin. Sea G un grupo. El centralizador C(h) de un elemento h G o es el subgrupo de G denido por C(h) = {g G : gh = hg}.
Lema 16. Sea G un grupo nito, y sea h G. Entonces el nmero de u elementos de la clase de conjugacin de H es igual al ndice [G : C(h)] del o  centralizador C(h) de h en G.

14

(gC(h)) = ghg1 est bien denida y es inyectiva. Sean g1 C(h) = g2 C(h), a con g1 , g2 G. Entonces g1 = g2 u, con u C(h), lo que implica que g1 hg1 = 1 g2 uhu1 g1 = g2 huu1 g1 = g2 hg1 , lo que comprueba que es una fun2 2 2 cin legtima. Supongamos que g1 hg1 = g2 hg1 , esto implica que g1 g1 h = o  1 2 2 hg1 g1 , por lo cual g1 g1 C(h), y a su vez que g1 C(h) = g2 C(h), lo que 2 2 indica que es inyectiva. Como la imagen de es la clase de conjugacin de h, o

Demostracin. Probaremos que la funcin : G/C(h) G denida por o o

se tiene el resultado.

Sea H sea un subgrupo de un grupo G. Tomemos u, v gHg1 . Entonces u = gh1 g1 y v = gh2 g1 , por lo tanto uv = gh1 g1 gh2 g1 = gh1 h2 g1 , y como h1 h2 H, se sigue que uv gHg1 . Tambin u1 = gh1 g1 , y e 1 h1 H, por lo que u1 gHg1 , lo que comprueba que gHg1 G. 1 Denicin. Dos subgrupos H y K de un grupo G se dicen conjugados si o K = gHg1 para alg n h G. u La relacin de conjugacin de grupos tambin es una relacin de equivalencia o o e o en el conjunto de todos los subgrupos de G.

1.13.

Permutaciones y los grupos simtricos e

Una permutacin de un conjunto S es una funcin biyectiva p : S S de S o o en s mismo. La permutacin identidad de un conjunto S es la permutacin que  o o ja a cada elemento de S. Las permutaciones de un conjunto de un conjunto nito S se representa convenientemente en forma de dos las
x1 x2 p(x1 ) p(x2 ) xn p(xn )

donde x1 , . . . , x2 S. As, por ejemplo, 

1 2 2 3 3 1

representa la permutacin del conjunto {1, 2, 3} que enva 1 2, 2 3 y 3 1. o 

Ejemplo 8. Hay dos permutaciones de un conjunto {a, b} con dos elementos. a b a b  Estos son la permutacin identidad o y la trasposicin o que a b b a intercambia a y b.

 Estas son

Ejemplo 9. Hay seis permutaciones del conjunto {a, b, c} de tres elementos.

15

a a a b

b b b c

c c c a

, ,

a a a c

b c c b b a c b

, ,

a b a c

b c a c b b c a

, .

Sea S un conjunto. Entonces la composicin de dos permutaciones es una o tambin una permutacin (la composicin de dos biyecciones es una biyeccin). e o o o Tambin cualquier permutacin p de S tiene una inversa p1 que tambin es una e o e permutacin (pues la inversa de una biyeccin es una biyeccin). La composicin o o o o de funciones, como es bien sabido, es asociativa. Por lo tanto el conjunto de todas las permutaciones de S es un grupo bajo la composicin de funciones. o Denicin. Para cada natural n el grupo simtrico n es el grupo de pero e mutaciones del conjunto {1, . . . , n}. Sean a1 , . . . , an los distintos elementos de S. Denotamos por (a1 a2 an ) a la permutacin de S que enva ai a ai+1 para i = 1, 2, . . . , n 1 y an a a1 , y o  deja a todos los dems elementos de S jos. Tal permutacin se denomina ciclo a o de orden n, o n-ciclo. Un 2-ciclo se llama tambin una transposicin. e o (Ntese que al evaluar la composicin de ciclos, debe hacerse de derecha a o o izquierda, segn la convencin para evaluar la composicin de funciones.) u o o
Ejemplo 10. Hay 24 permutaciones del conjunto {a, b, c, d}. Son las siguientes: la identidad, las seis transposiciones (ab), (ac), (ad), (bc), (bd) y (cd); los ocho 3-ciclos (bcd), (bdc), (acd), (adc), (abd), (adb), (abc) y (acb); los seis 4ciclos (abcd), (abdc), (acbd), (acdb), (adbc) y (adcb); y tres permutaciones ms (ab)(cd), (ac)(bd) y (ad)(bc). a

dos ciclos disjuntos conmuta.

Dos ciclos (a1 a2 am ) y (b1 b2 bn ) se dicen disjuntos si los conjuntos {a1 , a2 , . . . , am } y {b1 , b2 , . . . , bn } son disjuntos. Es fcil ver que el producto de a

Proposicin 5. Cualquier permutacin de un conjunto nito S es la pero o

mutacin identidad, un ciclo, o una composicin de dos o ms ciclos diso o a juntos. Demostracin. Haremos la prueba por induccin sobre el nmero de elemeno o u
tos de S. El resultado es trivial si S tiene un solo elemento. Supongamos que la proposicin es verdadera para todas las permutaciones de un conjunto con o menos de k elementos. Demostraremos que tambin es vlida para un conjunto e a con k elementos. Sea S un conjunto con k elementos y p una permutacin de S. Escojamos un o elemento a1 de S, y sean los elementos a2 , a3 , a4 , . . . de S denidos por p(ai ) = ai+1 para todos los enteros positivos i. Sea n el entero positivo ms grande a para el cual los elementos a1 , . . . , an son distintos. Armamos que p(an ) = a1 . 16

La eleccin de n garantiza que a1 , . . . , an , an+1 no son distintos. Por lo tanto o ai+1 = aj para alg n entero positivo j entre 1 y n. Si j > 1 entonces tendramos u  que aj = p(aj1 ) y aj = p(an ), lo que es imposible puesto que p es una funcin o biyectiva. Por lo tanto j = 1, y as p(an ) = a1 . Sea 1 = (a1 an ).  Sea T conjunto S{a1 , a2 , . . . , an }. Por lo tanto, si x T se tiene que p(x) = ai con ai {a1 , a2 , . . . , an }, y de aqu que p(x) T . Podemos denir as la   funcin q : T T denida por q(x) = p(x) para todo x T , y tiene una inversa o bien denida por q1 : T T donde q1 (x) = p1 (x). Se sigue que q es una permutacin de T . La hiptesis de induccin garantiza que q o es la permutacin o o o o identidad de T , o es un ciclo, o puede ser expresada como un producto dos o ms ciclos disjuntos. Estos ciclos se extienden a permutaciones de S que jan a a los elementos a1 , . . . , an y estas permutaciones de S tambin son ciclos. Se e sigue que o bien p = 1 (y q es la permutacin identidad), o bien p = 1 m , o son ciclos disjuntos de S que jan a a1 , . . . , an y que corresponden a ciclos de T . Luego el resultado sigue siendo vlido para permutaciones de conjuntos con a k elementos, y por el principio inductivo el teorema queda establecido.
Lema 17. Cada permutacin de un conjunto nito con ms de un elemento o a

puede expresarse como una composicin nita de transposiciones. o

posiciones. De hecho, si a1 , . . . , an son los distintos elementos de un conjunto nito S entonces

(a1 a2 an ) = (a1 a2 )(a2 a3 ) (an1 an ).

Demostracin. Cada ciclo puede ser expresado como una composicin de transo o

Se sigue de la anterior proposicin que una permutacin de S que no sea o o la permutacin identidad puede ser expresada como una composicin nita de o o transposiciones. Ms an la permutacin identidad puede escribirse como la a u o composicin de cualquier transposicin consigo misma, siempre que S tenga o o ms de un elemento. El resultado queda probado. a
Teorema 6. Una permutacin de un conjunto nito no puede ser expresada o

simultneamente como un producto de un nmero par de transposiciones a u y como un producto de un nmero impar de transposiciones. u Demostracin. Como el conjunto es nito podemos representarlo como el cono junto {1, . . . , n} donde n es el nmero de elementos del conjunto. Sea F : Zn u Z la funcin que enva a cada n-ada (m1 , . . . , mn ) de enteros al producto o  ij<kn (mk mj ) de las cantidades mk mj para todos los pares (j, k) de enteros que satisfacen i j < k n. Ntese que F(m1 , . . . , mn ) no se anula o siempre que los enteros m1 , . . . , mn sean distintos. Si se transponen dos elementos m1 , . . . , mn , el signo de F cambia, puesto que el nmero de factores del u producto ij<kn (mk mj ) que cambian su signo es impar. Por ejemplo,
17

si intercambiamos mt y ms con 1 s < t < n, entonces el factor (mt ms ) cambia por (mt ms ), y los factores mt mi por (mi ms ), mientras que los factores mi ms cambian por (mt ms ). As, todos los cambios de signo  se cancelan excepto el de (mt ms ). Pero toda permutacin del conjunto o {1, 2, . . . , n} es un producto de transposiciones. Se sigue que a cada permutacin o le corresponde un n mero tal que u
F(m(1) , . . . , m(n) ) = F(m1 , . . . , mn ).

Por las propiedades del producto se sigue que = para cualesquiera permutaciones y . Por lo anteriormente discutido, si es una permutacin, o entonces = 1. Se sigue que si se expresa como una composicin de r y s o transposiciones, entonces = (1)r y = (1)s , luego (1)r = (1)s , por lo que r y s deben diferir en un nmero par. Pero eso ocurre si, y slo si, ambos u o son pares o impares, y el teorema queda demostrado.

1.14.

Ecuacin de clases de un grupo nito o

Z(G) = {g G : gh = hg para todo h G}.

Denamos el conjunto

Es claro que los elementos de Z(G) conmutan entre s. Sea h un elemento  arbitrario de G. Como e satisface que eh = he = h, tenemos que Z(G) es no vaco. Sean g y f elementos de Z(G). Entonces (gf)h = g(fh) = g(hf) =  (hf)g = h(fg) = h(gf), y tambin (g1 h)1 = h1 g = gh1 = (hg1 )1 , luego e g1 h = hg1 ; de aqu que Z(G) es un subgrupo de G, y adems es abeliano.  a Segn la denicin de Z(G), hgh1 = hh1 g = eg = g, por lo que u o hZ(G)h1 = Z(G), esto es, Z(G) es normal en G. Denicin. El conjunto Z(G) se denomina centro de G. o Sea G un grupo nito. La relacin de conjugacin divide parte al conjunto o o G en clases de equivalencia disjuntas. Cada elemento de Z(G) es una sola clase de equivalencia, y toda clase de equivalencia que consta de un solo elemento est en Z(G), luego Z(G) consiste en todos los elementos de G que son clases a de equivalencia de un solo elemento, segn lo visto en la seccin de conjugacin u o o y por ser Z(G) abeliano. Sean ahora r el nmero de clases de conjugacin conu o tenidas en G Z(G), y n1 , . . . , nr el nmero de elementos de cada una. Como u las clases de conjugacin constituyen una particin, se tiene que ni > 1 para o o i = 1, . . . , r y que
|G| = |Z(G)| + n1 + + nr .

A esta ecuacin se le conoce como ecuacin de clases del grupo G. o o

Proposicin 6. Sea G un grupo nito, y p un nmero primo. Supngase o u o k que para algn k entero positivo p divide al orden de G. Entonces, o bien u

18

pk divide al orden de algn subgrupo propio de G o p divide al orden del u centro de G.

Demostracin. Escojamos los elementos g1 , . . . , gr de G Z(G), donde Z(G) o es el centro de G, tales que cada uno de ellos es un representante de cada una de las r clases de conjugacin contenidas en G Z(G). Sea ni el nmero de o u elementos de la clase de conjugacin de gi y sea C(gi ) el centralizador de de o gi para i = 1, . . . , r. Entonces C(gi ) < G, pues de otro modo gi Z(G), lo cual contradice su eleccin. Por lo tanto, |G| = ni |C(gi )|, pues por el teorema o de Lagrange |C(gi )| divide a |G|, y adems lo hace tantas veces como elementos a tiene la clase de conjugacin de gi , esto es, ni veces. Por lo tanto, si pk divide al o orden de G y no divide al orden de ningn subgrupo propio de G (en particular, u C(gi )), debe ser que divide a ni , y as p divide a ni , para cada i = 1, . . . , r.  Transpongamos la ecuacin de clases o
|G| (n1 + + nr ) = |Z(G)| .

se ve claramente que p divide a ambos trminos del primer miembro de la e ecuacin anterior, luego p divide a |Z(G)|, como se quera demostrar. o 

1.15.

Teorema de Cauchy

Teorema 7 (Cauchy). Si G un grupo nito y p un nmero primo que u divide al orden de G entonces G contiene un elemento de orden p.

Demostracin. Para el grupo nito de orden 1 el aserto se cumple por vacuidad, o

pues no hay primo que divida al 1. Supongamos ahora que cada grupo nito cuyo orden es divisible por p y menor que |G| contiene un elemento de orden p. Si p divide al orden de algn subgrupo propio de G entonces ese subgrupo u contiene al elemento requerido de orden p. De no ser el caso y p no divide al orden de ningn subgrupo propio de u G, por la proposicin anterior se tiene que p divide al orden de Z(G), luego o G = Z(G), por lo cual G es abeliano. Sea ahora un subgrupo H maximal de G. Si |H| es divisible por p entonces la hiptesis de induccin asegura que H tiene o o un elemento de orden p. Supongamos entonces que |H| no es divisible por p. Escojamos g G H y sea C el subgrupo cclico de G generado por g. Como  G es abeliano, C G, por lo que HC G. Entonces HC = G, pues HC = H al ser H HC y HC es un subgrupo de G. Por el primer teorema de isomorsmo
G C . = H HC

Ahora p divide a |G/H|, pues |G/H| = |G| / |H| y p divide a |G|, pero no a |H|. Por lo tanto p divide a |C/H C| = |C| / |H C|. Como H C H, entonces p no divide a |H C|. Debe ser que p divide a C. As si m = |C| /p, entonces gm  es el elemento requerido de orden p. El teorema de Cauchy queda probado. 19

1.16.

La estructura de los p-grupos

Denicin. Sea p un n mero primo. Un p-grupo cuyo orden es alguna o u potencia pk de p, donde k es un entero positivo. En lo sucesivo p es un nmero primo. u Lema 18. Sea G un p-grupo. Entonces existe un subgrupo normal de G de orden p que est contenido en el centro de G. a

Demostracin. Sea |G| = pk . Entonces pk divide al orden del grupo pero no o

divide al orden de ningn subgrupo propio de G. Se sigue por una proposicin u o anterior que p divide al orden de Z(G). Se sigue del teorema de Cauchy que el centro de G contiene algn elemento de orden p. Este elemento genera un u subgrupo cclico de orden p, y este subgrupo es normal pues sus elementos  conmutan con cada elemento de G.
Proposicin 7. Sea G un p-grupo, y H un subgrupo propio de G. Entonces o existe un subgrupo K de G tal que H K y K/H es un grupo cclico de  orden p.

Demostracin. Si G es de orden 1, la proposicin se cumple por vacuidad. o o

Supongamos entonces que el resultado es vlido para todos los p-grupos de a orden menor o igual a G. Sea Z el centro de G. Entonces ZH es un subgrupo de G, pues Z es normal en G. Supongamos que ZH = H. Entonces H es un subgrupo normal de ZH. El grupo cociente ZH/H es un p-grupo (pues todos los subgrupos de G son p-grupos) y contiene un subgrupo K1 de orden p, segn u el lema anterior. Sea K = {g ZH : gH K1 }, es decir, el grupo homomorfo a K1 contenido en ZH. Entonces H K y K/H = K1 , y as K es el subgrupo de G  que se buscaba. Finalmente supngase que ZH = H. Entonces Z H. Sea H1 = {hZ : h H}. o Entonces H1 es un subgrupo de G/Z. Pero G/Z es un p-grupo, y |G/Z| < |G|, puesto que |Z| p, segn el lema anterior. La hiptesis de induccin garantiza u o o la existencia de un subgrupo K1 de G/Z tal que H1 K1 y K1 /H1 es cclico de  orden p. Sea K = {g G : gZ K1 }. Entonces H K y K/H = K1 /H1 . Luego K es el grupo solicitado. Por induccin se obtiene el siguiente resultado. o

Corolario 6. Sea G un p-grupo. Entonces existen subgrupos G0 , G1 , . . . , Gn de G, donde G0 es el subgrupo trivial, y Gn = G tales que Gi1 Gi y Gi /Gi1 es un grupo cclico de orden p para i = 1, 2, . . . , n. 

1.17.

Los teoremas de Sylow

Denicin. Sea G un grupo nito tal que |G| es divisible por p. Un po subgrupo de G es un subgrupo cuyo orden es una potencia de p. Un p-subgrupo

20

de Sylow de G es un subgrupo cuyo orden es pk , con k el mximo entero positivo a tal que pk divide a |G|.
Teorema 8 (Primer Teorema de Sylow). Sea G un grupo nito, y sea p un divisor del orden de G. Entonces G contiene un p-subgrupo de Sylow.

Demostracin. Para el grupo trivial el teorema es vlido por vacuidad. Suo a

pongamos entonces que el teorema se cumple para todos los grupos de orden menor al de G cuyo orden es divisible por p tienen al subgrupo de Sylow deseado. Sea k el mayor entero positivo para el cual pk divide a |G|. Si pk divide al orden de algn subgrupo propio H de G, por la hiptesis de induccin H u o o tiene el p-subgrupo de Sylow requerido. Si pk no divide al orden de ningn u subgrupo propio de G, entonces p divide al orden de Z(G), por una proposicin o anterior. Por el teorema de Cauchy, Z(G) tiene un elemento de orden p, y este elemento engendra un subgrupo normal N de G de orden p. La hiptesis de o induccin asegura que G/N tiene un p-subgrupo de Sylow L de orden pk1 , o pues |G/N| = |G| /p. Sea K = {g G : gN L}. Entonces |K| = p |L| = pk , y as K es el p-subgrupo de Sylow de G buscado. 
Teorema 9 (Segundo Teorema de Sylow). Sea G un grupo nito, y sea p un divisor del orden de G. Se cumplen:

1. Todos los p-subgrupos de Sylow de G son conjugados. 2. Cualquier p-subgrupo de G est contenido en algn p-subgrupo de a u Sylow de G. 3. Si r el nmero de p-subgrupos de Sylow en G, entonces r divide al u orden de G y r 1 (modp).
las clases izquierdas de K en G. Sea H un p-subgrupo de G. Entonces H acta u sobre X a la derecha, donde h(gK) = (hg)K para todo h H y g G. Ms an, a u h(gK) = gK si y slo si g1 hg K. As, un elemento gK de X es jo bajo H si o  y slo si g1 Hg K. o Sea |G| = pk m, donde k y m son enteros positivos y m es coprimo con p. Sea |K| = pk . El n mero de clases laterales izquierdas de K en G es |G| / |K| = m, u luego el conjunto X tiene m elementos. Por lo tanto el nmero de elementos u de cualquier rbita (para la accin de H sobre X) divide al orden de H, puesto o o que es el ndice en H del estabilizador de algn elemento de esa rbita. Pero el  u o nmero de elementos en cada rbita debe ser alguna potencia de p, pues H es u o un p-grupo. Por lo tanto, si un elemento de X no queda jo bajo H entonces el nmero de elementos de su rbita es divisible por p. Pero X es la unin disjunta u o o de rbitas bajo la accin de H. Por lo tanto, si m denota al nmero de elementos o o u de X que quedan invariantes por H, entonces m m es divisible por p. 21

Demostracin. Sea K un p-subgrupo de Sylow de G, y sea X el conjunto de o

Sin embargo, m no es divisible por p. Se sigue m no es nulo y que m no es divisible por p. Luego existe al menos un elemento g de G tal que g1 Hg K. Pero entonces H est contenido en el p-subgrupo de Sylow gKg1 . Por lo a tanto cada p-subgrupo est contenido en un p-subgrupo de Sylow de G, y este a p-subgrupo de Sylow es conjugado con el p-subgrupo de Sylow K dado. En particular, cualesquiera dos p-subgrupos de Sylow son conjugados. Slo resta probar que el nmero r de p-subgrupos de Sylow de G divide al o u orden de G y que r 1 (modp). Al aplicar lo examinado anteriormente con H = K, vemos que g1 Kg = K para alg n g G si, y slo si, gK es un punto jo u o de la accin de K en X. Pero el nmero de elementos de G para los cuales gK es o u un punto jo es m |K|, donde m es el nmero de puntos jos en X. Se sigue que u el nmero de elementos de G para los cuales g1 Kg = K es pk m . Pero cada pu subgrupo de Sylow es de la forma g1 Kg para algn g G. En consecuencia el u nmero r de p-subgrupos de Sylow en G est dado por r = |G| /pk m = m/m . u a En particular, r divide a |G|. Pero ya sabemos que m m es divisible entre p, pues m es coprimo con p, al serlo tambin m y p. Tambin m m es divisible e e m entre m , pues mm = m 1 = r 1. Juntando todo, vemos que m m m es divisible por m p, por lo cual p divide a r 1, esto es, r 1 (modp), y la demostracin termina. o

22