Teora de Grupo

Daniel Jimenez

2008
Indice general

1. Grupos 2
1.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Nociones Basicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Subgrupo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.1. Generado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3.2. Subgrupos Notables . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4. Clases Laterales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5. Subgrupo Normal y Grupo Cuociente . . . . . . . . . . . . . . . . . . . . . . 16
1.6. Homomorfismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.7. Accion de Grupo en un Conjunto . . . . . . . . . . . . . . . . . . . . . . . . 23
1.8. Grupo de Permutacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.9. Grupos Abelianos Finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.10. Teorema de Sylow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34

1
Captulo 1

Grupos

1.1. Introducci
on
La nocion de grupo la podemos encontrar en distintas area de la matematica o en la
naturaleza.
Un primer ejemplo lo tenemos al considere los vertices de un polgono regular, en parti-
cular para el triangulo equilatero:

x

A
A

A
A

A
A

A
A
J R

Sea G el conjunto de todas las simetras de esta figura, en este conjunto es facil definir
una operacion binaria, que corresponde aplicar una despues la otra de estas simetras.
Podemos describir todas las simetras de esta figura y la denotamos por Sim(T riangulo).
Para otros polgonos regulares o no tambien se puede determinar el mismo conjunto de
simetras.

Un segundo tipo lo obtenemos con los poliedros regulares

Ejemplo 1 Tetraedro, Sim(tetraedro)

A

 A

H A

HH A

2
CAPITULO 1. GRUPOS 3

Octaedro, Sim(octaedro)

AA

E@ @A
A@
@ E


A

A

Cubo, Sim(cubo)

Otro tipo de conjunto donde existe una operacion binaria lo tenemos en el siguiente
ejemplo:
Para ello sea G el conjunto potencia de A = {1, 2, 3} y con la operacion dada por
diferencia simetrica, es decir,

: G G G
(X, Y ) 7 X Y

con ella tenemos la siguiente tabla:

{a} {b} {c} {a, b} {a, c} {b, c} {a, b, c}

{a} {b} {c} {a, b} {a, c} {b, c} {a, b, c}
{a} {a} {a, b} {a, c} {b} {c} {a, b, c} {b, c}
{b} {b} {a} {b, c} {a} {a, c} {c} {a, c}
{c} {c} {a, c} {b, c} {a, b} {a} {b} {a, b}
{a, b} {a, b} {b} {a} {a, b, c} {b, c} {a, c} {c}
{a, c} {a, c} {c} {a, b, c} {a} {b, c} {a, b} {b}
{b, c} {b, c} {a, b, c} {c} {b} {a, c} {b, c} {a, b, c}
{a, b, c} {a, b, c} {b, c} {a, c} {a, b} {c} {b} {a}

El ejemplo anterior se puede generalizar del siguiente modo, dado un conjunto X no vaco
y G = P(X) el conjunto potencia, entonces tenemos la ) es una operacion binaria en G.
En cada uno de estos conjunto con la operacion respectivas podemos buscar o escudri
nar,
que propiedades basicas cumplen o satisfacen

1.2. Nociones B
asicas
Definici
on 1 Sea G un conjunto no vaco.
CAPITULO 1. GRUPOS 4

1. Se dice que (G, ) es un Grupoide si y s

olo si

: G G G
(a, b) 7 a b

Otra manera de referirse a esta propiedad es Clausura u Operaci

on Binaria
2. Se dice que (G, ) es un Semigrupo si y s olo si, (G, ) es un grupoide y ademas () es
asociativa
(a, b, c G)((a b) c = a (b c)).

3. Se dice que (G, ) es un Monoide si y s

olo si (G, ) es un semigrupo y adem
as () tiene
neutro
(e G)(a G)(a e = e a = a).

4. Se dice que (G, ) es un Grupo si y s

olo si (G, ) es un monoide y adem
as () tiene la
propiedad del inverso

(a G)(b G)(a b = b a = e).

5. Se dice que (G, ) es un Grupo Abeliano si y s

olo si (G, ) es un grupo y ademas ()
tiene la propiedad conmutativa

(a G)(b G)(a b = b a).

Ejemplo 2 Los siguientes conjuntos con la operaci

on que se indica son grupos:
(Q, +) (R, +) (C, +)
(Q , ) (R , ) (C , )
(Mn (K), +) con K = Z, Q, R, C, Zn
(GLn (K), ) con K = Z, Q, R, C, Zn
(Z/nZ, +) (U(Z/nZ), ) (Z/pZ, ), con p numero primo
(K[x], +) con K = Z, Q, R, C, Zn
(F (X, G), ) el conjunto de la funciones de X en G
(Biy(X), ) el conjunto de las biyecciones de X en X

Ejemplo 3 Sea G = Z, y se define a b = a + b + 1.

Demostrar que (G, ) es grupo.

Ejemplo 4 Sea A un conjunto y G = P (A) el conjunto potencia y se la diferencia

simetrica.
Demostrar que (G, ) es grupo abeliano.

Ejemplo 5 Sea G = Z, se define a b = a + b + ab.

Determinar si (G, ) es semigrupo, monoide, grupo.

Observaci
on: En todo lo que sigue G representa un grupo y usaremos notacion multiplica-
tiva.
CAPITULO 1. GRUPOS 5

Teorema 1 Sea G un grupo, entonces

1. El elemento neutro es u
nico.
2. El elemento inverso de cada elemento es u
nico.

Observaci on:
El elemento neutro tambien se llama la identidad de G, en notacion multiplicativa se
denota por 1 y en notacion aditiva por 0.
El elemento inverso de a se denota en notacion multiplicativa por a1 y en notacion
aditiva por a.
Proposici
on 2 (Cancelaci
on) Sea G un grupo

1. (a G)(b G)(c G)(ab = ac b = c) cancelaci

on izquierda
2. (a G)(b G)(c G)(ba = ca b = c) cancelaci
on derecha

Propiedad fundamental, para el desarrollo de algunas propiedades

Teorema 3 Sea G un grupo y a, b G entonces

1. La ecuacion ax = b tiene u on en G y es x = a1 b
nica soluci
2. La ecuacion xa = b tiene u on en G y es x = ba1 .
nica soluci

Corolario 4 Sea G un grupo y a, b G entonces

1. (a1 )1 = a
2. (ab)1 = b1 a1

Observaci
on: Sean g1 , g2 , g3 , g4 G.
Notemos que
(g1 g2 )(g3 g4 ) = ((g1 g2 )g3 )g4
= (g1 (g2 g3 ))g4
= g1 ((g2 g3 )g4 )
luego g1 g2 g3 g4 esta u
nicamente determinado.
Teorema 5 (Ley de Asociatividad Generalizada) Sean g1 , g2 , . . . , gn elementos de G,
el producto de ellos, esta u
nicamente determinado, sin importar el orden en que se agrupen
los productos cuidando si, de no alterar el orden de los factores.

Observaci on:Teniendo presente el teorema anterior y el corolario podemos escribir sin am-
big
uedad la siguiente expresion:
(g1 gn )1 = gn1 g11.
Ademas podemos omitir los parentesis en una expresion algebraica, ya que obtendremos el
mismo resultado no importando como agrupemos, pero no demos cambiar el orden.
CAPITULO 1. GRUPOS 6

