ESTRUCTURAS ALGEBRAICAS

TEOR

IA DE GRUPOS
Alberto Martn Aguilar
Mayo 2012
1
Orientado para alumnos de 1
o
Grado en Matematicas

Indice general
1. Grupos 3
1.1. Denicion y Propiedades elementales . . . . . . . . . . . . . . . . . . . 3
1.2. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3. Grupos Cclicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4. Teorema de Lagrange. Consecuencias . . . . . . . . . . . . . . . . . . . 6
1.5. Grupos abelianos Finitos . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2. Homomorsmos 10
2.1. Homomorsmo de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2. Subgrupos Normales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.3. Grupo Cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.4. Teoremas de Isomorfa . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.5. Clase de Conjugacion. Ecuacion de Clases . . . . . . . . . . . . . . . . 15
2.6. Grupo de los automorsmos de un grupo cclico . . . . . . . . . . . . . 16
2.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3. Ejemplos y clasicacion de algunos grupos 19
3.1. Grupo de Permutaciones . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.2. Grupo Diedrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.3. Clasicacion de grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
4. Teoremas de Sylow 28
4.1. Producto Directo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
4.2. Producto Semidirecto . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
4.3. Acciones sobre Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
4.4. Teoremas de Sylow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.5. Aplicacion del Teorema de Sylow. Apendice . . . . . . . . . . . . . . . 34
4.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1

