Un grupo G es un conjunto equipado con una operacin tal que: 1. 2. 3. 4. a,b G abG a(bc)= (ab)c para todas a,b,cG.

G. Esta propiedad se llama asociatividad. Existe un elemento 1 G tal que a1= 1a = a para toda a G. Para toda a G existe b G tal que ab = ba = 1. Si H G , entonces las siguientes condiciones son

Proposicin 1. equivalentes:

a) H < G b) HH H y H 1 H c) HH 1 H . Demostracin. a) b) y b) c) son claras. Veamos que c) a). Como existe h H, se tiene que 1 = h h 1 H y que por tanto a H a 1 = 1 a 1 H . Finalmente a, bH ab = a(b 1 ) 1 H .

Teorema 2(Lagrange). Si G es un grupo finito y H <G, entonces H G . Demostracin.

Toda clase lateral derecha xH de H tiene H elementos. Si con h1 , h2 H , entonces

xh1 = yh2 xH yH
1

y 1 x = h2 h11 H ,

por

lo

que

yH = y ( y x) H = xH . Se ve pues, que las clases laterales distintas son disjuntas. Si hay n de ellas, se tiene n H = G .

El ndice de H en G, escrito [G: H] es el nmero de clases laterales de H en G. G . Cuando G es finito, [G: H] = H Si

{H i }iI

es una coleccin de subgrupos de G, es claro que ( H i ) < G. Si ahora

iI
H <G
A H

A G. Entonces
generado por A.

H es un subgrupo de G, escrito

A y llamado el subgrupo

Se dice que un grupo G es cclico cuando existe a G tal que G = a . Obviamente,

Z n es cclico y de orden n. Tambin es obvio que todo grupo cclico es Abeliano.
Corolario 3. Si G es un grupo finito de orden n, entonces a n = 1 para toda a G

Demostracin. Sea H = a < G. Se ve que

a = {1, a, a 2 ,..., a m 1} , donde m es el

mnimo entero positivo tal que a m =1 . Es claro que m/n. Se define el orden de a G como el orden de a , escrito a . Definimos la funcin de Euler as:

: N N, (1) = 1, (n) = nmero de enteros positivos menores que n y primos

relativos con n, para n > 1. Es inmediato que si p es primo, entonces ( p m ) = p m - p m 1 .
Corolario 4 (Euler). Si n es un entero positivo y a es otro, primo con respecto a n, entonces a ( n ) 1(mod n) . Demostracin. Los nmeros primos con respecto n, modulo n, forman un grupo multiplicativo de orden (n). Como a pertenece a este grupo, se tiene que a ( n ) 1(mod n) .

Corolario 5 (Fermat). Si p es un numero primo, entonces a p a (mod p) para todo entero a. Demostracin. Como ( p ) = p-1, se tiene que a p 1 1 (mod p) siempre que a kp, k N. En todo caso, a p a (mod p). Proposicin 6 (Principio de inclusin y exclusin). in=1 Ai = i Ai i j Ai Aj + ...

Como aplicacin de este principio, supongamos que p1 , , pm son los distintos nmeros primos que dividen a un numero dado n, entonces

( n) = n -

n n n n - + + + p1 pm p1 p2 pm 1 pm

- =n

m i =1

(1

1 ). pi

En particular, si (a,b) = 1 , entonces es claro que (ab) = (a) (b). Para concluir esta incursin en Teora de Nmeros veamos tambin que:
Corolario 7. Si a > 1, n 1 son enteros, entonces n (a n 1).

Demostracin. Sea G el grupo multiplicativo de los enteros (mod a n -1) primos con respecto a a n -1. EntoncesG= (a n 1). Es claro que a G y que a = n, por lo que n (a n 1).

Lema 8. Si H y K son subgrupos de G, entonces las siguientes condiciones son equivalentes:

a) HK < G. b) HK KH. c) HK = KH.

Demostracin. c) b) es claro. Veamos que b) a): (HK) (HK) 1 = HKK 1 H 1 HKH 1 = HK 1 H 1 ; pero HK KH K 1 H 1 H 1 K 1 , por lo que HK 1 H 1 HH 1 K 1 HK 1 = HK. La conclusin es que (HK)(HK) 1 HK, por lo que HK < G. Finalmente vemos que a) c): HK = (HK) 1 = K 1 H 1 = KH. Corolario 9. Si G es un grupo Abeliano y H, K < G, entonces HK < G.

Lema 10. Sean H, K subgrupos finitos de G. Entonces HK=

H K H K

Demostracin. Esto es claro en vista de la siguiente observacin: h 1 k 1 = h 2 k 2 h 1 h 1 = k 2 k 1 1 H K para toda h i H, k i K. 2 Corolario 11. Si H y K son subgrupos de un grupo finito G y son tales que H,K> G , entonces H K>1.

En direccin complementaria tenemos el siguiente resultado:

Proposicin 12. (Poincar). Si H y K son subgrupos de ndice finito en G, entonces H K tambin tiene ndice finito en G. Demostracin. Si x G es arbitrario, entonces es claro que ( H K ) x = ( H x ) ( K x ) . Se ve que hay un numero finito de posibilidades solamente para clases laterales de H K.

SUBGRUPOS NORMALES

Se dice que un subgrupo N de G es normal cuando xNx 1 N para toda x G. Esto es claramente equivalente a pedir que xNx 1 = N para toda x G.
Proposicin 13. Si N es un subgrupo de G, entonces las siguientes condiciones son equivalentes:

a) N es normal, escrito N G. b) Toda clase lateral izquierda de N es una clase lateral derecha de N (o recprocamente). Mas precisamente, Nx = xN para toda x G. c) El producto de dos clases laterales izquierdas (derechas) de N es una clase lateral izquierda (derecha) de N.
Demostracin. a) b): Se tiene xNx 1 = N para toda x G, por tanto xN = Nx. b) c): N(aN)b = N(Na)b = Nab para toda a,b G. d) a): para toda x G, NxNx 1 es una clase lateral izquierda de N que contiene a 1 por tanto NxNx 1 = N por tanto xNx 1 N.

Teorema 14. Si N G, entonces el conjunto de clases laterales izquierdas G/N es un grupo. Demostracin. Esto es consecuencia de que (Na) (Nb) = Nab para toda a, b G y de que (Na) 1 = Na 1 ante esta multiplicacin de bloques, que es claramente asociativa con identidad N.

Se dice que un grupo G es simple cuando sus nicos subgrupos normales son {1} y G. Si a, b G, escribimos (a,b) = aba 1 b 1 , el conmutador de los elementos a y b.
Proposicin 15. Si N G, entonces G/N es Abeliano G N Demostracin. Nab = Nba Naba 1 b 1 = N aba 1 b 1 N.

Por otro lado, tenemos

Proposicin 16. Sea H < G tal que G H, entonces H G. Demostracin. Dados h H y a G arbitrarios, aha 1 h 1 G H por consiguiente aha 1 H.