Definici
on 2 (Potencia) Sea g G, n N0 . Se define por recurrencia
g0 = 1
g n+1 = g n g, n N0
Note que no es ambiguo escribir
n
Y
n
g = g = gg
| {z }
i=1 nveces

As, tambien podemos ampliar la definicion, a exponente entero

g n = (g 1 )n .
Proposici
on 6 Sea G un grupo entonces
1. (n Z)(g G)(g n = (g n )1 .)
2. (n Z)(m Z)(g G)(g m+n = g m g n )
3. (n Z)(m Z)(g G)((g n )m = g nm )
Demostraci on: Solo haremos la prueba de [2] y las otras quedan de ejercicios, para ello
usaremos induccion sobre n N0 .
Sea
p(n) := (m N)(g G)(g m+n = g m g n ),
luego
1. p(0) := (m N)(g G)(g m+0 = g m g 0 ), al reescribirlo obtenemos
p(0) := (m N)(g G)(g m = g m 1)
, que es la propiedad del neutro. de forma similar tenemos que p(1) := (m N)(g
G)(g m+1 = g m g) esto es verdadero por definicion.
2. Ahora debemos demostrar que (k N)(p(k) p(k + 1)) para ello suponemos que
p(k) := (m N)(g m+k = g m g k )
es verdadero y debemos demostrar que
p(k + 1) := (m N)(g m+(k+1) = g m g k+1)

Sea m N,
g m+(k+1) = g (m+k)+1
= g m+k g
= (g m g k ) g
= g m (g k g)
= g m g k+1
CAPITULO 1. GRUPOS 7

luego tenemos p(k + 1) es verdadero y por teorema de induccion tenemos lo deseado

ademas por argumentos similar a la primera parte obtenemos que tambien es valido
para m = 0.
(n N0)(m N0 )(g G)(g m+n = g m g n ).
3. Cuando los dos elementos son negativos basta factorizar. Sea n, m N
n+m n m g m
g nm = g (n+m) = g 1 = g 1 g 1 = g n

4. Ahora veremos cuando uno negativo y el otro es positivo, de modo que la suma sea
positiva. Sea n, m N
g n = g nm+m = g nm g m
g n g m = g nm

El u
ltimo caso factorizamos como en (3) y despues aplicamos (4). 
Teorema 7 Sean g1 , g2 , . . . , gn G un grupo conmutativo, entonces
g1 g2 gn = g(1) g(2) g(n) . (1.1)
para todo biyeccion de In = {1, 2, . . . , n}.
Demostraci
on: La demostracion sera realizada por induccion en el n
umero de elementos.

p(n) := ( Biy(In ))(g1 g2 gn = g(1) g(2) g(n) )

Claramente tenemos que p(1) := g1 = g1 y p(2) := g1 g2 = g1 g2 = g2 g1 son verdaderos.
Para la segunda parte suponemos p(k) y demostraremos p(k + 1)
Sea una biyeccion de k + 1 elementos,
Supongamos que 1 (k + 1) = j 6= k + 1 y (k + 1) = i luego definimos

(l) l 6= j; k + 1
(l) = i l=j

k+1 l =k+1

(g1 gk )gk+1 = (g(1) g(k) )gk+1

= (g(1) g(j1) )g(j) (g(j+1) g(k) )gk+1
= (g(1) g(j1) )gk+1 (g(j+1) g(i) )g(j)
= g(1) g(j1) g(j) g(j+1) g(k) g(k+1)

Definicion 3 Sea G un grupo.
Se dice que G es un grupo finito si y s olo si el conjunto G es finito, en caso contrario
se dice que el grupo es infinito.
Se dice que el orden de G es n, si y s
olo si el cardinal de G es n, lo denotamos por
(G) = |G| = n.
CAPITULO 1. GRUPOS 8

Ejemplo 6 Determinar el orden de los siguiente grupos:

1. El orden de Z5 es 5.

2. El orden de Zn es n.

3. El orden de U(Z6 ) es 2.
ademas tenemos que Q, R, C son grupos infinitos

1.3. Subgrupo
Definici
on 4 Sea H G, no vaco. Se dice que H es un subgrupo de G si y s
olo si H es
un grupo con la misma operacion, y lo denotamos por:

H G o bien (H, ) (G, ).

es decir, si (G, ) es un grupo, entonces (H, ) es un subgrupo si cumple con

1. Clausura u Operacion Binaria

: H H H
(a, b) 7 a b

2. Propiedad Asociativa

(a, b, c H)((a b) c = a (b c))

3. Propiedad del Neutro

(e H)(a H)(a e = e a = a)

4. Propiedad del Inverso

(a H)(b H)(a b = b a = e.)

Ejemplo 7

1. (Q, +) es un subgrupo de (R, +)

2. (R, +) es un subgrupo de (C, +)

3. (Mn (R), +) es un subgrupo de (Mn (C), +)

Proposici
on 8 Sea H G, no vaco, entonces H es un subgrupo de G si y s
olo si

1. (a, b H) (ab H)

2. (a H) (a1 H)
CAPITULO 1. GRUPOS 9

Proposici
on 9 Sea H G, no vaco, entonces H es un subgrupo de G si y s
olo si

(a, b H)(ab1 H).

Demostracion de ejercicio 

Ejemplo 8 Sean Z[i] = {a + bi C | a, b Z} y Q[i] = {a + bi C | a, b Q}

Demostrar que Z[i], Q[i] son subgrupos de C

Ejemplo 9 Sea Q(i) = {a + bi Q[i] | a 6= 0 b 6= 0}

Demostrar que Q(i) es un subgrupos de C

Ejemplo 10 Sea A = {a + b 3 5 R | ab Q}
Determinar si A es un subgrupos de R

Proposici
on 10 Sea G un grupo entonces se tiene que

1. Sean H y K subgrupos de G, entonces H K es un subgrupo de G.

2. Sean {H }L una familia de subgrupo de G, entonces H es un subgrupo de G.

L

Demostracion de ejercicio 
Observacion: Si H, K son subgrupos de G, entonces H K no necesariamente es un sub-
grupo de G.
Ejemplo de ello es H = 3Z; K = 4Z subgrupos de Z, en la union se encuentra el 3 y el 4
pero 7=3+4 no pertenece a la union.
Luego necesitamos construir el mas peque
no de los subgrupos que contiene a H y tambien
a K.

1.3.1. Generado
Sea S un subconjunto de G, el grupo generado por S, es el subgrupo mas peque
no de G
que contiene a S y se denota por < S >.
Caso particular si S = {x1 , x2 , ..., xn } conjunto finito entonces

< S >=< {x1 , x2 , ..., xn } >=< x1 , x2 , ..., xn >

Ejemplo 11 Sea S = {f }, donde f esta definida por f (x) = x + 1.

Determinar < S > en el grupo (Biy(R), ) .

Ejemplo 12 Sea S = {f }, donde f esta definida por f (x) = x + 1.

Determinar < S > en el grupo (F (R, R), +).

Ejemplo 13 Determinar < {2, 3} >=< 2, 3 > en el grupo Z6 , es decir, (Z6 , +).