Captulo 1
Grupos
1.1. Denici on y Propiedades elementales
Denicion 1.1.1 Sea G un conjunto, G ,= . Sea una operacion binaria. Decimos
que G es un grupo repecto a la operacion , y se denota por (G, ) si se verican las
siguientes condiciones:
A1) x, y, z G (x y) z = x (y z) Prop. Asociativa
A2) e G [ e x = x e = x x G El. neutro
A3) x G, y G [ x y = y x = e El. inverso
Estos son los llamados Axiomas de Grupo.
Nota 1.1.2 Diremos que G es un grupo abeliano (conmutativo) si x, y G x y
= y x . Es decir, si la operacion binaria es conmutativa.
Ejemplos
1. Gl
n
(1) = Matrices n x n [ [A[ , = 0 con respecto al producto forman un
grupo abeliano si n < 2.
2. (

, ), (1, +), (C, +)

3. C
n
= z C [ z
n
= 1. Sabemos que C es algebraicamente cerrado, luego el
n umero de elementos de C
n
= n.
4. Q =1, i, j, k el Grupo de los Cuaternios.
5. (Z
2
, +) (Z
2
, +) Grupo de Klein.
6. Aut(G) Grupo de los automorsmos de un grupo G.
7. Grupo de los subconjuntos de un conjunto de n elementos B
n
. [B[ = 2
n
Teorema 1.1.3 Si G es un grupo con una operacion binaria , entonces se cumplen
las leyes de cancelacion por la izquierda (derecha) en G, es decir, a, b, c G si a b
= a c ( b a = c a ), entonces b = c.
2
Demostracion
Supongamos que a b = a c. Por el 3
o
axioma, a
1
G . Luego:
a
1
(a b) = a
1
(a c) Prop. Asociativa
(a
1
a) b = (a
1
a) c = b = c
De forma analoga se comprueba la ley de cancelacion por la derecha.
Teorema 1.1.4 Sea G un grupo con operacion . Sean a y b elementos cualesquiera
de G, entonces las ecuaciones a x = b e y a = b tienen soluciones unicas.
Demostracion
Consideremos la ecuacion a x = b . Por los axiomas de grupo, podemos decir que
una solucion es x = a
1
b. Veamos que es unica. Sean x
1
, x
2
G [ a x
1
= b y
a x
2
= b Esto implica que a x
1
= a x
2
y por las leyes de cancelacion, x
1
= x
2
.
Se hace de igual forma para la otra ecuacion.
1.2. Subgrupos
Denicion 1.2.1 Sea (G, ) un grupo y sea H G, H ,= . Decimos que H es un
subgrupo de G, y lo denotamos por H < G si:
i) a, b H a b H
ii) e H, donde e es el elemento neutro de G.
iii) Si h H, entonces h
1
H
Proposicion 1.2.2 Sea (G, ) un grupo y sea H G, H ,= . H es un subgrupo de
G si y solo si x, y G x
1
y H.
Demostracion
Trivial

i) Sea x H. Tomando y = x ; e = x
1
x H
ii) Sea x H. Tomando y = e ; x
1
= x
1
e H
iii) Sean x, y H. Seg un lo probado, x
1
, y H (x
1
)
1
y = x y H
Ejemplos
1. (, +) < (1, +) < (C, +)
2. (

, ) < (1

, ) < (C

, )
3
Denicion 1.2.3 Sea G un grupo. Se dene el centro de un grupo G y se denota por
Z(G) al conjunto:
Z(G) = a G [ a x = x a x G
Denicion 1.2.4 Si G es un grupo, entonces G es el subgrupo impropio de G y e es
el subgrupo trivial de G. Todos los demas subgrupos seran llamados subgrupos propios
de G.
Ejercicio: Sea G un grupo. Comprobar que Z(G) es un subgrupo de G.
Denicion 1.2.5 Sea X un conjunto. Se dene el subgrupo generado por X y se
denota por < X > a:
< X >=

H < G [ X H
< X >= x

1
i
1
....x

r
i
r
[
j
= 1 ; x
i
j
X
Denicion 1.2.6 Se dene el orden de un grupo, y se nota por [G[ como el n umero
de elementos que contiene.
1.3. Grupos Cclicos
Denicion 1.3.1 Sea G un grupo y sea a G, entonces H = a
n
[ n Z es un
subgrupo de G generado por a y se denota por H = < a >. Ademas, si G = < a >
para un cierto a G, decimos que G es cclico.
Ejemplos
1. (Z, +) es un grupo cclico innito.
2. (Z

7
, ) es un grupo cclico generado por 5
Proposicion 1.3.2 Todo grupo cclico es abeliano.
Demostracion
Sea G = < a >. Sean b, c G. Entonces r, s Z [ b = a
r
y c = a
s
. Por
tanto, b c = a
r
a
s
= a
r+s
= a
s+r
= a
s
a
r
= b c b, c G.
Denicion 1.3.3 Sea G un grupo y sea a G. Decimos que a tiene orden n (nito)
y se denota por ord(a) = n , n N si a
n
= e. Si no existe tal n umero, diremos que
el orden de a es 0.
Teorema 1.3.4 Todo subgrupo de un grupo cclico es cclico
Demostracion
Sea G =< a > y sea H < G. Si H = e, entonces H es un subgrupo cclico. Su-
pongamos que H = a
n
para alg un n Z
+
. Sea m Z
+
minimal, tal que a
m
H.
Podemos armar que H esta generado por c = a
m
, esto es, H = < a
m
>=< c > .
Tenemos que demostrar que todo d H es una potencia de c. Como c H y H G,
entonces c = a
n
para alg un n Z. Por el algoritmo de la division, n = mq + r para
0 r < m.
4
a
n
= a
mq+r
= (a
m
)
q
a
r
Sabemos que a
n
H, a
m
H. Luego (a
m
)
q
H y a
n
H. Como H es un subgrupo
de G, a
r
= (a
m
)
q
a
n
H. Lo cual es una contradiccion (m era minimal), r = 0 y
d = a
n
= a
mq
= c
q
.
Corolario 1.3.5 Si a es un generador de un grupo cclico G de orden n, entonces
otros generadores de G son los elementos de la forma a
r
, donde r y n son primos
relativos.
Proposicion 1.3.6 Sea G = < a > un grupo cclico.
i) Todo subgrupo H de G es cclico.
ii) Si G es de orden n > 0, entonces todo subgrupo H de G es cclico de orden un
divisor de n.
iii) Adem as, para cada m divisor de n, hay uno y solo uno subgrupo de orden m.
1.4. Teorema de Lagrange. Consecuencias
Teorema de Lagrange 1.4.1 Sea G un grupo nito de orden n, esto es [G[ = n. Si
H < G, entonces el orden de H es un divisor del orden de G.
Demostracion
Sea G un grupo. [G[ = n. Sea G la union de conjuntos disjuntos tales que todos
ellos tienen el mismo n umero de elementos. Para cada g G, consideramos gH =
gh [ h H. Sea la aplicacion:
: H gH biyectiva.
h gh
Entonces card(gH) = card(H) g G. Por tanto
G =

xG
xH [G[ =

xG
[xH[ = [G/H[ [H[
Corolario 1.4.2 Todo grupo de orden primo es cclico.
Demostracion
Sea G un grupo de orden p, p primo. Sea a G distinto del elemento neutro. Sea H
= < a >, [H[ = m . Por el T
a
. de Lagrange, [H[ [ [G[ y como p es primo y m 2,
m = p y por tanto, G es cclico.
Denicion 1.4.3 Sea G un grupo y H < G. Se dene el ndice de G sobre H y lo se
denota por [G : H], como el n
o
de subconjuntos distintos de gH.
Observacion: Sea G un grupo. Sea a G. Ord(a) es un divisor del orden de G.
5
Ejemplo de aplicacion 1.4.4 Prueba que todo grupo de orden 4 es abeliano y en-
cuentra cu antos hay salvo isomorsmos , y descrbelos.
Solucion: Sea G un grupo de orden 4. Por el T
a
. de Lagrange, todo elemento de
G es un divisor de 4. Descartando que G sea cclico, encontramos que todo elemento
distinto del neutro tiene orden 2. Luego G es abeliano. Sea a G, a ,= e y sea H =
< a > el subgrupo generado por a. Dado que H es un subgrupo propio, existe b G tal
que b / H. Claramente G = H Hb = e, a, b, ab, con ba = ab. Podemos comprobar
con ayuda de una tabla, que G es el grupo de Klein.
1.5. Grupos abelianos Finitos
Denicion 1.5.1 Sea G un grupo, [G[ = n. Denimos el exponente de G, y lo deno-
tamos por exp(G), como exp(G) = m.c.m ord(a) [ a G.
Teorema 1.5.2 Sea G un grupo nito de exponente n, entonces G contiene un ele-
mento ( y por lo tanto, un subgrupo cclico) de orden n.
Demostracion
Por el Teorema de la Factorizacion, podemos expresar n = p

1
1
...p

k
k
como producto
de potencias de primos. Para cada 1 i k sea v
i
= np

i
1
i
. Existe a
i
G tal que
a
n
i
i
,= e. Sea ahora b
i
= a
np
i

i
i
. Tenemos entonces que ord(b
i
) = p
i
, y de aqui, b =
b
1
...b
k
tiene orden n.
Proposicion 1.5.3 Sea F un cuerpo. Sea G < F, [G[ < . Entonces G es cclico.
Demostracion
Como G es nito, sea n = exp(G). Por el Teorema anterior, G contiene un sub-
grupo cclico C de orden n. Por otro lado, todo elemento de G satisface la ecuacion
x
n
= e. De donde, [G[ n = [C[. Esto implica que G = C, y por tanto, es cclico.
Proposicion 1.5.4 Sea G un grupo nito de exponente 2. Entonces G

= B
n

= C
n
2
Teorema 1.5.5 Sea A un grupo abeliano nito. Para cada primo p que divide a [A[,
consideramos S
p
, que denota todos los elementos de A de orden una potencia de p
(incluyendo el 0), entonces cada S
p
es un subgrupo de A y A es su suma directa.
Demostracion
La comprobacion de que S
p
es un subgrupo de A es trivial.
Sea x A, distinto del elem. neutro. Sea ord(x) = n, donde por el T
a
. de Lagrange,
n [ [A[. Supongamos, que n lo podemos expresar de la forma n =p

1
1
...p

k
k
, donde
cada p
i
son distintos y
i
1. Escribimos, para cada i (1 i r), q
i
= n/p

i
i
.
Obtenemos que el maximo com un divisor de todos los q
i
es 1 y por la igualdad de
Bezout, existen k
1
,k
2
...k
r
Z tales que k
1
q
1
+ .... + k
r
q
r
= 1 Esto nos da que x
=(k
1
q
1
+....+k
r
q
r
)x = k
1
q
1
x+....+k
r
q
r
x. Cada q
i
x tiene orden un divisor de p

i
i
. As x
puede ser expresado como suma de elementos con ordenes divisores de p

1
1
, p

2
2
, ..., p

r
r
respectivamente. Por tanto, x < S
p
1
, S
p
2
, ..., S
p
r
> A. As < S
p
:

p [ [A[ >= A
6
Finalmente, probaremos que A es la suma directa de los S
p
. Esto se dara si para
cada q[ [A[, S
q
< S
p
: p [ [A[ y p ,= q >=< 0 >. Pero esto es facil de comprobar ya
que cualquier elemento de S
p
tiene orden una potencia de q mientras que cualquier
elemento de < S
p
: p [ [A[ y p ,= q > tiene orden un primo relativo con q. Luego el
unico elemento que pertenece a la interseccion de ellos es el elemento neutro.
Teorema 1.5.6 Sea S
p
un grupo abeliano nito. Entonces S
p
es la suma directa de
grupos cclicos (de orden potencia de un primo).
Demostracion
Sea s un elemento de orden p

maximal en S
p
y sea T un subgrupo de S
p
que sa-
tisfaga que < s > T = < 0 >. Entonces < s, T >=< s > T. Por tanto: i)
< s > y T generan < s, T >; ii) < s > y T son normales en < s, T > ; iii) < s >
T = < 0 >. Si < s > T < S
p
, podemos encontrar un elemento x S
p
tal que
x / < s > T. Ya que p

x = 0, p

x < s > T. Entonces existe Z

+
de
modo que p

x < s > T pero p

1
x / < s > T. Llamamos y = p
1
x. Ahora
py < s > T. Por consiguiente, py = ls + t (l Z, t T). Entonces 0 = p

y
= p
1
ls + p
1
t . As p
1
ls < s > T = < 0 >. Esto nos permite decir que
p [ l, pk = l , y por lo tanto, p(y ks) = py ls = t T. Sin embargo, y-ks / T.
As < T, y ks >>T. Consecuentemente, < T, y ks > < s > >< 0 >. Esto
es, para algunos m,x Z y v T tenemos que 0 ,= ms = v + n(y ks). Como
p [ n, tenemos que m.c.d(n,p) = 1. Ademas, ny = ms - v + nks < s > T y
py < s > T. En consecuencia sera una contradiccion si y < s > T. Por tanto,
obtenemos nalmente que < s > T = S
p
. Podemos utilizar un argumento similar
para completar la demostracion del teorema.
Observaciones:
1. Si A es un grupo de orden potencia de un primo, no se puede descomponer como
suma directa de dos o mas grupos no triviales.
2. Ya que cada suma nita directa de los ciclos es un grupo abeliano nito, hemos
caracterizado los grupos abelianos nitos con la mayor precision como suma
directa de grupos cclicos. Con el proposito de efectuar una clasicacion de estos
grupos tenemos que explicar como distinguirlos. Esto se deduce de la cuestion:
Dado un grupo abeliano A, se puede descomponer como una unica suma directa
de grupos de orden potencia de un primo p? La respuesta inmediata es no.; A
= < s > < t >=< s > < u >, donde < s >, < t >, < u > son cclicos no
podemos decir que < t >=< u >. Veremos un ejemplo mas adelante.
Teorema Fundamental de los Grupos Abelianos Finitos 1.5.7 Sea A un gru-
po abeliano nito. Entonces para cualquiera dos descomposiciones de A en suma di-
recta de grupos cclicos de orden un potencia de un primo, contiene el mismo n umero
de sumandos de cada orden.
Demostracion
Sea una descomposicion de A en una suma directa de grupos de orden potencia de
un primo dada. Para cada i denimos B
i
como la suma directa de todos los ciclos
de orden p
i
en esa descomposicion. Entonces A =B
1
B
2
... B
s
. y para cada
j Z
+
, p
j
A = p
j
B
1
p
j
B
2
...p
j
B
s
= p
j
B
j+1
... p
j
B
s
. (Es claro que p
j
A es un
subgrupo de A) . Ahora consideramos el grupo factor
p
j
A
p
i+1
A
. Este grupo es isomorfo
7
a p
j
B
j+1

p
j
B
j+2
p
j+1
B
j+2
...
p
j
B
s
p
j+1
B
s
, una suma directa de p-ciclos. Entonces el n umero
de sumandos en la suma directa de ciclos es b
j+1
+b
j+2
+ ... +b
s
donde donde b
t
es el
n umero de sumandos cclicos en B
t
. En consecuencia, en n umero total de sumandos
cclicos en
p
j
A
p
j+1
A
es igual al n umero de sumandos cclicos en A, que tiene de orden al
menos p
j+1
. As, el n umero de ciclos de cada orden p

en una descomposicion directa

de A en ciclos potencia de p depende solo de A.
1.6. Ejercicios
1 Sea G un grupo. Probar que el elemento neutro y los inversos son unicos.
2 Sea G un conjunto no vaco dotado de un producto asociativo ab, a,b G. De-
muestra que G es un grupo si y solo si para cualesquiera a, b G, las ecuaciones ax
= b y ya= b tienen solucion y esta es unica. Que podemos decir ademas si G es un
conjunto nito?
3 Sea A un anillo. Prueba que el conjunto de sus elementos inversibles Gr(A), es
un grupo.
4 Sea G un grupo con elemento neutro e. Si todo elemento a G verica que a
2
= e,
entonces G es abeliano.
5 Prueba que si a
m
= e, entonces ord(a) es un divisor de m.
6 Prueba que ord(bab
1
) = ord(a)
7 Sea G un grupo y sean a,b G. Si ab=ba y ord(a), ord(b) son primos relativos,
entonces ord(ab) = ord(a)ord(b)
8 Prueba que en la tabla de multiplicacion de un grupo nito cada elemento del grupo
aparece una y una sola vez en cada la y cada columna.
9 Sea G un grupo. Sea a G tal que ord(a) = n. Prueba que el ord(a
1
)= n.
10 Muestrese que si H y K son subgrupos de un grupo abeliano G, entonces hk [
h H, k K es un subgrupo de G.
11 Encontrar todos los subgrupos de C
42
.
12 Determina el retculo de los subgrupos de C
8
, C
4
C
2
, C
2
C
2
C
2
, D
4
y Q.
13 Sea G un grupo. Sean H
i

iI
con H
i
< G. Probar que

iI
H
i
< G.
14 Encuentra un grupo G que contenga a un subconjunto S tal que S sea un subgrupo
respecto a una operacion diferente de G, pero no sea un subgrupo bajo la operaci on
en G.
8
Captulo 2
Homomorsmos
2.1. Homomorsmo de Grupos
Denicion 2.1.1 Sean (G,) y (G,) dos grupos. Decimos que la aplicacion
: G G

es un homomorsmo si se cumple que :

(x y) = (x) (y) x, y G.
Para abreviar notacion, escribiremos la operacion respecto de ambos grupos por
yuxtaposicion.
Ejercicio: Demostrar que:
1. (e) = e

2. (x
1
) = (x)
1
Donde e y e denotan los elem. neutros de G y G respectivamente.
Proposicion 2.1.2 Sea : G G

un homomorsmo de grupos. Entonces :

1. Im() = (x) [ x G < G

2. Ker () = x G [ (x) = e

< G
Demostracion
1) Veamos que si (x), (y) G

(xy
1
) Im() .
(x)(y)
1
= (x)(y
1
) = (xy
1
) Im()
Luego Im() < G
2) Veamos que si x,y Ker() x
1
y Ker(), es decir, (x
1
y) = e

. Sean
x,y Ker() (x) = e

; (y) = e

.
(x
1
y) = (x
1
)(y) = (x)
1
(y) = e
1
e = e

.
Luego Ker() < G

.
9
Denicion 2.1.3 Sea : G G

un homomorsmo de grupos. Entonces:

1. Si es inyectiva, se dira que es un monomorsmo.
2. Si es sobreyectiva, se dira que es un epimorsmo.
3. Si es biyectiva, se dira que es un isomorsmo y que G y G son isomorfos.
4. Si G = G, se dira que es un endomorsmo.
5. Si : G G es biyectiva, se dira que es un automorsmo.
Ejemplos:
Sean G y G dos grupos.
1. : G G

x e
Este homomorsmo es el conocido como el homomorsmo trivial.
2. : G G
x x
Conocido como el automorsmo identidad.
Ejercicio: Sea G un grupo. Comprobar que para cada b G, la aplicacion:

b
: G G
x bxb
1
es un automorsmo de grupos. Tambien llamado el automorsmo interno de G.
2.2. Subgrupos Normales
Denicion 2.2.1 Sea G un grupo y sea N < G. Diremos que N es un subgrupo
normal de G y lo notaremos por N G si :
g G, x N gxg
1
N
Proposicion 2.2.2 Si : G G

es un homomorsmo, entonces Ker() G.

Demostracion
Por la Proposicion 2.1.2, sabemos que Ker() <G. Supongamos ahora que n
Ker() y sea g G. Entonces (g
1
ng) = (g
1
)(n)(g) = (g
1
)e

(g) = e

.
Por tanto, para cada g G, tenemos que g
1
Ker()g Ker().
Ejemplos: Sea G un grupo.
1. Si G es abeliano, entonces todos sus subgrupos son normales.
10
2. Sea H< G tal que [G : H] = 2. Dado g / H G = H Hg = H gH con
Hg H = 0 ( H gH = 0), entonces H G.
Denicion 2.2.3 Sea G un grupo y sean N G y H <G. Se dene el menor conjunto
de G que contiene a N y H como al conjunto:
NH = NH = xy [ x N, y H
Lema 2.2.4 Sea G un grupo y sean N G y H <G. Entonces H N < G.
Demostracion
Sean x
1
, x
2
H, y
1
, y
2
H. Veamos que (x
1
y
1
)(x
2
y
2
)
1
NH.
x
1
y
1
(x
2
y
2
)
1
= x
1
y
1
y
1
2
x
1
2
= x
1
yx
1
2
(y
1
y) = x
1
(yx
1
2
y
1
)y = (x
1
x)y NH
donde y = y
1
y
1
2
H.
Denicion 2.2.5 Un grupo es simple si no tiene subgrupos normales propios no
triviales.
2.3. Grupo Cociente
Denicion 2.3.1 Sea G un grupo y sean x, y G. Denimos la relacion de equiva-
lencia:
x y xH = yH( x
1
y H).
Para alg un x G, denimos x = xH = xh [ h H
Ejercicio: Comprobar que la relacion es de equivalencia.
Denicion 2.3.2 Sea G un grupo y sea N G. Consideremos el conjunto G/N =
gN : g [ G. Sea la operacion:
: G/N G/N G/N
(g
1
N, g
2
N) (g
1
g
2
)N
Veamos si con esta operacion, podemos dotar al conjunto G/N de estructura de grupo.
En primer lugar, veamos que la operacion est a bien denida y comprobemos despues
por la Proposicion 1.2.2 que es un grupo.
Sean x
1
, x
2
, y
1
, y2 G : x
1
N = x
2
N e y
1
N = y
2
N . Entonces x
2
x
1
N e
y
2
y
1
N z
1
, z
2
N tales que x
2
= x
1
z
1
e y
2
= y
1
z
2
. Por tanto, x
2
y
2
N =
x
1
z
1
y
1
z
2
N = x
1
y
1
z
1
z
2
N = xyN. La comprobacion ahora de que posee estructura de
grupo sera trivial.
Ademas sabemos que ord(G/N) = [G : N] =
ord(G)
ord(N)
Ejercicio:
Sea G un grupo y N G. Sea la aplicacion:
: G G/N
g gN
Comprobar que es un homorsmo con Ker() = N.
11
2.4. Teoremas de Isomorfa
1
o
Teorema de Isomorfa 2.4.1 Sean G y G dos grupos y sea : G G

un
homomorsmo. Entonces:
G/Ker()

= Im()
Demostracion
Denimos la aplicacion: Para simplicar la notacion, K = Ker()
: G/Ker() Im()
aK() (a)
1. Veamos que es un homomorsmo:
((aK)(bK)) = ((ab)K) = (ab) = (a)(b) = (aK)(bK)
2. Claramente, es sobreyectiva.
3. Veamos que es inyectiva Ker() = eK
Sea e = (aK) = (a) a K e
1
a K aK = eK = K
2
o
Teorema de Isomorfa 2.4.2 Sea G un grupo. Sea N G, H < G. Entonces:
1. N NH
2. H N H
3.
NH
N

=
H
HN
Demostracion
1. Por la denicion de NH, sabemos que N NH. Sea h H, n N, y g G.
Entonces ghng
1
= (ghg
1
)(gng
1
) HN, luego N NH.
2. Consideremos la aplicacion:
: H NH/N
h hN
Veamos que es un homomorsmo con Ker() = H N
(gh) = ghN = (gN)(hN) = (g)(h) g, h H
Finalmente , obtenemos que Ker() = h H [ hN = N = N H. Por
tanto, por el 1
o
Teorema de Isomorfa, se tiene que:
NH
N

=
H
Ker()
=
NH
N

=
H
H N
12
3
o
Teorema de Isomorfa 2.4.3 Sea G un grupo, N G, K G tales que N K.
Entonces:
1. K/N G/N
2.
G/K
N/K

=
G
N
Demostracion
Sea la aplicacion:
: G
G/K
N/K
a aK(N/K)
(ab) = [(ab)K](N/K) = [(aK)(bK)](N/K) = [(aK)(N/K)][(bK)((N/K)] = (a)(b)
Por tanto, es un homomorsmo. El Ker() = x G [ (x) = N/K. Pero
este conjunto, es exactamente N, por tanto, por el 1
o
Teorema de Isomorfa:
G/K
N/K

=
G
N
Notacion:
1. [Ker(); G] = H G [ Ker() H
2. [e

, Im()] = T G

[ T Im()
Teorema de la Correspondencia: 2.4.4 Sean G y G dos grupos y la aplicacion
: G G

un homomorsmo de grupos. Denimos:

1.

(H) = (h) [ h H H [Ker(), G]

2.

(T) = x G [ (x) T T [e

, Im()]
[Ker(), G]

[e

, Im()]

[Ker(), G]
Entonces:
1.

(H)) = H H [Ker(), G]
2.

(T)) = T T [e

, Im()]
Demostracion
Por la denicion, sabemos que dichas aplicaciones estan bien denidas. Vemos las
igualdades por una doble contencion:
1.

Sea h H (h)

(H) h

(H))

Sea x

(H)) (x)

(H) h H tal que (x) = (h)

(x)(h)
1
= e

(xh
1
) = e

xh
1
Ker() H xh
1
= h

H
x = hh

H
13
2.

Sea y

(T)) (x) = y donde x

(T) (x) T y T.

Ya que T Im(), dado y T, y Im(), y = (x), para alg un x G.

T y = (x) x

(T) y = (x)

(T)).
Corolario 2.4.5 Sea G un grupo y N G. Consideramos la aplicacion:
: G G/N
a aN
es un epimorsmo de grupos con Ker() = N. Entonces los subgrupos del grupo
cociente, son de la forma H/N, donde H G, N H.
[N, G]

[(e), G/N]
2.5. Clase de Conjugaci on. Ecuacion de Clases
Denicion 2.5.1 Sea G un grupo nito. Denimos la relacion:
x y a G tal que y=axa
1
Dejamos como ejercicio la comprobacion de que la relacion es de equivalencia, tambien
conocida como la relacion de conjugacion. Dado x G, denotamos por C
x
a la clase de
conjugacion de x, esto es, C
x
= axa
1
[ a G. Como es relacion de equivalencia,
forman una particion en G tal que:
Para algunos C
x
, C
y

C
x
= C
y
y = axa
1
para un cierto a G.
C
x
C
y
=
G =
n

j=1
C
x
j
C
x
j
C
x
k
= j ,= k
Ecuacion de clases
[G[ =
n

j=1
card(C
x
k
) =
n

j=1
[C
x
j
[+
n

k=r+1
[C
x
k
[. Sabemos que x C
x
.Ademas, C
x
= x
x Z(G). Por tanto : [G[ = [Z(G)[ +
n

k=r+1
[C
x
k
[
Denicion 2.5.2 Fijamos x G. Denimos el normalizador de x, y lo denotamos
por N(x), al conjunto:
N(x) = a G [ axa
1
= x
Ejercicio: Comprobar que N(x) < G
14
Lema 2.5.3 Sea G un grupo. Dado a G. Entonces [C
x
[ = [G : N(x)] =
[G[
[N(x)[
Demostracion
Hay que demostrar que C
x
y aN(x) [ a G son equipotentes. Sea la aplicaci on:
: aN(x) [ a G C
x
aN axa
1
Para cualquier x, y G, podemos ver que x
1
Hx = y
1
Hy yx
1
= H xy
1

N(x) N(x)x = N(x)y.

Corolario 2.5.4 Sea G un grupo de orden p
n
donde p es primo y n 1, entonces
p [ [Z(G)[.
Demostracion
Si [G[ = p (n=1) G es cclico G es abeliano Z(G) = G.
En general,por la ecuacion de clases,[(C
x
k
)[ = [G, N(x)] =
|G|
|N(x)|
=
p
n
p
s
k
= p [
|G|
|N(x)|
Corolario 2.5.5 Todo grupo de orden p
2
es abeliano (p primo).
Demostracion
Por el corolario anterior, Z(G) no es trivial.
[Z(G)[ =

p
p
2
Z(G) = G G es abeliano.
Sea pues [Z(G)[ = p Z(G)G = G/Z(G) el grupo cociente. [
G
Z(G)
= [G : Z(G)] =
|G|
|Z(G)|
= p, que implica que G/Z(G) es un grupo cclico.
a G [ G/Z(G) = Z(G), aZ(G),...., a
p1
Z(G) cuya union es disjunta. Entonces:
G = Z(G) aZ(G)... a
p1
Z(G). Para algunos i j, y para t, r Z(G), tenemos que
x = a
i
r, y = a
j
t. Pero entonces, xy = a
i
ra
j
t = a
i
a
j
rt = a
j
a
i
tr = a
j
ta
i
r = yx y
por tanto, G es abeliano, es decir, Z(G) = G. Pero [Z(G)[ = [G[ > p, lo que es una
contradicci on.
2.6. Grupo de los automorsmos de un grupo cclico
Proposicion 2.6.1 Sea G = < a > un grupo cclico de orden n. Sea Aut(G).
Cuales son las posibles imagenes de a mediante ? (a) = a
k
Cuales son los posibles
valores de k? G = < a > ord(a) = n = ord((a)) [G[ = n m.c.d(k,n) = 1
Ejemplos:
1. Aut(C
5
) C
5
=< a > ord(a) = 5. Como 5 es primo, los primos relativos
con 5 son 1,2,3,4, es decir, [Aut(C
5
)[ = 4
Sea G = Aut(C
5
). Las posibilidades para G son C
4
o C
2
C
2
. Sea la apli-
cacion:
15
: C
5
C
5
a a
2
Entonces Aut(C
5
)

= C
4
2. Aut(C
7
) C
7
=< a > ord(a) = 7. Como 7 es primo, los primos relativos
con 5 son 1,2,3,4,5,6, es decir, [Aut(C
7
)[ = 6
Sea G = Aut(C
7
). Las posibilidades para G son C
6
o D
3
. Sea la aplicacion:
: C
7
C
7
a a
3
Entonces Aut(C
7
)

= C
6
3. Aut(C
6
) C
6
=< a > ord(a) = 6. Los primos relativos con 6 son 1,5, es
decir, [Aut(C
6
)[ = 2
Sea G = Aut(C
6
). Sea la aplicacion:
: C
6
C
6
a a
5
Entonces Aut(C
6
)

= C
2
4. Aut(C
12
) C
12
=< a > ord(a) = 12. Los primos relativos con 12 son
1,5,7,11 es decir, [Aut(C
12
)[ = 4
Sea G = Aut(C
12
). Las posibilidades para G son C
4
o C
2
C
2
. Sea la apli-
cacion:
: C
12
C
12
a a
5
Entonces Aut(C
12
)

= C
2
C
2
Proposicion 2.6.2 Sea (A, +, ) un anillo. Sea Gr(A) el grupo de los elem. inver-
sibles de A. Sea (A,+) un grupo aditivo de A. Consideremos la aplicacion:
: Gr(A) Aut(A, +)
a
a
donde
a
= ax (x A). Entonces es un monomorsmo de grupos.
Demostracion
(a +b) =
a+b
= (a +b)x = ax +bx =
a
+b = (a) +(b).
Sea a Ker() (a) = 0 ax = 0 a = 0 Luego es inyectiva, y es un
monomorsmo de grupos.
16
Proposicion 2.6.3 Cuando podemos armar que : Gr(A) Aut(A, +) es un
isomorsmo de anillos?
Solucion
Supongamos que el anillo (A, +, ), el grupo aditivo (A,+) es cclico nito y que
esta generado por 1 (unidad de A). (A, +)

= (Z
n
, +)
Sea f Aut(A,+). f queda determinado por la imagen de 1. f(1) = k1, donde k es
primo relativo con n, mcd(k,n) = 1. Luego Aut(A, +)

= Gr(A)
Repasando los ejemplos anteriores:
1. Aut(Z
5
, +)

= Gr(Z
5
, x, )

= C
4
2. Aut(Z
6
, +)

= Gr(Z
6
, x, )

= C
2
3. Aut(Z
6
, +)

= Gr(Z
7
, x, )

= C
6
4. Aut(Z
12
, +)

= Gr(Z
12
, x, )

= C
2
C
2
En general, Aut(Z
p
, +) donde p es primo, Z
p

= C
p1
2.7. Ejercicios
1 Sea : G G un automorsmo. Comprobar que cada a G, ord(a) = n si y
solo si ord((a)) = n
2 Sea G un grupo. Probar que si H es un subgrupo de G y si G no tiene otros
subgrupos isomorfos a H, entonces H es un subgrupo normal de G.
3 Sea un homomorsmo de grupos. Demostrar que (e) = e

y (x
1
) = (x)
1
.
4 Sea G un grupo y sea N G. Sea la aplicacion:
: G G/N
g gN
Comprobar que es un homomorsmo con Ker() = N.
5 Sea G un grupo y sea x G. Probar que N(x) < G.
6 Sean p
1
, p
2
, p
3
tres n umeros primos distintos. Consideremos la aplicaci on:
f : Z Z
p
1
Z
p
2
Z
p
1
x (x, x, x)
Demostrar que f es un homomorsmo de grupos sobreyectivo. Cual es el n ucleo de
f ?
17
Captulo 3
Ejemplos y clasicaci on de
algunos grupos
3.1. Grupo de Permutaciones
Denicion 3.1.1 Una permutacion de un conjunto A es un aplicacion biyectiva de
A en A.
Proposicion 3.1.2 Sea X un conjunto y sea B(X)=Aplicaciones biyectivas de X .
Entonces (B(X),) tiene estructura de grupo.
Demostracion
1. Asociativa: Trivial, ya que la composicion de aplicaciones es asociativa.
2. Elemento neutro: La aplicacion identidad.
3. Elemento inverso: Como la aplicacion es biyectiva, sabemos que existe inversa.
Si a B(X) a
1
B(X) tal que aa
1
= a
1
a = e
Cuando X es un conjunto nito, X 1, 2....n. Normalmente llamaremos al conjunto
B(X) = S
n
y ademas sabemos que [S
n
[ = n!
Notacion Sea S
n
el grupo de las aplicaciones biyectivas de un conjunto X de n
elementos, y sea S
n
. Una permutacion la vamos a denotar:
=

1 2 3 .... n

1

2

3
.....
n

donde
k
= (k)
Ejemplo:
Sea A =1, 2, 3, 4, 5 y las permutaciones:
=

1 2 3 4 5
4 2 5 3 1

1 2 3 4 5
3 4 5 2 1

18
Entonces:
=

1 2 3 4 5
2 4 1 5 3

Tambien podemos denotar las permutaciones con notacion ciclica = (1, 2, 5, 3) y

decir que tiene ciclo de longitud 4. En general, la permutacion = (x
1
, x
2
, ...., x
n
) es
un ciclo de longitud n. Esto nos conduce a la siguiente denicion.
Denicion 3.1.3 Una permutacion de un conjunto A es un ciclo de longitud n si
existen a
1
, a
2
, ...a
n
A tales que
(a
1
) = a
2
(a
2
) = a
3
.... (a
n1
) = a
n
(a
n
) = a
1
y (x) = x para cada x A tal que x / a
1
, a
2
, ...a
n

Denicion 3.1.4 Un ciclo de longitud 2 es una transposicion.

Teorema de Cayley-Hamilton 3.1.5 Todo grupo nito G de orden n es isomorfo
a un subgrupo de S
n
.
Demostracion
Sea G = x
1
, x
2
, ..., x
n
y consideremos las aplicaciones:
: G Biyec(G)
a
: G G
a
a
b ab
1. Veamos que es inyectiva

a
(b) =
a
(c) ab = ac b = c
2. Veamos que es sobreyectiva
Sea b G x G [
a
(x) = b ? = x = a
1
b.
Por tanto es biyectiva
3.
ab
(x) =
a

b
(x) ?

ab
= abx= a(bx) =
a
(bx) =
a
(x)
b
(x)
4. Veamos que es inyectiva
Sea a Ker()
a
= e b G,
a
(b) = b ab = b abb
1
=
bb
1
a = e b G
Denicion 3.1.6 Sea X =1, 2, ...n un conjunto y sea S
n
(S
n
es el grupo de
permutaciones de X). Dado x G, se dene la orbita de x como el conjunto:
(x) = x, (x),
2
(x), ...,
k
(x)
Ejemplo: Sea X =1, 2, 3, 4, 5 y sea la permutacion:
=

1 2 3 4 5
5 4 1 2 3

(1) = 1, 5, 3 ; (4) = 2, 4
19
Teorema 3.1.7 Toda permutacion de S
n
se puede expresar como composicion (pro-
ducto) de permutaciones cclicas disjuntas.
Demostracion
Supongamos, sin perdida de generalidad, que A= 1, 2, 3, ..., n. Consideremos los
elementos 1, (1),
2
(1),
3
(1), ... Como A es nito. sea r el mnimo que cumple

r
(1) = 1, porque si
r
(1) =
s
(1) con 0 < s < r, tendramos que
rs
(1) = 1, con
r s < r, que sera una contradiccion. Por tanto, sea
1
= (1, (1),
2
(1), ...
r1
(1)).
Sea i el primer elemento de A que no aparece en la notacion cclica de
1
. Repitiendo
el argumento anterior, obtenemos un ciclo
2
= (i, (i),
2
(i), ...,
f
(1)).
Obtenemos que
1
y
2
son disjuntos, ya que si tuvieran alg un elemento en com un
seran la misma permutacion. Siguiendo este procedimiento, podemos expresar como
=
1

2
...
m
.
Corolario 3.1.8 El conjunto de las permutaciones cclicas es un conjunto generador
de S
n
Teorema 3.1.9 Toda permutaci on cclica se puede expresar como una composicion
de transposiciones.
Ejemplos:
1. Sea S
6
=

1 2 3 4 5 6
6 4 1 5 2 3

Entonces = (1, 6, 3)(2, 4, 5) = (1, 6)(6, 3)(2, 4)(4, 5)

2. Sea S
9
=

1 2 3 4 5 6 7 8 9
3 7 5 9 1 6 2 4 8

Entonces = (1, 3, 5)(2, 7)(4, 9, 8) = (1, 3)(3, 5)(2, 7)(4, 9)(9, 8)

Denicion 3.1.10 Una permutacion de un conjunto nito es par o impar de acuerdo
con que pueda expresarse como el producto de un n umero para de transposiciones o
como producto de un n umero impar de transposiciones respectivamente.
Denicion 3.1.11 El subgrupo de S
n
que consta de las permutaciones pares de n
elementos es el grupo alternante A
n
de n elementos.
3.2. Grupo Diedrico
Denicion 3.2.1 Si n 2, el grupo diedrico D
n
es un grupo de orden 2n presentado
de la siguiente forma: D
n
= 1, a, a
2
, ..., a
n1
, b, ba, ..., ba
n1
, [a[ = n, [b[ = 2 y
ademas, aba = b. De esta manera, quedan determinados todos los elementos de D
n
.
Esta ultima ecuacion implica que a
k
ba
k
= b k Z, y por tanto, a
k
b = ba
k
= ba
nk
y [ba
k
[ = 2 k Z. En particular, ab=ba
n1
.
20
Ejemplos:
1. El grupo D
3
es isomorfo a S
3
2. El grupo D
2
es isomorfo al Grupo de Klein, ya que es abeliano ( ba = a
1
b = ab,
ya que [a[ = 2)
Proposicion 3.2.2 Sea G un grupo de orden 2p, donde p es primo, p > 2. Entonces
G

= C
2p
o G

= D
p
.
Demostracion
Por el T
a
de Lagrage, para alg un x G, ord(x) = 1,2,p o 2p.
1. Si x G x
2
= e G

= C
n
2
[G[ = 2
n
,= 2p. Sera una contradiccion.
2. Si a G [ ord(a) = 2p G

= C
2p
3. Si a G [ ord(a) = p. Sea H = < a >= e, a, a
2
, ...a
p1

[G : H] =
|G|
|H|
= 2 b G H [ G = H Hb = Hb
2
= H
b
2
H

1)b
2
= e
2)b
2
= a
k
k = 1, ..., p 1 G es ciclico ord(a) = 2p
Sup. que ord(b) ,= 2p, entonces ord(b) = p p = 2r+1
e = b
p
= b
2r+1
= b
2r
b = (b
2
)
r
b = a
kr
b b = a
kr
H Contradiccion. Por
tanto, ord(b) = 2p. Falta por determinar ba = ?
Si ba =

ab G

= C
2p
a
p1
b G

= D
p
Sup. por el contrario que ba =a
k
b k > 1 k < p 1 mcd(k, p) = 1
Por la igualdad de Bezout, 1 = kr + sp r, s Z. ba = a
k
b a = ba
k
b = a
r
=
ba
kr
b = bab = a
k
= a
r
= a
k
2
= a
rk
= a = a
k
2
1
= p [ (k
2
1) =
p [ ((k + 1)(k 1)) p [ (k + 1) o p [ (k 1).
Pero k+1 < p y p es primo y k 1 ,= 0. Luego es una contradiccion si ba =
a
k
b k > 1 k < p 1.
3.3. Clasicaci on de grupos
En este apartado clasicaremos grupos seg un su orden,y veremos que no hay mas
salvo isomorsmo.
Proposicion 3.3.1 Los unicos grupos de orden 6 salvo isomorsmo son C
6
y D
3
.
Demostracion
Sea G un grupo tal que [G[ = 6. Por el T
a
de Lagrange, los posibles ordenes de
sus elementos son 1,2,3 y 6.
1. a G [ ord(a) = 6 G

= C
6
2. a G [ ord(a) = 6
21
a) a G [ ord(a) = 3 x G x
2
= e = [G[ = 2
n
,= 6 Contradiccion
b) a G [ ord(a) = 3
Sea H = < a >= e, a, a
2
Como [G : H]= 2 b GH [ G = HHb
con HHb = = G =< a, b > Para completar la tabla de multiplicacion
de G, necesitamos saber cuanto es b
2
=?? , ba =??.
1) Si Hb
2
= Hb b
2
= xb x = b H Contradiccion. Luego Hb
2
=
H b
2
H = e, a, a
2
.
b
2
=

b
2
= e
b
2
= a
b
2
= a
2
Si b
2
= a
k
k = 1, 2 G

= C
6
Sup que ord(b) ,= 6 ord(b) = 3 e = b
3
= b
2
b = a
k
b = b =
(a
k
)
1
H Contradiccion. Por tanto, b
2
= e
2) Falta por determinar ba = ??
ba =

ab = G

= C
2
x C
3

= C
6
a
2
b = G

= D
3
Proposicion 3.3.2 Los unicos grupos de orden 8 salvo isomorsmo son C
8
, D
4
,
C
4
C
2
, C
2
C
2
C
2
y Q.
Demostracion
Sea G un grupo tal que [G[ = 8. Por el T
a
de Lagrange, los posibles ordenes de
sus elementos son 1,2,4 y 8.
1. a G [ ord(a) = 8 G

= C
8
2. a G [ ord(a) = 8
a) a G [ ord(a) = 4 x G x
2
= e = G

= C
2
C
2
C
2
b) a G [ ord(a) = 4
Sea H = < a >= e, a, a
2
, a
3
Como [G : H]= 2 b G H [
G = H Hb con H Hb = = G =< a, b > Para completar la tabla de
multiplicacion de G, necesitamos saber cuanto es b
2
=?? , ba =??.
1) Si Hb
2
= Hb b
2
= xb x = b H Contradiccion. Luego Hb
2
=
H b
2
H = e, a, a
2
, a
3

b
2
=

b
2
= e
b
2
= a o b
2
= a
3
b
2
= a
2
a

Sup. que b
2
= a ; ord(a)=4 ; ord(b)=2.Falta por determinar ba =??
ba =

ab = G es abeliano = G

= C
4
C
2
a
3
b = G

= D
4
a
2
b =
Si ba = a
2
b a = ba
2
b ; a
2
= ba
4
b = b
2
= 3 a
2
= e Contrad.
22
b

Sup. que b
2
= a o b
2
= a
3
ord(b) = 8

b
4
= a
2
= e ord(b) > 4 ord(b) = 8
En ambos casos, G

= C
8
.
c

Sup. b
2
= a
2
ba =

ab G es abeliano G

= C
4
x C
2
a
3
b ba = b
3
a = b
2
= a
2
Contrad.
a
2
b = G

= Q
Proposicion 3.3.3 Los unicos grupos de orden 10 salvo isomorsmo son C
10
y D
5
.
Demostracion
Sea G un grupo tal que [G[ = 10. Por el T
a
de Lagrange, los posibles ordenes de
sus elementos son 1,2,5 y 10.
1. a G [ ord(a) = 10 G

= C
10
2. a G [ ord(a) = 10
a) a G [ ord(a) = 2 x G x
2
= e = [G[ = 2
n
,= 10 Contradiccion
b) a G [ ord(a) = 5
Sea H = < a >= e, a, a
2
, a
3
, a
4
Como [G : H]= 2 b G H [ G =
HHb con HHb = = G =< a, b >= e, a, a
2
, a
3
, a
4
, b, ab, a
2
b, a
3
b, a
4
b
Para completar la tabla de multiplicaci on de G, necesitamos saber cuanto
es b
2
=?? , ba =??.
1) Si Hb
2
= Hb b
2
= xb x = b H Contrad. Luego Hb
2
= H
b
2
H = e, a, a
2
, a
3
, a
4

b
2
=

b
2
= e
b
2
= a
b
2
= a
2
b
2
= a
3
b
2
= a
4
Si b
2
= a
k
k = 1, 2, 3, 4
Sup que ord(b) ,= 10 ord(b) = 5 e = b
5
= b
4
b = a
2k
b =
b = (a
2k
)
1
H Contradiccion. Por tanto, b
2
= e
2) Falta por determinar ba = ??
ba =

ab = G

= C
2
x C
5

= C
10
a
4
b = G

= D
5
a
2
b = V eamos que lleva a una contrad.
a
3
b = V eamos que lleva a una contrad.
Sup. ba=a
2
b a = ba
2
b a
3
= (ba
2
b)
3
= ba
6
b = bab = b(ba
2
b)b =
a
2
= a = e Contradiccion.
De la misma forma obtenemos que ba = a
3
b es una contradiccion.
23
Proposicion 3.3.4 Los unicos grupos de orden 14 salvo isomorsmo son C
14
y D
7
.
Demostracion
Sea G un grupo tal que [G[ = 14. Por el T
a
de Lagrange, los posibles ordenes de
sus elementos son 1,2,7 y 14.
1. a G [ ord(a) = 14 G

= C
14
2. a G [ ord(a) = 14
a) a G [ ord(a) = 2 x G x
2
= e = [G[ = 2
n
,= 14 Contradiccion
b) a G [ ord(a) = 7
Sea H = < a >= e, a, a
2
, a
3
, a
4
, a
5
, a
6
. Como [G : H]= 2 b GH [
G = H Hb con H Hb = = G =< a, b >=
e, a, a
2
, a
3
, a
4
, a
5
, a
6
, b, ab, a
2
b, a
3
b, a
4
b, a
5
b, a
6
b. Para completar la tabla
de multiplicacion de G, necesitamos saber cuanto es b
2
=?? , ba =??.
1) Si Hb
2
= Hb b
2
= xb x = b H Contrad. Luego Hb
2
= H
b
2
H = e, a, a
2
, a
3
, a
4

b
2
=

b
2
= e
b
2
= a
b
2
= a
2
b
2
= a
3
b
2
= a
4
b
2
= a
5
b
2
= a
6
Si b
2
= a
k
k = 1, 2, 3, 4, 5, 6
Sup que ord(b) ,= 14 ord(b) = 7 e = b
7
= b
6
b = a
3k
b =
b = (a
3k
)
1
H Contradiccion. Por tanto, b
2
= e.
2) Falta por determinar ba = ??
ba =

ab = G

= C
2
x C
7

= C
14
a
6
b = G

= D
7
a
2
b = V eamos que lleva a una contrad.
a
3
b = V eamos que lleva a una contrad.
a
4
b = V eamos que lleva a una contrad.
a
5
b = V eamos que lleva a una contrad.
Sup. ba=a
4
b a = ba
4
b a
2
= (ba
4
b)
2
= ba
8
b = bab = b(ba
4
b)b =
a
2
= a = e Contradiccion.
Por un procedimiento analogo se demuestra que los otros llevan a una
contradiccion.
Ejercicio: Determinar los grupos abelianos cuyos ordenes sean un producto de po-
tencias de exponentes de n umeros primos.
Solucion
24
Usaremos notacion aditiva. Sea G un grupo, [G[ = 24 = 2
3
3 Sea a = 8 y b =
3 m.c.d(8,3) = 1. Entonces Z = 8Z + 3Z En particular, 1 = 8x + 3y = 8(2) + 3(-5)
Seaa G

G es abeliano
[G[ = 24
a = (8 2) + (3 5)(1)a = a
1
+a
2
Entonces 3a
1
= 0 (T
a
de Lagrange). De la misma forma, 8a
2
= 0. Entonces ord(a
2
)
divide a 8
Sean G(2) = a G [ 2
3
a = 0; G(3) = a G [ 3a = 0 Hemos visto que
G = G(2) + G(3). Por tanto, G(2) y G(3) son subgrupos de G. Sea x G(2) G(3).
Entonces ord(x) = 8 y ord(x) = 3, es decir, ord(x) = 1 x = 0. Luego G = G(2)G(3)
[G(2)[ divisor de 8 y [G(3)[ divisor de 3 . Por tanto, [G(2)[ = 8 y [G(3)[ = 3, ya
que sino fuera as el producto no sera 24.
Pregunta: H K

= H L implica K = L ? Veamos con un ejemplo que no:
Sea Z
2
Z
2
= (0, 0), (1, 0), (0, 1), (1, 1)
Sean H = (0, 0), (1, 0)

= Z
2
, K = (0, 0), (0, 1)

= Z
2
y L = (0, 0), (1, 1)

= Z
2
.
Entonces A = H K y A = H L, con K ,= L.
25
3.4. Ejercicios
1 Encuentra la tabla de multiplicacion de D
4
, el grupo de simetras de un cuadrado.
2 Di el orden y el inverso de los elementos de D
4
3
=

1 2 3 4 5 6 7 8 9
3 7 5 9 1 6 2 4 8

1 2 3 4 5 6 7 8 9
4 3 9 1 8 7 5 2 6

Hallar
1
, ,
1
y expresar el resultado con notacion cclica.
4 Prueba que toda permutacion puede ser escrita como producto de transposiciones,
no necesariamente disjuntas
5
=

1 2 3 4 5
2 5 3 4 1

Hallar la orbita de en x = 2.
6 Dar otro ejemplo de grupos que veriquen que H K

= H L y K ,= L
7 Determinar los grupos abelianos de orden 36
8 Por que C
8
C
4
C
2
?
9 Calcula el centro de D
4
26
Captulo 4
Teoremas de Sylow
4.1. Producto Directo
Denicion 4.1.1 Sea G un grupo. Decimos que G es un p-grupo si todo elemento de
G tiene orden potencia de un primo p.
Denicion 4.1.2 Sea G un grupo, x G. Llamamos centralizador de x, y lo deno-
tamos por Cent(x) al conjunto:
Cent(x) = g G [ xg = gx
Ejercicio: Demostrar que x G; Cent(x) G
Denicion 4.1.3
1. Sea H un subconjunto de un grupo G. El subconjunto g
1
Hg = g
1
hg [ h H
es llamado el conjugado de H por g en G. Lo denotamos por g
1
Hg = H
g
.
2. Si H, K son subconjunto de un grupo G. Decimos que K es conjugado por H si
existe un elemento g de G tal que H
g
= K o equivalente, si K
g
1
= H.
Denicion 4.1.4 Sean G
1
, G
2
, ...G
n
grupos y sea G = G
1
G
2
... G
n
el
producto cartesiano de los conjuntos G
i
(1 i n). Se dene el producto directo de
los grupos G
i
(1 i n) con la operacion tal que (g
1
, g
2
, ..., g
n
) (h
1
, h
2
, ..., h
n
) =
(g
1
h
1
, g
2
h
2
, ..., g
n
h
n
), que se puede comprobar que es un grupo.
Teorema 4.1.5 El grupo G contiene subgrupos H
i
(1 i n) tales que:
1. Para cada i, H
i

= G
i
.
2. Para cada i, H
i
G.
3. G =< H
1
, H
2
, ..., H
n
>
4. Para cada i, H
i
< H
1
, H
2
, ..., H
i1
, H
i+1
, ..., H
n
>=< e >
Demostracion
Denimos H
i
= (e, e, ..., e, h
i
, e, ...., e) [ h
i
G
i
Es trivial comprobar que es un
subgrupo.
27
1. La aplicacion (e, e, ..., h
i
, e, ..., e) h
i
es claramente un isomormo. Luego
H
i

= G
i
.
2. La igualdad (g
1
, g
2
, ..., g
i
, ..., g
i1
, g
n
)
1
(e, e, ..., e, h
i
, e, ..., e, e)(g
1
, g
2
, ..., g
i
, ..., g
n
)
= (e, ..., e, g
1
i
h
i
g
i
, e, ..., e) muestra que H
i
G.
3. La igualdad (g
1
, g
2
, ..., g
n
) = (g
1
, e, e...)(e, g
2
, e...)(e, e, g
3
, e...)...(e, ..., g
n
) mues-
tra que G = < H
1
, H
2
, ..., H
n
>.
4. Se deja como ejercicio.
Notacion:
1. Cuando cada G
i
de la denicion sea abeliano y cuando usemos + para la opera-
cion binaria, entonces sustituiremos por . Por tanto, G sera la suma directa
de los G
i
y G = G
1
G
2
... G
n
.
2. En la primera denicion, el grupo G fue formado mediante los grupos G
i
, que no
eran subgrupos de G, solo eran isomorfos a subgrupos H
i
contenidos en G. Por
esta razon, G es tambien llamado el producto directo externo. Por el contrario,
si G satisface las condiciones i),ii),iii) del Teorema 4.1.5, decimos que G es el
producto directo interno de los H
i
.
Teorema 4.1.6 Sea G
1
, G
2
dos grupos (no necesariamente abelianos) y sean N
1
G
1
y N
2
G
2
. Entonces:
G
1
G
2
N
1
N
2

=
G
1
N
1

G
2
N
2
Demostracion
Sea la aplicacion:
: G
1
G
2

G
1
N
1

G
2
N
2
(a
1
, a
2
) (a
1
N
1
, a
2
N
2
)
Esta aplicaci on es un epimorsmo con Ker () = N
1
N
2
. Por el 1
o
Teorema de
Isomorfa, obtenemos que
G
1
G
2
N
1
N
2

=
G
1
N
1

G
2
N
2
4.2. Producto Semidirecto
Proposicion 4.2.1 Sean H y K dos grupos cualesquiera. Sea la aplicacion:
: K Aut(H)
k
k
(h) = h
k
= khk
1
es un homomorsmo de grupos. Entonces H

K = (H K, ) es un grupo.
Demostracion
En primer lugar, demostraremos que la aplicacion es un homomorsmo. y despues
comprobaremos los axiomas de grupo.

k
(ab) = (ab)
k
= kabk
1
= (kak
1
)(kbk
1
) =
k
(a)
k
(b). Por tanto, es un ho-
momorsmo. Comprobemos ahora que (H K, ) tiene estructura de grupo.
28
1. Prop. Asociativa
((h
1
k
1
)

(h
2
k
2
))

(h
3
k
3
) = (h
1
h
k
1
2
, k
1
k
2
)

(h
3
k
3
) = (h
1
h
k
1
2
h
k
1
k
2
3
, k
1
k
2
k
3
)
(h
1
k
1
)

((h
2
k
2
)

(h
3
k
3
)) = (h
1
k
1
)

(h
2
h
k
2
3
, k
2
k
3
) = (h
1
(h
2
h
k
2
3
)
k
1
, k
1
k
2
k
3
).
Pero sabemos que h
1
h
k
1
2
h
k
1
k
2
3
= h
1
h
k
1
2
(h
k
2
3
)
k
1
= h
1
(h
2
h
k
2
3
)
k
1
2. Sea e
H
el elem. neutro de H y sea e
K
el elem. neutro de K, entonces (e
H
, e
k
)
H K.
(h,k)

(e
H
e
K
) = (he
K
H
, e
K
k) = (e
H
, k) = (h, k)
(e
H
, e
K
)

(h, k) = (e
H
h
e
K
, e
K
k) = (h
e
k
, k) = (h, k).
Es decir, el elemento neutro es (e
H
, e
K
)
3. El. inverso
Sea (h, k) G ((h
1
)
k
1
, k
1
) existe ya que H y K son grupos.
(h, k)

((h
1
)
k
1
, k
1
) = (h(h
1
)
k
1k
, kk
1
) = (hh
1
, e
k
) = (e
H
, e
K
)
Por la derecha se demuestra de forma analoga.
Por tanto, H

K = (H K, ) es un grupo.
Teorema 4.2.1 Sean K, L y H grupos. Sean las aplicaciones:
: K L : L Aut(H)
homomorsmos de grupos. = : K Aut(H)
Entonces existe un homomorsmo : H

K H

L
denido por (h, k) = (h, k).
Demostracion
La clave de la demostracion es la siguiente:
h
k
=
k
(h) =
k
(h) = h
k
Veamos que: ((h
1
, k
1
)

(h
2
k
2
)) = (h
1
, k
1
)

(h
2
, k
2
)
((h
1
, k
1
)

(h
2
k
2
)) = (h
1
h
k
2
, k
1
k
2
) = (h
1
h
k
1
2
, (k
1
k
2
)) = (h
1
h
k
1
2
, ((k
1
))((k
2
))) =
(h
1
, (k
1
))

(h
2
, (k
2
)) = (h
1
, k
1
)

(h
2
, k
2
)
4.3. Acciones sobre Grupos
Denicion 4.3.1 Sea G un grupo y sea X un conjunto. Se dene la accion de G en
X como una aplicacion : G X X tal que:
1. (e, x) = x x X, con e G el elemento neutro de G.
2. (g
1
g
2
, x) = (g
1
, (g
2
, x))x X, g
1
, g
1
G.
29
Nota: Normalmente, la accion de G sobre X se denotara por yuxtaposicion.
Consecuencias
Sea G x X X una accion de G sobre X. Consideremos la aplicacion:
: G Biy(X)
a
a
: X X
x ax
Es
a
: X X biyectiva ? Podemos comprobar que a G la aplicacion

a
: X X
x a.x
Posee inversa

a
1 : X X
x a
1
.x
Luego es biyectiva.
Ejemplos
1. Sea G un grupo y consideremos X = G como conjunto.
G x G G
(a, x) a.x = ax
2. Sea G un grupo y consideremos X = G como conjunto.
G x G G
(a, x) a.x = axa
1
3. Sea G un grupo y sea H G. Consideremos el conjunto: X = aHa
1
y la apli-
cacion:
G x X X
(a,T) aTa
1
Denicion 4.3.2 Dado x X. Se dene la orbita de X (respecto de la accion dada)
como el conjunto:
Orb(x) = G x = ax [ a G
Denicion 4.3.3 Se dene el estabilizador de un elemento x X, y se denota por
Est(x), como el conjunto:
Est(x)= a G [ ax = x
Ejercicio: Est(x) G
Proposicion 4.3.4 Sea la accion de G sobre X y sea x X. Entonces:
30
[Orb(x)[ = [G : Est(x)] =
[G[
[Est(x)[
Demostracion
Sea la aplicacion:
G Orb(x)
a ax
ax = bx a
1
bx = a a
1
b Est(x) aEst(x) = bEst(x)
Luego el n
o
de clases es el n
o
de elementos de la orbita.
4.4. Teoremas de Sylow
Primer Teorema de Sylow 4.4.1 Sea G un grupo de orden p

s, donde p es primo
y no divide a s, 1. Entonces para cada , 0 , G contiene un subgrupo de
orden p

.
Demostracion
1. Consideremos el caso en que G sea un grupo cclico.
[G[ = p

s, si 0 p

divide al [G[ = !S G tal que [S[ = p

2. Supongamos que G no es un grupo abeliano nito. Demostraremos el resultado

por inducci on sobre el orden de G. Por la ecuacion de clases:
[G[ = [Z(G)[ +
r

k=1
[C
k
[ =
l

k=1
[C
k
[ +
r

j=l+1
[C
j
[[C
k
[ = 1; [C
j
[ > 1
a) Supogamos que l + 1 j r [ p no divide a [C
j
[.
[C
i
[ = [G : Cent(g)] =
[G[
[Cent(g)[
=
p

s
[Cent(g)[
p

divide a [Cent(g)[
donde C
i
es la clase de conjugacion de un cierto elemento g.
[Cent(g)[ = p

t, donde t es un cierto divisor de s. Sabemos que [Cent(g)[ <

[G[, ya que G no es abeliano.
Si [Cent(g)[ = [G[ g Z(G) C
i
= g [C
i
[ = 1. Por tanto,
[Cent(g)[ = p

t donde t < s. Ahora podemos utilizar la hipotesis de induc-

cion, y por tanto:
[Cent(g)[ < [G[ Cent(g) contiene un subgrupo de orden p

.
b) Supongamos que p divide a [C
j
[ j l + 1, l + 2, ..., r
Por la ecuacion de clases;
[G[ = [Z(G)[ +
r

k=1
[C
k
[ =
l

k=1
[C
k
[ +
r

j=l+1
[C
j
[ = p divide a [Z(G)[
31
Hemos visto antes que Z(G) contiene un subgrupo de orden p. Sea Y este
subgrupo de orden p, Y Z(G) Y G. Como Y Z(G), entonces
gY g
1
= Y . Consideramos el grupo cociente G/Y. Para considerar el co-
ciente, hay que ver que Y es un subgrupo normal y que su orden es menor
que el de G.
[G/Y [ = [G : Y ] =
[G[
[Y [
=
p

s
p
= p
1
s
Denicion 4.4.2 Sea S G [S[ = p

S se llama p-subgrupo de Sylow.

Si llamamos n
p
al n umero de p-subgrupos de Sylow de G, entonces se cumple que:
1. n
p
es un divisor de s
2. n
p
1 (mod p)
Denicion 4.4.3 Sea G un grupo y sean X G, Y G. Diremos que Y es un
conjugado de X si a G [ Y = aXa
1
= X
a
.
Ejercicio: Comprobar que la relacion es de equivalencia.
Lema 4.4.4 Sea [G[ = p

s. Sea P un p-subgrupo de Sylow de G. Sea a G tal que

1. ord(a) = p

2. P
a
= P
Entonces a P.
Demostracion
aPa
1
= P a Nor(P) P. Sea la aplicacion:
: Nor(P) Nor(P)/P
b b
a
Nor(P)
P
ord(< a >) = p

1
(< a >) Nor(P) P
1
(< a >) Nor(P) = a P
Segundo Teorema de Sylow 4.4.5 Sea G un grupo nito, [G[ = p

s donde p es
primo, 1 y p no divide a s. Sea P p-subgrupo de Sylow de G [P[ = p

.
Entonces todo p-subgrupo Q de Sylow de G es conjugado con P. Q = P
a
= aPa
1
para alg un a G.
Demostracion
Sea P un p-subgrupo de Sylow y sea K = P = P
0
, P
1
, ..., P
r
que denota el conjunto
de todos los conjugados distintos de P en G. Claramente cada uno es un p-subgrupo de
Sylow. Podemos decir que la relaci on P
i
P
j
P
a
i
= P
j
para alg un a P. Sea P
su clase de equivalencia. Entonces el n umero de conjugados de P es [P : P N
G
(P
k
)[
que es potencia de p. Podemos ver que el n umero de conjugados P
1
, ..., Pr se dividen
en clases cada una m ultiplo de p elementos. Por tanto, el n umero de conjugados de
P en G es de la forma 1 + mp.
32
Supongamos por reduccion al absurdo, que existe Q p-subgrupo de Sylow que no es
conjugado a P. Entonces [X[ = rp y por tanto, 1 + mp = rp. Lo cual, es una contra-
diccion, ya que 1 = rp-mp = p(r-m) y r-m ,= 0 y p no divide a 1.
Proposicion 4.4.6 Sea G un grupo y sea P un p-subgrupo de Sylow. Si n
p
= 1, en-
tonces P G.
Demostracion
Si n
p
= 1, entonces existe un unico conjugado con P, y como P es un conjugado
consigo mismo, entonces P es un subgrupo normal de G.
Ejemplo: Un grupo G tal que [G[= 42 no es simple. 42 = 732
1. p = 7 42 = 7 6 m.c.d(7,6) = 1
2. p = 3 42 = 3 14 m.c.d(3,14) = 1
3. p = 2 42 = 21 2 m.c.d(2,21) = 1
Por el 1
o
Teorema de Sylow, sabemos que hay al menos un subgrupo de orden 7, otro
de orden 3 y otro de orden 2. Si consideramos p = 7 Cuantos 7-subgrupos de Sylow
puede poseer G?
n
7
es un divisor de 6
n
7
1 (mod 7)
Por tanto, n
7
= 1 y G no es simple. Podramos haber hecho el mismo razonamiento
con p = 2 o p=3 y haber comprobado si hay alg un p-subgrupo.
Ejemplo: Un grupo G tal que [G[ = 56 no es simple. 56 = 2
3
7
1. p = 7 56 = 87 m.c.d(8,7) = 1
2. p = 2 56 = 28 2 m.c.d(28,2) = 2 Por el 1
o
Teorema de Sylow, sabemos
que hay al menos un subgrupo de orden 7 y otro de orden 2. Consideremos p = 7
n
7
es un divisor de 8
n
7
1 (mod 7)
Luego, n
7
= 1 y G no es simple.
4.5. Aplicacion del Teorema de Sylow. Apendice
Proposicion 4.5.1 Sea G un grupo de orden [G[ = p

s, donde p es primo y no
divide a s. Sea H un subgrupo de G tal que [H[ = p

donde . Entonces H
esta contenido en un p-subgrupo de Sylow de G.
Demostracion
Sea X = P G [ P es un p-subgrupo de Sylow de G . Hemos probado que
[X[ 1 (mod p) y [X[ [ s. Consideremos la accion del grupo H sombre H (por
conjugacion)
33
HxX X
(h,p) hPh
1
h H.
X = C
1
C
2
.... C
m
donde C
i
son las distintas clases de conjugaci on del p-
subgrupo P
i
de Sylow.
[C
i
[ = [H; Est(P
i
)] = p

i
donde
i
0. Cu ando [C
i
[ = 1? Est(P
i
) = H? Sea
p
i
C
i
= p
h
i
[ h H. Entonces [C
i
[ = 1 C
i
= p
i
p
h
i
= p
i
h H h
P
i
H P
i
.
Sup, por reduccion al absurdo, [C
j
[ > 1 j = 1, 2, ...m
p [ [C
j
[ j = 1, 2, ...m = p [ [X[.
Y por tanto, una contradiccion, ya que X 1 (mod p).
Teorema 4.5.2 Cualquier grupo de orden 12 es isomorfo a:
Z
12
, (Z
2
)
2
Z
3
, A
4
, D
6
o al producto semidirecto no trivial Z
3
Z
4
Demostracion
Sea [G[ = 12 = 2
2
3 Aplicando el T
a
de Sylow, obtenemos que :
n
2
[ 3 y n
2
1 (mod 2) n
3
[ 4 y n
3
1 (mod 3).
Queremos que n
2
= 1 o n
3
= 1. Supongamos que n
3
,= 1, entonces n
3
= 4 Un
3-subgrupo de Sylow tiene orden 3, luego hay dos 3-subgrupo diferentes con inter-
seccion el elemento neutro. Cada uno de los cuatro 3-subgrupo de Sylow tiene dos
elementos de orden 3 que no est a en ning un otro 3-subgrupo de Sylow. Lo cual, el
n umero de elementos de G de orden 3 son 8 ( 24 = 8). Por tanto, hay 4 elementos
de G que no tienen orden 3.
El 2-subgrupo de Sylow tiene orden 4 y no contiene elementos de orden 3, y por
tanto, solo existe un unico 2-subgrupo de Sylow, es decir, n
2
= 1 si n
3
,= 1.
Sea P un 2-subgrupo de Sylow y Q un 3-subgrupo de Sylow de G, entonces P o Q
es normal en G = PQ ( si P Q = e y tienen tama nos apropiados). Entonces
P

= Z
4
o P

= (Z
2
)
2
y Q

= Z
3
por tanto, G es alguno de los siguientes productos
semidirecto:
Z
4
Z
3
, (Z
2
)
2
Z
3
, Z
3
Z
4
, Z
3
(Z
2
)
2
Ya que los subgrupos de Sylow son abelianos, el producto semidirecto es abeliano .
Determinaremos todos los productos semidirecto, salvo isomorsmo, calculando todas
los posibles formas de actuar Z
4
y (Z
2
)
2
bajo un automorsmo en Z
3
y todas las
posibles formas de actuar Z
3
bajo un automorsmo sobre Z
4
y (Z
2
)
2
.
En primer lugar, necesitamos conocer el automorsmo de grupos de los siguientes
grupos:
Aut(Z
4
)

= (Z
4
)

, Aut((Z
2
)
2
)

= GL
2
(Z
2
), Aut(Z
3
)

= (Z
3
)
x
Separaremos los casos dependiendo de si n
2
= 1 o n
3
= 1. En primer lugar, supon-
dremos n
2
= 1. Entonce el 2-subgrupo de Sylow es normal y el 3-subgrupo de Sylow
actuando sobre el. Consideremos en primer lugar,
Z
4
Z
3
, (Z
2
)
2
Z
3
34
En el primer producto semidirecto, el homomorsmo Z
3
(Z
4
)
x
es trivial, ya que
el dominio tiene orden 3 y el codominio tiene orden 2, nuego el primer producto se-
midirecto tiene que ser el trivial: el producto directo de Z
4
Z
3
es cclico de orden
12(esta generado por (1,1).
En el segundo producto semidirecto, queremos saber todos los homomorsmos de
Z
3
GL
2
(Z
2
). El homomorsmo trivial nos lleva al producto directo (Z
2
)
2

Z
3
.Que sabemos del homomorsmo trivial Z
3
GL
2
(Z
2
)?. Dentro de GL
2
(Z
2
)
hay un subgrupo de orden 3:

1 0
0 1

0 1
1 1

1 1
1 0

Un homomorsmo no trivial : Z
3
GL
2
(Z
2
) esta determinado mandando 1 mod 3
a una de las dos matrices A de orden 3. Las dos matrices de orden 3 en GL
2
(Z
2
) son
inversas una de otra ,y la precomposicion uno de estos homomorsmos Z
3
GL
2
(Z
2
con la negacion en Z
3
se convierte en el otro homomorsmo, ya que convierte el va-
lor en 1 mod 3 en el inverso de lo que era en un principio. Sin embargo, los dos
homomorsmos no triviales Z
3
GL
2
(Z
2
) son la misma formacion que un auto-
morsmo de Z
3
y en consecuencia, es isomorfo al producto semidirecto. Por lo que
hay un isomorsmo con el producto semidirecto no trivial (Z
2
)
2
Z
3
, ademas de el
producto trivial (Z
2
)
2
Z
3
.
Concretamente, el producto semidirecto no trivial (Z
2
)
2
Z
3
es isomorfo a A
4
, ya
que mostramos que solo hay un grupo no abeliano de orden 12 con n
2
= 1 y A
4
se
ajusta a esto,
Ahora, haremos el caso de n
2
,= 1, por lo tanto n
2
= 3 y n
3
= 1. Encontraremos
dos grupos isomorfos, ambos no abelianos. Nuestro grupo es el producto semidirecto:
Z
3
Z
4
, Z
3
(Z
2
)
2
Ya que n
2
= 1, el grupo no es abeliano, luego el producto semidirecto tampoco es
abeliano. Buscamos homomorsmos no triviales Z
4
Aut(Z
3
) = (Z
3
)
x
y (Z
2
)
2

(Z
3
)
x
. Hay solo un homomorsmo no trivial Z
4
(Z
3
)
x
(1 mod 4 tiene que ir a
-1 mod 3 , y todos los elementos quedan determinados), que de hecho es c mod 4
(1)
c
, por lo que tenemos un producto semidirecto no trivial Z
3
Z
4
. Explicita-
mente, el operacion del grupo es (a,b)(c,d) = (a+(1)
b
c, b +d).
Tenemos 3 homomorsmos no triviales de (Z
2
)
2
(Z
3
)
x
, (Z
2
)
2
tiene dos gene-
radores, (1,0) y (0,1) y un homomorsmo no trivial (Z
2
)
2
(Z
3
)
x
que manda los
genereradores a 1, sin mandar ambos al 1. Usando las matrices de orden 2 2
sobre Z
2
para mover vectores no nulos en (Z
2
)
2
, el tercer homomorsmo no trivial
(Z
2
)
2
(Z
3
)
x
puede ser transformado entre si bajo la composicion de uno de ellos
con un automorsmo de (Z
2
)
2
. Sin embargo, el tres productos semidirecto no trivial
Z
3
(Z
2
)
2
son isomorfos, de esta manera todos los grupos no abelianos de orden 12
con n
3
= 1 y 2-subgrupos de Sylow isomorfos sobre (Z
2
)
2
son isomorfos. Concreta-
mente, uno de estos grupos es D
6
.
Si nos encontramos con un grupo de orden 12, podemos decidir cual de los 5 gru-
pos es isomorfo diciendo si es abeliano o no, y en el caso de que no sea abeliano, si
el 2-subgrupo de Sylow es normal (en este caso es isomorfo a A
4
o si el 3-subgrupo
de Sylow es normal junto con 2-subgrupo de Sylow que son cclicos o no son cclicos
(producto semidirecto no trivial Z
3
Z
4
en el primer caso, D
6
en el segundo caso)
35
Otra manera de distinguir los tres grupos no abelianos de orden 12 es contando el
n umero de elementos de orden 2: D
6
tiene 7 elementos de orden 2, A
4
tiene 3 ele-
mentos de orden 2 y Z
3
Z
4
tiene un elemento de orden 2.
4.6. Ejercicios
1 Demostrar que si [G[ = 48, entonces G no es simple.
2 Demostar que x G; Cent(x) G.
3 Demostrar que Est(x) G.
4 Sea G un grupo y sean X G, Y G. Diremos que Y es un conjugado de X si
a G [ Y = aXa
1
. Comprobar que la relacion es de equivalencia.
36
Bibliografa
[1] Antonio Fern andez, Apuntes de clase
[2] R.B.J.T. Allenby, Rings, Fields and Groups
Second Edition (1993)
[3] John B. Fraleigh, A First Course in Abstract Algebra
Fourth Edition(1989)
[4] W. Keith Nicholson, Introduction to Abstract Algebra
Second Edition(1999)
[5] Keith Conrad, Groups or order 12
37