Proposicin 17. Si N, M G son tales que N M = , entonces nm = mn para toda m M y n N. Demostracin. mnm 1 n 1 M N por tanto (m,n) =1.

MORFISMOS Y TEOREMAS FUNDAMENTALES DE ISOMORFISMO

Un Homomorfismo o simplemente Morfismo de grupos, es una funcin f: G H, donde G y H son grupos tal que f(ab) = f(a)f(b) para toda a, b G. Como ejemplo tenemos que la funcin det: GL n ( ) *, el determinante, es un Morfismo, donde * es el grupo multiplicativo de los elementos distintos de cero de . Aqu, se puede remplazar a por cualquier otro campo. El ncleo de un Morfismo f: G H, es por definicin { x Gf(x) = 1}. Se escribe ker f. Si G y H son isomorfos, se escribe G H. Las siguientes observaciones son obvias: 1. Si f: G H es un Morfismo, entonces f(1) = 1, f(x) 1 = f(x 1 ) para toda x G. 2. Im f < H. 3. Ker f G. 4. Si f(a) = b, entonces f 1 (b) = Ka, donde K = ker f. 5. El morfismo f es un isomorfismo f es sobre y ker f ={1}.
Teorema 18. Sea f: G H un morfismo sobre con ncleo k, entonces K G y G/K H Demostracin. Sea : G/K H la funcin definida por (Ka) = f(a). Es fcil ver que esta bien definida y que es un isomorfismo.

Observamos que si nos dan un subgrupo normal K de un grupo G, entonces existe un grupo H y un morfismo sobre f: G H con ncleo K. Esto es una consecuencia inmediata del teorema 18.
Teorema 19. Sean H y K subgrupos de un grupo de G con K normal, entonces (H K) H y H/(H K) HK/K.

Demostracin. Sea f: G G/K el morfismo natural y sea g la restriccin de f a H. Observamos que la Im g = HK/K y que ker g = H K. La conclusin es ahora consecuencia del teorema anterior. Teorema 20. Sean K H G tres grupos con K y H normales en G. Entonces (H/K) (G/K) y (G/K)/(H/K) G/H. Demostracin. Sea : G/K G/H la funcin dada por (Ka) = Ha para toda a G. Es fcil verificar que est bien definida y que es un morfismo sobre con ncleo H/K. Para concluir se aplica otra vez el teorema 18. Teorema 21. Sean G un grupo, K un subgrupo normal y f: G G/K el morfismo natural. La accin de f en subconjuntos de G da a una biyeccin entre los subgrupos de G que contienen a K y los subgrupos de G/K. Esta biyeccin preserva inclusiones y normalidad. Adems, si K A < B < G y A = f(A), B = f(B), entonces [ B:A] = [ B:A] y A B A B , en cuyo caso B/A B/A. Demostracin. Si H < G es tal que K H, es claro que (H) < G/K, por lo que se puede definir : {subgrupos de G que contienen a K} { subgrupos de G/K} as: (H) = f(H); tambin es claro que preserva inclusiones y que es sobre: T < G/K f 1 (T) < G y K f 1 (T); y como f es sobre, f(f 1 (T)) = T. Veamos que es una funcin inyectiva: Sean H 1 , H 2 < G tales que K H 1 , H 2 y H 1 /K = H 2 /K. Si a H 1 , entonces existe b H 2 con Ka = Kb por tanto

ab 1 K H 2 y entonces a H 2 .Esto demuestra que H 1 H 2 . La otra inclusin se obtiene de manera anloga. Tambin es claro que si K A B y A B, entonces A B , recprocamente. Adems, B/A = (B/K)/(A/K) B/A.

Conjugacin y Automorfismos
Un endomorfismo es un morfismo f: G G de un grupo en s mismo. Un automorfismo de G es un isomorfismo de G en G. El conjunto de los automorfismos de un grupo G forma un grupo ante composicin de funciones de funciones, este grupo se escribe Aut G. Si G es un grupo y a G, sea i a : G G la funcin dada por i a (x) = axa 1 .

Como i a (xy) = i a (x)i a (y) y tambin i a (x 1 ) = i a (x) 1 , se ve que i a Aut G. Se define Int G = {i a a G} el conjunto de los automorfismos internos de G. La funcin i a se llama conjugacin con a. Como (i a i b )(x) = (ab)x(ab) 1 = i ab (x) es cierto para toda x G, se ve que i a i b = i ab . Similarmente, i a1 = i 1 . As, Int G < Aut G. a

Proposicin 22. Int G

Aut G. ix a 1 )(g) = a