Ejemplo 14 Determinar < {2, 3} >=< 2, 3 > en el grupo G = Z7 , es decir, (Z7 , ).

CAPITULO 1. GRUPOS 10

Proposici
on 11 Sea G un grupo y a G

< {a} >=< a >= {an G | n Z}

Demostracion de ejercicio 

Definici
on 5 Sea G un grupo, se dice que G es un grupo c
clico si y s
olo si existe g G
tal que
G =< g >

Ejemplo 15 Determinar < 2 > en G = Z6 .

Ejemplo 16 Determinar < 2 > en G = Z7 .

Proposici
on 12 Sea 6= S G, entonces

H = {s1 sn | (n N)(i {1, 2, ..., n})(si S s1

i S)}

es el subgrupo de G generado por S.

Proposici
on 13 Sea 6= S G, entonces

hSi = H
HG
SH

Demostracion de ejercicio 
Observaci on: Sean H, K G, entonces tenemos que hH Ki es el subgrupo mas peque
no
que contiene a H y K y el siguiente diagrama de inclusiones.

G
|
hH Ki @
H | K
@ H K
|
{e}

1.3.2. Subgrupos Notables

Sea 6= S G, se define

1. Centro de G
Z(G) = {g G | g h = h g h G}
CAPITULO 1. GRUPOS 11

2. Conmutador de G

[G, G] = {ghg 1h1 G | g, h G}
denotamos [g, h] = ghg 1h1

[G, G] = h{[g, h] G | g, h G}i

3. Normalizador:
NG (S) = {g G | g S = S g}.
donde

g S = {x G | (s S) (x = gs)}
S g = {x G | (s S) (x = sg)}

4. Centralizador:
CG (S) = {g G | g s = s g s S}.

Observaci
on: El centralizador de G en G es el centro de G, es decir,

Z(G) = CG (G).

Ejercicio 17 Sea G un grupo y S G no vaco

1. NG (S) G

2. CG (S) G

3. CG (S) NG (S)

4. NG (S) NG (CG (S))

Ejercicio 18 Determinar el centro de los siguientes grupos.

1. G = GLn (K)

2. G = R

3. G = S3
  
1 b
Ejercicio 19 Sea G = GL2 (K) y S = |bK .
0 1
Determinar NG (S), CG (S)

Ejercicio 20 Calcular el conmutador para

1. G = S3

2. G = GL2 (K)
CAPITULO 1. GRUPOS 12

3. G = Dn
  
a b
4. G = | a, b K
0 1

Ejercicio 21 Demostrar: G es conmutativo si y s

olo si [G, G] = {e}.

Definici
on 6 Sea 6= S G, y sea g G. Se define

S g = {g 1sg | s S},

se llama el conjugado de S, en particular si H G, se define el conjugado de H.

H g = {g 1 hg | h H},

Ejercicio 22 6= S G, H G

1. H g G

2. hS g i = hSig

3. NG (S g ) = (NG (S))g

4. CG (S g ) = (CG (S))g

Teorema 14 Sea g G, entonces el subgrupo generado por g, es decir, hgi es

1. infinito o bien

2. Existe k N tal que hgi = {1, g, . . . , g k1}, todos distintos, |hgi| = k

Demostraci
on: Sean n, m Z, entonces

g n 6= g m gn = gm

1. Si para todo n, m Z tenemos g n 6= g m , entonces todos los elementos g n son distintos,

es decir:
Z hgi
m 7 g m
esta aplicacion es biyectiva.

2. Si existen n, m distintos tal que g n = g m , luego

g nm = 1 g mn = 1.

As tenemos que {l N | g l = 1} es un conjunto no vaco y acotado inferiormente.

Luego existe
k = min{l N | g l = 1},
CAPITULO 1. GRUPOS 13

Sea m Z, por algoritmo de la division tenemos m = k s + r, donde 0 r < k

g m = g ks g r = (g k )s g r = g r ,

As
g m = {1, g, . . . , g k1}.
Notemos que si g m = 1, con m N, entonces

1 = g m = g r r = 0,

ya que r < k y k es el mnimo, luego tenemos

hgi = {1, g, . . . , g k1}.

Definici
on 7 Sea g G,

1. Se dice que el orden de g es infinito si y s

olo si hgi es infinito.

2. Se dice que el orden de g (|g|) es n si y s

olo si |hgi| = n.

Notaci
on:
|g| = o(g) = ord(g)

Ejercicio 23

1. Demostrar que los u

nicos subgrupos de Z son

mZ = hmi = {mt | t Z}

2. Sean g, h G tales que |g| = m; |h| = r.

Si g, h conmutan entonces |gh| = MCM(m, r).

3. Todo subgrupo de un grupo cclico es cclico.

1.4. Clases Laterales

Sea G un grupo y H G.
Se define la relacion derecha en G, del siguiente modo, dada a, b G

a H b ab1 H

Ejercicio 24 Demuestre que H es una relaci

on de equivalencia.
CAPITULO 1. GRUPOS 14

As H define una particion sobre G, dada por la clase que estan definida del siguiente
modo

cl(a) = {b G | b H a}
= {b G | ba1 H}


= {b G | (h H) ba1 = h }
= {b G | (h H) (b = ha)}
= Ha.

Luego
a H b Ha = Hb,
por lo tanto
G = Ha
aR

donde R es un sistema de representante de las clases.

Ejercicio 25 Sea
: Ha Hb
ha 7 hb
es una biyeccion.
Observaci on: Analogamente tambien tenemos la relaci
on de equivalencia izquierda

aH b a1 b H

y las clases

cl(a) = {b G | bH a}
= {b G | b1 a H}


= {b G | (h H) a1 b = h }
= {b G | (h H) (b = ah)}
= aH.

Facilmente podemos demostrar que

: aH Hb
ax xa

es una biyeccion.

Definici
on 8 Sea H G, g G

1. gH se llama la clase lateral izquierda.

2. Hg se llama la clase lateral derecha.

Teorema 15 Sea G un grupo, H G, entonces

CAPITULO 1. GRUPOS 15

1. Todo elementos g de G esta contenido en una sola clase lateral derecha o izquierda.

2. Las funciones
H Ha H aH
h 7 ha h 7 ah
son biyectivas.

3. G es la union disjunta de sus clases laterales derechas (respectivamente izquierda).

4. Existe una funcion biyectiva entre las clases laterales derechas y las clases laterales
izquierda.

Definici on 9 Se define el
ndice de H en G, denotado por [G : H], es el n
umero de clases
laterales derechas o izquierdas.

Teorema 16 (Lagrange) Si H G, entonces

|G| = [G : H] |H|.

Ademas si |G| <

1. |H| divide a |G|

2. |g| divide a |G|

Corolario 17 Sea G un grupo finito

1. Si G tiene orden primo y es cclico, entonces no tiene subgrupos no triviales.

2. Si |G| = n, entonces g n = 1, para todo g G.

Demostracion de ejercicio 

Teorema 18 Sean K H G, entonces

|G : K| = |G : H| |H : K|

Demostraci
on: Tenemos lo siguiente:

G = Hai ; H = Kbj con ai G, bj H
iI jJ

luego