Demostracin. Sean a Aut G, x G arbitrarios, entonces (a

(xa 1 (g)x 1 ) = a(x)ga(x) 1 vale para toda g G , por lo que se ve que a i x a 1 = i, que demuestra la proposicin. Se dice que a, b son conjugados en G cuando existe x G tal que b= xax 1 . Evidemente, conjugacin es una relacin de equivalencia cuyas clases de equivalencia se llaman clases de conjugacin. Se dice que un subgrupo H de G es caracterstico cuando f(H) H para toda f Aut G. Obviamente esto implica H G. Si N G, entonces N es una unin de clases de conjugacin de G. Si G es un grupo y A G, se definen el centralizador de A en G, escrito Z G (A), como{x Gxa = ax para toda a A} y el normalizador de A en G, escrito N G (A), como {x GxA = Ax}. Claramente Z(A), N(A) < G y Z(A) N(A) para todo subconjunto A de G. El grupo Z (G) se llama el centro de G y se escribe Z. Es claro que Z es un subgrupo caracterstico de G.

Teorema 23. G/Z Int G. Demostracin. Sea f: G Int G la funcin dada por f(a) = i a . Es claro que f es un morfismo sobre y que ker f = Z.

ACCIONES DE GRUPOS

Se dice que un grupo G acta en un conjunto X cuando se tiene un morfismo f: G S x . Esto es equivalente a decir que existe una funcin : G x X X, donde escribimos (g, x) = g x y requerimos que se satisfagan las siguientes condiciones: (gh) (x) = g ( h x) para toda g, h G, x X.. lx=x para toda x X gX=X para toda g G. En estas condiciones se definen los siguientes conceptos: Para cada elemento x X, el estabilizador de x es G x = {g Gg x = x}, que es claramente un subgrupo de G. La rbita de x es G x = {g x g G }. Se dice que un a accin es transitiva cuando el numero de rbitas es 1, es decir, cuando existe x X tal que G x = X. Se dice que x es un punto fijo cuando G x = G. El conjunto de los puntos fijos de X se escribe X G .

Teorema 24. Si G acta en X, entonces X es la unin disjunta de las rbitas. Existe una biyeccin entre los elementos de la rbita de x y las clases laterales de G x en G. En particular, G x= [ G: G x ]. Demostracin. La condicin x, y pertenecen a una rbita define una relacin de equivalencia, por lo que la primera afirmacin es clara. Definimos : G/G x G x as: (aG x ) = a x. Claramente es una funcin sobre,

( aG x ) = (bG x ) a x = b x b 1 a G x bG x = b(b 1 a) G x = a G x , por lo que es una biyeccin. La tercera conclusin es inmediata.

En el caso de conjugacin, denotando por C(x) la clase de x, se ve que C ( x) = [G : Z ( x) ] y que tambin vale la llamada ecuacin de clase para grupos finitos G:
G = C (a) G Z (a)

donde la suma se toma sobre las distintas clases de conjugacin de G.

Teorema 25. Si el orden de un grupo G es p n con p primo y n 1, entonces Z {1}. Demostracin. En la ecuacin de clase, G = Z + C ( a )

G , donde la suma Z (a ) G Z (a)

se toma sobre las clases de conjugacin de elementos no centrales, ah p siempre, por tanto p Z y
Z > 1.

Corolario 26. Si G = p 2 con p primo, entonces G es abeliano. Demostracin. Z = p p 2 . Es suficiente ver que Z p. Supongamos que
Z = p y que aZ, entonces Z Z(a) < G por tanto Z(a) = G y a Z.

Contradiccin.

El siguiente teorema debido a cayley garantiza que para todo grupo G siempre existen un conjunto X y una accin f : G S x con la propiedad de que f es inyectiva.
Teorema 27. (Cayley) Todo grupo G es isomorfo a un grupo de permutaciones Demostracin. Definimos una funcin f :G S G como sigue: f(a) = f a es multiplicacin izquierda por a, es decir, f a (x) = ax para toda x G. Entonces toda f a S G y f a fb ( x) = a(bx) = abx = f ab ( x) para toda x G garantiza que f a f b = f ab por lo que f es un morfismo cuyo ncleo {a Gax = x para toda x G} es {1}. La conclusin es que G Im f.

Observamos que no se concluye que f sea sobre, ni que G sea isomorfo a un grupo simtrico; nada mas que G es isomorfo a un subgrupo de un grupo simtrico.

Teorema 28. Sean G un grupo, H un subgrupo y A = G/H el conjunto de las clases laterales derechas de H en G. Entonces existe una accin f: G S A cuyo ncleo es el mximo subgrupo normal de G contenido en H. Demostracin. Se define f: G S A como en el teorema anterior: f(a) = f a es la funcin de A en A dada por gH agH para toda gG. Claramente f es un morfismo. Sea K = ker f. Como k K kH = H, se ve que k H y que K H. Ya sabemos que K G. Sea N G tal que N H, entonces n G g 1 n g N H para toda g G; as g 1 ng H = H, es decir, ngH = gH para toda n N, g G. Se concluye que N K.

Corolario 29. Si G es un grupo finito y H es un subgrupo de G distinto de G tal que G [G:H]!, entonces H contiene un subgrupo normal no trivial de G. En

particular, G no es simple.
Demostracin. Sea f: G S A como en el teorema anterior, con ncleo K.

Sabemos que K G y que K H. Si K ={1} , entonces f es inyectivo y G =

Im G [G:H]!, que es una contradiccin.

Teorema 30 (Cauchy-Frobenius). Si p es un nmero primo y p G ,

entonces el numero de soluciones en G de la ecuacin x p = 1 es un mltiplo de p. En particular, existe almenos un elemento de G de orden p.

Demostracin. Sea A = {( x1 ,..., x p )x i G, x1...x p =1}. Entonces A = G

p 1

pues x1 ,..., x p 1 pueden ser arbitrarios y x p = ( x1 ,..., x p 1 ) , por tanto p A . A se divide en clases de equivalencia as: ( x1 ,..., x p ) ~ ( x2 ,..., x p , x1 ) ~ ~
( x p , x1 ,..., x p 1 ). Se afirma que cada clase equivalencia tiene p elementos, a menos que x 1 = = x p , en cuyo caso la clase de equivalencia tiene un elemento. Esto es claro, pues x 1 = x 1+ j = x 1+ 2 j = para alguna j entre 1 y p-1 implica x1 = x 2 = = x p , porque en Z /PZ, {1, 1+j, 1+2j, }= Z /PZ . As se obtiene que el nmero de elementos x G tales que x p = 1 es un mltiplo de p. Como x = 1 es uno de ellos, existe al menos otro, es decir, un elemento de orden p.
El grupo simtrico

Ya sabemos que para todo conjunto X, las biyecciones de X en X forman el grupo llamado simtrico S X . Cuando X es finito, con n elementos, escribimos S n y pensamos que X = {1,2,,n}. Es fcil demostrar que S n = n ! Si S n , entonces acta naturalmente en {1,2,,n} y descompone a este conjunto en rbitas (disjuntas) que son tambin las rbitas de , por lo que una notacin eficiente para las permutaciones consiste en escribir una tras otra las rbitas de como (1, (1), 2 (1),). As por ejemplo S 3 tal que (1) = 3 , (2) = 1 y (3) = 2 se escribe como = (132). Cada rbita as escrita se llama ciclo y por ejemplo, se dice que (132 ) es un 3-ciclo. Los puntos fijos no se escriben. Consideremos otro ejemplo, S 4 tal que (1) = 3, (2) = 4, (3) = 1 y (4) = 2 se escribe como = (13)(24) = (31)(42) = (24)(31), etc.

Proposicin 31 Toda permutacin se puede escribir como un producto de ciclos disjuntos: sus rbitas.

Es conveniente decir explcitamente que si , S n , entonces es aquel elemento de S n que resulta al aplicar primero y , lo que comnmente se escribe como .

Consideremos

[ x1 ,..., xn ] , el conjunto de polinomios

en n variables con

coeficientes en . El grupo S n acta ah de manera natural al decretar que (a) = a para toda a , (x i ) = x (i ) para toda i y que (f + g) = (f) + (g), (fg) =

(f) (g) para toda f , g

El polinomio f = i < j ( xi x j ) tiene la propiedad especial de (f) = f, por lo que si n 2 la rbita de f tiene 2 elementos { f}, ya que (12)(f) = -f. Sea A n el estabilizador de f ,entonces A n S n por ser de ndice 2. El grupo A n se llama alternante, sus elementos se llaman permutaciones pares.

[ x1 ,..., xn ] , todo esto para toda S n .

Proposicin 32. Las clases de conjugacin de S n son los conjuntos de elementos de S n con la misma descomposicin cclica. El nmero de clases de conjugacin de S n es p(n) = nmero de particiones de n, es decir, el nmero de maneras en que n se puede escribir como n = n i + + n m con cada n i un entero positivo. Demostracin.Todo es consecuencia de la observacin de que si x = (12a)

es la descomposicin en ciclos disjuntos de x, entonces para toda S n se tiene que

= ( (1) (2) (a)) .

Las transposiciones son los conjugadas de (12).

Proposicin 33. Toda permutacin es un producto de transposiciones, es decir, las transposiciones generan S n , o mejor an, las transposiciones de la forma (1a) con a arbitrario generan S n . Demostracin. Es suficiente observar las identidades (12 m) = (1m) (13)(12) y (ab) = (1b)(1a)(1b).

Proposicin 34. Si n 3, entonces el conjunto de los 3-ciclos genera a A n . Demostracin. Sabemos que todo 3-ciclo es par y que toda permutacin par se puede escribir como un producto par de transposiciones. La demostracin se termina al

observar que (123) = (13)(12) y que (ab) (cd) = (ab)(bc)(bc)(cd) = (bca)(cdb) si a, b, c y d son todos distintos. n! n(n 1) El nmero de transposiciones en S n es = ; el nmero de (n 2)!2 2 n! ; y el nmero de productos de k transposiciones r-ciclos en S n es (n r )!r n! . disjuntas en S n es k 2 k !(n 2k )!

Proposicin 35. Si n 3, entonces el centro de S n es trivial. En particular Int S n S n si n 3. Demostracin. Si S n tiene un ciclo de longitud 3, entonces podemos escribir = (123) Z, porque no conmuta con (12). Aqu y adelante, es permisible reemplazar a por un conjugado suyo. Si no tiene ciclos de longitud 3 y = 1, entonces = (12) no est en el centro porque no conmuta con (13). Se concluye que el centro es trivial.

Proposicin 36. Si n 4, entonces el centro de A n es trivial y tambin Int (A n ) A n . Demostracin. Dada 1 = A n , o bien = (123), que no conmuta con (12)(34); o bien = (12)(34), que no conmuta con (123).

Lema 37. Sea x A n , entonces Z Sn (x) An la descomposicin cclica de

x : ( z1 ,..., zn ) satisface z 2 = z 4 = ... = 0; z1 , z3 ,... 1.

Demostracin. : x conmuta con cada uno de sus ciclos, por lo que son pares, es decir, de longitud impar. Si hay 2 ciclos de la misma longitud (impar) i, entonces x conmuta con el producto (impar) de i transposiciones que conjuga uno de esos ciclos en el otro. Contradiccin. : Recprocamente, si x es como en el enunciado y a Z(x), entonces a necesariamente conmuta con cada ciclo y de x, y esto implica que a acta como potencia de y en los elementos que y mueve. As a es par.

Teorema 38. Una clase de conjugacin par de x en S n es una clase de conjugacin de A n o bien es la unin de dos clases de conjugacin de A n con el mismo nmero de elementos. Esto ltimo sucede exactamente cuando Z Sn (x) An . Demostracin. El orden de la clase de conjugacin de x en A n es
[ S n : Z ( x) ] , cuando Z ( x) An . [ An : ( An Z ( x))] = 1 [ An : Z ( x) ] = [ Sn : Z ( x) ] , cuando Z ( x) An 2

Corolario 39. Si n 5, entonces la clase de conjugacin {(abc)} de S n es tambin una clase de conjugacin de A n .

Observemos que si n 5, entonces el nico subgrupo normal {1}de A n que contiene un 3-ciclo es A n , pues {1} N A con (abc) N N contiene a toda la clase de conjugacin de (abc) en A n que consiste de todos los 3-ciclos por tanto N = An .

Teorema 40. Si n 5, entonces A n es simple. Demostracin. Sean {1} N A n y 1 a N. Como A n no tiene centro,

existe un 3-ciclo b que no conmuta con a. Entonces el elemento c = (aba 1 )b 1 1, que est en N, es un producto de dos 3-ciclos. Se concluye que N intersecta de manera no trivial a un subgrupo H de A n isomorfo con A 6 (pues c mueve cuando ms a 6 puntos ), entonces (N H) H por tanto N H = H por tanto N contiene un 3-ciclo por tanto N = A n .

Teorema 41. Si n 6, entonces Aut (S n ) = int (S n ). Si adems, n 3, entonces Aut(S n ) S n . Demostracin. Lo nico que requiere demostracin es la primera parte. Si a Aut (S n ), entonces a enva clases de conjugacin a clases de conjugacin y preserva el orden de los elementos. Se concluye que a enva el conjunto de las transposiciones al conjunto de productos de k transposiciones disjuntas para cierto k.

Como el nmero de transposiciones es

transposiciones disjuntos es
k

n(n 1) y el de los productos de k 2

n! , es fcil ver que estos nmeros son distintos 2 k !(n 2k )! excepto cuando k = 1 bien n = 6 y k = 3. As, como n 6, a enva transposiciones a transposiciones. Escribamos a( 1r ) = (a r b r ). Si r 2, entonces (1r)(12) = (12r), que tiene orden 3, por lo que a(12r) = (a r b r )(a 2 b 2 ) tambin debe ser de orden 3, lo que implica que (a r b r ) y ( a 2 b 2 ) tienen una letra en comn, es decir, a 2 = a r bien b 2 = b r . Esto mismo puede hacerse al remplazar r por s 1,2,r. Consideremos la posibilidad de que a 2 = a r y b 2 = b s . Entonces a(12r) = (a 2 b r )( a 2 b 2 ) = (a 2 b 2 b r ), mientras que a(12s) = (a s b 2 ) (a 2 b 2 ) = (b 2 a 2 a s ), por lo que a((12s)(12r)) = (b 2 a 2 a s )(a 2 b 2 b r ) = (b 2 b r a s ), un elemento de orden 3, hecho que contradice al orden 2 de (12s)(12r) = (1s)(2r). Se ve pues que bien siempre se tiene a 2 = a r bien siempre b 2 = b r por lo que a(1r) = (a 2 b r ) puede suponerse, sin perdida de generalidad, como vlido para todo
1 ...r ... r 1. Esto demuestra que a = i donde = . a2 ...br ...

PRODUCTOS

DIRECTOS

Si G 1 , , G n son grupos, definimos el producto directo G 1 G n como el conjunto {(g 1 ,, g n )g i G i } con multiplicacin (g 1 ,, g n )(g 1 , , g n ) = (g 1 g 1 , , g n g n ). Se verifica inmediatamente que esto es un grupo.

Proposicin 43. Si G es un grupo Abeliano y f : H G, g : K G son morfismos, entonces existe un morfismo nico : H K G tal que (h,1) = f(h) para toda h H y (i,k) = g(k) para toda k K. Demostracin. Es fcil verificar que (h, k) = f(h)g(k) es un morfismo, necesariamente nico porque H y K generan a H K.

Teorema 44. Sean H y K subgrupos normales de un grupo G tales que HK = G y H K = {1}. Entonces G H K. Demostracin. Definimos f: H K G as: f(h,k) = hk; f es un homomorfismo porque los elementos de H conmutan con los de K (Prop. 17), f es sobre por hiptesis, ker f = {(h,k)hk = 1,h H , k K } por tanto (h,k) ker f h = k 1 H K = {1} por tanto f es un isomorfismo.

Teorema 45 Si G = G 1 G 2 , H G 1 y K G/(H K) (G 1 /H) (G 2 /K ).

G 2 , entonces ( H K )

Gy

Demostracin. Sean f :G 1 d G 1 / H y g: G 2 G 2 /K naturales y :G (G 1 /H) (G 2 ) dado por (a,b) = (f(a), g(b)). Se ve que es un morfismo sobre con ncleo H K.

Observamos en particular que (G 1 G 2 ) / G 1 G 2 .

SOLVABILIDAD Y NILPOTENCIA

Dado un grupo G, definimos G = D 0 G = L 0 G y DG = L 1 G = (G,G) como el subgrupo de G generado por todos los conmutadores (a,b) con a, b G. Este es el grupo derivado de G, un subgrupo caracterstico de G. Inductivamente definimos ahora D i +1 G = ( D i G, D i G ), L i +1 G = (G, L i G) para i 1. En general, si A, B < G, entonces ( A, B ) = (a, b) : a A, b B . Es claro que todo D n G y todo L n G son subgrupos caractersticos de G y que D n G L n G para toda n.

G DG D 2 G es la seria derivada de G y G L 1 G L 2 G es la serie central descendente de G.

Se dice que G es soluble cuando existe n tal que D n G ={1} y que G es nilpotente cuando existe n con L n G = {1} Observemos que se tienen las implicaciones G Abeliano G nilpotente G nilpotente G soluble. Es claro que todos los grupos D n G / D n +1 G son Abelianos y que todos los grupos L n / L n +1 son subgrupos centrales de G/L n +1 .

Proposicin 46. Todo subgrupo y toda imagen homomorfa de un grupo soluble (nilpotente) G es soluble (nilpotente).

Demostracin. Si H < G, es claro que D n H D n G y que L n H L n G por tanto H es soluble (nilpotente) si G lo es. Similarmente, la otra afirmacin es consecuencia de que si f: G H es un morfismo sobre, entonces f(D n G) = D n H y f(L n G ) = L n H .

Proposicin 47. S i N G es tal que N y G/N son solubles, entonces G es soluble. Demostracin. Como G/N es soluble, D k G N para alguna k; pero N es soluble por tanto existe con D k + G = {1}.

Corolario 48. Un producto directo de grupos solubles es soluble

Proposicin 49. Si G es un grupo tal que G/Z es nilpotente, entonces G es nilpotente.

Demostracin. Como G/Z es nilpotente, existe n tal que L n G Z por tanto L n +1 G = {1}. Proposicin 50. Todo producto directo de grupos nilpotentes es nilpotente. Proposicin 51. a) Si G es soluble, entonces G contiene un subgrupo normal abeliano {1}. b) Si G es nilpotente, entonces Z {1}.

Demostracin. a) Si D n G = {1}; pero D n 1 G {1}, entonces D n 1 G es normal y Abeliano. b) Si L n G = {1}; pero L n 1 G {1}, entonces L n 1 G Z

Proposicin 52. Si n 5, entonces S n no es soluble. Demostracin. S n soluble A n soluble DA n

A n , A n simple DA n =

{1} A n Abeliano. Contradiccin.

Proposicin 53. Si G = P n con P primo, entonces G es nilpotente. Demostracin. Por induccin en n observando que n = 0, 1 son casos triviales. Como Z {1}, G < G por tanto G Z es nilpotente y G tambin es nilpotente. Z

Proposicin 54. Si G es un grupo nilpotente y H un subgrupo de G con H G, entonces N G (H) H. Demostracin. Distinguimos 2 casos: Z H y Z H. Si Z H, entonces HZ < G tal que HZ H y HZ N(H). Si Z H, entonces H Z G Z y por induccin en i con L i G = {1}, N( H Z ) H Z , por tanto N(H) H.

La serie central ascendente de G es la sucesin Z 0 (G) = {1} Z 1 (G) definida como sigue: Z 1 (G) = Z(G), el centro de G, inductivamente se define Z i +1 (G) como la imagen inversa en G del centro de G Z i (G ) . Es fcil ver inductivamente, que todo Z i (G) es un subgrupo caracterstico de G.