G= Kbj ai
(i,j)IJ
y
|I J| = |I| |J| = |G : H| |H : K|.
CAPITULO 1. GRUPOS 16

Luego basta demostrar que la union es disjunta, es decir

Kbj ai = Kbr as j = r i = s
bj ai = kbr as
ai = b1
j kbr as
| {z }
H
ai H as i = s
ai = as , luego
kbr = bj br = bj r = j

1.5. Subgrupo Normal y Grupo Cuociente

Sea G grupo y H G, luego al conjunto de las clases laterales izquierda, se desea darle
una estructura natural de grupo

GH = {aH | a G}

Luego la multiplicacion natural debera ser:

aH bH = abH

Pero esta bien definido? para responder debemos determinar que no dependa de los
representante, es decir
ah1 H bh2 H = ah1 bh2 H = ah1 bH
Luego, tenemos que debe cumplirse

(h H)(abH = ah1 bH)

es decir, los elementos deben estar relacionados

ah1 b = abh h1 b = bh

con lo cual tenemos que

(h H)(b1 hb H) o bien Hb = bH

Definici
on 10 Sea G un grupo y H un subgrupo de G entonces
Se dice que H es un subgrupo normal de G, denotado por H E G si y s
olo si

(g G)(Hg = gH).

Proposici
on 19 Sea H un subgrupo del grupo G entonces
Si (g G)(gHg 1 H) entonces H E G.
CAPITULO 1. GRUPOS 17

Ejemplo 26

1. G es conmutativo, todos los subgrupos son normales.

2. Z(G) E G

3. CG (S) E NG (S), S G
     
1 b a b
4. |bR E | a R ,b R
0 1 0 1

5. SL2 (K) E GL2 (K)

6. [G, G] E G

c[a, b]c1 = (cab)(a1 b1 c1 )

= (cab)a1 c1 b1 bca(a1 b1 c1 )
= (cab)(ca)1 b1 bca(a1 b1 c1 )
= (ca)b(ca)1 b1 bcb1 c1
= (ca)b(ca)1 b1 bcb1 c1
= [cab, b] [b, c]

Definici
on 11 Sean K, H G, entonces

HK = {hk G | h H, k K}

Proposici
on 20 Sea K G, H E G, entonces

1. HK G

2. hH Ki = H K

3. H K E K

4. H E hH Ki

5. Si K E G y H K = {e}, entonces

kh = hk (h H)(k K)

Ejercicio 27 Sea H E G, entonces demostrar que la multiplicaci

on dada por

(xH) (yH) = xyH,

esta bien definida y con ella (GH, ) tiene estructura de grupo.

CAPITULO 1. GRUPOS 18

Definici
on 12 Si H E G, entonces (GH, ) se llama grupo cuociente de G por H.

Ejemplo 28

1. Cn =: ZnZ,

2. RZ,

3. R2 Z2

4. GL2 (K)Z(GL2 (K)) := P GL2 (K)

Ejercicio 29 Sea H E G, y H K G, entonces

KH GH

Ejercicio 30 Todo grupo cociente de un grupo cclico es cclico.

Ejercicio 31 G es un grupo generado por {si , i I}, H E G, entonces GH esta generado
por {si , i I}.

Teorema 21 Sea H E G, entonces existe una correspondencia biunvoca entre los subgrupos
K de G que contiene a H y los subgrupos de GH, es decir
{K G | H K} {L G/H}
K 7 KH
I = {g G | gH L} L

Ademas esta correspondencia satisface

1. L1 L2 H I1 I2

2. [L1 : L2 ] = [I1 : I2 ]

3. L1 E L2 I1 E I2

Ejercicio 32 Determinar los subgrupos de Z6Z.

1.6. Homomorfismo
Sea G y G dos grupos y f : G G funcion.
Se dice que f es un homomorfismo de grupo si y solo si

(x G)(y G)(f (x y) = f (x) f (y)).

El conjunto de los homomorfismo lo denotamos por

Hom(G, G ) = {f F (G, G ) | f es un homomorfismo }

Ademas tenemos
CAPITULO 1. GRUPOS 19

1. f es endomorfismo si y solo si G = G y f es un homomorfismo

End(G) = {f Hom(G, G) | f es un edomorfismo }

2. f es monomorfismo si y solo si f es un homomorfismo y es inyectiva

3. f es epimorfismo si y solo si f es un homomorfismo y es epiyectiva

4. f es isomorfismo si y solo si f es un homomorfismo y es biyectiva

5. f es automorfismo si y solo si f es endomorfismo biyectiva.

Aut(G) = {f End(G) | f es biyectiva }

on 13 Sea f Hom(G, G ).
Definici
Se define el Kernel o N
ucleo de f como

ker(f ) = {x G | f (x) = e}

Se define la Imagen o Recorrido de f como

Im(f ) = {y G | (x G)(f (x) = y)}

Ejemplo 33

1. El conjugado complejo J : C C, J(Z) = z es un homomorfismo.

2. El Determinante dado por:

det : GLn (K) K
es un homomorfismo.

3. La Traza definida por:

tr : Mn (K) K
es un homomorfismo.

4. Sea H E G, entonces la proyecci

on o epimorfismo can
onico esta dado por:

: G GH
a 7 a

5. Sea G un grupo y g G
f : Z hgi
n 7 g n
es un homomorfismo.

6. : Zn Zm es homomorfismo?, es funci
on?.
a 7 a
CAPITULO 1. GRUPOS 20

Ejercicio 34 Sea (G, ) un grupo abeliano entonces (End(G), ) es un grupo

Ejercicio 35 Sean (G, ) un grupo abeliano y (G , ) un grupo entonces (Hom(G , G), ) es

un grupo, donde esta definido por:
Dado f, h Hom(G , G), entonces (f h)(x) = f (x) h(x).

Ejercicio 36 Sea G un grupo entonces (Aut(G), ) es un grupo

on 22 Sea f : G G homomorfismo de grupo.

Proposici

1. f (e) = e

2. (x G)((f (x))1 = f (x1 ))

3. H G f (H) G

4. K G f 1 (K) G

5. H E G f (H) E f (G)

6. f es monomorfismo ker(f ) = {e}

7. ker(f ) E G

Demostracion:
Sea x G, luego tenemos que

e = f (e) = f (xx1 )
e = f (x)f (x1 )
(f (x))1 e = f (x1 )
(f (x))1 = f (x1 )

Probaremos ahora 4, para ello sea K G y recordemos como esta definido

f 1 (K) = {x G | f (x) K}

Si x, y f 1 (K), luego tenemos que demostrar que xy 1 f 1 (K), es decir, f (xy 1)

K.
Para ello sabemos que f (x), f (y) K, ahora veremos

f (xy 1) = f (x)f (y 1 )
= f (x)f (y)1 K

Ejercicio 37 Determinar Hom(SL2 (R), R)

CAPITULO 1. GRUPOS 21

Teorema 23 (del homomorfismo) Si f : G G homomorfismo de grupo, entonces

nico f : Gkerf G tal que f = f
existe un u

-
G G/kerf
@
f@ f
R
@
G

Ademas si f es epiyectiva se tiene que f es isomorfismo.

Demostraci on: Sabemos que kerf E G, luego tenemos que Gkerf es un grupo.
Sea x, y Gkerf , tales que
x=y
luego tenemos

x=y
1
x y kerf
f (x1 y) = e
f (x) = f (y).

Por lo anterior podemos de definir f (x) = f (x), la cual esta bien definida.
Ademas es homomorfismo

f (xy) = f (xy)
= f (x)f (y)
= f (x)f (y)

y finalmente sea x G
f ((x)) = f (x) = f (x)
Si f es epiyectiva, por definicion de f tenemos que es epiyectiva.
Dado x kerf luego tenemos que f (x) = f (x) = e, luego x kerf y por lo tanto x = e.
Con lo cual hemos demostrado que kerf = {e} y por ende f es un isomorfismo.


Corolario 24 En particular se tiene

Gkerf Imf.

Teorema 25 (Generalizaci on del Teorema del homomorfismo)

Sea N E G, : G GN el epimorfismo can onico y f : G G homomorfismo tal
onico f de GN en G y ademas se
que N kerf , entonces existe un homomorfismo can
tiene
f (G) (GN)(kerf N)
CAPITULO 1. GRUPOS 22

Es decir, los diagramas conmutan.

- -
G G/N (G/N)/(kerf)
@ 
f@ f 
R
@ 
G )
 fe

Ejercicio 38 Si H, K E G, donde K H, entonces

(GK)(HK) GH

Teorema 26 (de la Correspondencia) Sea f : G G epimorfismo. Existe una corres-

pondencia biunvoca entre los subgrupos de G que contiene al kerf y el conjunto de subgrupos
de G . Mas precisamente
{H G | kerf H} {H G }

H f (H)
f (H )
1
H

Teorema 27 (2do teorema del isomorfismo) Si H, K G y H E G, entonces

KH K HKH

Demostraci
on: Sean H, K G y H E G y proyeccion, i la inclusion.

-
G G/H
6 
i

K
Luego tenemos el homomorfismo i : K G/H
Es facil determinar su kernel

ker( i) = {k K | k H} = K H

Y la Imagen
Im( i) = {kH | k K} = HKH
Recuerde que H E G, K G, luego tenemos

HK = {hk | h H, k K}
= {k(k 1 hk) | h H, k K}
= {kh | h H, k K}
= KH


CAPITULO 1. GRUPOS 23

Ejercicio 39 aZ, bZ subgrupos normales de Z

haihmcm(a, b)i hmcd(a, b)ihbi

Proposici
on 28 Si G = hgi es finito de orden n, entonces para todo k N tal que kn y
se tiene

1. G contiene un u
nico subgrupo de ndice k.

2. [G : hg nk i] = k.

3. Existe un u
nico subgrupo de orden k.

Proposici on 29 Si G es un grupo finito de orden n que tiene a lo m

as un subgrupo de orden
k para todo k N que divide a n, entonces G es cclico.

Demostraci
on: Sea k/n y (k) es igual al n
umero de elementos de G de orden k.
X
(k) = n.
k/n

Sea x G de orden k, entonces hxi es un subgrupo de orden k. Ademas todo elemento de

orden k pertenece a hxi.
As
(k) = 0 (k) = (k)
donde (k) es el n umero de elementos de orden k en el grupo cclico de orden k, es la
funcion de Euler. Pero
X
(k) = n,
k/n

(k) = (k), k/n

(n) = (n) > 0

luego en G hay un elemento de orden n, entonces G es cclico. 

1.7. Acci
on de Grupo en un Conjunto
Definici
on 14 Sea G un grupo, X un conjunto no vaco. Se dice que G act
ua sobre X, o
que X es un G-espacio si y solo si existe una funci
on

: G X X
(g, x) g x

tal que

1. (g, h G)(x X)(g (h x) = gh x)

CAPITULO 1. GRUPOS 24

2. (x X)(e x = x)

Ejemplo 40

1. GLn (K) act

ua en M1n (K), dado por

: GLn (K) M1n (K) M1n (K)

(A, X) AX

2. G = Sim(poligono) act
ua en A conjunto de vertices del polgono.

: G A A
(, x) (x)

3. H G, H act
ua sobre G por la derecha

: H G G
(h, g) h g = gh1

4. H G, H act
ua sobre G por la izquierda

: H G G
(h, g) h g = hg

5. H G, H act
ua sobre G por conjugaci
on

: H G G
(h, g) h g = hgh1

6. H E G, G act
ua sobre H por conjugaci
on

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

7. H G, G act
ua sobre G/H

: G G/H G/H
(g, xH) 7 gxH

Definici
on 15 Sea X un G-espacio y x X, se define el estabilizador de x en G como

EstG (x) = Gx = {g G | g x = x}

y la
orbita de x por

Ox = {y X | (g G)(g x = y)}
Ox = {g x X | g G}
CAPITULO 1. GRUPOS 25

Proposici
on 30 Sea X un G-espacio, x X

Gx G

Ejemplo 41

1. GL2 (K) K 2

2. GL2 (K) {l K 2 | diml = 1}

3. GL2 (K) {P K 3 | dimP = 2}

Ejercicio 42 Sea X un G-espacio, x X.

Si x Oy entonces existe g G tal que Gx = g 1 Gy g

Ejercicio 43 Sea X un G-espacio, x X.

(y Ox )(Gx E G Gx = Gy ).

Proposici
on 31 Sea X un G-espacio, x X entonces

: GGx Ox
gGx 7 g x

es una funcion biyectiva.

Teorema 32 Sea X un G-espacio, entonces

1. El cardinal de Ox es |G : Gx |

2. Si G es finito, entonces
|G| = |Gx | |Ox |.

Relaci
on de Equivalencia
Sea X un G-espacio, se define la siguiente relacion en X

xy (g G)(g x = y)

Proposici
on 33 es una relacion de equivalencia en X.