Teorema 55. G es nilpotente Z k (G) = G para alguna k. Adems, si n es mnimo entero tal que L n = {1}, entonces n es tambin el mnimo entero tal que Z n = G ( y recprocamente). Demostracin. ( : ) Suponemos que L n = {1}. Se afirma que L n r Z r , Para toda r. Esto se ver por induccin en r, siendo claro para r = 0. Entonces suponemos que L n i Z i . Sabemos que L n (i +1) /L n i Z (G / Ln i ) ; pero G/Z i es

imagen homomorfa de G/L n i ,

por tanto L n (i +1) Z i /Z i Z(G/Z i ) por tanto

L n (i +1) Z i Z i +1 por tanto L n (i +1) Z i +1 , que demuestra la afirmacin. En particular, se tiene que G = L 0 Z n . ( :) Recprocamente, supongamos que Z s = G. Se afirma ahora que L r Z s r para toda r. Tambin L 0 = G = Z s , por lo que inductivamente podemos suponer que L i Z s i . Como L i +1 =(G, L i ), se tiene que L i +1 (G, Z s i ). Por otro lado, Z s i /Z s (i +1) Z(G/Z s (i +1) ) por tanto ( G, Z s i ) Z s ( i +1) . Por tanto Ls i Z s ( i +1) ; y la afirmacin queda establecida. En particular Ls Z 0 = {1} por tanto s n y n es el mnimo entero con Z n = G .

GENERADORES Y RELACIONES Sean X un conjunto no vaci F un grupo. Se dice que F es el grupo libre en X cuando existe una funcin inyectiva i : X F tal que para toda funcin f: X G, donde G es un grupo, existe un morfismo nico de grupos g: F G tal que el diagrama
f i g G X F G

es conmutativo. Para todo conjunto no vaci X, siempre existe un grupo libre F en X que es necesariamente nico, pues si F es otro, entonces existen funciones inyectivas i: X F, i: X F y morfismos nicos : F F y : F F tales que el diagrama
i' i F X F F

es conmutativo, es decir, tales que i = i ' y i ' = i ; Pero entonces es un morfismo de grupos que hace conmutativo al diagrama i i F X F F Esto implica que es la identidad en F, por lo que : F F es un isomorfismo. A continuacin se da una idea de cmo construir F: Se forma un alfabeto cuyas letras son los elementos X ms cortos de la forma a 1 para las distintas a X, junto con el smbolo 1. F es el conjunto de las palabras con un nmero finito de letras en nuestro alfabeto, donde la palabra vaca se declara igual a 1 y donde se permiten las cancelaciones de toda letra 1 y de todas las parejas a a 1 y a 1 a. Se define una multiplicacin de palabras as: el producto a por es la palabra a resultado de escribir a continuacin de a. El conjunto con esta operacin resulta ser un grupo libre en X. Tal vez el lector quiera verificar la asociatividad si tiene inclinacin por ello.

Proposicin 64. Todo grupo es un cociente de un grupo libre. Demostracin. Si G es un grupo y S G es tal que G = S , entonces la inclusin j: S G se puede extender de manera nica a un morfismo suprayectivo de grupos f: F G, donde F es libre en S.