Observacion: Notemos que las orbitas son las clases de equivalencia de la relacion luego
tenemos que
[
X= Ox
xR

donde R es un sistema de representante.

CAPITULO 1. GRUPOS 26

Ejemplo 44 Sea G un grupo, G act

ua por conjugaci
on sobre G

G G G
(h, g) 7 hgh1

Determinar la orbita y el estabilizador

Soluci
on: Dado g G, la orbita de g esta dada por

Og = {hgh1 | h G}

corresponde a todo los conjugados.

El Estabilizador
Gg = {h G | hgh1 = g} = CG (g)
y es el centralizador de g en G.
Observaci on: Sea G un grupo finito y S = {g1, . . . , gn } un sistema de representantes de las
orbitas de la accion por conjugacion, luego tenemos

G = Og
gS

Como el grupo es finito

X
|G| = |Og |
gS
X
= [G : Gg ]
gS
X
= [G : CG (g)]
gS

La sumatoria se puede reordenar, agrupando las orbitas de cardinal 1 y las de cardinal mayor,
ahora bien las de cardinal 1 cumple con

|Og | = 1 hgh1 = e h G
hg = gh h G
g Z(G)

Con lo cual obtenemos la Ecuacion de Clases

X
|G| = |Z(G)| + |G : CG (g)|
G6=Gg
gS

Teorema 34 Si G es un grupo finito no conmutativo, existe una familia de subgrupos

{Hi }1im tales que

1. |G : Hi | > 1
CAPITULO 1. GRUPOS 27

P
m
2. |G| = |Z(G)| + |G : Hi |
i=1

on 35 Si |G| = pn , entonces Z(G) 6= {e}.

Proposici

Demostracion de ejercicio 

Teorema 36 Sea X un conjunto no vaco y G un grupo entonces

X un G-espacio si y solo si existe un homomorfismo de G en Biy(X)

Demostraci
on: Dada la accion
: G X X
x 7 g x

se define el homomorfismo
: G Biy(X)
g 7 g : X X
x 7 g x

Inversamente tenemos que

T : G Biy(X)
g 7 Tg
Se define la accion
: G X X
x 7 g x = Tg (x)


Ejemplo 45 Sabemos que G act

ua sobre G por izquierda, es decir,

: G Biy(G)
g 7 g : G G
: x 7 gx

es un homomorfismo.

Podemos calcular el
ker = {g | g = Id} = {e},
entonces es un monomorfismo, luego

G Im Biy(G).

Un caso particular lo tenemos cuando G es finito , entonces

G Biy(G) = Sn .

Teorema 37 (Cayley) Todo grupo es isomorfo a un subgrupo de permutaciones

CAPITULO 1. GRUPOS 28

Ejemplo 46 Sea H < G entonces tenemos G act

ua sobre G/H con

: G Biy(G/H)
g 7 g : G/H G/H
xH 7 gxH
es un homomorfismo de Grupo.

Ahora determinaremos condiciones para el Kernel.

g Ker g = Id
gxH = xH xH G/H
gH = H
gH

es decir,
Ker H

Proposicion 38 Sea G un grupo finito y H < G, tal que, [G : H] = p y p es el menor

primo que divide a |G| entonces
H E G.

Demostraci
on: Con el ejemplo anterior tenemos K = Ker H, ademas

GK Im Sp

luego tenemos que [G : K]/p!, es decir,

[G : K] = (p1 )1 (pr )r
donde los pi primos menores que p. Pero cualquier divisor de |GK| divide a |G|, entonces
|GK| = p o 1, pero no es posible que G = K, por lo tanto H = K, as tenemos H E G.


Definici on 16 Sea X un G-espacio, sea n < |X|.

Se dice que G act ua n-transitivo sobre X si y s olo si para cualquier conjunto ordenado
{x1 , . . . , xn } e {y1 , . . . , ym}. Existe g G tal que g xi = yi .
Caso particular n = 1. Se dice G act ua transitivamente en X.

Ejemplo 47

1. Sn act
ua transitivamente sobre X = {1, 2, . . . , n}
ua transitivamente sobre K 2 {0}
2. GL2 (K) act

Observaci
on: En el caso de accion transitiva hay solo una orbita, G finito, entonces

|G| = |Gx | |X|.

CAPITULO 1. GRUPOS 29

1.8. Grupo de Permutaci

on
Sea X un conjunto no vaco.
El grupo (Biy(X), ) es llamado grupo sim
etrico o de permutaciones de X.

Proposici
on 39 Si : X Y es una biyecci
on, entonces

: Biy(Y ) Biy(X), con (f ) = 1 f

es un isomorfismo de grupo

Observaci on: En particular el grupo de permutaciones de un conjunto de cardinal n todos

son isomorfo, por la proposicion anterior, luego basta considerar Xn = {1, 2, . . . , n} y su
grupo Biy(Xn ).
Este grupo se denota por Sn o n , y es llamado grupo simetrico.
Ademas tenemos que su cardinal es n! = |Sn |
Si Sn , la denota por
 
1 2 n
=
(1) (2) (n)

Observaci
on: Sea Sn y

H = hi = { i | i N}.
ya que el grupo Sn es finito.
Ademas H actua en X = {1, 2, . . . , n}. Es decir

: H X X
( i , x) 7 i (x)

Sean O1 , . . . Or las orbitas distintas. Para cada una de las orbitas Oi , construimos una
permutacion i de Sn , definida por

(x) x Oi
i (x) =
x x 6 Oi

llamada ciclo asociado a .

Notemos que x Oi
ij (x) = j (x).
Luego

Oi = {x, (x), 2 (x), . . . }

Oi = {x, i (x), i2 (x), . . .}

Ademas, si |Oi | = ri , entonces

Oi = {x, i (x), i2 (x), . . . , iri 1 (x)}.

CAPITULO 1. GRUPOS 30

Proposici
on 40 Sea Sn y con las notaciones anteriores, entonces

1. |i | = ri |Oi | = ri

2. i 6= j i j = j i

3. = 1 2 r

4. || = mcm{|i |}

El ciclo i se denota por:

i = (x i (x) i2 (x) iri 1 (x))

 
1 2 3 4 5 6 7
Ejemplo 48 Sea = S7 , luego
2 3 1 5 7 4 6
Veremos sus orbitas, las cuales son dos y est an dadas por
1. O1 = {1, 2, 3}

2. O2 = {4, 5, 6, 7}
Con las cuales construimos los ciclos
 
1 2 3 4 5 6 7
1. 1 = = (1 2 3)
2 3 1 4 5 6 7
 
1 2 3 4 5 6 7
2. 2 = = (4 5 7 6)
1 2 3 5 7 4 6

Luego = (1 2 3)(4 5 7 6) y || = 12.

Proposici
on 41 En el grupo Sn y m < n, tenemos

(x1 x2 xm )1 = (x1 xm x2 )

Demostraci
on: Basta evaluar para obtener la igual funcional

Proposici
on 42 Toda permutacion es producto de transposiciones (ciclos de largo 2).

Demostraci
on: Basta considerar un ciclo

(x) = (x y)(y x) = (1 x)(x 1), x 6= 1

(x1 x2 xm ) = (x1 xm )(x1 xm1 ) (x1 x2 ).


Proposici
on 43 Sea Sn y m < n, entonces

(x1 x2 xm ) 1 = ((x1 ) (x2 ) (xm ))

CAPITULO 1. GRUPOS 31

Demostraci
on: Basta evaluar para obtener la igual funcional

Proposici
on 44
Sn =< (1 2 n)(1 2) >

Demostraci on: Sea = (1 2 n) y = (1 2), luego 1 = (n n 1 2 1), definimos

H =< , >
As tenemos que i)

(1 2) 1 = (2 3)
(2 3) 1 = (3 4)
( )s (1 2)( 1 )s = (s s + 1) s < n
(n 1 n) 1 = (n 1)

es decir
(1 2), (2 3), , (n 1 n), (n, 1) H
ii) Ademas

(1 2)(2 3)(1 2) = (1 3)
(1 3)(3 4)(1 3) = (1 4)

con lo cual obtenemos

(1 2), (1 3), , (1 n) H
iii) Finalmente tenemos
(x y) = (y 1)(1 x) H
Con lo cual hemos obtenido que todas las transposiciones pertenece a H y como ellas
genera el grupo simetrico entonces obtenemos G = H.


Ejemplo 49 Sn act
ua permutando las variables sobre K[x1 , . . . , xn ], es decir,

p(x1 , x2 , . . . , xn ) = p(x(1) , . . . , x(n) ).

Consideremos el polinomio
Y
q(x1 , . . . , xn ) = (xi xj )
i<j

Y
q(x1 , . . . , xn ) = (x(i) x(j) ) = q(x1 , . . . , xn )
i<j

Con lo cual obtenemos que la orbita

Oq(x1 ,...,xn ) = {q(x1 , . . . , xn ), q(x1 , . . . , xn )}

CAPITULO 1. GRUPOS 32

y el estabilizador

Estq(x1 ,...,xn ) = { Sn | q(x1 , . . . , xn ) = q(x1 , . . . , xn )}

al reescribir obtenemos que

 Q
 (x(i) x(j) )

 i<j
Q
Estq(x1 ,...,xn ) = Sn  = 1 = An

 (xi xj )

 i<j

Con lo anterior hemos demostrado que

Proposici
on 45 An es un subgrupo de Sn , llamado grupo alternado

Observaci on: Con las notaciones anteriores y el hecho ({1, 1}, ) es un grupo, definimos
la funcion signo dada por:

Sg : Sn {1, 1}
q
7 Sg() = q

y es un homomorfismo, es decir,

Sg( ) = Sg()Sg( ).

Definici
on 17

1. Se dice que Sn es par si y s

olo si Sg() = 1

2. Se dice Sn es impar si y s
olo si Sg() = 1

3. Se define el grupo alternado igual a An = ker(Sg) o al conjuntos de las permutaciones

pares

Proposici
on 46 En el grupo Sn y m < n, entonces

Sg(x1 x2 xm ) = (1)m+1

Proposici
on 47

1. Sn es par si y solo si es producto par de transposiciones

2. Sn es impar si y solo si es producto impar de transposiciones

Proposici
on 48
An =< 2 | Sn >
CAPITULO 1. GRUPOS 33

Demostraci
on:
2
) An , entonces

H =< 2 | Sn > An
) Como todo elemento de An se escribe como un producto par de transposiciones, basta
demostrar que (x y)(z w) H, para ello veremos los siguientes casos
i) Si |{x, y, z, w}| = 4, entonces (x y)(z w) = (x z y w)2 H
ii)Si |{x, y, z, w}| = 3, entonces (x y)(z x) = (x y z)2 H
As tenemos que
An =< 2 | Sn >


Proposici
on 49

1. An esta generado por los 3-ciclos

2. Si x, y {1, . . . , n} distintos, entonces

An =< (x y z ) | 1 z n, x 6= z 6= y >

Demostraci
on: Consideremos (x y a)

(x a y) = (x y a)2
(x a b) = (x y b)(x a y) = (x y b)(x y a)2
(y a b) = (x y b)2 (x y a)
(a b c) = (x y a)2 (x y c)(x y b)2 (x y a)

Aplicaci
on:
[Sn , Sn ] = An

[An , An ] = An

1.9. Grupos Abelianos Finitos

Proposici
on 50 Sea G un grupo abeliano finito entonces

i) Existen n
umeros primos p1 , p2 , ..., pr y n
umeros naturales n1 , n2 , ..., nr tales que

G Zpn1 1 Zpn2 2 Zpnr r

ademas Si Existen n
umeros primos q1 , q2 , ..., qs y n
umeros naturales m1 , m2 , ..., ms tales
que
G Zq1m1 Zq2m2 Zqsms
m (i)
entonces r = s y existe Sr tal que pni i = q(i)

CAPITULO 1. GRUPOS 34

ii) Existen d1 , d2, , dt n

umeros naturales tales que di /di+1

G Zd1 Zd2 Zdt

Ejemplo 50 Cuantos grupos abeliano de orden 15 existen?

on: Salvo isomorfismo existe solamente uno y es
Soluci

Z3 Z5 Z15

Ejemplo 51 Cuantos grupos abeliano de orden 16 existen?

on: Salvo isomorfismo solamente hay 5 grupos
Soluci
1. Z42

2. Z32 Z2

3. Z22 Z2 Z2

4. Z22 Z22

5. Z2 Z2 Z2 Z2

Definicion 18 Si k N una partici

on de k es una m upla, (k1 , k2 , ..., km ) de n
umeros
naturales tales que
Xm
k= ki , con 0 < ki ki+1
i=1

Proposici on 51 Sea n N, tal que n = pn1 1 pn2 2 . pnr r , con pi primos distintos y p(ni ) es
igual al n
umero de particiones de ni , entonces la cantidad de grupos abelianos de orden n es
igual a
Yr
p(ni )
i=1

1.10. Teorema de Sylow

Definici
on 19 Un grupo G se dice un p-grupo si

|G| = pn n N,

con p un n
umero primo.

Ejemplo 52 Sea p un numero primo, los grupos Zpn , Znp son p-grupo.
El grupo de simetras del cuadrado es un 2-grupo de orden 8..

Definici
on 20 Sea X un G-espacio entonces se define el conjunto de puntos fijos

F ixG (X) = {x X | (g G)( g x = x) }

CAPITULO 1. GRUPOS 35

Lema 52 Sea G un p-grupo y X un G-espacio con |X| < , entonces

|X| |F ixG (X)| (p)

Demostraci
on: Sea X un G-espacio, luego tenemos que

X = Oi
iI
X
|X| = |Oi|
iI
X X
|X| = |Oi| + |Oi|
iI, |Oi |=1 iI, |Oi |>1

Pero |Oi | = 1 si y solo si Oi = {xi } es decir,

{xi } = {g xi | g G}

As obtenemos que

Oi = {g xi | g G}
iI, |Oi |=1 iI, |Oi |=1

={x X | (g G)( g x = x) }
=F ixG (X)

Ademas tenemos que 1 < |Oi| = [G : hi ] = pni , es decir 1 < |Oi| 0(p), con lo cual

X X
|X| = |Oi | + |Oi |
iI, |Oi |=1 iI, |Oi |>1
X
|X| =|F ixG (X)| + |Oi | (p)
iI, |Oi |>1

|X| |F ixG (X)| (p)

Proposici
on 53 (Teorema de Cauchy) Sea p un n
umero primo tal que p|G|, entonces en
G hay un elemento de orden p.

Demostraci
on: Sea p un n
umero primo tal que p/|G|, entonces definimos

X = {(g1 , . . . , gp ) Gp | g1 gp = e}

Parte I. |X| = |G|p1.

para demostrar la primera afirmacion veremos que

(g1 , . . . , gp ) X g1 gp = e
gp = (g1 gp1 )1
CAPITULO 1. GRUPOS 36

Con lo cual podemos construir una biyeccion

Gp1 X
(g1 , . . . , gp1) 7 (g1 , . . . , gp1, (g1 gp1 )1 )
Parte II Sea H =< (1 2 ... p) > Sp , sabemos que |H| = p y ademas

(g1 , . . . , gp ) X g1 gp = e
(g1 )1 g1 gp g1 = e
g2 gp g1 = e
(g2 , . . . , gp , g1 ) X

H act
ua en X en los subndices
: H X X
(, (g1 , . . . , gp )) 7 (g(1) , . . . , g(p) )

Parte III Sabemos por Lema 52 que

|X| |F ixH (X)| (p)

0 |F ixH (X)| (p)
|F ixH (X)| =p