En las condiciones de la proposicin, sea R = ker f. Entonces G F R. Se dice que S es sistema de generadores de G y que R es un sistema de relaciones de G.

De esta manera, un grupo cualquiera G puede ser descrito dando un sistema de generadores S de G y otro sistema de generadores S de R. Se dice que esta informacin es una presentacin de G. Por ejemplo un grupo cclico de orden p admite un generador a y un sistema de relaciones generadas por a p , esto se escribe as: Z p = a : a p = 1 .

Un grupo cualquiera puede admitir mas de una presentacin; por ejemplo, Z pq = a : a pq = 1 = a, b : a p = 1, b q = 1, aba 1b 1 = 1 cuando p, q son nmeros primos

tales que p<q y p (q-1), como se vio anteriormente. Observemos que el grupo libre en un generador es precisamente el grupo aditivo . Si F es el grupo libre en X y R = aba 1b 1 F : a, b F , entonces G = F/R es un grupo abeliano. Se dice que G es el grupo libre Abeliano en X. Es fcil ver que existe una funcin inyectiva i: X G tal que para toda funcin f: X H, donde H es un grupo Abeliano, existe un morfismo nico de grupos g: G H tal que el diagrama
f i g H X G H

Es conmutativo; y que sta es una caracterizacin del grupo libre Abeliano en X. Tambin es inmediato que el grupo libre Abeliano en X es un producto directo de copias de sobre el conjunto ndice X. En la siguiente seccin continuaremos el estudio de los grupos libres Abelianos en X para el caso en que X es un conjunto finito.

GRUPOS ABELIANOS FINITAMENTE GENERADOS

En esta seccin estudiaremos primero la estructura y clasificacin de los grupos Abelianos finitos, a continuacin veremos como se extienden esos resultados al caso de los grupos Abelianos finitamente generados. Todos los grupos que aqu aparecen se suponen Abelianos. Tambin adoptamos la notacin aditiva, de manera que la identidad es 0, etc. Si A es un grupo Abeliano finito y p es nmero primo, Ap denota al p-subgrupo de Sylow de A. As es claro que Ap es nico y normal (tambin es caracterstico), y que
Ap (0) p | A . El subgrupo Ap consiste de los elementos de A cuyo orden es

una potencia de p.

Teorema 65. Si A es un grupo Abeliano finito y p1 ,..., pr son los distintos primos que dividen a su orden, entonces A = Ap1 ... Apr .

Demostracin. Sabemos que Api

A para toda i. Si los grupos Ap1 ,..., Apr

forman producto directo, entonces Ap1 ... Apr ser un subgrupo de A, del mismo orden que A, por tanto igual con A. Lo que nos queda por verificares que Ap1 Ap 2 = (0), ( Ap1 Ap 2 ) A p 3 = (0) , etc. Esto es consecuencia de que m.c.d.
{ p1 , p2 } = 1, etc.

El teorema precedente es bastante dbil para describir la estructura de los grupos abelianos finitos, pues caracteriza a los grupos nilpotentes finitos. El siguiente resultado, en cambio, nos dar mucha mayor informacin; pero primero veamos cules son los trminos y los conceptos que se necesitan. Un grupo G es finitamente generado cuando admite un conjunto finito como sistema de generadores. En el caso de un grupo Abeliano finitamente generado A, es claro que A es finito todos los elementos de un sistema de generadores de A son de orden finito. Un grupo Abeliano A es el producto directo de sus subgrupos cclicos Ai = ai con 1 i m , cuando se satisfacen las siguientes condiciones: 1) Para todo a A existen ni 2) n1 a1 + ... + nm am = 0 con ni tales que a = n1 a1 + ... + nm am . ni ai = 0 para toda i.

Lo anterior no es una definicin nueva, es una observacin que necesitamos; Y es consecuencia directa de las definiciones vistas antes.

Lema 66. Si G = g ,..., g r es un grupo Abeliano y c1 ,..., cr

son tales que

m.c.d. { c ,..., cr } = 1, entonces existen h1 ,..., hr G tales que h = C1 g1 + ... + cr g r y G = h1 ,..., hr .

Demostracin. La demostracin procede por induccin en n = c1 +,..., cr . El caso n = 1 es claro. Suponemos pues que n >1, entonces es inmediato que al menos 2 de los nmeros ci son positivos. Escribimos c1 c2 > 0 , de manera que

m.c.d. {c1| c2 , c2 , c3 ,..., cr } =1 y que ( c1 c2 ) + c2 + c3 + ... + cr < c1 + c2 + ... + cr . Como

G=

g1 , g1 + g 2 , g3 ,..., g r , la hiptesis inductiva garantiza que existen h1 ,..., hr G

tales que G = h1 ,..., hr , donde

h1 = ( c1 c2 ) g + c2 ( g + g 2 ) + c3 g3 + ... + cr g r = c g1 + c2 g 2 + ... + cr g r .

Teorema 67. Sea Aun grupo Abeliano que admite un sistema de generadores con r elementos. Entonces A es un producto directo de r grupos cclicos.

(g

Demostracin Sea g1 ,..., g r un sistema de generadores de A tal que

,..., g r

) sea mnimo entre todos los sistemas

de generadores de A con r elementos

ante el orden lexicogrfico. Se afirma que A = g1 ... g r . Para ver esto, supongamos que existen a1 ,..., ar en teros tales que a1 g + ... + ar g r = 0 sin que todo
ai gi = 0. Tambin digamos que 0 ai < gi para toda i. Sea s el mnimo ndice i tal que ai 0; y sea d = m.c.d. { a1 ,..., ar }. Escribiendo ai = dbi para toda i, se tiene que m.c.d.
g s , g s +1 ,..., g r as: hs , hs +1 ,..., hr con hs = bs g s + ... + br g r . De esta manera, dhs = 0 y G = g1 ,..., g s 1 , hs ,..., hr con la contradiccin hs d as g s .

{b1 ,..., br } = 1, por lo que el lema garantiza la existencia de un sistema de generadores de

En el teorema anterior se puede suponer que A > 1 y que el sistema de generadores tiene un nmero mnimo de elementos, de manera que los factores directos obtenidos sean todos no triviales. Los siguientes teoremas completan la discusin de la estructura y clasificacin de los grupos Abelianos finitos. Ah usaremos la siguiente notacin: Si n es un entero, entonces p(n) es el nmero de particiones de n, es decir, el nmero de maneras en que n se puede escribir como suma de enteros positivos. Por ejemplo: p(6) = 11, porque 6 = 5+1 =4+2 = 4+1+1 = 3+3 = 3+2+1 =3+1+1+1 = 2+2+2 = 2+2+1+1 = 2+1+1+1+1 = 1+1+1+1+1+1.

Teorema 68. Todo grupo Abeliano finito A es un producto directo de grupos cclicos de ordenes potencias de primos. Los rdenes de los factores directos son nicos. n n Si A = p 1 ... p r con p1 ,..., pr primos distintos, entonces el nmero de grupos 1 r Abelianos no isomorfos de orden A es p ( n1 ) ( nr ).