Pero tenemos que (e, , e) F ixH (X), luego existe otro elemento.
(g1 , . . . , gp ) F ixH (X), as tenemos que

(g1 , . . . , gp ) = (g2 , . . . , gp1 , g1 )

de donde obtenemos que

g1 = g2 = g3 = = gp
y es distinto de neutro luego tiene orden p. 

Corolario 54 Un grupo finito G es un p-grupo si y s

olo si todo elemento tiene como orden
una potencia de p.

Demostraci
on: Ecuacion de clases.

Definicion 21 Se dice que G es un grupo simple si y s olo si G no tiene subgrupos normales

no triviales, es decir, los u
nicos subgrupos normales son los triviales.

Ejercicio 53 Todo p-grupo finito no es simple.

Proposici
on 55 Si H es un p-grupo de un grupo finito G, entonces

[NG (H) : H] [G : H] (p).

CAPITULO 1. GRUPOS 37

Demostraci on: Considerar la accion H GH GH dada por a bH = (ab)H, por
Lema 52. tenemos que
|G/H| |F ixH (G/H)| (p)
pero

F ixH (G/H) ={ bH G/H | (h H)(h bH = bH) }

={bH G/H | (h H)((hb)H = bH) }
={bH G/H | (h H)(b1 (hb) H) }
={bH G/H | b1 Hb H }
= NG (H)/H
con lo cual obtenemos

|F ixH (X)| [NG (H) : H] (p)


Corolario 56 Sea H un p-subgrupo del grupo finito G y p[G : H], entonces NG (H) 6= H.
Demostraci
on: Usando la proposicion anterior tenemos
[NG (H) : H] [G : H] (p)
[NG (H) : H] 0 (p)
Luego tenemos
[NG (H) : H] p
es decir, NG (H) 6= H.
Teorema 57 (Primer Teorema de Sylow) Si G es un grupo de orden pr m, con p, m
primos relativos. Entonces G contiene un subgrupo de orden pi , para cada 1 i r. Ademas
cada subgrupo de orden pi es normal en el subgrupo de orden pi+1 , es decir existen Hi tales
que
H1 E H2 E H3 E E Hr G
y |Hi | = pi .
Demostraci
on: Por Teorema de Cauchy existe H G tal que |H| = p. Si r = 1, esta de-
mostrado
{e} < H < G
Si r > 1, por corolario anterior NG (H) 6= H, ademas tenemos p/[NG (H) : H] y HNG (H),
luego por Cauchy existe H1 subgrupo de orden p de NG (H)/H, H1 = H1 /H, por teorema
de la correspondencia.

H1 = { a G | (aH H1 ) }
con lo cual tenemos que
e E H H1 G.
Proceso que podemos repetir inductivamente hasta que p 
6 [NG (H) : H]. 
CAPITULO 1. GRUPOS 38

on 22 Si |G| = pr m, con p, m primos relativos,

Definici
Los subgrupos de orden pr se llaman p-subgrupos de Sylow

Observacion: El teorema anterior asegura que si p/|G|, entonces

i) G contiene un p-subgrupo de Sylow.
ii) Un p-subgrupo de Sylow H de G es un p-grupo maximal de G.

Teorema 58 (Segundo Teorema de Sylow) Si H es un p-grupo y P un p-subgrupo de

Sylow de G, entonces existe x G tal que H < xP x1 .
En particular, si H es un p-subgrupo de Sylow se tiene H = xP x1 .

Demostraci
on: Considerar la accion

: H G/P G/P
(g, bP ) 7 gaP
luego por lema tenemos
|F ixH (G/P )| [G : P ] (p)
Pero p 
6 [G : P ], luego
|F ixH (G/P )| 6 0 (p)
es decir, existe xP G/P , tal que

hxP = xP, h H
1
x hxP = P, h H
x1 hx P, h H
x1 Hx P

con lo cual tenemos

H xP x1 .


Teorema 59 (Tercer Teorema de Sylow) El n

umero de p-subgrupo de Sylow np de un
grupo G satisface
np /|G| np 1 (p).

Demostraci
on: Sea X = {P | P p-subgrupo de Sylow de G}; |X| = np

: G X X
(g, P ) 7 gP g 1

es transitivo, luego np /|G|

: P X X
(g, Q) 7 gQg 1
Ademas
F ixP (X) = {Q X | (g P )(gQg 1 Q)}
CAPITULO 1. GRUPOS 39

luego por lema

|X| |F ixP (X)| (p)

np |F ixP (X)| (p)

Sea Q F ixP (X), luego tenemos que

gQg 1 = Q, g P
P NG (Q)

Luego tenemos que P, Q son dos p-subgrupos de Sylow de NG (Q), por el segundo teorema
de Sylow los subgrupos son conjugados

P = xQx1 , x NG (Q)

por lo tanto P = Q, y con ello tenemos F ixP (X) = {P }.

np |F ixP (X)| |{P }| 1 (p)

Ejercicio 54 1. Demostrar que un grupo de orden 45 tiene un subgrupo normal de orden

9

2. Clasificar los grupos de orden 1, 2, 3, 4, 5, 6, 7, 9, 10, 11 salvo isomorfismo.

3. Sea |G| = pn con p > n, p primo y H un subgrupo de orden p entonces H es normal

en G

4. Sea |G| = pn q con p > q, p, q primos entonces G contiene un u

nico subgrupo normal
de ndice q

5. Clasificar todos lo grupos de orden 18 y 75

6. Sea P un p-subgrupo de Sylow normal de G y f End(G) entonces f (P ) P

Indice alfab
etico

< > generado, 9 Grupo, 4

An alternado, 32 Grupo Abeliano, 4
Aut(G), 19 Grupo alternado, 32
CG (S) centralizador, 11 Grupo cclico, 10
End(G), 19 Grupo cuociente, 18
EstG , 24 Grupo finito, 7
F ixG (X) puntos fijos, 34 Grupo generado, 9
G-espacio, 23 Grupo permutaciones, 29
Hom(G, G ), 18 Grupo simetrico, 29
Im(f ) imagen, 19 Grupo simple, 36
NG (S) normalizador, 11 Grupoide, 4
Ox orbita, 24
Z(G) centro, 10 Homomorfismo, 18
[G, G] conmutador, 11 Imagen, 19
[G : H ndice, 15 Isomorfismo, 19
E normal, 16
ker(f ) kernel, 19 Kernel, 19
p-grupo, 34
Indice, 15 Monoide, 4

Orbita, 24 Monomorfismo, 19

Sg signo, 32 Normalizador, 11

Accion transitivo, 28 Orden, 7

Act
ua transitivamente, 28
Permutacion impar, 32
Automorfismo, 19
Permutacion par, 32
Centralizador, 11 Puntos fijos, 34
Centro de Grupo, 10
Semigrupo, 4
Clase lateral derecha, 14
Signo permutacion, 32
Clase lateral izquierda, 14
Subgrupo, 8
Clausura u Operacion Binaria, 4
Subgrupo normal, 16
Conmutador, 11
Subgrupos de Sylow, 38
Ecuacion de Clases , 26
Endomorfismo, 19
Epimorfismo, 19
Estabilizador, 24

40