Demostracin. El teorema 65 dice que A es el producto directo de sus subgrupos de Sylow. Aplicamos el teorema 67 a cada uno de estos subgrupos para obtener la primera afirmacin. Para ver la segunda afirmacin, es suficiente hacerlo en el caso en que A = p n

con p primo. Como la ltima afirmacin es consecuencia directa de la segunda, es suficiente terminar de ver que los rdenes de los factores directos de A son nicos, suponiendo A = p n .
Z es el morfismo pk pk , vemos que f( Z ) Z ; y en de grupos dado por f(a) = pa para toda a Z pk 1 pk pk se divide entre p al aplicarle f. Ms generalmente, si G particular que el orden de Z pk

Si Z

pk

es un grupo cclico de orden p k , y f: Z

es un grupo Abeliano finito de orden una potencia de p y f: G G se define como G antes, entonces f es un morfismo de grupos y f (G ) = s , donde s es el nmero de p factores cclicos de G. Como ni f(A) ni su orden dependen de la descomposicin de A, se ve dos descomposiciones cualesquiera de A tienen el mismo nmero de factores. Lo mismo puede decirse de f(A), f 2 (A), etc. Adems, cada factor de f i (A) es de orden p veces el orden de un factor correspondiente de f i +1 (A). Con esta informacin es claro que se puede reconstruir la descomposicin de A; y en particular, que sta es la nica.

Veamos un ejemplo: A Z p 4 Z p 2 , con p un nmero primo. Orden p6

p4 p2

A = Z p4 Z p2 f(A) = Z p 3 Z p f 2 (A) = Z p 2 f 3 (A) = Z p f 4 (A) = {1}

P 1

Como f ( A) = p, es claro que f (A) = Z p . Como

f 2 ( A) f 3 ( A)

= p, se ve que

f 2 (A) es cclico de orden p 2 . De que f ( A)

f 2 ( A) = p 2 , concluimos que f(A) tiene

f ( A) = p 2 nos

dos factores directos, cuyos ordenes son p 3 y p. Finalmente, A

indica que A tiene 2 factores directos cclicos de rdenes p 4 y p 2 respectivamente. As, A = Z p 4 Z p 2 . Los rdenes de los factores directos de A del teorema anterior se llaman divisores elementales de A. Hay otra versin del resultado anterior que nos disponemos a ver. Primero observemos que si A = a y B = b son grupos cclicos de ordenes m y n respectivamente y m.c.d. {m,n} = 1, entonces A B tambin es cclico, generado por (a,b), pues (a,b) l = 1 a l = 1 = bl m | l y n | l de manera que mn| l .

Teorema 69. Si A es un grupo Abeliano finito, entonces A A1 ... Ar con cada A i cclico de orden m i y donde m1 | m2 | ... | mr . Los nmeros m1 ,..., mr son nicos.

Demostracin. El teorema 68 dice que A es un producto directo de grupos cclicos de rdenes potencias de primos. Para cada primo p tal que p | A , hay al menos

un factor directo B p de A de orden una mxima potencia de p. El producto directo de los distintos B p al variar p, es un grupo cclico B cuyo orden es el m.c.d. de los divisores elementales de A. Adems, A es un producto directo de B y de los restantes grupos cclicos de ordenes potencias de primos cuyo m.c.d. divide a B . Por induccin en A se obtiene una descomposicin de A como en el enunciado. Veamos ahora la unicidad de los rdenes. Si A C1 ... Cs con cada C i cclico de orden n i y n1 | n2 | ... | ns , entonces cada C i es el producto directo de sus subgrupos de Sylow, y estos son cclicos. Esto nos pone en la situacin del teorema 68, de donde se concluye que los ordenes de estos subgrupos de Sylow son nicos. Ahora, ns es el m.c.m. de estos rdenes, ns 1 es el m.c.m. de aquellos rdenes que queden al eliminar exactamente una potencia mxima de p para cada primo p que divida a |A|, etc.

Los rdenes de los factores directos de A de este ultimo teorema se llaman factores invariantes de A.

Corolario 70. Sea G un grupo Abeliano finito tal que toda ecuacin dx = 0 con 0 < d tiene cuando mas d soluciones. Entonces G es cclico.

Demostracin. Como G G1 ... Gr con cada Gi cclico de orden ni y con n1 | n2 | | nr , se ve que todo elemento de G es solucin de la ecuacin nr x = 0 . Se sigue que | G| nr , por lo que G Gr es cclico.

Corolario 71.El grupo multiplicativo de todo campo finito es cclico. Demostracin. Si K es un campo con un nmero finito de elementos y G = K* es el grupo multiplicativo de los elementos distintos de cero de K, entonces toda ecuacin X d = 1 tiene cuando mas d soluciones. Verificndose las hiptesis del teorema anterior, se ve que G es cclico.

Supongamos ahora que A es un grupo Abeliano finitamente generado. Decimos que a A es de torsin cuando a tiene orden finito. Definimos tor A = {a A | a es de torsin}, la torsin de A. Como a,b de orden finito a + b y a tienen orden finito, se ve que tor A es un subgrupo (caracterstico) de A. Se dice que G es de torsin cuando G = tor G; y que es libre de torsin cuando toro = (0). En la seccin anterior vimos que un grupo libre Abeliano G es un producto directo de copias de . El nmero de factores en esa expresin es el rango de G. Es urgente ver que el rango est bien definido. Escribiendo n en lugar del producto directo de n copias de , tenemos el siguiente resultado que demuestra la consistencia de la definicin de rango.

Teorema 72. Si

con m y n

, entonces m = n.

Demostracin. Suponiendo n m , se tiene que n / 2 n m / 2 m . Como | n / 2 n | = 2n y | m / 2 m | = 2m , se ve que 2n = 2m , por lo que n = m.

Teorema 73. Sea G un grupo Abeliano finitamente generado. Entonces G es el producto directo de toro y de un grupo abeliano libre, cuyo rango es constante.

Demostracin. Si G = tor G B con B libre Abeliano, entonces G/ tor G B es libre Abeliano; y el teorema anterior dice que su rango est bien definido. Ahora es suficiente ver que tal descomposicin existe.

Aplicando el teorema 67 sabemos que G a1 ... as .Digamos que a1 ,..., am tienen orden infinito mientras que am +1 ,..., as son de orden finito. Escribiendo B = a1 ... am
y C = am +1 ... as

, vemos que G B C , que B es libre (de

rango m) y que C es de torsin. Es inmediato que C toro. Se afirma que C = tor G. Supongamos que a = n1a1 + ... + ns as tor G, entonces existe 0 < n tal que nn1a1 + ... + nns as = 0 ; pero entonces nn1 = ... = nnm = 0 , por lo que n1 = ... = nm = 0 y a C.

Corolario 74. Sea G un grupo Abeliano finitamente generado, entonces G es libre es libre de torsin. Claramente, este corolario es inmediato.

Observemos que si G es Abeliano finitamente generado, entonces tor G tambin lo es, por lo que tor G es finito. As, la estructura de tor G est dada por el teorema 68 o por el teorema 69. Esto dice que el teorema 73 completa la descripcin de la estructura y clasificacin de los grupos Abelianos finitamente generados.

Problemas
1. Sean G un grupo y H un subgrupo. Construir una biyeccin del conjunto de clases laterales izquierdas de H en G al de las clases laterales derechas. 2. Demostrar que un morfismo de grupos es un isomorfismo si y solo si es biyecctivo.

3. Sea Z el centro de G. Demostrar que G/Z cclico G = Z, es decir, que G es Abeliano. 4. Sea G un grupo finito tal que 3 | |G| y (ab) 3 = a 3b3 para toda a, b G. Demostrar que G es Abeliano.

5. Demostrar que el grupo de cuaternios H y el grupo didrico D4 no son isomorfos. 6. Sea G un grupo sin centro. Demostrar que

AutG

( ntG ) = {1}.

f Aut G 7. Sea G un grupo finito tal que existe y f ( x) = x x = 1 Demostrar que G es Abeliano

con

f 2 =1

8. Demostrar que todo subgrupo de un grupo cclico G es cclico. Si |G| = n y m | n, entonces existe un nico H < G con |H| = m. Describir los automorfismos de G. 9. Sea G un grupo con exactamente un elemento a de orden 2. Demostrar que a es central. 10. Encontrar grupos H
K, K G tales que H no sea normal en G.

11. Sean G un grupo finito y H < G. Demostrar que H es normal todas las clases laterales dobles HaH tienen el mismo nmero de elementos. 12. Sea G un grupo, a G. Definimos aL , aR : G G as: aL ( x) = ax, aR ( x) = xa para toda x G. Tambin definimos GL = {aL : a G} y GR = {aR : a G} . Demostrar que GL i Aut G es un subgrupo de sG que contiene a GR . Este grupo se escribe Hol G. Demostrar que |Hol G| = | G| |Aut G| cuando G es finito, que Hol 3 S3 y que Hol 4 D4 .

13. Si H y K son subgrupos de G, demostrar que el nmero de conjugados de H con elementos de K es [ K : N G ( H ) K ] . 14. Sean G un grupo infinito H < G con [G:H] finito = 1.Demostrar que G contiene un subgrupo normal propio de ndice infinito. 15. Sean G = G1 G2 y que H es Abeliano.
G tal que H G1 = {1} = H G2 . Demostrar

16. Sea G un grupo que contiene un elemento de orden finito n > 1, y tal que G tiene exactamente dos clases de conjugacin. Demostrar que G = 2. 17. Construir un morfismo inyecctivo f : Sn An + 2 . 18. Sean G un grupo finito y H un subgrupo de G de ndice 2. Demostrar que el n nmero de conjugados de x H en H es n bien , si n es el nmero de 2 conjugados de x en G.

19. Sean G un grupo finito y A un conjunto finito. Suponiendo que G acta en 1 A, demostrar que el nmero de rbitas de esta accin es F ( g ) , donde G gG F(g) es el nmero de puntos fijos de g.

20. Sea G un grupo de orden 2n con n > 1 impar. Demostrar que G no es simple. 21. Sea G un grupo finito tal que existe un f Aut G con la propiedad de que G es Abeliano.

22. Demostrar que

( 1, 2 ) , (12...n )

= Sn .

23. Sean G un grupo finito y H un subgrupo propio. Demostrar que aG aHa 1 G .

24. Sean G un grupo finito y

G tal que N = n, [G : N ] = m satisfacen

m.c.d. {m,n}= 1. Demostrar que N es un subgrupo caracterstico de G.

25. Sean K un campo arbitrario y G = G Ln (K) el grupo multiplicativo de las matrices n n invertibles con coeficientes en K. Denotamos por B = aij G : aij = 0 cuando i > j y U = aij B : aij = 1 para toda i .

Demostrar que U soluble.

B < G , que U = (B,B), que U es nilpotente y que B es

26. Sean H G y P un p-subgrupo de Sylow de H. Demostrar que G = N (P) H.

27. Sean N G y P un p-subgrupo de Sylow de G. Demostrar que N P es un p-subgrupo de Sylow de N.

28. Si p > q son nmeros primos, demostrar que todo subgrupo de orden p n q es soluble. 29. Sean G un grupo finito, P un subgrupo de Sylow y a, b dos elementos del centro de P tales que existe x G con b = xa x 1 . Demostrar que existe y N (P) tal que b = ya y 1 .

30. Sean p < q < r nmeros primos y G un grupo de orden pqr a) Demostrar que un q-subgrupo o un r-subgrupo de Sylow es normal; Pero que en todo caso, G contiene un subgrupo normal H de orden qr. b) Demostrar que un r-subgrupo de Sylow de H es caracterstico y que un r-subgrupo de Sylow de G es normal. c) Si q | (r-1), entonces un q-subgrupo de Sylow de G tambin es normal.

31. Demostrar que un grupo finito es nilpotente todo subgrupo de Sylow es Normal. 32. Encontrar series de composicin de S n para toda n.

33. Demostrar que el grupo didrico D n admite la siguiente presentacin: s, t : s n = 1, t 2 = 1, tst1 = s 1 .

34. Dar un presentacin de S4 .

35. Describir Hom ( Z p n , Z pm ), si p es un nmero primo.

36. Sea A un grupo Abeliano finito de orden n y m un entero positivo tal que m|n. Demostrar que A contiene un subgrupo de orden m.

37. Investigar si los grupos Z8 Z 6 Z10

Z15 Z 4 Z8 son isomorfos.

con nA = (0). Sea m tal 38. Sea A un grupo Abeliano tal que existe n que m.c.d. {m, n} = 1. Demostrar que para toda a A existe b A con a = mb. 39. Sean A y B grupos Abelianos tales que mA = nB = (0) para ciertos enteros Positivos m,n con m.c.d. {m,n} =1. Describir Hom(A, B).

40. Encontrar los factores invariantes de Z m Z n , si n y m son enteros positivos.

41. Sean G un grupo Abeliano y H, K subgrupos de G de rdenes a y b respectivamente. Demostrar que G contiene un subgrupo de orden igual al m.c.d. {a, b}.

42. Demostrar la proposicin 50. 43. Se tienen las implicaciones siguientes para todo grupo G: G cclico G Abeliano G nilpotente G soluble. Encontrar Un contraejemplo para cada una de las implicaciones recprocas.

44. Sea H < Sn tal que H contiene una transposicin y un (n-1)-ciclo. Demostrar que si H es transitivo, entonces H = Sn .

45. Un grupo G acta transitivamente en un conjunto no vaco X. Demostrar que los estabilizadores de los distintos puntos de X son conjugados. Sea Tran (x, y) = {g G | g i x = y}. Demostrar que Tran(x, y) es una clase lateral de Gx . 46. Sea G el grupo didrico de orden 8. Demostrar que Aut G G.