Apuntes Teoria (Jorge)

TEOR
IA DE GRUPOS
Jorge Espinoza Espinoza
Marzo 2008
(Apunte en construccion)
En teora, entre la teora y la practica no hay
ninguna diferencia, pero en la practica si la hay
En el principio era el Verbo
(S. JUAN, 1,1 )
Indice general
Introduccion V
Simbologa VII
1. Grupos y Subgrupos 1
1.1. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1. Conceptos Basicos . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3. Ejercicios Resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4. Verdadero o Falso? . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5. Ejercicios Propuestos . . . . . . . . . . . . . . . . . . . . . . . . . 14
2. Grupos Generados y Grupos Cclicos 19
2.1. Grupos Generados . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.2. Grupos Cclicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3. Subgrupos Notables 31
3.1. Normalizador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.2. Centralizador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.3. Centro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.4. Conmutador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.5. Conjugado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
4. Clases Laterales y Subgrupos Normales 43
4.1. Clases Laterales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4.2. Teorema de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.2.1. Biografa de J.L. Lagrange . . . . . . . . . . . . . . . . . . 48
IV

INDICE GENERAL
4.2.2. Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.3. Subgrupos Normales . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.6. Producto Directo Interno y Externo . . . . . . . . . . . . . . . . . 61
4.6.1. Producto Directo Externo . . . . . . . . . . . . . . . . . . 61
4.6.2. Producto Directo Interno . . . . . . . . . . . . . . . . . . . 62
5. Homomorsmos 67
5.1. Conceptos principales . . . . . . . . . . . . . . . . . . . . . . . . . 67
5.1.1. Ejercicios Resueltos . . . . . . . . . . . . . . . . . . . . . . 75
5.2. Breve estudio del Grupo Hom . . . . . . . . . . . . . . . . . . . . 79
5.5. Teoremas del Isomorsmo . . . . . . . . . . . . . . . . . . . . . . 86
5.6. Automorsmo Interior de un Grupo . . . . . . . . . . . . . . . . . 99
5.7. Como mostrar que dos Grupos no son Isomorfos . . . . . . . . . . 101
6. Accion de un Grupo sobre un Conjunto 107
6.1. Accion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
6.2. Acciones destacables . . . . . . . . . . . . . . . . . . . . . . . . . 108
6.3.

Orbita y Estabilizador . . . . . . . . . . . . . . . . . . . . . . . . 109
7. Ejercicios de Catedras 119
7.1. Catedra 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
7.2. Catedra 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
7.3. Catedra 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
7.4. Examen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
Bibliografa 143
Introduccion
Primero que todo, quiero dejar claro que este apunte fue construidos a base de
extracciones de varios textos, los cuales estan mencionado en la bibliografa, y que
por lo personal, creo que son unos textos grandiosos y muy completos en cuanto
a estructuras algebraicas, de las cuales destacan; los Grupos, Anillos y Cuerpos.
La motivacion que me llevo a escribir a cerca de Grupos, resalta en entregar un
material visto del lado estudiantil y transmitir a mis pares, que el pensamiento
abstracto podemos llevarlo acabo si tenemos una mejor explicacion de conceptos
mnimos requeridos en este curso, y porque no? auto-exigirse e idealizarse res-
puestas para cada problema que nos parezcan imposibles de realizar, ya que
aunque sea el esfuerzo que vamos a emplear para entender una denicion o un
teorema, va a ser valorizado tal vez, para resolver problemas de menor dicul-
tad, pero los cuales seran los que nos abriran el acceso para resolver los ejercicios
monstruos que se presentan en este curso.
Principalmente, el objetivo de este apunte es mostrar detalladamente y con expli-
caciones precisas las nociones basicas de cada contenido del curso y por supuesto
mostrar concretamente con ejemplos, de que trata cada tema del curso de Teora
de Grupos. Trate de ser lo mas practico posible (aunque fue un poco difcil), en
las demostraciones de teoremas y algunos ejercicios resueltos que incorpore con
el n de guiarlos en la solucion de problemas similares que se presentan en la
seccion de ejercicios propuestos. A proposito, los ejercicios que deje para que uste-
des resuelvan, los extraje de la coleccion de libros mencionados en la bibliografa
salvo de algunos que rescate de pruebas del profesor Daniel Jimenez y otros que
encontre en el internet que me parecieron interesantes.
Una de las secciones que incorpore al apunte, es la del verdadero o falso?, la cual
es inspirada por el libro [7], y que por lo personal, creo que es una muy buena
idea para la retencion de propiedades basicas, las cuales ayudan bastantes para la
resolucion de problemas.
Ahora solo me queda invitarlos a leer el apunte y a resolver los ejercicios incorpo-
rados los cuales complementan la gua proporcionada por el profesor. Tambien me
queda desearles mucha suerte y reiterarles que para aprobar este curso se requiere
VI 0. Introducci on
de un gran esfuerzo y constancia de ejercitacion.
Si encuentra algunos errores, o si tiene alg un tipo de observacion que
quiera comentar, por favor, enve un correo a;
j.espinoza uvalpo@hotmail.com.
Tabla de Simbologa
Smbolo Signicado
Para todo.
Existe.
No existe.
o
p [ q p tal que q.
y.
Conjunto vaco.
Implica.
Si y solo si.
Contenido.
:= Se dene.
Pertenece.
, No pertenece.
Por lo tanto.
N N umeros Naturales.
Z N umeros Enteros.
Q N umeros Racionales.
R N umeros Reales.
C N umeros Complejos.
GL
2
(K) Grupo General Lineal.
SL
2
(K) Grupo Especial Lineal
e Elemento neutro o identidad de un grupo abstracto.
f : G H Transformacion de G a H.
T(S) Conjunto potencia de S, donde S es no vaco.
m n m divide a n.
M.C.D.(n, m) Maximo com un divisor entre m y n.
M.C.M.(n, m) Mnimo com un m ultiplo entre m y n.
G H G intersectado con H.
G H G unido con H.
iI
H
i
Union disjunta de conjuntos H
i
con i I.
Smbolos Signicado
n
i =0
x
i
Suma de n elementos arbitrarios.
H G H es un Subgrupo de G.
< S > Grupo generado por el conjunto S.
[ A[ Orden del Grupo A.
G =< g > G es un Grupo cclico generado por g, donde g G.
GH Producto directo externo de G con H.
GH Suma directa externa de G con H.
Relacion de equivalencia.
G/H Conjunto de clases laterales izquierdas de G respecto de
H.
H G Conjunto de clases laterales derechas de G respecto de
H.
[G : H] N umero de clases laterales(izquierdas o derechas) de G
con respecto a H.
H G H es un Subgrupo normal de G.
G H Correspondencia biunvoca entre G y H.
n
i=1
G
i
Producto Directo Externo de una familia nita de Gru-
pos.
n
i=1
G
i
Suma directa de una familia nita de Grupos.
g h o g h g lo enva a h.
H G H incluido en G.
G

= H G es Isomorfo con H.
G ,
= H G no es Isomorfo con H.
g x g actuando en x.
O
x

Orbita de x.
G
x
Estabilizador de x.
Captulo 1
Grupos y Subgrupos
1.1. Grupos
Los Grupos son conjuntos no vacos, los cuales estan dotados con una operacion
binaria y que ademas cumplen con; asociatividad, existencia de elemento neutro y
existencia de inverso para cada elemento del conjunto. A continuacion veremos en
que consta cada una de estas propiedades y veremos que el conjunto evoluciona
a medida que adquiere una de las propiedades ya mencionadas.
1.1.1. Conceptos Basicos
Sea G un conjunto no vaco.
1. Diremos que G es un Grupoide (o que G cumple la clausura) si lo dotamos
de una funcion : G G G, donde (a, b) se denota como a b, para
cada par (a, b) GG. Esta funcion es llamada, por lo general, operacion
binaria o sencillamente producto.
Denotaremos por (G, ) la adjuncion de la operacion a G.
2. Diremos que G es un Semigrupo si cumple con:
i) (G, ) es un Grupoide.
ii) (a, b, c G) ((a b) c = a (b c))
O sea, () es una operacion Asociativa.
2 1. Grupos y Subgrupos
3. Diremos que G es un Monoide si cumple con:
i) (G, ) es un Semigrupo.
ii) (e G) (a G) (e a = a e = a)
Donde e es llamado elemento neutro o identidad de (G, ).
4. Diremos que G es un Grupo si cumple con:
i) (G, ) es un Monoide.
ii) (a G) (a
1
G) (a a
1
= a
1
a = e)
Donde a
1
es llamado elemento inverso de a.
1
5. Diremos que G es un Grupo Abeliano si, ademas de ser grupo, cumple
con:
(a, b G) (a b = b a)
Observacion 1 Para la operacion de un grupo, la notacion es habitualmente
multiplicativa y cuando el grupo es abeliano la notacion es aditiva. En este texto
en general ocuparemos para la operacion de un grupo cualquiera, pero
algunas veces omitiremos la operacion entre elementos, ya que un ejercicio se
puede poner muy engorroso con tanta notacion, tambien acordaremos, que algunas
veces solo anotaremos G en vez de (G, ) para denotar un grupo cualquiera. Ahora,
revisaremos unas notaciones que se usan por lo general en la mayora de los textos.
Sea G un grupo, g G; n N
0
.
(i) Notacion multiplicativa o en general.
g
0
= e (neutro)
g
n+1
= g
n
g
g
n
= (g
1
)
n
(ii) Notacion aditiva.
0 g = e (neutro)
1
a
1
es solo una notacion, no confundir con el inverso multiplicativo de a.
1.1. Grupos 3
Proposicion 1.1 Sea (G, ) un grupo. Entonces, tenemos lo siguiente:
(I) ! e G tal que ae = ea = a (a G) (unicidad de neutro)
(II) Sean a, b, c G, entonces:
Si a b = a c b = c
tambien b a = c a b = c
Esta se conoce como la propiedad de Cancelacion.
(III) Cada inverso izquierdo de un elemento en G, es tambien un inverso derecho
de ese elemento, ademas este es unico.
a b = e b = a
1
b a = e b = a
1
donde b es el unico inverso de a.
(IV) Para todo a G se tiene que:
(a
1
)
1
= a.
(V) Sean a, b G, entonces:
(a b)
1
= b
1
a
1
Generalizando; (a
1
a
2
a
n
)
1
= (a
n
)
1
(a
n1
)
1
(a
1
)
1
(VI) Si G es un grupo aditivo, entonces cumple con lo siguiente:
a) (x +y) n = x n +y n donde x, y G ; n Z
observaci on: x n = x + x + x + x + ....x (n-veces) Se conoce
como la potencia aditiva.
b) x (n + 1) = x n +x donde x G ; n Z
c) x (n m) = (x n) m
Demostraci on.
Demostracion (I)
Sea a G luego tenemos que a e = e a = a con e el neutro de G.
Ahora supongamos que existe e
G tal que, es otro neutro de G. Entonces;

a = a e = e a a G e e
= e
e = e
por otro lado

a = a e
= e
a a G e
e = e e
= e.
Entonces si juntamos las dos parte, tenemos que:
e = e e
= e
e = e
Demostracion (II)
Supongamos que b a = c a, luego como G es grupo, existe un elemento a
1
tal que a a
1
= a
1
a = e entonces tenemos que
b = b e = b (aa
1
) = (b a) a
1
= (c a) a
1
= c (aa
1
) = c e = c
b = c
Notese que la segunda parte de la demostracion es similar.
Demostracion(III)
Supongamos a b = e es decir, b es el inverso por la derecha de a. Ahora, lo
que debemos demostrar, es que b, tambien es el inverso por la izquierda de a.
Veamos que,
c c = c c = e c G
O sea que el unico elemento idempotente en G es el neutro. Ahora observemos que;
(b a) (b a) = b (a b)
. .
e
a = b a
Luego, por la observacion anterior tenemos que b a = e.
Entonces, queda demostrado que b es tambien el inverso izquierdo de a
1.1. Grupos 5
Las demostraciones (IV) y (V) se dejan de ejercicio (notar que en la proposicion
(IV) a y (a
1
)
1
son los inversos de a
1
, pero debemos recordar que los inversos son
unicos para cada elemento de un grupo. Similarmente se hace para la demostracion
(V)).
La demostracion (VI) tambien la dejaremos de ejercicio ( aca debemos utilizar la
observacion que se hace en esta proposicion )
1 Comentario
En realidad, conocemos muchos grupos, y con los cuales hemos trabajado a menudo
en clases, pero tal vez, desconocemos que se trata de un grupo y de las propiedades
que cumplen estos. Algunos ejemplos de grupos basicos, ya que son los mas ele-
mentales, son los siguientes:
(Z, +) (Q, +) (R, +) (C, +)
(T[x], +) (Q[i], +) (Z
n
, +)
(Z
p
, ) p primo (Q
, ) (R
, ) (C
, )
(Q
[i], ) (SL
n
(T), ) (R
+
, ) (C
+
, )
(Q
+
, ) (BiyX
n
, ) (S
n
, ) (D
n
, )
(R
n
, +) (1, 1, ) (T(X), )
X conjunto no vacio
Observacion 2 El grupo D
n
es el grupo de movimientos rgidos de un polgono
regular de n lados.
El grupo S
n
es el grupo de las permutaciones de un conjunto con n elementos.
Aca es importante destacar que D
n
S
n
(n 3), y cuando n = 3 entonces
D
n
= S
n
.
Los grupos S
n
= Biyx
n
, se puede decir que son ESTRUCTURALMENTE
IGUALES. Mas adelante profundizaremos en estos grupos que son tan impor-
tantes en la Teora de Grupos, por ahora, solo se necesita que se tenga la nocion
para poder trabajar un poco con estos. A continuacion mostraremos un ejemplo
del grupo Diedrico (D
n
).
Por lo general, utilizare T para denotar un Cuerpo. Ahora, se preguntaran que es
un Cuerpo? , tal vez algunos conozcan su denicion, pero no esta demas mencionar
que un cuerpo es sencillamente un conjunto T el cual (T, +) es un grupo abeliano
y (T
, ) es un grupo abeliano y ademas cumple con la propiedad distributiva(si

desean pueden ver una denicion mas precisa en el texto [7]).
Algunos interesantes
(M
n
(K), +); con K = Z; Q; R; C
Matrices de dimension n
2
(GL
n
(K), ); con K = Z; Q; R; C
Matrices invertibles de dimension n
2
(Biy(X, X), ) donde es la compuesta de funciones, y X es un conjunto no

vaco.
Funciones Biyectivas de X en X (f : X X [ f es biyectiva)
Sean (G, ), (H, ) dos grupos.
F(G, H) = f : G H[ f es una funcion
Luego, (F(G, H), ) es un grupo.
Otro ejemplo de grupo, es el conjunto de los Enteros de Gauss, el cual es un
grupo aditivo. Recordemos que denen como:
Z[i] := a +bi [ a, b Z
Si recordamos Algebra Lineal tenemos que si V es un T-espacio vectorial, entonces
los Endomorfismos de V es el conjunto que se dene a continuacion:
End(V ) := f : V V [ f es una transformacion lineal
1.1. Grupos 7
El conjunto End(V ) es un grupo con la suma(Se deja como ejercicio probar esta
armacion).
2 Comentario
Un grupo que es de gran interes destacarlo, es el de las simetras de un polgono
regular(solo los movimientos rgidos), en donde podemos darnos cuenta, de la
relacion que existe entre la geometra y la teora de grupos.
Consideremos un triangulo equilatero para nuestro ejemplo, donde a los vertices
les asignaremos los n umeros 1,2,3 y las simetras del triangulo seran los elementos
de nuestro grupo, es decir
Reexiones
1 2
3
T
1
1 2
3
T
2
1 2
3
T
3
Rotaciones
1 2
3
Id
rotar en 180
o
1 2
3
R
rotar en 60
o
1 2
3
R
2
rotar en 120
o
Nota: las rotaciones son en sentido opuesto a las agujas del reloj.
De estos Movimientos obtenemos las siguientes funciones:
T
1
: T
2
: T
3
:
1 1 1 3 1 2
2 3 2 2 2 1
3 2 3 1 3 3
R : R
2
: Id :
1 2 1 3 1 1
2 3 2 1 2 2
3 1 3 2 3 3
D
3
:= T
1
, T
2
, T
3
, R, R
2
, Id
(D
3
, ) es el grupo de los movimientos rgidos del triangulo equilatero, donde es
facil darse cuenta que el elemento neutro es la Id = R
3
.
Proposicion 1.2 Sea (G
i
,
i
) [ 1 i n un familia de grupos, entonces,
el conjunto G
1
G
2
... G
n
es un grupo dotado de la operacion denida como
sigue;
(g
1
, g
2
, ..., g
n
)(h
1
, h
2
, ..., h
n
) := (g
1
1
h
1
, g
2
2
h
2
, ..., g
n
n
h
n
)
Demostraci on. Vemos que es un operacion binaria (o sea, una funcion bien
denida), ya que las
i
lo son para cada 1 i n, luego, G
1
G
2
... G
n
es un grupoide. Ahora veamos que es asociativa.
Sean (g
1
, g
2
, ..., g
n
), (h
1
, h
2
, ..., h
n
), (k
1
, k
2
, ..., k
n
) G
1
G
2
... G
n
, entonces
tenemos lo siguiente;
(g
1
, g
2
, ..., g
n
)[(h
1
, h
2
, ..., h
n
)(k
1
, k
2
, ..., k
n
)] = (g
1
, g
2
, ..., g
n
)(h
1
1
k
1
, h
2
2
k
2
, ..., h
n
n
k
n
) =
= (g
1
1
[h
1
1
k
1
], g
2
2
[h
2
2
k
2
], ..., g
n
n
[h
n
n
k
n
]) = ([g
1
1
h
1
]
1
k
1
, [g
2
2
h
2
]
2
k
2
, ..., [g
n
n
h
n
]
n
n
k
n
) = (g
1
1
h
1
, g
2
2
h
2
, ..., g
n
n
h
n
)(k
1
, k
2
, ..., k
n
) = [(g
1
, g
2
, ..., g
n
)(h
1
, h
2
, ..., h
n
)](k
1
, k
2
, .
..., k
n
) .
es decir, es asociativa, lo cual implica que G
1
G
2
... G
n
es un semigrupo.
Claramente, vemos que el neutro de G
1
G
2
... G
n
es (e
1
, e
2
, ..., e
n
) donde
los e
i
son los neutros de cada G
i
, ademas, para cada (g
1
, g
2
, ..., g
n
) G
1

G
2
... G
n
se tiene que su elemento inverso es (g
1
1
, g
1
2
, ..., g
1
n
) , donde los
g
1
i
son los inversos de los g
i
para cada 1 i n. Por lo anterior, concluimos
que (G
1
G
2
... G
n
, ) es un grupo.
1.2. Subgrupos 9
Ejemplos
(R
n
= R R ... R
. .
nveces
, ) es un grupo.
(x
1
, x
2
, ..., x
n
)(y
1
, y
2
, ..., y
n
) := (x
1
+y
1
, x
2
+y
2
, ...+x
n
+y
n
) con (x
i
, y
i

R) para cada 1 i n.
(Z R, ) es un grupo.
(a, x)(b, y) := (a +b, x +y), con (a, b Z) y (x, y R).
(Z
3
GL
2
(Z
3
) , ) es un grupo.
(a, A)(b, B) := (a +b, A B), con (a, b Z
3
) y (A, B GL
2
(Z
3
)).
(R
+
D
n
QZ
9
, ) es un grupo.
(x, , q, a)(y, , p, b) := (x y , , q + p , a + b), con (x, y R
+
),
(, D
n
), (q, p Q) y (a, b Z
9
).
1.2. Subgrupos
Denicion 1.1 Sea K un conjunto no vaco tal que K G, donde (G, ) es
un grupo. Diremos que K es un Subgrupo de G si y solo si (K, ) es un grupo,
o sea, K cumple con:
Clausura
Propiedad Asociativa
Propiedad del Neutro
Propiedad del Inverso
Notacion: K Subgrupo de G se denota K G.
Ejemplos
(SL
n
(K), ) (GL
n
(K), ) K cuerpo
(Z, +) < (Q, +) < (R, +) < (C, +)
(Q
, ) < (R
, ) < (C
, )
(Z[i], +) < (Q[i], +) < (C, +)
D
n
S
n
con n 3
(Q
+
, ) < (Q
, )
(R
+
, ) < (R
, )
(C
+
, ) < (C
, )
Proposicion 1.3 Sea K G, (G, ) Grupo y K un conjunto no vaco, en-
tonces K es un Subgrupo de G si y solo si cumple con lo siguiente:
(I) (a, b K) (a b K)
(II) (a K) (a
1
K)
Lo anterior equivale a probar lo siguiente:
(a, b K) (a b
1
K).
Demostraci on.
)
Supongamos que K G, entonces (K, ) es grupo, donde K es no vaco y K G.
Sean a, b K, ahora como (K, ) es grupo, (I) se cumple trivialmente, porque K
1.2. Subgrupos 11
cumple la clausura, entonces a b K.
Sea a K, (K, ) es grupo, luego (II) se cumple trivialmente, ya que K cumple
la propiedad del inverso, entonces a
1
K.
)
Supongamos que (I) y (II) se cumplen, ahora debemos demostrar que (K, ) es
un grupo.
1. La Clausura se cumple por (I), entonces K es Grupoide.
2. K es Semigrupo, ya que la propiedad asociatva la hereda de G(notemos
que todos los elementos de K son elementos de G).
3. Demostremos que K es un Monoide.
Si a K a
1
K (se cumple por (II)).
Luego tenemos que a a
1
K (se cumple por (I))
Entonces concluimos que
a a
1
= a
1
a = e K (ya que a
1
es el inverso de a)
Luego e es el neutro del K, y si notamos es el mismo neutro de G(esto
siempre se debe cumplir).
K es Monoide.
4. Podemos concluir que K es grupo, ya que por (II) se cumple trivialmente
la demostracion.
Entonces como (K, ) es grupo y ademas k G, luego podemos decir que
K G.
Denicion 1.2 Notemos que si Ges un grupo, entonces, tiene como subgrupos
a e y G(subgrupos triviales), ahora, cualquier subgrupo H de G distinto a los
nombrados anteriormente, se llama subgrupo propio de G.
1.3. Ejercicios Resueltos
Sea H el conjunto conformado por los enteros pares. Demostrar que H Z.
Solucion
Demostraremos que H es subgrupo de Z, utilizando la proposici on 1.3.
1. Denimos H.
H := a Z[ a = 2k, k Z
2. Por demostrar que H ,= .
Aca basta considerar el entero 2, ya que 2 Z y ademas se escribe como
2 = 2 1, y sabemos que 1 Z, entonces 2 H, por lo tanto H ,=
3. Por demostrar que H Z.
Si notamos, la denicion del conjunto H, vemos claramente que sus elemen-
tos estan en Z. Luego podemos decir que; H Z por denicion.
4. Sean a, b H, por demostrar que a b
1
H.
Nota: Z es grupo con la suma, ahora mas bien, debemos demostrar que:
Si a, b H a b H.
Como a H a = 2 k, con k Z
b H b = 2 k
, con k
Z
tenemos que;
a b = 2k 2k k , k
Z, el cual es un grupo abeliano

= k +k k
k podemos asociar y conmutar

= (k k
) + (k k
)
= 2(k k
)
1.3. Ejercicios Resueltos 13
Ahora, k, k
Z, donde Z es grupo, lo cual implica que k k
Z
Luego, 2(k k
) H a b H.
Entonces, por (2), (3), (4) podemos decir que H Z.
Corolario 1.1 Si G es un grupo y H
i
[ i I es una familia no vaca de
subgrupos de G, entonces
iI
H
i
es un subgrupo de G.
Demostraci on. Utilizaremos la proposici on 1.3.
1. Como H
i
G, i I , tenemos que H
i
G (i I), entonces
iI
H
i
H
i
G.
2. Como H
i
G, se tiene que e H
i
(elemento neutro) (i I), entonces,
e

iI
H
i
lo cual implica que
iI
H
i
,= .
3. Sean a, b

iI
H
i
, luego a, b H
i
(i I), pero H
i
es subgrupo
de G, luego se cumple que a b
1
H
i
(i I).
a b
1

iI
H
i
.
iI
H
i
G.
Observacion 3 Si K, H son subgrupos de G. En general K H no es

un subgrupo de G.
Ejemplo
Consideremos el grupo aditivo Z
12
.
2) = 0 , 2 , 4 , 6 , 8 , 10 Z
12
3) = 0 , 3 , 6 , 9 Z
12
2) 3) = 0 , 2 , 4 , 6 , 8 , 10 , 3 , 9
Si notamos la clausura no se cumple en este conjunto, ya que;
2 + 3 = 5 , 2) 3)
2) 3) no es subgrupo de Z
12
.
1.4. Verdadero o Falso?
a) Un conjunto no vacio dotado con una operacion asociativa, se llama
Monoide.
b) Un grupo constituido solo por 5 elementos, siempre es abeliano.
c) El grupo D
3
es abeliano.
d) El conjunto R
+
es un grupo con la operacion suma.
e) Un subgrupo del grupo (G, ) es un subconjunto H de G, el cual,
(H, ) es un grupo.
f) Z
es un subgrupo de Q
.
g) Sea G un grupo, entonces, el conjunto G
1
= g
1
[ g G es un
grupo, y ademas G = G
1
.
h) Z
n
es un grupo multiplicativo para cualquier n Z
+
.
i) Sea H un subgrupo del grupo G. Si K H, entonces, K G.
j) Si G es un grupo, entonces, GG... G
. .
nveces
es un grupo.
k) Si G es un grupo, entonces al menos, tiene a dos subgrupos propios.
1.5. Ejercicios Propuestos
(1) Sea | = u C[ (m N) (u
m
= 1). Demuestre que | C
.
1.5. Ejercicios Propuestos 15
(2) Sea o =
_
_
a b
c d
_
GL
2
(R)
ad bc = 1
_
. Demuestre que o
GL
2
(R).
(3) Sea M
k
= k a [ a Z, k Z
donde k es jo. Demuestre que

M
k
Z
(4) Demuestre que el conjunto Q[
3 ] := a + b
3 [ a, b Q es un grupo
aditivo.
(5) Haga la tabla de operacion del grupo D
4
.
(6) Haga la tabla de operacion del grupo Z
4
D
4
.
(7) Determine la estructura de (Z, ), donde es la operacion resta.
(8) Determine la estructura de los siguientes conjuntos:
a) W = A GL
2
(R) [ det(A) 1, 1 (W, )
b) Q = A GL
2
(R) [ det(A) 2Z (Q, )
(9) Demuestre que el conjunto K := (x, y, z) R
3
[ x+z = y es un grupo
aditivo.
(10) Demuestre que R R
+
R
es un grupo, con la operacion natural.

(11) Sea G un grupo, S un conjunto no vaco y F(S, G) el conjunto de las fun-
ciones f : S G donde se dene la adicion de la siguiente manera;
(f +g) : S G
s f(s) +g(s)
Demuestre que F(S, G) es un grupo, el cual es abeliano si G lo es.
Nota: + es solo un representante de una operacion cualquiera, la cual uti-
lizamos para denotar que es una operacion conmutativa.
(12) Sea G := (x, y) R
2
[ x ,= 0, x + y ,= 0. En G se dene la siguiente
operacion:
(x
1
, x
2
) (y
1
, y
2
) := (x
1
x
2
, (x
1
+x
2
)(y
1
+y
2
) x
1
x
2
).
a) Demuestre de que (G, ) es un grupo.
b) Demuestre que el subconjunto H := (1, y) G[ y > 1 es un
subgrupo de (G, ).
(13) Sea G un grupo tal que a
2
= e (a G) donde e es el neutro de G.
Demostrar que G es un grupo Abeliano.
(14) Sea G un Semigrupo. Demuestre que G es un grupo si y solo si las siguientes
condiciones se cumplen:
a) Existe un elemento e tal que ea = a a G (neutro izquierdo).
b) Para cada a G, existe un elemento a
1
G tal que a
1
a = e
(inverso izquierdo)
(15) Demuestre que Q
+
con la operacion denida como:
a b =
ab
2
a, b Q
+
es un grupo.
(16) Supongamos que en un grupo G se cumple lo siguiente:
(ab)
n
= a
n
b
n
a, b G
Demuestre que G
n
:= x
n
[ x G y G
n
:= x[ x
n
= e ; x G (con e
neutro de G) son subgrupos de G.
(17) Sean los grupos R
y GL
2
(R). Demostrar que R
GL
2
(R) es un grupo
con la operacion denida como sigue; (x, A) (y, B) = (x y, A B).
(18) Sea V un T-espacio vectorial y sea : V V una transformacion lineal.
Demuestre que el conjunto H = v V [ (v) = 0 es un grupo aditivo.
(19) Demuestre que SL
2
(R) Z[i] GL
2
(R) C.
(20) Haga la tabla de operacion del grupo GL
2
(Z
2
) Z
2
.
(21) Sea G el grupo de las simetras del polgono regular de 24 lados, donde T
i
es la reexion que no mueve al vertice i, L
i
es la reexion que no mueve
la arista i, i + 1, y R es la rotacion en 15 grados en el sentido de la enu-
meracion.
Resolver explcitamente las siguientes ecuaciones:
a) T
7
= T
10
X
1
b) T
8
= R
3
X
2
L
4
c) L
3
= T
4
X
3
(R
5
)
1
T
1
9
(22) Determine todos los subgrupos de cada grupo G.
a) G = Z
12
b) G = Z
6
c) G = Z
3
Z
4
(23) Sean los conjuntos de matrices
/ := A M
2
(R) [ A
t
= A.
o := B M
2
(R) [ B
t
= B.
Demostrar que / y o son subgrupos de M
2
(R)
Captulo 2
Grupos Generados y Grupos
Cclicos
2.1. Grupos Generados
Denicion 2.1 Sea G un grupo y R un subconjunto de G. Sea H
i
[ i I la
familia de todos los subgrupos de G que contienen a R. Entonces
iI
H
i
es
llamado el Subgrupo de G generado por el conjunto R y se denota por
R).
Observacion: El generado por un conjunto, es en otras palabras EL SUBGRUPO
M
AS PEQUE
NO QUE CON CONTIENE A DICHO CONJUNTO.

Ejemplos
1) Consideremos el grupo (Z
8
, +) y el conjunto generado por 2 , el cual se
dene como:
2) =: 2 n[ n Z
= 0 , 2 , 4 , 8
Veamos si es subgrupo de (Z
8
, +).
Claramente, 2) , = y 2) Z
8
, luego nos queda determinar si cumple la
clausura, la propiedad del neutro y la propiedad del inverso, lo cual lo vemos en
la siguiente tabla de operacion.
20 2. Grupos Generados y Grupos Cclicos
Tenemos que:
2) 0 2 4 6
0 0 2 4 6
2 2 4 6 0
4 4 6 0 2
6 6 0 2 4
Notese que los inversos aditivos de cada elemento son:
2
1
= 6 ; 6
1
= 2 ; 4
1
= 4 ; 0
1
= 0
2) Z
8
2) Consideremos el grupo ( Biy(R) , ), y sea f Biy(R) donde f(x) = x + 1
con x R. Vericar que f es una funcion biyectiva no es de mayor dicultad.
Luego tenemos que;
f) = f
n
[ n Z
f
0
(x) = x (f
0
= Id)
f
1
(x) = x + 1
f
2
(x) = f(f(x)) = f(x + 1) = x + 1 + 1 = x + 2
f
3
(x) = f(f
2
(x)) = f(x + 2) = x + 3
.
.
.
f
n
(x) = x +n
f) = g Biy(R) [ (n Z) (x R) (g(x) = x +n)
Teorema 2.1 Si G es un Grupo y S es un subconjunto no vaco de G, entonces
el subgrupo S) generado por S, esta formado por todo el producto nito
s
1
s
2
s
3
s
n
( s
i
S s
1
i
S).
2.1. Grupos Generados 21
En particular, para cada a G, a) = a
n
/ n Z
2
NOTA: Me reero a producto, pero en realidad la operacion de G es la que esta en
juego.
Demostraci on. Consideraremos el siguiente conjunto del producto nito.
H = s
1
s
2
s
3
s
n
G[ s
i
S s
1
i
S
= g G[ (i 1, 2, . . . , n) (g = s
1
s
2
s
3
s
n
; donde s
i
S s
1
i

S)
Ahora demostraremos que H es un subgrupo de G utilizando la proposici on 1.3.
1. H ,=
Como S es un conjunto no vacio H es no vaco, ya que al menos
s
j
S el cual por denicion, este tambien esta en H.
2. H G
Se cumple trivialmente por la denicion de H
3. Sean a, b H, por demostrar que a b
1
H
a = s
1
s
2
s
3
s
n
; b = r
1
r
2
r
3
r
m
(s
i
S s
1
i
S)
(r
i
S r
1
i
S)
a b
1
= (s
1
s
2
s
3
s
n
)(r
1
r
2
r
3
r
m
)
1
= s
1
s
2
s
3
s
n
r
1
m
r
1
m1
r
1
m2
r
1
1
= t
1
t
2
t
n+m
luego, a b
1
H, donde
t
i
=
_
s
i
si i n
r
1
n+m+1i
si i > n
2
a
n
es solo una notacion de potencia, o sea que depende de la operacion con la cual esta deni-
da el Grupo.
H G
Tenemos S H G
S S) =
S T G
T H
S) H ......................()
Sea g H
g = s
1
s
2
s
3
s
n
donde s
i
S S) i 1, 2, . . . , n
Ahora, como S) es un grupo
g = s
1
s
2
s
3
s
n
S) (Por Clausura)
H S)....................()
H = S) por () y ()
2.2. Grupos Cclicos

Denicion 2.2 Se dice que G es un Grupo Cclico si y solo si g) = G,
donde g G.
Ejemplos
Z es un grupo cclico innito, el cual es generado por 1 o por -1
1) = 1 n[ n Z = Z
1) = 1 n[ n Z = Z
2.2. Grupos Cclicos 23
Z
n
es un grupo cclico, el cual es generado por todo m Z
n
tal que
MCD(n, m) = 1
Si p es un n umero primo, entonces Z
p
esta generado por cada a Z
p
Z
n
Z
m
es un grupo cclico si MCD(m,n) =1. Por ejemplo; sabemos que
MCD(2,3) =1, luego Z
2
Z
3
es cclico generado por (1, 2).
Si consideramos 1 = D
5
/ es una rotacion. Este es el grupo de las
rotaciones del pentagono, el cual es cclico, ya que esta generado por R, la
cual es una rotacion en 72 grados con sentido anti-horario.
Q no es un grupo cclico, ya que no existe q Q tal que q) = Q
R no es un grupo cclico.
S
n
no es un grupo cclico, para n 3.
Teorema 2.2 Todo Subgrupo H del Grupo (Z, +), es cclico, entonces H =
0) o H = m), donde m es el entero positivo mas peque no que pertenece a
H. Si H ,= 0), entonces H es innito.
Demostraci on. Tenemos que H = 0) o H contiene un elemento mnimo,
donde podemos considerar como Mn(H) = n el entero positivo mas peque no
que pertenece a H.
Ahora, claramente tenemos que;
n) = n q [ q Z H .............()
Sea h H n), donde por algoritmo de la division tenemos lo siguiente.
h = n q + r ( 0 r < n)
h n q
. .
H
= r n q n) H
r H
Si notamos, por algoritmo de la division, tenemos que ( 0 r < n) , pero n
es el menor entero positivo de H, luego
r = 0 h = n q
h n) H n)................()
luego, por () y () tenemos que H = n)
H es un grupo Cclico
Propiedad 2.1 Sea (G, ) un grupo, g G.

1. (m Z)(n Z)( g
m
g
n
= g
m+n
).
2. (m Z)(n Z)( (g
m
)
n
= g
mn
)
3 Comentario
La demostracion de esta propiedad la dejaremos de ejercicio para el lector, lo im-
portante es que haremos uso de ella para la siguiente proposicion.
Proposicion 2.1 Todo grupo Cclico es un grupo Abeliano.
Demostraci on. Sea G un grupo cclico, luego G = g) ; g G.
Dados a, b G; por demostrar que a b = b a.
Como G es cclico generado por g, podemos escribir a = g
i
; b = g
j
donde
i, j Z
Entonces tenemos que;
a b = g
i
g
j
= g
i+j
. .
propiedad 2
= g
j+i
= g
j
g
i
= b a
2.2. Grupos Cclicos 25
G es Abeliano.
4 Comentario
Algo que debemos resaltar sobre esta proposicion, es la importancia de los grupos
cclicos en los grupos abelianos, ahora debemos tener en cuenta que el recproco
de esta proposicion no es valido, ya que podemos ejemplicarnos en el caso de
los n umeros racionales Q.
Teorema 2.3 Todo subgrupo de grupo Cclico es Cclico.
La demostracion es similar a la del Teorema 2.2, notemos que Z es un grupo
cclico. Incluso es bastante notorio que el teorema anterior es un caso particular
de este teorema.
Demostraci on. Sea A un grupo cclico generado por a y sea B A, veamos
que si B = e entonces B = e), por lo tanto es cclico. Supongamos que
B ,= e, entonces existe e ,= a
m
A tal que a
m
B para alg un m Z
+
.
Ahora, consideremos m como el menor entero positivo tal que a
m
B. Solo nos
quedara demostrar que B = a
m
), pero sabemos que a
m
) B, luego bastara
demostrar que B a
m
), o sea, que cada elemento de B es una potencia de a
m
.
Sea b B A, como A es cclico entonces b = a
n
para alg un n Z. Ahora,
como es costumbre, utilicemos el algoritmo de la division para m y n.
n = mq +r 0 r < m
a
n
= a
mq+r
a
n
(a
m
)
q
= a
r
Ahora como a
n
B, a
m
B y B es grupo entonces a
n
B, (a
m
)
q
B
a
n
(a
m
)
q
B, por lo cual a
r
B.
luego, como m es el menor entero positivo tal que a
m
B y ademas 0 r < m,
entonces r = 0. Por lo tanto, n = mq
b = a
n
= (a
m
)
q
De modo que b es una potencia de a
m
B < a
m
>
B = a
m
) es decir, B es cclico

Denicion 2.3 (Orden) Sea G un Grupo nito, se dice que el Orden de
G es n si y solo si la cantidad de elementos de G es n.
Notacion Si G = n entonces se denota [G[ = n
Observacion 4 Sea a G, se entiende por [a[ como el cardinal del subgrupo
generado por a.
a) := a
n
[ n Z en notacion multiplicativa
Ademas, se dice que [a[ es innito si y solo si [a)[ es innito
Ejemplos
1. [D
3
[ = 6 ; [D
4
[ = 8 en general [D
n
[ = 2n n 3
2. [Z
6
[ = 6 ; [Z
10
[ = 10; en general [Z
n
[ = n n 2
3. [GL
2
(Z
p
)[ = ( p
2
1 )( p
2
p ) con p primo.
4. [Biy1, 2, 3, ...., n[ = n!
Proposicion 2.2 Sea G un Grupo, g G. Si el orden de G es innito,
entonces;
1. g
n
= e n = 0
2. los elementos g
n
(con n Z), son todos distintos.
Si [g[ = m (nito) m > 0.
3. m es el menor entero positivo que cumple con g
m
= e
4. Si g
k
= e k Z, entonces m k
5. g) = g, g
2
, g
3
, ......., g
m1
, g
m
= e donde g
i
con (1 i m) son
todos distintos.
5 Comentario
La demostracion se exhibira en el captulo 5, ya que destacaremos un importante
teorema sobre grupos cclicos, el cual requiere conocimientos de Homomorfismos,
y veremos que estas propiedades son solo consecuencias de aquel teorema.
1. Sea (G, ) un grupo y a G tal que [a[ = n. Demostrar que si a
k
= e
con k ,= 0, entonces n divide a k
Solucion
Utilizando el algoritmo de la division sabemos que existen q, r Z tales
que;
k = nq +r 0 r < n
a
k
= a
nq+r
e = a
nq
a
r
e = (a
n
)
q
a
r
n es el menor entero positivo que cumple a
n
= e
e = (e)
q
a
r
e = e a
r
e = a
r
Ahora, como n es el menor entero que cumple con a
n
= e, nos queda que
r = 0 k = nq , es decir n k.
Proposicion 2.3 Si G = g) es nito de orden n, entonces existe un unico
subgrupo de orden m, donde 0 m n.
Demostraci on. Sabemos que todo subgrupo de un grupo cclico, es cclico. Aho-
ra basta ver que todo elemento en G es de la forma g
k
con k Z, ademas los
g
i
G con 1 i n son todos distintos, donde i da referencia a los ordenes de
los subgrupos de G. Por esto podemos decir que si 1 q n y 1 r n
con q ,= r, entonces [g
q
)[ , = [g
r
)[, con lo que concluye la demostracion. Mas que
nada, esta no es una demostracion formal, se puede decir que es una reexion, lo
ideal es que el lector formule la demostracion, utilizando esta reexion.

a) Si tenemos que a
n
= e entonces podemos decir que [a[ = n
b) Todo grupo abeliano es cclico.
c) Todo grupo cclico es abeliano.
d) Si el orden de un subgrupo H de G es nito, entonces el orden de
G es nito.
e) Si a) es un grupo nito y j ,= i, entonces armamos que a
j
,= a
i
.
f) C y R son grupos cclicos.
g) Todo grupo de orden 4 es cclico.
h) Un grupo de orden primo es abeliano.
i) Si todo subgrupo H de un grupo G es cclico, entonces G es cclico.
j) Si [a[ = n y [b[ = m entonces [(a, b)[ = nm.
k) Sea G un grupo y sea S G un conjunto no vaco. Entonces S)
siempre es un subgrupo de G, y ademas es el menor subgrupo que
contiene a S.
m) Sea G un grupo y sea S G un conjunto no vaco. Entonces S)
es el mayor subgrupo de G que contiene a S.
(1) Sea (G, ) un grupo y sean a, b G. Demuestre que:
a) [a[ = [a
1
[
b) [a b[ = [b a[
c) [a[ = [c a c
1
[ (c G)
(2) Sea G un grupo nito tal que [G[ = n. Si a G y [a[ = m. pruebe que
m n
(3) Sea G un grupo, H un subgrupo de G y x G. Sea m un n umero natu-
ral que es primo relativo con [x[ . Demostrar que si x
m
H, entonces x H
(4) Sean G
1
, G
2
dos grupos cclicos de orden m y n respectivamente y sea
G = G
1
G
2
. Demuestre que las siguientes armaciones son equivalentes:
a) G es un grupo cclico.
b) MCD(m, n) = 1.
(sugerencia: para (a) (b) utilice la proposicion 2.3).
(5) Demostrar que
nZ +mZ = M.C.D(n, m)Z
(6) Determinar lo mas explcitamente posible los siguientes grupos:
a) g) en las Biy(R
) donde g(x) =
1
x
b) f, g) en F(R, R
) donde f(x) = x 1 g(x) = 2x

c) f) en F(R, R) donde f(x) = 1 x
(7) Para n = 1, 2, . . . , 8, determinar cuales de los grupos U(Z
n
) son cclicos.
(8) Sea =
_
_
a b
0 1
_
a Z
5
, b Z
5
_
. Determinar el orden de los si-
guientes elementos
_
1 3
0 1
_
;
_
3 2
0 1
_
(9) Sea f : Z
11
Z
11
tal que f(x) = 3x (x Z
11
). Determinar
el orden de f si;
a) f Biy(Z
11
)
b) f F(Z
11
, Z
11
)
c) f F(Z
11
, Z
11
)
(10) Sea G un grupo cclico nito generado por g, y sea : G G una
transformacion lineal inyectiva. Demuestre que el conjunto
I = (h) G[ h G
es un grupo cclico.
(11) Sea G un grupo y sea H un subgrupo de G. Si x G se denen los conjuntos
xH := xh[ h H
Hx := hx[ h H
x
1
Hx := x
1
hx[ h H
Demuestre que las siguientes proposiciones son equivalentes:
(i) (h H) (x
1
hx H)
(ii) xH = Hx
(iii) x
1
Hx H
(iv) x
1
Hx = H
Captulo 3
Subgrupos Notables
El Normalizador, Centralizador, Conmutador y otros conjuntos que mostraremos
a continuacion son Subgrupos importantes al momento de estudiar la Teora de
Grupos, ya que sus deniciones son muy naturales y de facil comprension para la
formulacion de problemas algebraicos en el area de Grupos. Mas adelante en el
captulo 6 veremos de donde nacen estos subgrupos.
Consideremos (G, ) un Grupo, S G un conjunto no vaco, para las si-
guientes deniciones.
3.1. Normalizador
g S = g s G[ s S
= t G[ (s S) (t = g s)
S g = s g G[ s S
= t G[ (s S) (t = s g)
N
G
(S) =: g G[ g S = S g
. .
igualdad de conjuntos
G
Observacion 5 Decir que g S = S g no signica que g conmuta con
cada elemento de S, si no, que si tomamos un elemento de g S por ejemplo g a
32 3. Subgrupos Notables
con a S este tambien se puede escribir de la forma b g con b S y
as recprocamente.
Ejemplo
Consideremos el grupo D
4
el cual consiste en los movimientos rgidos del cuadra-
do, los cuales describiremos a continuacion:
1 2
3 4
K
1
1 2
3 4
K
2
1 2
3 4
T
1, 3
1 2
3 4
T
2, 4
1 2
3 4
R
rotar en 90
o
1 2
3 4
R
2
rotar en 180
o
1 2
3 4
R
3
rotar en 270
o
1 2
3 4
Id
rotar en 360
o
De estos Movimientos obtenemos las siguientes funciones biyectivas:
K
1
: K
2
: T
1,3
:
1 4 1 2 1 1
2 3 2 1 2 4
3 2 3 4 3 3
4 1 4 3 4 2
T
2,4
: R : R
2
:
1 3 1 2 1 3
2 2 2 3 2 4
3 1 3 4 3 1
4 4 4 1 4 2
3.1. Normalizador 33
R
3
: Id :
1 4 1 1
2 1 2 2
3 2 3 3
4 3 4 4
Luego, formamos el conjunto D
4
de la siguiente manera:
D
4
:= K
1
, K
2
, T
1,3
, T
1,4
, R, R
2
, R
3
, Id el cual es un grupo con la com-
puesta de funciones(ya que son funciones biyectivas)
Considerando el siguiente conjunto S := T
1,3
, R, determinemos el N
G
(S)
N
D
4
(S) := D
4
[ S = S
Para determinar el Normalizador, debemos encontrar los elementos que pertenecen
a este, o sea, las funciones biyectivas en D
4
(por ejemplo ) que que hacen que
S = S (igualdad de conjuntos). Como D
4
es un grupo nito, entonces
debemos empezar a probar elemento por elemento.
K
1
)
K
1
S = K
1
T
1,3
, R = K
1
T
1,3
, K
1
R = R
3
, T
2,4
Ahora por otro lado;

S K
1
= T
1,3
, R K
1
= T
1,3
K
1
, R K
1
= R, T
1,3
Vemos claramente que

R
3
, T
2,4
, = R, T
1,3
por lo cual K
1
, N
D
4
(S)
As sucesivamente debemos probar con los demas elementos de D
4
. Un elemento
que claramente esta en el Normalizador es Id ya que ja a todo elemento de D
4
.
Tambien debemos tener en cuenta que el Normalizador es un subgrupo de G, por
lo cual, debe estar el elemento neutro que en este caso es la identidad. Otra cosa
que debemos tener en cuenta es que el cardinal de todo subgrupo debe dividir al
cardinal del grupo (se vera mas adelante su demostracion), entonces el Norma-
lizador en este caso no puede tener cardinal 3,5,6 o 7. As, estos datos nos sirven
para estar mas seguros al momento en que nos pidan determinar estos tipos de
subgrupos.
3.2. Centralizador
C
G
(S) =: g G[ (s S) ( g s = s g) G
O sea, son los elementos de G que conmutan con todos los elementos de S.
3.3. Centro
El Centro de G, denotado por Z(G), es un caso particular del centralizador
cuando S = G.
Z(G) =: h G[ (g G) (h g = g h) G
Ejemplo
Un ejemplo tal vez trivial sera determinar el centro del grupo aditivo R. Ve-
mos que
Z(R) = x R[ (y G) (x +y = y +x)
Ahora, por el hecho de que R es un grupo conmutativo entonces Z(R) = R ya
que todo elemento conmuta con todo R. Generalizando, tenemos que si G es un
grupo Conmutativo, entonces Z(G) = G
3.4. Conmutador
[G, G] =: g h g
1
h
1
G[ g, h G) G
3.5. Conjugado 35
Notacion: [g, h] = g h g
1
h
1
.
[G, G] =: [g, h] G[ g, h G) G
En algunos textos, el Conmutador suelen llamarlo Abelianizado o grupo Deriva-
do y ademas lo denotan por G
, pero nosotros lo denotaremos siempre por [G, G].

3.5. Conjugado
S
g
:= g s g
1
/ s S
Armamos que S
g
es subgrupo de G si S es subgrupo de G, es decir, para cada
H G H
g
G, donde H
g
:= g h g
1
[ h H. Veamos a
continuacion lo armado.
1. H
g
,= , ya que e = g e g
1
H
g
, donde sabemos que e H por ser
subgrupo de G.
2. Claramente, H
g
G, ya que H G.
3. Dados x, z H
g
, por demostrar que x z
1
H
g
.
Como x, y H
g
los podemos escribir de la forma x = g h
1
g
1
y
z = g h
2
g
1
, para algunos h
1
, h
2
H. Entonces tenemos lo siguiente:
x z
1
= (g h
1
g
1
) (g h
2
g
1
)
1
= g h
1
(g
1
g) h
1
2
g
1
= g (h
1
h
1
2
) g
1
h
1
h
1
2
H (por ser grupo)
es decir, x z
1
H
g
.
H
g
es subgrupo de G.
Proposicion 3.1 Sean G y G
dos grupos y S G no vaco. Entonces

1. G es un grupo abeliano si y solo si [G, G] = e
2. G es un grupo abeliano si y solo si Z(G) = G
3. C
G
(S) N
G
(S)
4. C
G
(S
g
) = (C
G
(S))
g
5. N
G
(S
g
) = (N
G
(S))
g
6. S
g
) = S)
g
7. [[S
n
, S
n
][ = [S
n
[/2 donde [S
n
[ = n!
8. Z(GG
) = Z(G) Z(G
)
Demostraremos las propiedades (4) y (5), el resto se dejan de ejercicio para el
lector a excepcion de la (7), ya que requiere de otros conocimientos.
Demostraci on. Las demostraciones de estas propiedades no son complicadas,
pero requiere mucho de un buen control sobre las deniciones de Normalizador,
Centralizador y Conjugado. Un consejo que les puedo dar, es ejercitar con de-
mostraciones de igualdad de conjuntos antes de revisar estas.
Demostracion (4)
Sabemos que C
G
(S
g
) = (C
G
(S))
g
si y solo si (C
G
(S))
g
C
G
(S
g
) C
G
(S
g
)
(C
G
(S))
g
. Empecemos la demostracion.
1. Por demostrar que (C
G
(S))
g
C
G
(S
g
). Sea x (C
G
(S))
g
, luego x =
ghg
1
con h C
G
(S). Sabemos que x C
G
(S
g
) si y solo si xm =
mx (m S
g
). Ahora veamos que;
xm = x(gkg
1
) con k S
= (ghg
1
)(gkg
1
) cancelando y asociando tenemos que
= g(hk)g
1
h C
G
(S), entonces conmuta con k
= g(kh)g
1
aplicando el truco de la identidad tenemos
= (gkg
1
)(ghg
1
)
= mx
Por lo cual x C
G
(S
g
), luego (C
G
(S))
g
C
G
(S
g
)
3.5. Conjugado 37
2. Por demostrar que C
G
(S
g
) (C
G
(S))
g
. Sea y C
G
(S
g
), entonces tene-
mos que y(gsg
1
) = (gsg
1
)y (s S). Sabemos que y (C
G
(S))
g
si y solo si y = gng
1
con n C
G
(S). Ahora veamos que y =
g(g
1
yg)g
1
, entonces solo basta demostrar que (g
1
yg) C
G
(S).
Tenemos lo siguiente:
(g
1
yg)s
1
= (g
1
yg)s
1
(g
1
g) aplicamos una identidad
= g
1
[y(gs
1
g
1
)]g asociamos
= g
1
[(gs
1
g
1
)y]g sabemos que y C
G
(S
g
)
= s
1
(g
1
yg)
es decir, (g
1
yg) C
G
(S), entonces y (C
G
(S))
g
.
C
G
(S
g
) (C
G
(S))
g
Por 1. y 2. queda demostrado que (C
G
(S))
g
= C
G
(S
g
)
Demostracion (5)
Sabemos que N
G
(S
g
) = (N
G
(S))
g
N
G
(S
g
) (N
G
(S))
g
(N
G
(S))
g
N
G
(S
g
).
1. Demostremos que N
G
(S
g
) (N
G
(S))
g
. Sea x N
G
(S
g
), por demostrar
que x (N
G
(S))
g
, donde x (N
G
(S))
g
si y solo si x = gyg
1
con
y N
G
(S). Veamos que x lo podemos escribir de la siguiente manera
x = g(g
1
xg)g
1
, ahora lo que nos resta demostrar es que (g
1
xg)
N
G
(S), donde esto ocurre si y solo si (g
1
xg)S = S(g
1
xg). Entonces,
sea m (g
1
xg)S, luego m = (g
1
xg)s
1
con s
1
S.
Tenemos que;
m = (g
1
xg)s
1
ocupemos el truco de la identidad
m = (g
1
xg)s
1
(g
1
g) asociando de manera adecuada nos queda
m = (g
1
[x(gs
1
g
1
)]g utilizando la hipotesis que x N
G
(S
g
)
m = (g
1
[(gs
2
g
1
)x]g con s
2
S
m = s
2
(g
1
xg)
Por lo cual, tenemos que (g
1
xg)S S(g
1
xg), y vemos claramente que el
recproco resulta de los pasos de equivalencia, luego tenemos que (g
1
xg)S =
S(g
1
xg). Por lo tanto queda demostrado que N
G
(S
g
) (N
G
(S))
g
2. Ahora, demostremos que (N
G
(S))
g
N
G
(S
g
). Sea z (N
G
(S))
g
, por
demostrar que z N
G
(S
g
), donde z N
G
(S
g
) zS
g
= S
g
z. Ve-
mos que la demostracion es un poco engorrosa, de hecho, ahora debemos
tomar un k zS
g
y demostrar que k tambien esta en S
g
z. Entonces, sea
k = z(gs
3
g
1
), donde tenemos que;
k = z(gs
3
g
1
) donde z = gng
1
con n N
G
(S)
k = gng
1
(gs
3
g
1
) cancelando y asociando adecuadamente
k = g(ns
3
)g
1
) n N
G
(S) luego ns
3
= s
4
n con s
4
S
k = g(s
4
n)g
1
aplicando el truco de la identidad
k = gs
4
g
1
(gng
1
)
k = (gs
4
g
1
)z
es decir, k zS
g
, luego se cumple que (N
G
(S))
g
N
G
(S
g
).
En conclusion, queda demostrado que N
G
(S
g
) = (N
G
(S))
g
.

Determinar el Centro del Grupo Lineal GL
2
(K), con K cuerpo.
Solucion
GL
2
(K) =: A M
2
(K) [ A es invertible
Z(GL
2
(K)) =: A GL
2
(K) [ (B GL
2
(K)) (A B = B A)
Sea A =
_
a b
c d
_
Z(GL
2
(K))
_
a b
c d
_
_
1 0
0 0
_
=
_
1 0
0 0
_
_
a b
c d
_
_
a 0
c 0
_
=
_
a b
0 0
_
b = 0 c = 0
3.7. Verdadero o Falso? 39
Ahora
_
a 0
0 d
_
_
0 1
0 0
_
=
_
0 1
0 0
_
_
a 0
0 d
_
_
0 a
0 0
_
=
_
0 d
0 0
_
a = d
Z(GL
2
(K)) =
_
_
a 0
0 a
_
M
2
(K)
a K
_
a) Si S es un subconjunto del grupo G entonces S
g
es un subgrupo de
G.
b) Si G es un grupo abeliano, entonces el normalizador, el centro, y
el centralizador son precisamente G.
c) Si tenemos que gS = Sg, entonces, claramente podemos decir que
gs = sg (s S)
d) Siempre ocurre que C
G
(S) N
G
(S), donde G es un grupo y S un
subconjunto de G.
e) El centralizador de cualquier subgrupo de Z
n
es siempre el mismo
subgrupo.
f) El conmutador esta constituido solo por los elementos de la forma
ghg
h
1
g) Si G es abeliano entonces [G, G] = G
h) Si G es un grupo no abeliano, entonces inmediatamente podemos
decir que el conmutador es no abeliano.
i) El conmutador es un grupo conmutativo.
(1) Sea G = GL
2
(R) y sea S =
_
_
a 0
1 b
_
a, b R
_
.
Determinar C
G
(S) y N
G
(S)
(2) Sea G = GL
2
(Z
2
). Determinar [G,G]
(3) Sea G = GL
2
(R) y sea S =
_
_
a 0
0 b
_
a, b R
_
. Determinar
a) C
G
(S)
b) N
G
(S)
(4) Sea G = GL
2
(Z
2
). Determinar [G, G]
(5) Sea G un grupo y sea H un subgrupo de G. Demostrar que [H, H] [G, G]
(6) Sea G un grupo y sea H un subgrupo de G. demostrar que Z(H) =
C
G
(H) H.
(7) Demostrar que C
G
(S) N
G
(S)
(8) Sea G = Biy(Z), y sean f(x) = x + 1 ; g(x) = x . Determinar
a) C
G
(f)
b) N
G
(f, g)
(9) Determinar [D
4
, D
4
] (D
4
es el grupo de de los movimientos rgidos del
cuadrado)
(10) Sea G = GL
2
(R) y sea S =
_
_
1 0
1 3
_
;
_
0 1
2 0
_
_
. Determinar
a) C
G
(S)
b) N
G
(S)
(11) Demostrar que si G es un grupo cclico, entonces N
G
(S) = G
(12) Demuestre que C
G
(Z(G)) = G
(13) Demuestre que si A y B son subconjuntos de G tales que A B, entonces
C
G
(A) C
G
(B)
(14) Sea H G tal que [H[ = 2. Muestre que N
G
(H) = C
G
(H)
Captulo 4
Clases Laterales y Subgrupos
Normales
4.1. Clases Laterales
Una de las dicultades para el estudiante es la comprension y apropiacion de
los conceptos relacion de equivalencia y particion de un conjunto. En este
captulo llevaremos a lo practico estos conceptos, los cuales son fundamentales
para la comprension de Clases laterales y construccion de Conjuntos Cuocientes.
Introduccion
Sea (G, ) un Grupo, K un Subgrupo de G y sean a, b G. Se dene la siguiente
relacion en G, dada por;
a
k
b a b
1
K.
A continuacion, demostraremos que
k
es una relacion de equivalencia con el
fn de realizar una particion en el grupo G.
Recordemos que
k
es una relacion de equivalencia si y solo si
k
es Reeja.
k
es Simetrica.
k
es Transitiva.
44 4. Clases Laterales y Subgrupos Normales
Demostraci on. Sean a, b, c G.
k
es Reeja.
Por demostrar a
k
a, esto es si, a a
1
K.
Esto es verdadero, ya que a a
1
= e, donde e es el neutro de G, y como
K G, e K.

k
es una relacion Reeja
k
es Simetrica.
Por demostrar a
k
b b
k
a
Tenemos que a b
1
K, entonces como K es Grupo (a b
1
)
1
K
(propiedad del inverso)
(a b
1
)
1
= (b
1
)
1
a
1
= b a
1
K b
k
a

k
es una relacion Simetrica
k
es Transitiva.
Por demostrar (a
k
b b
k
c) a
k
c
Vemos que (a b
1
K) (b c
1
K), y como K es Grupo, tenemos
que (a b
1
) (b c
1
) K (Clausura)
(a b
1
) (b c
1
) = a (b
1
b) c
1
= a e c
1
= a c
1
K
a
k
c

k
es una relacion Transitiva
Entonces, queda demostrado que
k
es una relacion de equivalencia.
Ahora denimos el siguiente Conjunto Cuociente.

G/
k
=: clase(a) [ a G
4.1. Clases Laterales 45
Donde
clase(a) = b G[ a
k
b
= b G[ b
k
a Por
k
relacion Simetrica
= b G[ b a
1
K
= b G[ b a
1
= t, con t K
= b G[ b = t a, con t K
= t a G[ t K
= K a
Entonces tenemos que;
G/
k
=: K a / a G
Este conjunto cuocientes es llamado El Conjunto Cuocientes de las Clases
laterales Derechas y se denota por KG.
De manera similar podemos denir
k
, la cual es una relacion de equivalencia
denida como;
a
k
b a
1
b K
Analogamente, con la relacion
k
obtenemos el siguiente Conjunto Cuocientes
G/
k
=: a K[ a G
Este conjunto cuocientes es llamado El Conjunto Cuocientes de las Clases late-
rales Izquierdas y se denota por G/K
En Resumen
G/K Conjunto Cuocientes de las clases laterales izquierdas
KG Conjunto Cuocientes de las clases laterales derechas
G =
_
gR
g K ; G/K = g K[ g R
G =
_
gR
K g ; KG = K g [ g R
Donde R, R
son sistemas de representantes de clases.

Ejemplo Practico
Sea S el conjunto de todos los artculos de una tienda de abarrotes; se dene
a b, donde a, b S, si el precio de a es igual al precio de b. Evidentemente las
reglas que denen una relacion de equivalencia son validas para esta . Notese que
al ponderar esta igualdad generalizada en S, se ignoran todas las otras carac-
tersticas que no sea el precio. As que a b si el precio de a es igual al precio de b.
Luego de establecer esta relacion de equivalencia, claramente podemos hacer una
particion en el conjunto S en la cual , las clases constaran de cada artculo que
tenga el mismo precio.
Me explico;
Sea S = a, b, c, d, e, f, g, h, i, j, k, l
Donde;
a = 100 g = 300
b = 300 h = 200
c = 700 i = 400
d = 100 j = 500
e = 700 k = 400
f = 200 l = 500
obtenemos que;
a d
4.1. Clases Laterales 47
b g
c e
f h
i k
j l
Se denen las clases tomando un representante cualquiera de la relacion.
clase(a) =: a, d
clase(g) =: g, b
clase(c) =: c, e
clase(f) =: f, h
clase(k) =: k, i
clase(l) =: l, j
Donde se ve claramente lo siguiente
S = a, d
_
g, b
_
c, e
_
f, h
_
k, i
_
l, j
Espero que este ejemplo sea de utilidad para la comprension de los conceptos
basicos de este captulo.
Ejemplos
1) G = D
3
; K = T
3
, Id
KG = T
3
, Id [ D
3
T
2
T
3
, Id = R, T
2
T
1
T
3
, Id = R
2
, T
1
G = T
3
, Id
_
R
2
, T
1
_
R, T
2

2) Z/5Z = a + 5Z[ a Z
Z/5Z = 0 + 5Z, 1 + 5Z, 2 + 5Z, 3 + 5Z, 4 + 5Z, 5 + 5Z, 6 + 5Z, . . .
Z/5Z = 0 + 5Z, 1 + 5Z, 2 + 5Z, 3 + 5Z, 4 + 5Z, 5 + 5Z
. .
absorcion
, 1 + 5 + 5Z
. .
absorcion
, . . .
Z/5Z = 0 + 5Z, 1 + 5Z, 2 + 5Z, 3 + 5Z, 4 + 5Z
Z = 0 + 5Z
_
1 + 5Z
_
2 + 5Z
_
3 + 5Z
_
4 + 5Z
Notemos que Z
5

= Z/5Z, donde

= es conocido como ISOMORFISMO el
cual denota que los grupos poseen la misma estructura algebraica, o sea, mas
que nada poseen las mismas propiedades estructurales (cardinalidad, cantidad de
subgrupos, dimension, etc. . .). Vulgarmente, puse absorcion, mas que nada, es
una forma de referirse a lo acontecido, pero mas adelante veremos formalmente
en que consta esta propiedad.
4.2. Teorema de Lagrange
4.2.1. Biografa
Nacio el 25 de enero de 1736 y murio el 1ero de abril de 1813 en Paris. Lagrange
era de familia francesa aunque nacio y se crio en Italia. Sus padres tuvieron 11
hijos de los cuales solo el menor, Lagrange, llego a sobrevivir. Se crio en una fa-
milia adinerada de la cual no obtuvo herencia ya que no quedaba nada digno de
ser heredado.
Lo primero que intereso a Lagrange en sus estudios escolares fueron las lenguas
clasicas gracias a las cuales pudo interesarse por trabajos matematicos como los
de Euclides y Arqumedes, pero que no le impresionaron demasiado. Mas tarde
un ensayo de Haley sobre analisis matematico cayo en sus manos quedando cau-
tivado por este. Desde entonces decidio dedicarse a las matematicas. En muy poco
tiempo llego a dominar, sin necesidad de maestros lo que entonces constitua el
analisis moderno.
4.2. Teorema de Lagrange 49
A los 16 a nos fue nombrado profesor de matematicas en la Real Escuela de Ar-
tillera de Turn.
Lagrange se escriba cartas con Euler, el cual le ayudo a publicar un libro ya que
apreciaba la inteligencia de Lagrange.
4.2.2. Teorema
El Teorema de Lagrange es como el Abecedario de los grupos nitos, el cual
tiene aplicaciones interesantes en la teora de n umeros.
El teorema simplemente dice que el orden de todo subgrupo divide al orden del
grupo.
Denicion 4.1 (
Indice) Sea G un Grupo y H un Subgrupo de G. Se dene

el ndice de H en G como el n umero de clases laterales (izquierdas o derechas),
y se denota por [G : H].
Teorema 4.1 (Lagrange) Si (G, ) es un Grupo nito y H es un Subgrupo
de G, entonces el orden de H divide al orden de G.
Demostraci on. Considerando la relacion de equivalencia a b ab
1
H,
sabemos que:
G = H a
1
_
H a
2
_
H a
3
_
. . .
_
H a
k
Donde H a
i
son clases distintas para cada a
i
R , con R un sistema de
representante de clases.
Ahora consideraremos : H H a
j
y demostremos que esta es una fun-
cion biyectiva para armar que cada H a
i
tienen el mismo n umero de elementos
que el orden de H.
: H H a
j
h (h) = h a
j
1) Por demostrar que es una funcion bien denida.
Sean h, h
H tales que
h = h
aplicamos a
j
h a
j
= h
a
j
(h) = (h
)
Esto nos dice que a cada elemento del dominio de la funcion, le corresponde sola-
mente un elemento del codominio.
es una funcion bien denida.
2) Por demostrar que es una funcion Inyectiva.
(h) = (h
)
h a
j
= h
a
j
h = h
trivialmente por cancelacion

es una funcion Inyectiva.
3) Por demostrar que es una funcion Epiyectiva.
es una funcion Epiyectiva Im() = H a
j
(el conjunto Im es el que
com unmente conocemos como el recorrido)
Luego,
Im() = H a
j
Im() H a
j
H a
j
Im()
(i) Im() H a
j
es por denicion, ya que
Im() =: m H a
j
[ (h H) ((h) = m)
(ii) H a
j
Im().
Sea z H a
j
, luego z es de la forma h a
j
con alg un h H. Trivialmente
tenemos que (h) = h a
j
= z.
Entonces existe una preimagen h para z, lo cual implica que z Im().
Luego, H a
j
Im(), entonces H a
j
= Im().
es una funcion Epiyectiva
Luego, por (1), (2) y (3) podemos decir que es una funcion Biyectiva. Entonces,
H y H a
j
tienen la misma cantidad de elementos.
En conclusion
[G[ = k [H[ donde k es el n umero de clases de equivalencias
Ahora, por la denicion de ndice tenemos que k = [G : H]
[G[ = [G : H] [H[
[H[ [G[.
Ejemplos
1) Sea G = D
4
, donde (D
4
, ) es el Grupo de los movimientos rgidos del cuadra-
do.
1 2
3 4
S
1
1 2
3 4
S
2
1 2
3 4
T
1, 3
1 2
3 4
T
2, 4
1 2
3 4
R
rotar en 90
o
1 2
3 4
R
2
rotar en 180
o
1 2
3 4
R
3
rotar en 270
o
1 2
3 4
Id
rotar en 360
o
De estos Movimientos obtenemos las siguientes funciones:
S
1
: S
2
: T
1,3
:
1 4 1 2 1 1
2 3 2 1 2 4
3 2 3 4 3 3
4 1 4 3 4 2
T
2,4
: R : R
2
:
1 3 1 2 1 3
2 2 2 3 2 4
3 1 3 4 3 1
4 4 4 1 4 2
R
3
: Id :
1 4 1 1
2 1 2 2
3 2 3 3
4 3 4 4
D
4
:= S
1
, S
2
, T
1,3
, T
1,4
, R, R
2
, R
3
, Id
Sea H = Id , R
2
D
4
Entonces, [D
4
: Id , R
2
] = 4, ya que [D
4
[ = 8 [Id , R
2
[ = 2.
NOTA: El Grupo (D
4
, ) no podra tener subgrupos de orden 3, 5, 6, 7 , ya
que no dividen a 8, el cual es el orden de D
4
. Ahora lo importante que debemos
destacar, es que si encontramos un divisor del orden de G esto no siempre implica
que exista un subgrupo de tal orden.
2) Sea G = D
3
; H = Id, T
1
Entonces, [D
3
: Id , T
1
] = 3, ya que [D
3
[ = 6 [Id , T
1
[ = 2.
Corolario 4.1 Sea G es un Grupo nito de orden p, con p primo, entonces G
es un Grupo Cclico.
Demostraci on. Sea H G y sea [H[ = k , entonces por el teorema de
Lagrange tenemos que k [G[ , luego k p. Ahora, como p es un n umero
primo, tenemos que k = 1 k = p
Entonces, tenemos dos posibilidades para H
H = e H = G
Ahora, sea g G , g ,= e
luego;
< g >= H es un subgrupo de G (debemos tener en cuenta la propiedad 2.3),
donde H ,= e, ya que g ,= e.
< g >= H = G, lo cual demuestra que G es un grupo cclico.

4.3. Subgrupos Normales
Introduccion
Sea (G, ), un Grupo, H G y consideremos el conjunto cuocientes
G/H = a H / a G
Cuando a H b H = a b H esta bien denida ?
Sean a H, b H G/H y sean a
H, b
H G/H tales que:

a H = a
H b
H = a
H
Debemos encontrar las condiciones necesarias para que se cumpla que;
a H b H = a b H = a
H = a
H b
H
Tenemos que;
a H = a
H b H = b
H a b H = a
H
a
1
a
H , b
b
1
H (a b)
1
a
H
b
1
a
1
a
H
Reescribiendo,
a
1
a
= h H b
1
b
= k H ; b
= b k
Reemplazando,
b
1
a
1
a
= b
1
h b k
..
H
H?
4.3. Subgrupos Normales 55
Luego, se necesita que b h b
1
H , b H
a H b H = a b H esta bien denida b H b
1
H
Denicion 4.2 Se dice que H es un Subgrupo Normal de (G, ) si y solo
si (b G) (b H b
1
H) y se denota como H G
6 Comentario
Los Subgrupos normales son aquellos subgrupos importantes de un grupo, con
la propiedad de que las clases laterales izquierdas son iguales a las derechas. La
operacion inducida esta bien denida y las clases laterales forman un grupo (grupo
cuociente). De lo cual obtenemos la siguiente propiedad.
Proposicion 4.1 Sea (G, ) un grupo y H un subgrupo de G, entonces, el
conjunto (G/H, ) tiene estructura natural de grupo si y solo si H G.
Observacion 6 Veamos que si G/H es un grupo cuociente, entonces este,
naturalmente debe tener un elemento neutro (o identidad), por lo cual una de las
inquietudes sera conocer dicho elemento. Si notamos como construimos el conjun-
to cuociente, nos jaremos que todo elemento de H esta relacionado, sin ninguna
duda, con el elemento neutro de G, tambien notamos que los elementos de G/H
son sencillamente conjuntos del tipo aH los cuales son distintos del conjunto H
si a , H. De cierta forma, la idea de la construccion del grupo cuociente es la de
aislar el conjunto H en una clase lateral, de modo que los elementos restantes
del conjunto G, sean los destacables en el nuevo grupo inducido por por la relacion
de equivalencia. Me explico con un ejemplo.
Si consideramos K como un conjunto cualquiera de elementos y consideramos
J K el cual esta constituido por los elementos que son conmutativos en K,
entonces el conjunto cuociente K/J constara precisamente de las clases kJ, donde
k es un elemento no conmutativo en el conjunto K (o sea k , J), naturalmente
si pensamos en K/J como grupo, tendremos claramente que este es un grupo no
Abeliano, ya que todo elemento de K el cual era conmutativo fue absorbido
por el conjunto J. Luego, quien destacara en el grupo cuociente? la respuesta es
sencilla, seran todas las clases de la forma kJ donde k K J, y claramente la
clase J sera el elemento identidad del grupo K/J. Les dejo a su criterio pensar en
esta reexion.
Denicion 4.3 Se dice que un grupo G es Simple si y solo si sus unicos
subgrupos normales son el trivial y si mismo.
Observacion 7 Sea (G, ) un Grupo, K G
1. (g K) (h K) = (g h) K ; g, h G
2. (g K)
n
= g
n
K ; g G , n Z (con notacion de potencia)
3. Si k K k K = e K = K (Absorcion)
4. Si G es un grupo abeliano, entonces todos sus subgrupos son Normales.
Cuando nos piden demostrar que un subgrupo es normal en el grupo, primero
que todo, debemos demostrar que este es realmente un subgrupo (si es que no lo
mencionan) y luego demostrar la normalidad.
En los ejercicios que veremos, solo probaremos la normalidad, ya que es, lo que
queremos destacar.
1) Demostrar que SL
2
(R) GL
2
(R)
Solucion
SL
2
(R) GL
2
(R) (A GL
2
(R))(A SL
2
(R) A
1
SL
2
(R))
Sabemos que;
SL
2
(R) =: N GL
2
(R) [ det(N) = 1
Sea M A SL
2
(R) A
1
M = A B A
1
Donde B SL
2
(R)
(i) A, B, A
1
GL
2
(R), luego por clausura se tiene que
A B A
1
= M GL
2
(R)
(ii) Estudiemos el determinante de M
det(M) = det(A B A
1
) = det(A) det(B) det(A
1
)
. .
por propiedades de determinante
Tenemos que B SL
2
(R) det(B) = 1, entonces
det(M) = det(A) 1 det(A)
1
= det(A A
1
) = det(Id
2
) = 1
M SL
2
(R)
A SL
2
A
1
SL
2
(R)
SL
2
(R) GL
2
(R)
2) Si K (G, ) , H (G, ) Pruebe que K H (G, ).
Solucion
Por el Corolario 1.1 tenemos que si K G H G K H G.
Ahora debemos demostrar que (g G)(g K H g
1
K H)
Sea x g K H g
1
x = g m g
1
; con m K H
Si m K H m K m H
Como m K x = g m g
1
g K g
1
(g G)
m H x = g m g
1
g H g
1
(g G)
x (g K g
1
) (g H g
1
) (g G)
Pero K G g K g
1
K x K
H G g H g
1
H x H
Como x K x H x K H
g K H g
1
K H K H G
De los ejercicios anteriores podemos denir los siguientes grupos:
(GL
2
(R)/SL
2
(R), ) Grupo con la multiplicacion.
(G/K H , ) donde (G, ) es un grupo, K G y H G.
[G, G] G (G/[G, G], ) es un grupo, donde [G, G] es el Conmutador
de G.
Z(G) G (G/Z(G), ) es un grupo, donde Z(G) es el Centro de G.
Ademas
(Z/nZ, +)
(R/Z, +)
(Q/Z, +)
(GL
2
(K)/SL
2
(K), ) En general, con K cuerpo
(Z Z/(1, 1)), +)
Proposicion 4.2 Sea G un grupo y H un subgrupo normal de G, entonces el
grupo G/H es abeliano si y solo si [G, G] H.
Demostraci on.
)
Supongamos que G/H es abeliano, por demostrar que [G, G] H.
Como [G, G] y H son grupos, solo basta demostrar que [G, G] H, entonces, si
x [G, G], notemos que x es de la forma, un producto nito de elementos [g, h]
con g, h G, luego, nuestro problema se reduce, en probar que los elementos
[g, h] estan en H. As, tenemos que:
[g, h]H = ghg
1
h
1
H
= gH hH g
1
H h
1
H pero G/H es abeliano
= gH g
1
H hH h
1
H
= gg
1
H hh
1
H
= eH eH
= H
es decir [g, h]H = H, esto es si y solo si [g, h] H, luego [G, G] H.
[G, G] H
)
Supongamos que [G, G] H, por demostrar que G/H es abeliano.
Como [G, G] H, tenemos que todo elemento de la forma [r, t] esta en H, con
r, t G, as [r, t]H = H. Entonces, para todo gH, hH G/H tenemos:
gH hH = ghH utilizando lo que se dijo recien
= gh[h
1
, g
1
]H
= gh(h
1
g
1
(h
1
)
1
(g
1
)
1
)H
= (ghh
1
g
1
)(h
1
)
1
(g
1
)
1
H
= (h
1
)
1
(g
1
)
1
H
= hgH
= hH gH
es decir, G/H es abeliano.

a) G/H tiene estructura natural de grupo si y solo si H G.
b) Si H es un grupo nito entonces G/H tambien es nito.
c) Si G tiene orden n entonces G/H tiene orden n.
d) Si G tiene orden n entonces siempre va a existir un subgrupo de
orden k, donde k es un divisor de n.
e) Todo subgrupo de un grupo abeliano G, siempre es un subgrupo
normal de G.
f) Si G es un grupo de orden m entonces todo subgrupo debe tener
orden un divisor de m.
g) En un grupo cuociente toda clase tiene el mismo orden.
h) Un grupo de orden primo tiene al menos un subgrupo propio.
i) Toda clase del grupo G/H tiene la misma cardinalidad que el sub-
grupo H.
j) La union de dos subgrupos normales de G es tambien un subgrupo
normal de G.
k) Si K H y H G, entonces K G.
l) Todo subgrupo abeliano de un grupo G, es normal en G.
m) Si H es un subgrupo normal de un grupo G, entonces H N
G
(H).
4.6. Producto Directo Interno y Externo 61
4.6. Producto Directo Interno y Externo
En esta seccion, mostraremos una nocion a cerca de los productos directos internos
y externos de grupos. Solo nos enfocaremos en algunas propiedades, las cuales nos
ayudaran a la resolucion de problemas vistos en el curso. No esta demas decir que
nos referimos como producto a la operacion del grupo en cuestion
4.6.1. Producto Directo Externo
Esta denicion no es nueva para nosotros, ya que la mencionamos en la proposicion
1.2, pero no profundizamos mucho en ella, ahora, la idea tampoco es profundizar
demasiado, mas que nada, veremos algunas propiedades importantes que tienen
estos grupos, que nos serviran para la resolucion de algunos problemas.
Denicion 4.4 Sea (G
i
,
i
) [ (1 i n)(n N)(n 2) una familia de
grupos con sus respectivas operaciones binarias. Se dice que
i I
G
i
es el produc-
to directo externo de la familia de grupos G
i
[ (1 i n)(n N)(n 2)
y el cual, naturalmente es un grupo, donde la operacion binaria se dene de la
siguiente manera;
i I
G
i

i I
G
i

i I
G
i
(a
1
, a
2
, a
3
, ...., a
n
) ; (b
1
, b
2
, b
3
, ...., b
n
) (a
1
1
b
1
, a
2
2
b
2
, ...a
n

n
b
n
)
Tambien tenemos que si e
i
con 1 i n son los neutros (o identidades) de los
grupos, entonces (e
1
, e
2
, e
3
, ..., e
n
) es el neutro (o identidad) del producto directo
externo. Ademas, vemos claramente que si a
1
i
son los inversos de a
i
, entonces
(a
1
1
, a
1
2
, a
1
3
, ...a
1
n
) es el inverso del elemento (a
1
, a
2
, a
3
, ...a
n
).
En particular;
Si (G, ) y (H, ) son grupos, entonces el grupo del producto directo externo es
denotado por (G H, ), donde (a, x) (b, y) = (a b, x y)
Notacion: Si G
i
[ 1 i n son grupos aditivos, entonces el producto directo
externo, pasa a llamarse suma directa externa y se denota por G
1
G
2
G
3
...G
n
o simplemente
n
i=1
G
i
.
Propiedad 4.1 Sea G =
n
i =1
H
i
un grupo nito. Entonces [G[ =
[H
1
[ [H
2
[ [H
3
[ ... [H
n
[. Cabe destacar, que el producto directo externo de grupos
nitos, es nito.
Ejemplos
[Z
5
Z
8
[ = [Z
5
[ [Z
8
[ = 5 8 = 40
[S
n
Z
n
[ = n! n = n
2
(n 1)!
[Z
2
Z
2
Z
2
Z
2
[ = 2
4
= 16
[GL
2
(Z
2
) Z
7
S
4
[ = 6 7 24 = 1008
Proposicion 4.3 Sea
n
i =1
H
i
un grupo nito y sean a
i
H
i
elementos de
orden r
i
respectivamente. Entonces, [(a
1
, ..., a
n
)[ = MCM([r
1
[, ..., [r
n
[)
Demostraci on. No nos compliquemos con detalles, solo hagamos una reexion.
Para que exista un m tal que (a
1
, a
2
, a
3
, ..., a
n
)
m
= (e
1
, e
2
, e
3
, ..., e
n
), este debe
ser simultaneamente m ultiplo de cada r
i
. Ahora, sabemos que si el orden de un
elemento s es k, entonces k es el menor entero positivo el cual cumple con s
k
= e,
lo cual nos queda, obviamente, que m debe ser el mnimo com un m ultiplo de los
r
i
.
Ejemplos
Consideremos el grupo Z
3
Z
4
Z
6
, entonces;
[(2, 2, 3)[ = M.C.M.([2[, [2[, [3[) = M.C.M.(3, 2, 2) = 6
[(0, 3, 2)[ = M.C.M.(1, 4, 3) = 12
[(0, 0, 1)[ = M.C.M.(1, 1, 6) = 6
4.6.2. Producto Directo Interno
Denicion 4.5 Sea G un grupo y sea H
i
[ 1 i n una familia de subgru-
pos de G. Se dice que G es el producto directo interno de los subgrupos H
i
si
y solo si la transformacion
:
n
i =1
H
i
G
(h
1
, h
2
, ..., h
n
) h
1
h
2
... h
n
4.6. Producto Directo Interno y Externo 63
es un Isomorsmo.
7 Comentario
Todava no hemos introducido la nocion de Isomorsmo, por lo cual no esta demas
explicar un poco esta denicion.
Al establecer un Isomorsmo entre dos grupos, nosotros podemos decir que estos
poseen propiedades estructurales iguales como pueden ser;
Abeliano
Cclico
Finito de orden n
Innito
Entre otras que se nombraran en la secciones 5.2 y 5.3. Lo mas importante, y la
razon que me llevo a introducir esta denicion, es el siguiente teorema.
Teorema 4.2 Si G es el producto directo interno de la familia de subgrupos
H
i
[ 1 i n, entonces todo g G se escribe de manera unica como g =
h
1
h
2
h
n
, donde h
i
H
i
La demostracion la omitiremos, ya que requiere de conocimientos de las secciones
antes nombradas.
La denicion y el teorema anterior nos lleva a preguntarnos, que puede pasar con
el producto de elementos de varios subgrupos de un grupo G, Es acaso un grupo,
el conjunto formado por el producto de elementos de varios subgrupos de G?
Si G es un grupo, H y K dos subgrupos de G, podemos construir el siguiente sub-
conjunto de G ; hk [ h H k K el cual se denota por HK. Armamos
que si G es abeliano, entonces HK es un subgrupo de G, ya que no necesariamente
el producto h
1
k
1
h
2
k
2
esta en HK. Mas a un, si consideramos que solo conmuten
los elementos de H con los de K, esto es si HK = KH, tambien resultara que
HK es un subgrupo de G. A continuacion la escribiremos como proposicion para
tenerla en cuenta.
Proposicion 4.4 Sea G un Grupo y sean H y K dos subgrupos de G, entonces
el conjunto denido como HK := hk G[ h H , k K es subgrupo de G
si y solo si HK = KH.
Demostraci on.
)
Supongamos que HK G, por demostrar que HK = KH. Primero veamos que,
para cada grupo C, un elemento c C es alg un inverso de un elemento de C, por
lo cual, es valido denir el grupo C de la siguiente manera C = c
1
[ c C.
Luego de esta observacion, tenemos que;
HK = hk [ h H k K
= h
1
k
1
[ h H k K por observacion anterior
= (kh)
1
[ h H k K
= kh[ k K h H
= KH
)
Supongamos que HK = KH, por demostrar que HK G. Como es costum-
bre, utilizaremos la proposici on 1.3 para la demostracion. Por denicion ten-
emos que HK = hk G[ h H k K, por lo cual, la contencion
se cumple trivialmente, por otro lado tambien tenemos que ee = e HK,
entonces HK ,= . Ahora solo nos queda demostrar que si h
1
k
1
, h
2
k
2
HK
entonces h
1
k
1
(h
2
k
2
)
1
HK. Tenemos por hipotesis que HK = KH, as nos
queda lo siguiente:
h
1
k
1
(h
2
k
2
)
1
= h
1
k
1
k
1
2
h
1
2
hagamos k
1
k
1
2
= k
3
= h
1
k
3
h
1
2
por hipotesis k
3
h
1
2
= h
3
k
4
, h
3
H, k
4
K
= (h
1
h
3
)k
4
hagamos h
1
h
3
= h
4
= h
4
k
4
As, tenemos que h
1
k
1
(h
2
k
2
)
1
= h
4
k
4
HK, por lo tanto, concluimos que
HK G.
Ejemplo
Sea H =
_
_
a b
0 1
_
GL
2
(R)
a R
, b R
_
el cual se conoce como el
Grupo afn, y sea K =
_
_
x 0
0 w
_
GL
2
(R)
x, w R
_
. Con estos dos
subgrupos de GL
2
(R) construimos el siguiente conjunto:
HK =
_
_
a b
0 1
_
_
x 0
0 w
_
_
a b
0 1
_
H ;
_
x 0
0 w
_
K
_
El cual es un subgrupo de GL
2
(R), ya que HK = KH. Dejamos de ejercicio
vericar esta armacion.
(1) Sean H y K dos subgrupos normales de G. Demostrar que HK es normal
en G.
(2) Sean H y K dos subgrupos normales de G. Demostrar que H K) = HK
(ayuda: recuerde que H K) = s
1
s
2

n
[ s
i
H K s
1
i
H K)
(3) Determine los elementos del conjunto cuocientes Z
3
Z
2
/(2, 0)) y calcule
el orden de (2, 1).
(4) Determine los elementos del conjunto cuocientes Z
2
Z
6
/(1, 3)) y calcule
el orden de (1, 2).
(5) Sea G un grupo de orden n. Demostrar que (g G) (g
n
= e).
(6) Sea (G, ) un grupo y H un subgrupo de G. Demostrar que [H[ = [a H[
con a G.
(7) Sea G un grupo de orden par. Demostrar que existe g G tal que [g[ = 2.
(8) Si H y K son subgrupos de G, entonces las siguientes condiciones son equiva-
lentes:
a) HK G.
b) HK KH.
c) HK = KH.
(9) Sea G un grupo y sea H G tal que H es cclico. Demostrar que todo
subgrupo de H es un subgrupo normal de G.
(10) Sea G un grupo y sean H K G. Demostrar que H es normal en K si
y solo si K N
G
(H).
(11) Sea G un grupo y sean K H subgrupos de G. Demostrar que K G
K H.
(12) Sea G un grupo y H un subgrupo de G tal que H Z(G). Demuestre que
H G.
(13) Determinar el conmutador del grupo D
4
(sugerencia: considere el el sub-
grupo R
2
) y luego utilice la proposicion 4.2).
(14) Sea Ant := A M
2
(C) [ A es antisimetrica. Demostrar que Ant
M
2
(C)
(15) Demostrar que la interseccion de una familia de subgrupos normales de un
grupo tambien es un subgrupo normal.
(16) Sea G un grupo abeliano tal que [G[ > 1, Demostrar que las siguientes
armaciones son equivalentes:
a) El orden de G es nito y primo.
b) G es un Grupo Simple.
(17) Describa el grupo GL
2
(Z
2
)/H, donde H =
_
1 1
1 0
_
).
(18) Determine un sistema de representantes del grupo Q
/1, 1.
Captulo 5
Homomorsmos
5.1. Conceptos principales
Denicion 5.1 Sean (G, ) , (H, ) dos Grupos y sea f : G H una fun-
cion. Se dice que f es un Homomorfismo si y solo si;
(x, y G) (f(x y) = f(x) f(y))
Ejemplos
1.
Log
a
: (R
+
, ) (R, +)
x Log
a
(x)
Donde (x, y R
+
) (Log
a
(x y) = Log
a
(x) +Log
a
(y)).
2.
det : (GL
2
(K), ) (K
, ) con K cuerpo
A det(A)
Donde (A, B GL
2
(K)) (det(A B) = det(A) det(B)).
68 5. Homomorfismos
3.
t : (M
2
(K), +) (M
2
(K), +) con K cuerpo
M M
t
Donde (M, N M
2
(K)( (M +N)
t
= M
t
+N
t
).
t es la traspuesta de una matriz.
4.
: Z Z
n
x (x) = x
Donde (x, y Z) ((x +y) = x +y = x +y = (x) +(y)).
5.
: ( R
f
_
b
a
f(x) dx
Donde ( es el grupo de las funciones continuas en el intervalo [a, b]. Vemos
claramente que (f, g () ((f +g) =
_
b
a
[f(x) +g(x)] dx =
_
b
a
f(x) dx +
_
b
a
g(x) dx = (f) +(g))
Ademas,
Si f : G H es un Homomorsmo, diremos que;
1. f es un Monomorsmo si y solo si f es inyectiva.
2. f es un Epimorsmo si y solo si f es epiyectiva.
3. f es un Endomorsmo si y solo si G = H.
5.1. Conceptos principales 69
4. f es un Isomorsmo si y solo si f es inyectiva y epiyectiva.
5. f es un Automorsmo si y solo si f es inyectiva, epiyectiva y ademas
G=H.
De los ejemplos anteriores tenemos que;
Log
a
es un Isomorsmo.
det es un Epimorsmo.
t es un Automorsmo.
es conocido como el Epimorsmo Canonico.
En General, si (G, ) es un grupo y H G.
: G G/H
g (g) = g H
es el Epimorsmo Canonico.
Notaciones
Sean (G, ), (H, ) dos Grupos.
1. Hom(G, H) = f F(G, H) [ f es un Homomorsmo conjunto de los Ho-
momorsmos de G en H.
Observacion 8 Lo interesante es saber cuando Hom(G, H) es un Grupo.
Determinaremos las condiciones necesarias para que Hom(G, H) F(G, H),
donde podemos conocer su estructura y as conocer con que operacion tra-
baja.
70 5. Homomorfismos
(i) Hom(G, H) F(G, H) Se cumple por denicion
(ii) Hom(G, H) ,=
e : G H
g e
h
Donde e es el homomorsmo nulo.
No es de mayor dicultad demostrar que e es un homomorsmo. Entonces
e Hom(G, H) Hom(G, H) ,=
(iii) Sean f, g Hom(G, H), por demostrar que f g
1
Hom(G, H).
f g
1
Hom(G, H) (x, y G) ((f g
1
)(xy) = (f g
1
)(x)
(f g
1
)(y))
Entonces, sean x, y G
(f g
1
)(x y) = f(x y) (g(x y))
1
Distribucion de funciones
= f(x) f(y) (g(x y))
1
= f(x) f(y) g(y)
1
g(x)
1
= f(x) f(y) g
1
(y) g
1
(x)
= f(x) (f g
1
)(y) g
1
(x)
= f(x) g
1
(x) (f g
1
)(y) Si H es ABELIANO
= (f g
1
)(x) (f g
1
)(y)
Entonces f g
1
Hom(G, H)
Hom(G, H) F(G, H) (si y solo si H es un grupo ABELIANO).
Conclumos que;
Si G es Grupo y (H, ) un grupo Abeliano (Hom(G, H), ) es
un grupo.
2. End(G) = f F(G, G) [ f es un Homomorsmo conjunto de los Endo-
morsmos de G.
(End(G), ) es un grupo, donde es la operacion de G.
3. Aut(G) = f End(G) [ f es una funcion biyectiva conjunto de los Au-
tomorsmos de G.
Aut(G) es un grupo con la composicion de funciones ( )
Propiedad 5.1 Sean (G, ), (H, ) dos Grupos y sea f : G H un Ho-
momorsmo.
1. (f(a))
1
= f(a
1
)
2. Si e
G
, e
H
son los neutros de los Grupos G y H respectivamente, entonces
f(e
G
) = e
H
Demostraci on.
Demostracion 1.
f(a a
1
) = f(e
G
)
f(a) f(a
1
) = f(e
G
) /(f(a))
1
izq
(f(a))
1
f(a) f(a
1
) = (f(a))
1
f(e
G
)
e
H
f(a
1
) = (f(e
G
) f(a))
1
f(a
1
) = ((f(e
G
a))
1
f(a
1
) = (f(a))
1
72 5. Homomorfismos
Demostracion 2.
e
G
= a a
1
/f (a G)
f(e
G
) = f(a a
1
) f es homomorsmo
f(e
G
) = f(a) f(a
1
) utilizando propiedad (1) tenemos
f(e
G
) = f(a) (f(a))
1
) (f(a))
1
es el inverso de f(a)
f(e
G
) = e
H
Denicion 5.2 Sea f : G H un homomorsmo.

Se denen:
Kerf = g G[ f(g) = e
H
Kernel de f o N ucleo de f.
Este conjunto tambien se puede denotar como f
1
(e
H
) (conjunto de las preimagenes
del neutro de H).
Imf = h H[ (g G) (f(g) = h) Imagenes de f
Este conjunto tambien se puede denotar como f(G).
Si J H entonces se dene:
f
1
(J) = g G[ f(g) J Conjunto de las preimagenes de J.
Armacion
kerf G ; Imf H ; f
1
(J) G
8 Comentario
Si f : G H es un homomorsmo y M G, entonces f(M) H. En
particular Imf H, ya que Imf = f(G) donde G es un subgrupo de si
mismo. La demostracion se deja de ejercicio.
Teorema 5.1 Sea f : G H un homomorsmo, entonces;
1. f es una funcion inyectiva, o sea, es un Monomorsmo si y solo si Kerf =
e
G
, donde e
G
es el neutro de G.
2. f es un Isomorsmo si y solo si existe un homomorsmo f
1
: H G
tal que f f
1
= I
H
y f
1
f = I
G
Demostraci on.
Demostracion 1.
)
Supongamos que f es un monomorsmo, entonces debemos demostrar que Kerf =
e
G
Tenemos que Kerf = g G[ f(g) = e

H
Entonces, vemos que x kerf f(x) = e

H
(por denicion de kerf).
Ahora, por otro lado, tenemos que si f es un homomorsmo entonces f(e
G
) = e
H
Luego, f(x) = f(e
G
), pero f es inyectiva por hipotesis.
x = e
G
En conclusion, tenemos que para cualquier x Kerf x = e
G
. Por lo
tanto Kerf = e
G
)
Supongamos que Kerf = e
G
, por demostrar que f es un monomorsmo. Ya
sabemos por el enunciado que f es un homomorsmo, ahora solo nos queda de-
mostrar que f es una funcion inyectiva.
Sean x, y G tales que f(x) = f(y), por demostrar que x = y . O sea,
que que cada elemento de G tiene una unica imagen en H y distinta al resto de
los demas elementos de G.
74 5. Homomorfismos
f(x) = f(y) / (f(y))
1
f(x) (f(y))
1
= f(y) (f(y))
1
f(x) f(y
1
) = f(y) f(y
1
) (por propiedad 5.1 (2))
f(x y
1
) = f(y y
1
) f es homomorsmo
f(x y
1
) = f(e
G
) pero f(e
G
) = e
H
f(x y
1
) = e
H
Entonces x y
1
Kerf, ya que si x, y G x y
1
G (propiedad
de grupo) y ademas f(x y
1
) = e
H
(condicion que cumplen los elementos del
kernel de f).
Por hipotesis tenamos que Kerf = e
G
Luego,
x y
1
= e
G
/ y
x (y
1
y) = e
G
y
x e
G
= e
G
y
x = y
En conclusion tenemos que f(x) = f(y) x = y
f es un Monomorsmo
Demostracion 2.
)
Esta demostracion la dejaremos como ejercicio para el lector.
)
Supongamos que existe un homomorsmo f
1
: H G tal que f f
1
= I
H
y f
1
f = I
G
, por demostrar que f es un Isomorsmo.
Por el enunciado tenemos que f es un homomorsmo, ahora basta demostrar
que f es una funcion biyectiva.
1. Demostremos que f es Inyectiva. Sean x, y G tales que f(x) = f(y), por
demostrar que x = y
f(x) = f(y) /f
1
(f
1
f)(x) = f
1
f(y) por hipotesis tenemos que f
1
f = I
G
x = y
Por lo tanto f es Inyectiva
2. Demostremos que f es Epiyectiva. f es Epiyectiva si y solo si Imf = H,
pero por denicion de Imf sabemos que Imf H, ahora solo basta
mostrar que H Imf
Sea h H, por demostrar que h Imf. Veamos que f
1
(h) G y
ademas por hipotesis sabemos que f f
1
= I
H
, entonces nos queda lo
siguiente;
f(f
1
(h)) = (f f
1
)(h) = I
H
(h) = h
Por lo cual f
1
(h) es una preimagen para h, ademas esto se cumple para
toda h H, por lo tanto H Imf. Entonces podemos decir que f es una
funcion Epiyectiva.
Por fundamentos anteriores queda demostrado que f es un Isomorsmo.
5.1.1. Ejercicios Resueltos

(I) Sea (G, ) un grupo abeliano y sea f la siguiente funcion
f : G G
g g
1
Demostrar que f es un Automorfismo.
76 5. Homomorfismos
(i) Demostraremos que f es un homomorsmo.
Sean g
1
, g
2
G
f(g
1
g
2
) = (g
1
g
2
)
1
= (g
2
)
1
(g
1
)
1
= f(g
2
) f(g
1
) G
G es abeliano = f(g
1
) f(g
2
)
f es un homomorsmo
(ii) Demostraremos que f es una funcion inyectiva utilizando el teorema 5.1.
Sea g G, entonces;
g Kerf f(g) = e
G
g
1
= e
G
aplicamos g
g g
1
= g e
G
e
G
= g
Kerf = e
G
f es inyectiva
(iii) Demostraremos que f es una funcion epiyectiva. Recordemos que f
es epiyectiva Imf = G
Tenemos que
Imf = g G[ (g
G) (f(g
) = g)
Sabemos que, Imf = G Imf G G Imf.
(1) Imf G por denicion del conjunto Imf
(2) Debemos demostrar que G Imf.
Sea g G, ahora como G es grupo g
1
G
Luego tenemos que,
f(g
1
) = (g
1
)
1
= g
Entonces, g
1
G tal que f(g
1
) = g g Imf
G Imf
Por (1) y (2) tenemos que Imf = G
f es una funcion epiyectiva
Por fundamentos anteriores podemos decir que f es un Automorfismo.
(II) Sean A y A
grupos tales que A

= A
. Demostrar que Aut(A)

= Aut(A
)
Por hipotesis tenemos que A

= A
, entonces, existe : A A
tal
que es un isomorsmo. Para la demostracion nos crearemos una funcion
dada de la siguiente manera:
: Aut(A) Aut(A
)
f (f)
Ahora necesitamos denir nuestra funcion (f) : A
la cual deno-
taremos
f
. Utilizando nuestra hipotesis podemos pensar en lo siguiente;
A
A A A
-
1
-
f
-
Luego, consideremos
f
:= f
1
(f Aut(A)). Ahora nos queda
demostrar que es un Isomorsmo.
(i) Primero veamos que es una funcion bien denida, o sea, que cada ele-
mento de Aut(A) tiene una unica imagen.
Sean f, g Aut(A) tales que f(a) = g(a) (a A), por demostrar
78 5. Homomorfismos
que
f
(b) =
g
(b) (b A
)
Tenemos que para todo b A
se cumple;
f
(b) = f
1
(b) por denicion anterior
= (f(
1
(b)
. .
A
) utilizando la hipotesis tenemos que
= (g(
1
(b))
= g
1
(b)
=
g
(b)
As tenemos que es una funcion bien denida.
(ii) Veamos que es un homomorsmo. Sean f, g Aut(A), por demostrar
que (f g) = (f) (g)
Tenemos lo siguiente;
(f g) = (f g)
1
por denicion
= (f Id g)
1
= (f (
1
) g)
1
= ( f
1
) ( g
1
)
= (f) (g)
As tenemos que es un Homomorsmo.
(iii) Veamos que es una funcion Inyectiva. Sabemos que es Inyectiva
si y solo si Ker = Id
Aut(A)
(por teorema 5.1), donde Id
Aut(A)
es el
neutro de Aut(A).
Sabemos que Ker = h Aut(A) [ (h) = Id
Aut(A
)
, donde Id
Aut(A
)
es
el neutro de Aut(A
). Ahora veamos lo siguiente;

Sea f Ker (f) = Id
Aut(A
)
f
1
= Id
Aut(A
)
/
1
izq
f
1
=
1
Id
Aut(A
)
/
der
f =
1

f = Id
Aut(A)
f Id
Aut(A)
Concluimos que Ker Id

Aut(A)
, luego Ker = Id
Aut(A)
, por lo tan-
to, es una funcion Inyectiva.
5.2. Breve estudio del Grupo Hom 79
(iv) Veamos que es una funcion epiyectiva. Recordemos que es una
funcion epiyectiva si y solo si Im = Aut(A
), pero sabemos que Im

Aut(A
) por denicion, por lo cual, basta demostrar que Aut(A
) Im.
Sea h Aut(A
), por demostrar que h Im. Sabemos que h Im si

y solo si (g Aut(A)) ((g) = h), o sea, si h posee preimagen.
Consideremos lo siguiente;
A A
A
-
-
h
-
1
Entonces, claramente
1
h Aut(A) y la cual es la preimagen
para h, ya que
(
1
h ) = (
1
h )
1
= (
1
) h (
1
) = h.
Vemos claramente que lo anterior es valido para cualquier elemento h de
Aut(A
), entonces, Aut(A
) Im, por lo tanto es una funcion Epiyec-

tiva.
Por fundamentos anteriores podemos decir que : Aut(A) Aut(A
)
es un Isomorsmo.
Aut(A)

= Aut(A
)
9 Comentario
El ejercicio que acabamos de ver no es una trivialidad, tal vez, en primera instancia
cueste algo de trabajo denir la funcion en un ejercicio similar, pero de verdad,
personalmente creo que es la parte mas difcil, ya que lo demas que se debe probar,
sale facilmente si conocemos los conceptos basicos de homomorsmos. Otra opcion
de resolver este tipo de ejercicios es, encontrar una funci on bien denida, probar
que es un homomorsmo y luego utilizar el Teorema 5.1 parte (2).
5.2. Breve estudio del Grupo Hom
El objetivo de este apartado es conocer un poco, acerca del grupo de homomors-
mos de ciertos grupos, mas que nada, identicar los elementos y conocer la can-
tidad de elementos que tiene cada grupo, de donde obtendremos una propiedad
80 5. Homomorfismos
bastante util que nos ayudara con este calculo. Claro, nos centraremos en grupos
sencillos como Z y Z
n
.
PROBLEMA. Encontrar, explcitamente, todos los homomorsmos de Z
n
en
Z
m
, o sea, conocer el el grupo Hom(Z
n
, Z
m
).
Tomemos un elemento de Hom(Z
n
, Z
m
) para conocer las condiciones que debe
cumplir todo elemento de Hom(Z
n
, Z
m
).
: Z
n
Z
m
x (x)
Veamos que (x) = (1 + 1 +... + 1
. .
xveces
) = (x 1) = x (1). Luego, queda
unicamente determinado si conocemos (1), la cual llamaremos a.
Ahora, como es homomorsmo debemos tener que (0) = (n) = m = 0 ,
luego, veamos que;
(n) = m
n (1) = m
n a = m
n a 0 (mod m)
n a = m t para alg un t Z
Tomemos d = M.C.D.(n, m) , entonces tenemos que
n
d
a =
m
d
t y co-
mo
n
d
y
m
d
son primos relativos, obtenemos que
m
d
[ a lo cual implica que
a
m
d
Z (a es m ultiplo de
m
d
).
Concluimos que esta bien denida si y solo si a es m ultiplo de
m
d
. Lo que nos
dice, que para cada m ultiplo de
m
d
obtenemos un elemento de Hom(Z
n
, Z
m
),
donde cada elemento lo anotaremos por
a
con a (
m
d
)Z , los cuales des-
cribimos como
a
: Z
n
Z
m
x
a
(x) = a x
Veamos que los
a
son realmente homomorsmos. Dados x, y Z
n
, tenemos
que
a
(x +y) = a (x +y) = a x +a y = a x +a y =
a
(x) +
a
(y) .
Respuesta al problema
Hom(Z
n
, Z
m
) =
a
[ a (
m
d
)Z
Donde d = M.C.D.(n, m) y a Z
m
.
Ejemplo
Determinemos Hom(Z
6
, Z
12
) . Por el estudio anterior tenemos que
Hom(Z
6
, Z
12
) =
a
[ a 2Z
Luego, nos queda Hom(Z
6
, Z
12
) =
0
,
2
,
4
,
6
,
8
,
10
. Donde vemos clara-
mente que
0
es el elemento neutro y esta demas decir que es un grupo con la
operacion suma.
PROBLEMA. Encontrar, explcitamente, el grupo Hom(Z
r
, Z
n
Z
m
)
De forma analoga al problema anterior, si Hom(Z
r
, Z
n
Z
m
), entonces,
esta unicamente determinada si conocemos (1), luego podemos escribir (1) =
(a, b) y determinar las condiciones necesarias para que este bien denida. Luego
de algunos calculos similares al problema anterior obtendremos que los elementos
de Hom(Z
r
, Z
n
Z
m
) son de la forma
(a,b)
, donde a (
n
d
)Z y b (
m
c
)Z con
d = M.C.D.(r, n) y c = M.C.D.(r, m). Describiendo los elementos tenemos;
(a,b)
: Z
r
Z
n
Z
m
x
(a,b)
(x) = (a x, b x)
Si notamos, es una denicion analoga al caso anterior, solo que esta vez traba-
jamos con un par (a, b) y en donde restringimos ambos por separado, razonando
de manera similar a cuando trabajamos con (1) = a (solo por dar una referen-
cia). Se deja al lector detallar los calculos intermedios.
82 5. Homomorfismos
Hom(Z
r
, Z
n
Z
m
) =
(a,b)
[ (a (
n
d
)Z) (b (
m
c
)Z)
Donde d = M.C.D.(r, n) y c = M.C.D.(r, m), y ademas, debemos tener en
cuenta que a Z
n
y b Z
m
.
Ejemplo
Determinemos, el grupo Hom(Z
3
, Z
4
Z
6
). Tenemos que
Hom(Z
3
, Z
4
Z
6
) =
(a,b)
[ (a 4Z) (b 3Z)
Como a Z
4
, solo le queda la posibilidad que sea a = 0, pensando de la misma
manera, solo que b Z
6
, nos quedan las posiblidades b = 0, 3. Luego, el grupo
nos queda
Hom(Z
3
, Z
4
Z
6
) =
(0,0)
,
(0,3)
PROBLEMA. Encontrar, explcitamente, el grupo Hom(Z

n
Z
m
, Z
r
)
Pendiente.

Proposicion 5.1 Sea d = M.C.D.(n, m), entonces
Z
d

= Hom(Z
n
, Z
m
)
10 Comentario
La demostracion de la proposicion 5.1 se hara en la siguiente seccion, ya que se
requiere conocer el teorema del isomorsmo. La intension de exhibir esta proposi-
cion, es que la utilicen cuando les pidan calcular el grupo Hom(Z
n
, Z
m
), la cual
les proporciona la cantidad de elementos y tambien les dice que, necesariamente,
el grupo Hom(Z
n
, Z
m
) debe ser cclico, ya que, Z
d
lo es. As, cada propiedad es-
tructural que tenga Z
d
tambien la tiene Hom(Z
n
, Z
m
).
Tambien la pueden utilizar en los grupo de la forma Hom(Z
r
, Z
n
Z
m
) y
Hom(Z
n
Z
m
, Z
r
), pero con la condicion de que n y m sean primos relativos,
ya que Z
n
Z
m

= Z
nm
si y solo si n y m son primos relativos (por el momento
armamos esto, pero en la seccion 5.2 se vera que es cierto), esto nos dice que es
natural ver un producto externo de grupos aditivos cclicos como si fuera un solo
grupo aditivo cclico (mediten acerca de esto).
PROBLEMA. Determinar, explcitamente, el grupo Hom(Z, Z
n
).
Sea Hom(Z, Z
n
), entonces, vemos que para todo x Z se tiene que
(x) = (1 +... + 1
. .
xveces
) = (1) +... +(1)
. .
xveces
= x (1)
Entonces, esta unicamente determinado si conocemos (1), donde asignaremos
(1) = a Z
n
. Finalmente, tenemos que los elementos de Hom(Z, Z
n
) son de
la forma
a
, donde los denimos como:
a
: Z Z
n
x
a
(x) = a x
Creo que no es necesario vericar que es un homomorsmo, esta claro, ya que es
analogo a los casos anteriores.
Hom(Z, Z
n
) =
a
[ a Z
n
84 5. Homomorfismos
a) El conjunto Hom(G, H) tiene estructura natural de grupo si G es
abeliano.
b) El conjunto End(G) es un grupo con la compuesta de funciones.
c) la transformacion : Z
n
Z
m
es una funcion bien denida si y
solo si n = m t para alg un t Z.
d) Todo Homomorsmo es un Epimorsmo.
e) Todo Isomorsmo es un Homomorsmo.
f) Un Homomorsmo es un Isomorsmo del dominio con la imagen si
y solo si el kernel consta solo del elemento neutro.
g) Si el dominio de una funcion tiene 7 elementos, es posible que el
conjunto de las imagenes tenga 10 elementos.
h) Es posible establecer un Isomorsmo entre un grupo innito y un
grupo nito.
i) El grupo de las imagenes de un homomorsmo es un subgrupo nor-
mal del codominio(conjunto de llegada).
j) El elemento neutro del grupo Aut(G) es la funcion nula (la que
enva todo elemento del dominio al neutro del codominio).
k) El grupo Hom(Z
n
, Z
m
) es cclico.
m) El grupo Hom(Z
r
, Z
n
Z
m
) es cclico para cualquier r, n, m 2.
n) El grupo Hom(Z
4
, Z
8
) tiene orden 32.
(1) Sea : A B un Homomorsmo de Grupo.
a) Demostrar que Ker A
b) Si H A (H) B
c) Si H A (H) (A)
d) Si J B
1
(J) A
1
(J) es el conjunto de las preimagenes de J.
(2) Sea : Z
m
Z
n
a +mZ a +nZ
Determine las condiciones necesarias para que sea una funcion y luego
demuestre que es un Homomorsmo.
(3) Determine todos los Aut(Z).
(4) Determine si Aut(Z)

= Z
2
(5) Demuestre que Z
2

= 1, 1, donde 1, 1 es grupo con la multiplicacion
usual.
(6) Sea G = a) un grupo cclico. Demostrar que cada Homomorsmo f :
G H queda completamente determinado por el elemento f(a) H.
(7) Sea G un grupo, demuestre que Aut(G) es un grupo con la composicion de
funciones.(sugerencia: Demuestre que Aut(G) Biy(G))
(8) Sean G, G
dos grupos y sea : G G
un Homomorsmo. Demostrar
que:
Biy(G)

= Biy(G
)
(Ayuda: Suponga una funcion
: Biy(G) Biy(G
)
f (f)
Donde (f) la denotaremos
f
y que (a G
) (
f
(a) = f
1
(a)) )
(9) Determine los Hom(Z Z, Z).
(10) Sea f : G H un Homomorsmo donde H es un grupo abeliano y
N G el cual N Kerf. Demostrar que N G.
86 5. Homomorfismos
(11) Sea f : Z
3
Z
6
dada por f(x) = 4x
f es una funcion bien denida?. Si lo es, determine si f es un Homo-
morsmo(pruebe con la suma y luego la multiplicacion).
(12) Determine explcitamente los siguientes grupos
a) Hom(Z
6
, Z
18
)
b) Hom(Z
6
, Z
12
Z
8
)
c) Hom(Z
2
, Z
4
) Hom(Z
3
, Z
6
)
(13) Demuestre que Hom(Z
2
, Z
4
) Hom(Z
3
, Z
6
)

= Z
6
5.5. Teoremas del Isomorsmo
Estos teoremas nos seran de gran ayuda para las demostraciones de isomorsmo
entre grupo, las cuales ayudan bastante para conocer la igualdad de caractersti-
cas que tienen dos grupos, como por ejemplo, conocer la cardinalidad de un grupo
estableciendo un isomorsmo con un grupo en donde su cardinalidad es mas facil
de conocer que la del otro. Ahora lo que le queda al estudiante es saber cuando
poder utilizarlos y de que manera.
Teorema 5.2 Sea f : G H un homomorsmo de grupo, donde el kerf es
un subgrupo normal de G. Ahora, si M es un subgrupo normal de G, entonces la
funcion
: G G/M dado por (a) = aM , es un epimorfismo con Kernel M.
Demostraci on. La demostracion que Kerf es un grupo normal de G la dejamos
de ejercicio para el lector.
Demostremos que es un homomorsmo. Sean a, b G, entonces
(ab) = abM = aMbM = (a)(b)
5.5. Teoremas del Isomorfismo 87
Ahora demostremos que es epiyectiva;
Debemos demostrar que Im = G/M, pero nosotros sabemos que Im G/M
por la denicion del conjunto Im, ahora solo nos queda probar que G/M Im.
Sea aM G/M, ahora es facil darse cuenta que (a) = aM
a G tal que es una preimagen para aM aM Im
G/M Im
Im = G/M
Entonces queda demostrado que es un epimorsmo.
Ahora nos queda demostrar que Ker = M
Sea a Ker (a) = M
aM = M
a M (Por absorcion)
Luego, por pasos de equivalencia tenemos que Ker = M.
La funcion : G G/N se llama el epimorsmo canonico o proyeccion.
Ejemplo
Considerando G = Z y N = 8Z formamos el siguiente epimorsmo canonico;
: Z Z/8Z
a (a) = a + 8Z
Es facil darse cuenta que 8Z Z, ya que Z es conmutativo, por lo tanto cualquier
subgrupo de Z es normal en este.
Generalizando tenemos que;
: Z Z/nZ
a (a) = a +nZ
donde n Z
+
.
88 5. Homomorfismos
Proposicion 5.2 Sean G y H dos grupos. La relacion G H G

= H
es una relacion de equivalencia.
Demostraci on. Naturalmente tenemos que G

= G mediante la funcion iden-
tidad Id : G G, la cual es un isomorsmo, entonces

= es reeja. Veamos
que si G

= H, entonces existe : G H isomorsmo, por lo cual, tambien
tenemos que
1
: H G es un isomorsmo luego si G

= H H

= G, por
lo tanto
= es simetrica. Ahora supongamos que G

= H y H

= K, por demostrar
que G

= K. Por lo anterior tenemos que existen las funciones : G H y
: H K, las cuales son isomorsmos, y a traves de estas podemos cons-
truir la funcion : G K, la cual es una funcion biyectiva (recordar
que la compuesta de dos funciones biyectivas es biyectiva), luego bastara ver que
es un homomorsmo. Dados x, y G tenemos que (xy) = ((xy)) =
((x)(y)) = ( )(x)( )(y), lo cual prueba que es un homomorsmo
(esta demostracion era trivial, pero no estaba demas mostrarla). Por lo tanto ten-
emos que

= es transitiva. En conclusion podemos decir que

= es una relacion de
equivalencia.
11 Comentario
El teorema que mostraremos a continuacion es el pilar de los tres corolarios im-
portantes que queremos destacar en esta seccion, los que conocemos como Los
tres teoremas del Isomorsmo.
Teorema 5.3 (teorema fundamental del homomorsmo) .
Sea f : G H un Homomorsmo de grupo y K un subgrupo normal de G, el
cual K Kerf, entonces existe un unico f : G/K H tal que f(aK) =
f(a) (a G), donde tenemos que Imf = Imf y Kerf = Kerf/K.
Luego, f es un Isomorsmo f es un Epimorsmo y K = Kerf.
Lo principal que podemos extraer de este teorema, es que existe un unico f ho-
momorsmo, tal que el siguiente diagrama Conmuta.
G H
G/K
-
f
?
p
p
p
p
p
p
p
f
Es decir, f = f
Demostraci on. Primero veamos por que se cumple que Imf = Imf y Kerf =
Kerf/K
Si vemos como se dene la funcion f notamos claramente que todo elemento
de Imf se escribe como uno de las Imf y recprocamente igual por lo tanto tene-
mos que Imf = Imf.
Ahora veamos lo siguiente;
Sea gK Kerf
f(gK) = e
H
(con e
H
neutro de H)
f(g) = e
H
g Kerf
gK kerf/K
Aca estamos diciendo que todo elemento de Kerf esta en kerf/K y como son
pasos de equivalencia tenemos el recproco, o sea que todo elemento de kerf/K
esta en Kerf, por lo tanto Kerf = Kerf/K.
Ahora vamos con la demostracion del teorema.
)
Sea f un isomorsmo, por demostrar que f es un epimorsmo y K = Kerf.
i) Tenemos por hipotesis que Imf = Imf y ademas como f es epiyectiva en-
tonces Imf = H
H = Imf f es epimorsmo
ii) Por demostrar que Kerf = K.
Tenemos por hipotesis que K Kerf, entonces basta demostrar que Kerf K
Sea g kerf gK Kerf/N, ademas tenemos que Kerf = Kerf/K.
Luego;
gK Kerf = K (ya que f es inyectiva), entonces gK = K g K
luego queda demostrado que Kerf K por lo tanto se cumple Kerf = K.
90 5. Homomorfismos
)
Sea f es un epimorsmo y K = Kerf, por demostrar que f es un isomor-
smo.
1) Demostraremos que f es una funcion bien denida, o sea que sin importar
el representante de una clase, sus imagenes deben ser iguales.
Sean aK, bK G/K tales que aK = bK por demostrar que f(aK) = f(bK).
Sabemos que aK = bK b
1
a K ademas tenemos por hipotesis que
K Kerf, entonces b
1
a Kerf, luego tenemos que:
f(b
1
a) = e
H
(f(b))
1
f(a) = e
H
ya que f es homomorsmo
f(a) = f(b)
f(aK) = f(bK) (por denicion de f)
f es una funcion bien denida
2) Demostraremos que f es un homomorsmo. Sean aK, bK G/K.
f(aKbK) = f(abK) = f(ab) = f(a)f(b) = f(aK)f(bK)
f es un Homomorsmo
3) Demostraremos que f es una funcion inyectiva. Recordemos que f es inyectiva
si y solo si Kerf = K (donde K es el neutro de G/K).
Sea aK Kerf f(aK) = e
H
f(a) = e
H
a Kerf =
K (el cual por hipotesis es igual a K), por lo tanto, a K Kerf K,
lo cual implica que Kerf = K.
f es inyectiva
4) Demostrar que f es epiyectiva no es de mayor dicultad, ya que por hipotesis
tenemos que Imf = Imf, ademas tenemos que f es epiyectiva, o sea, Imf = H,
por lo cual nos queda que Imf = H.
f es epiyectiva
Entonces por (1), (2), (3), (4) tenemos que f es un Isomorsmo.
Ahora, lo unico que nos resta es demostrar la unicidad de la funcon f.
Como es habitual, para la demostracion supondremos que existe otra y concluire-
mos que son iguales.
Supongamos que existe : G/K H donde (aK) = f(a) (a G).
Por otro lado tenemos que f(aK) = f(a) (a G), entonces nos queda que
(aK) = f(a) = f(aK) (a G) por lo tanto f = .
12 Comentario
El corolario que mostraremos a continuacion es el de mayor utilizacion en los
ejercicios de isomorsmo, por lo cual, es de mayor importancia el control que
pueda tener el estudiante en este.
Corolario 5.1 (Primer Teorema del Isomorsmo) .
Si f : G H es un homomorsmo de grupo, entonces f induce natural-
mente al isomorsmo G/Kerf

= Imf.
Demostraci on. Para la demostracion de este corolario debemos considerar un
homomorsmo f : G Imf , donde claramente es una funcion epiyectiva y
considerar el caso en que K = Kerf, luego por el teorema 5.3 nos queda que
existe un unico f : G/Kerf Imf el cual es un isomorsmo, por lo cual queda
demostrado el corolario. Aca nos queda que el siguiente diagrama conmuta;
92 5. Homomorfismos
G
Imf
G/Kerf
-
f
?
p
p
p
p
p
p
p
p
p
p
Importante
Tal vez, al ver las demostraciones de estos teoremas se nos resulta muy complicado
entender su uso y la aplicacion que conlleva a las demostraciones de isomorsmos
entre grupos. A continuacion destacaremos los pasos mas importantes que se usan
por lo general en la exhibicion de un isomorsmo entre grupos.
Sean G y A dos Grupos.
PASO 1: Denir una funcion (le llamaremos ) entre G y A, y vericar que
sea una funcion bien denida.
PASO 2: Mostrar que la funcion dada, es un Homomorsmo.
PASO 3: Debemos revisar el Kernel del homomorsmo, ya que si nos piden
demostrar, por ejemplo G/T

= A, entonces a priori nosotros debamos haber
pensado en un homomorsmo con kernel T. En el caso en que nos pidan G

= A
debemos pensar en que el kernel del homomorsmo sea e. Hasta el momento si
utilizamos el primer teorema del isomorsmo tendramos en los 2 casos lo siguiente;
(caso G/T

= A): G/Ker

= Im si ker = T entonces
G/T

= Im
(caso G

= A): G/Ker

= Im si ker = e entonces
G

= Im
PASO 4: Ahora, solo nos quedara demostrar, en ambos casos, que Im = A.
Por denicion de Im podemos asegurar que Im A, o sea, nos ahorramos un
paso, entonces el paso 4 solo consiste en demostrar que A Im
Ejemplo
Demostrar que GL
2
(R)/SL
2
(R)

= R
Para la demostracion utilizaremos el primer teorema del isomorsmo, donde lo

primero sera pensar en un homomorsmo entre los grupos GL
2
(R) y R
. En este
caso lo mas natural es pensar en la siguiente funcion;
det : GL
2
(R) R
A det(A)
la demostracion de que det es un homomorsmo se deja al lector. Lo importante es
que el homomorsmo det induce a un isomorsmo GL
2
(R)/Ker(det)

= Im(det).
Ahora veamos quien es Ker(det).
Ker(det) = A GL
2
(R) [ det(A) = e
R
= 1
= SL
2
(R) (trivialmente, por denicion)
Hasta el momento tenemos que GL
2
(R)/SL
2
(R)

= Im(det), ahora debemos de-
mostrar que Im(det) = R
. Veamos que;
Im(det) = x R
/ (A GL
2
(R)) (det(A) = x)
Luego, por denicion Im(det) R
(en realidad, sabemos que esto se cumple

siempre, pero solo lo destaco por si no lo recuerdan), ahora solo nos basta de-
mostrar que R
Im(det).
Sea z R
, por demostrar que z Im(det). Consideremos la matriz B =

_
z 0
0 1
_
, donde det(B) = z . Luego, existe B GL
2
(R) tal que det(B) = z,
entonces z Im(det), as se cumple que R
Im(det), entonces Im(det) = R
.
Entonces, por primer teorema del isomorsmo nos queda que:
GL
2
(R)/SL
2
(R)

= R
94 5. Homomorfismos
Corolario 5.2 (Segundo Teorema del Isomorsmo) .
Sea G un grupo, H y K dos subgrupos de G, donde H G. Entonces:
K/(H K)

= HK/H.
Demostraci on. Para la demostracion consideraremos el siguiente homomors-
mo;
f : K HK/H
k f(k) := (k) = kH
K
HK/H
HK
-
f
?
NOTA: La funcion es conocida como la inclusion, la cual es una funion in-

yectiva. Notemos que K HK, de aca se dene de manera natural lo siguiente;
: K HK
k (k) = e k
f es un homomorsmo con Kerf = H K, lo cual vericaremos a continuacion;
k Kerf f(k) = H
kH = H
k H
Luego, k K y k H k H K, por lo cual Kerf = H K. Hasta
el momento, por primer teorema del isomorsmo tenemos K/(H K)

= Imf,
entonces, solo nos queda demostrar que Imf = HK/H.
Tenemos que Imf HK/H por denicion, ahora nos resta demostrar que
HK/H Imf. Sea hkH HK/H, entonces, por la normalidad de H tenemos
que hkH = kh
1
H con h
1
H, luego kh
1
H = kH = f(k) , es decir, k es una
preimagen para hkH (f(k) = hkH), luego HK/H Imf.
Imf = HK/H
Finalmente, por primer teorema del isomorsmo tenemos K/(HK)

= HK/H.
Ejemplo
Sabemos que 9Z y 12Z son subgrupos de Z, ademas son normales ya que Z es
conmutativo. A partir de lo anterior construimos el siguiente isomorsmo;
9Z/9Z 12Z

= 12Z + 9Z/12Z
donde sabemos que 9Z12Z = M.C.M(9, 12)Z y 12Z+9Z = M.C.D(9, 12)Z,
luego nos queda el siguiente isomorsmo
9Z/36Z

= 3Z/12Z
Si notamos, una de las caracterstica que resalta el isomorsmo, es la cardinalidad
de los grupos y ademas son ambos cclicos. Veamos que;
9Z/36Z = 9 + 36Z, 18 + 36Z, 27 + 36Z, 0 + 36Z =< 9 + 36Z >
3Z/12Z = 3 + 12Z, 6 + 12Z, 9 + 12Z, 0 + 12Z =< 3 + 12Z >
lo cual nos hace pensar en la siguiente biyeccion
9Z/36Z 3Z/12Z
0 0
9 3
18 6
27 9
Corolario 5.3 (Tercer Teorema del Isomorsmo) .
Sean H y K dos subgrupos normales del grupo G, tal que K < H, entonces
H/K G/K y (G/K)/(H/K)

= G/H.
Demostraci on. La demostracion la dejaremos como ejercicio para el lector. Una
ayuda sera pensar en el siguiente homomorsmo;
96 5. Homomorfismos
f : G/K G/H
gK f(gK) := gH
Luego...
Demostracion Proposicion 5.1

Lo prometido, demostraremos que Z
d

= Hom(Z
n
, Z
m
) donde d es el maximo
com un divisor entre n y m.
Demostraci on. Consideremos la siguiente funcion;
T : (
m
d
)Z Hom(Z
n
, Z
m
)
a T(a) =
a
1. Notemos que es una funcion bien denida, ya que, justamente el grupo
Hom(Z
n
, Z
m
) esta constituido por la funciones
a
, donde a (
m
d
)Z.
2. Veamos que T es un Homomorsmo.
Sean a, b (
m
d
)Z, por demostrar que T(a +b) = T(a) +T(b), esto es, si y
solo si T(a +b)(x) = (T(a) +T(b))(x) x Z
n
.
Tenemos que;
T(a +b)(x) =
a+b
(x)
= (a +b)x
= ax +bx
=
a
(x) +
b
(x)
= (
a
+
b
)(x)
= (T(a) +T(b))(x)
T es un homomorsmo.
3. Vemos claramente que T es un epiyectiva, ya que para cada
a
existe
a (
m
d
)Z tal que T(a) =
a
, lo cual implica que ImT = Hom(Z
n
, Z
m
).
T es epiyectiva.
Hasta el momento, el primer teorema del isomorsmo nos dice que;
(
m
d
)Z/KerT

= Hom(Z
n
, Z
m
)
4. Conozcamos el KerT. Antes, aclaro que el neutro de Hom(Z
n
, Z
m
) lo an-
otaremos
0
, el cual representa el homomorsmo nulo(el que enva todo
elemento en 0).
Sea a KerT T(a) =
0

a
=
0

a
(x) =
0
(x) (x Z
n
)
ax = 0 (x Z
n
)
a = 0
a 0 ( mod n)
a = mt
Esto es, si y solo si a mZ, luego KerT mZ y por pasos de equivalencia
podemos armar que mZ KerT, por lo tanto KerT = mZ. Entonces,
por el primer teorema del isomorsmo tenemos que;
(
m
d
)Z/mZ

= Hom(Z
n
, Z
m
)
Se arma que (
m
d
)Z/mZ

= Z/dZ(se deja como ejercicio su vericacion), lo
que nalmente nos dice que
Z
d

= Z/dZ

= Hom(Z
n
, Z
m
)
Teorema 5.4 Todo grupo cclico innito es isomorfo a Z, y todo grupo cclico
nito de orden n es isomorfo a Z
n
.
Demostraci on. Sea G =< g > un Grupo cclico.
98 5. Homomorfismos
Consideremos la siguiente funcion;
: Z G
k (k) = g
k
Ahora, nos queda determinar cuando es un Isomorfismo.
Sean m, n Z, luego tenemos (m + n) = g
m+n
= g
m
g
n
= (m)(n), por lo
cual es un homomorsmo. Recordemos que es epiyectiva si y solo si Im = G,
pero por denicion Im G, luego basta demostrar que G Im, pero esto es
trivial ,ya que vemos claramente, que para todo g
k
G con alg un k Z, existe
preimagen la cual es exactamente k, entonces G Im, por lo tanto Im = G
lo cual implica que es epiyectiva. Hasta el momento, si utilizamos el primer
teorema del isomorsmo tendramos que Z/Ker

= G, ahora, sabemos que
Ker Z, por lo cual Ker = 0 Ker = nZ con alg un n Z
+
.
Caso 1) Veamos que para que G sea innito Ker = 0, si no, existira
m ,= 0 tal que g
m
= e, es decir, G tiene orden nito. Entonces, si G es innito
Z

= G
Caso 2) Al contrario del caso anterior, vemos que si G en nito de orden n, en-
tonces Ker = nZ, donde n es el menor entero positivo que cumple con g
n
= e,
luego, por primer teorema del isomorsmo tenemos que Z
n

= Z/nZ

= G.
Observacion 9 Hacemos referencia a la demostracion de la proposicion 2.2.

(1) Vemos que si G es un grupo innito se cumple que Ker = 0, entonces
queda demostrado que g
k
= e k = 0, ya que es el unico elemento del Ker-
nel. Para la demostracion (2) supondremos que existen g
n
, g
m
G (m, n Z)
tales que g
n
= g
m
donde m ,= n, luego tenemos lo siguiente;
g
n
= g
m
g
n
g
m
= e
g
nm
= e
Ahora utilizando (1), nos queda que n m = 0 lo cual implica que n = m
y esto es una contradiccion, entonces para cada k Z distinto, se obtienen
distintos g
k
G. Si nos jamos, esta demostracion incluso se puede omitir, ya
que la biyeccion que existe entre G y Z nos dice que existe una correspondencia
uno a uno entre los elementos de Z y los elementos de G, y con esto bastaba para
la justicacion de (2). Es bueno hacer estas observaciones, ya que si nos damos
cuenta, el esfuerzo que aplicamos para entender algunos conceptos basicos, que
algunas veces son despreciados por algunos estudiantes, es muy util al momento de
5.6. Automorfismo Interior de un Grupo 99
ahorrarnos tiempo en una demostracion, como es en este caso. Ahora, la invitacion
que le hacemos al lector es desarrollar las otras demostraciones de la proposicion
2.2, ocupando al maximo la demostracion del teorema 5.4.
Corolario 5.4 Sean G y H dos grupos cclicos de orden n y m respectiva-
mente, donde M.C.D.(n, m) = 1, entonces G H

= Z
nm
Demostraci on. Se sigue del ejercicio (4) (ejercicios propuestos, captulo 2) que
G H es un grupo cclico y ademas tiene orden nm, luego, por teorema 5.4
concluimos que G H

= Z
nm
.
El objetivo de este corolario es para vericar los que se dice en el comentario 8.

5.6. Automorsmo Interior de un Grupo
Denicion 5.3 Sea (G, ) un grupo, g G. Se dene La siguiente funcion
en G:
I
g
: G G
x I
g
(x) = g x g
1
Armamos que I
g
es un automorsmo, el cual es conocido como Automorfismo
interior asociado a g.
Observemos que si G es un grupo no abeliano, entonces tenemos que I
g
(a) =
g a g
1
,= a, luego I
g
,= Id, donde la identidad es el automorsmo trivial del
grupo G. Entonces, para cada grupo no abeliano, siempre existiran automorsmos
no triviales.
Veamos que el siguiente conjunto denido como:
Int(G) := I
g
Aut(G) [ g G
Tiene estructura natural de grupo, si le asociamos como operacion la compuesta
de funciones. Mas a un, armamos que Int(G) Aut(G).
100 5. Homomorfismos
Interesante
Sea (G, ) un grupo. Consideremos la siguiente funcion;
: G Aut(G)
g I
g
: G G
x g x g
1
Si demostramos que es un homomorsmo, podremos inducir al isomorsmo
G/Ker

= Im, con la ayuda del primer teorema del isomorsmo.
Dados g, h G, por demostrar que (g h) = (g) (h). Sabemos que dos
funciones son iguales si y solo si lo son, para todo elemento en su dominio, luego
tenemos lo siguiente:
(g h)(x) = I
gh
(x) x G
= (g h) x (g h)
1
= g (h x h
1
. .
G
)g
1
= I
g
(h x h
1
)
= I
g
(I
h
(x))
= (I
g
I
g
)(x)
= ((g) (h))(x) x G
Entonces, (g h) = (g) (h), es decir, es un homomorsmo. Ahora, lo
interesante es conocer el ker y la Im.
Sea k Ker (k) = Id
I
k
(x) = Id(x) x G
k x k
1
= x x G
k x = x k x G
k Z(G) ya que k conmuta con todo
elemento de G
Vemos que Ker Z(G), y claramente el recproco se obtiene por los pasos de
equivalencia, o sea que Z(G) Ker, as tenemos que Ker = Z(G). Ahora,
solo nos resta conocer el conjunto Im. Si notamos, el conjunto de las imagenes
se dene de la siguiente manera;
5.7. Como mostrar que dos Grupos no son Isomorfos 101
Im := f Aut(G) [ (g G)((g) = f)
Im := f Aut(G) [ (g G)(I
g
= f)
= I
g
Aut(G) [ g G el cual es precisamente
= Int(G)
Resumiendo, tenemos que es un homomorsmo, ademas que Ker = Z(G)
y Im = Int(G), luego si utilizamos el teorema del isomorsmo nalmente nos
queda;
G/Z(G)

= Int(G)
Si hacemos referencia a la observacion 6 , vemos que el grupo G/Z(G) es clara-
mente no conmutativo(en el caso que no tenga orden 1,2,3,4,5), ya que cada
elemento que conmuta con todos los elementos de G, es agrupado en el grupo
Z(G) y el cual es la clase neutra del grupo G/Z(G). Luego podemos decir lo mis-
mo del grupo Int(G), por el isomorsmo que existe entre ellos, en general, cada
propiedad estructural de G/Z(G) la cumple tambien Int(G).
5.7. Como mostrar que dos Grupos no son Iso-
morfos
Hemos conocido muchos teoremas que nos sirven para demostrar cuando existe un
isomorsmo entre dos grupos, pero nunca nos hemos preguntado por la posibilidad
de exhibir un no isomorsmo entre dos grupos. Esto nos sirve mucho para cuando
nos piden determinar si existe un isomorsmo entre dos grupos, ya que atacare-
mos primero la posibilidad de que no exista en vez de encontrar una funcion uno
a uno y que sea homomorsmo entre dos grupos. A continuacion corroboraremos
lo que se dice.
Isomorsmo signica igua forma, o sea, que dos grupos son isomorfos si
y solo si son Estructuralmente iguales, lo que quiere decir que son identicos,
salvo sus elementos y la operacion que se les asocia. Los dos casos mas comunes
en el que dos grupos no pueden ser isomorfos son los siguientes:
Sean G y G
dos grupos.
1. Si [G[ , = [G
[, esto quiere decir que no existe una funcion biyectiva entre

ellos.
2. Si el caso anterior no se cumplen, entonces recurriremos a exhibir una
propiedad estructural de G que no posea G
y as recprocamente. Los
siguientes son ejemplos de propiedades estructurales y no estructurales que
se pueden dar entre estos dos grupos.
Propiedades Estructurales Propiedades no Estructurales
El Grupo es Cclico El Grupo contiene al 7
El Grupo es Abeliano Los elementos del Grupo son n umeros
El Grupo tiene orden n La operacion del Grupo es la multiplicacion
El Grupo es nito Los elementos del Grupo son funciones
El Grupo contiene 3 Subgrupos
de orden 4
El neutro del Grupo es la funcion Identidad
La ecuacion x
2
= g tiene solu-
cion para todo elemento g en el
Grupo
El Grupo es un Subgrupo de (Z, +)
El Grupo es Simple
Ejemplo
1. Podemos pensar que Q posee mas elementos que Z, por lo cual no existe una
funcion biyectiva entre ellos. Este argumento no es valido, ya que Georg Can-
tor, matematico aleman del siglo XIX mostro que hay un correspondencia
biunvoca entre Z y Q (mas a un entre Q y N) . Ahora, por otro lado, sabe-
mos que Z es un grupo cclico y Q no lo es, por ende tenemos que Z ,
= Q.
2. Supongamos que nos preguntan Z
8
es isomorfo a S
4
?. Inmediatamente sabe-
mos que no, ya que [Z
8
[ , = [S
4
[
3. El grupo R
no es isomorfo a C
, por el simple hecho de que la ecuacion

x
2
= a tiene solucion a C
, pero sabemos que la ecuacion x

2
= 1 no
tiene solucion en R
.
5.8. Verdadero o Falso? 103
a) Un homomorsmo : G H siempre induce a un isomorsmo
G/Ker

= H.
b) Un epimorsmo : G H induce al isomorsmo G/Ker

= H.
c) Z
n
es isomorfo a Z.
d) Todo grupo cclico innito es isomorfo a Z
e) Todo grupo nito es isomorfo a Z
n
para alg un n Z
+
.
f) D
5
es isomorfo a SL
2
(Z
2
)
g) Si G

= H y K

= H, entonces K

= G.
h) Z
3
Z
2
es isomorfo a Z
7
.
i) El grupo Hom(Z
4
, Z
8
) es isomorfo a Z
4
j) Un isomorsmo dene que los grupos deben trabajar con la misma
operacion.
k) El grupo de automorsmos interiores de cualquier grupo G, es ccli-
co.
(1) Sea G un grupo y K un subgrupo de G. Demuestre que K

= gKg
1
para
cualquier g G.
(2) Sean H y K dos Subgrupos normales de G. Entonces, si K H = e y
K H) = G. Demuestre que G/H

= K (sugerencia: utilize el segundo
teorema del isomorsmo)
(3) Si H
1
G
1
y H
2
G
2
. Demuestre que:
a) (H
1
H
2
) (G
1
G
2
)
b) (G
1
G
2
)/(H
1
H
2
)

= (G
1
/H
1
) (G
2
/H
2
)
(ayuda: piense en el epimorsmo canonico
1
: G
1
G
1
/H
1
, igual
para G
2
y H
2
. A partir de esto construya un homomorsmo entre (G
1

G
2
) y (G
1
/H
1
) (G
2
/H
2
), luego utilice teorema del isomorsmo).
(4) Demuestre que Z
4

= pZ/ < 4p > donde p es primo relativo con 4.(ayuda:
utilize el segundo teorema del isomorsmo).
(5) Demuestre que Int(G) Aut(G)
(6) Sea G un grupo y H G. Demostrar que
a) Int(H)

= N
G
(H)/C
G
(H).
b) N
G
(H)/C
G
(H)

= H/Z(H).
(7) Sean G, H y K grupos. Demostrar que
Hom(GH, K)

= Hom(G, K) Hom(H, K)
(8) Demostrar que R
no es isomorfo a R.
(9) Demuestre que Z es isomorfo a cada uno de sus subgrupos excluyendo al
trivial.
(10) Determine si Z
4
es isomorfo a Z
2
Z
2
.
(11) Demuestre que 2Z/8Z ,
= Z
4
.
(12) Considere el grupo (multiplicativo) de las races n-esimas de la unidad
denido como sigue;
W
n
= Cis(
2ik
n
) [ 0 k n
Ahora, sean n y m primos relativos. Demuestre que
W
n

= mZ/mnZ
(Ayuda: pruebe que W
n

= Z
n
y luego aplique el segundo teorema del
isomorsmo).
Captulo 6
Accion de un Grupo sobre un
Conjunto
6.1. Accion
Denicion 6.1 Sea (G, ) un grupo y X un conjunto no vaco. Una Accion
de un grupo sobre un conjunto, es una funcion : G X X denotada
por (g, x) = g x y la cual cumple con las siguientes condiciones:
(i) (x X)(e x) = x con e neutro de G
(ii) (x X)(g
1
, g
2
G)(g
1
(g
2
x) = (g
1
g
2
) x)
Ahora, cuando se cumple lo anterior, diremos que G act ua sobre X o que
X es un G-espacio.
Observacion 10 Debemos tener mucho cuidado en no confundir la operacion
del grupo con la accion, vemos claramente que si asociamos un elemento de G con
uno de X, entonces aplicamos la accion y no la operacion de G. Ahora si tenemos
el caso particular X = G, aca la accion sera la operacion de G(a menos que se
especique otra) y no tendramos problemas con la asociacion.
Ejemplo
1) Consideremos el Grupo D
4
y el conjunto X = 1, 2, 3, 4, entonces tenemos la
siguiente funcion:
: D
4
X X
(, x) x = (x)
Ahora veremos que es una accion
108 6. Acci on de un Grupo sobre un Conjunto
(i) Vemos claramente que se cumple (Id(x) = x) (x X)
(ii) Debemos demostrar que (x X)(, D
4
)( ( x) = ( ) x)
( x) = ((x))
= (((x)))
= ( )(x)
= ( ) x
Luego, como cumple con las dos condiciones, podemos decir que D
4
act ua sobre
X.
6.2. Acciones destacables
Ahora veremos algunas acciones, de cierta forma comunes, que se pueden presen-
tar cuando un grupo act ua en si mismo o en subgrupos de el.
Sea (G, ) un grupo, K G y H G, entonces, se denen las siguientes acciones:
Acci on por la izquierda
: GG G
(g
1
, g
2
) g
1
g
2
= g
1
g
2
Acci on por la derecha
: GG G
(g
1
, g
2
) g
1
g
2
= g
2
g
1
1
Acci on por Conjugaci on
: GG G
(g
1
, g
2
) g
1
g
2
= g
1
g
2
g
1
1
6.3.

Orbita y Estabilizador 109
Acciones naturales
: K G G
(k, g) k g = k g
: GH H
(h, g) h g = g h g
1
: GG/H G/H
(g
1
, g
2
H) g
1
g
2
H = (g
1
g
2
) H
Tambien, en la ultima de estas acciones, podemos cambiar H por K, eso si,
viendo G/K como conjunto de las clases de equivalencia, no como grupo,
ya que no necesariamente K es normal en G.
As, podemos denir muchas mas, pero preero que las descubran por su cuenta.
6.3.

Orbita y Estabilizador
Sea X un G-espacio, con (G, ) grupo, entonces, en X denimos la siguiente
relacion: x y (g G)(g x = y).
Proposicion 6.1 La relacion es una relacion de equivalencia.
Demostraci on. Sean x, y, z X.
es Reeja.
Por demostrar x x.
Basta tomar g = e y tenemos que e x = x, luego es reeja.
es Simetrica.
Por demostrar x y y x
Como x y, entonces, existe g G tal que g x = y, ahora veamos
que g
1
y = g
1
(g x) = (g
1
g) x = e x = x, luego y x, por
lo tanto es simetrica.
es Transitiva.
Por demostrar (x z z y) x y
Tenemos que x z z y, luego existen g
1
, g
2
G tales que g
1
x =
z g
2
z = y, ahora veamos que (g
2
g
1
) x = g
2
(g
1
x) = g
2
z = y,
luego, x y, por lo tanto es transitiva.
Entonces, queda demostrado que es una relacion de equivalencia.
Denicion 6.2 (
Orbita) Sea X un G-espacio y x X. A partir de la

relacion de equivalencia , denimos la clase de equivalencia de x como el con-
junto O
x
:= y X[ x y, el cual es conocido como la orbita de x. Para ser
mas preciso
O
x
:= g x[ g G X
Observacion 11 X =
xR
O
x
donde R es un sistema de representantes.
Ademas, cuando existe solo una orbita, o sea, X = O
x
, para alg un x X, en-
tonces, diremos que la accion es transitiva y que X es un G-espacio transitivo.
Ejemplo
1) Consideremos la siguiente accion
: Z Z
4
Z
4
(x, a) x a = x +a
Determinemos la cantidad de orbitas de la accion, o sea, determinemos un sis-
tema de representantes. Para empezar, debemos recurrir al tanteo, lo cual im-
plica darse un elemento en Z
4
y luego calcular su orbita, y que por lo general se
6.3.

comienza con 0 el cual es el neutro. Este no es un metodo para resolver el ejercicio,
pero por lo comodo que es, lo trabajaremos as (despues de haber realizado mu-
chos ejercicios de este tipo, encontraran su propia metodologa, espero lo hagan).
O
0
= x 0 [ x Z
= x + 0 [ x Z
Como x recorre los enteros, solo basta tomarse los valores x = 0, 1, 2, 3 para darse
cuenta que O
0
= 0, 1, 2, 3 = Z
4
, luego, Z
4
es un Z-espacio transitivo y nuestro
sistema de representantes esta compuesto solo por 0 (en realidad, en este caso,
podra haber sido cualquier otra clase).
Denicion 6.3 (Estabilizador) Sea X un G-espacio y x X. Llamare-
mos estabilizador de x al conjunto g G[ gx = x y el cual es denotaremos
por G
x
.
Ejemplo
1) Consideremos la siguiente accion
: Z Z
6
Z
6
(x, a) x a = x +a
Determinemos el conjunto G
3
.
Sea k G
3
k 3 = 3
k + 3 = 3
k + 3 3 (mod 6)
k 0 (mod 6)
k = 6t t Z
k 6Z
Como son pasos equivalentes, tenemos que G
3
= 6Z.
Teorema 6.1 Sea (G, ) un grupo y X un conjunto no vaco, entonces, X es
un G-espacio si y solo si existe un homomorsmo de G en Biy(X).
Demostraci on.
)
Como X es un G-espacio, entonces, existe un accion : G X X y de la
cual podemos denir la siguiente funcion:
: G Biy(X)
g
g
: X X
x
g
(x) := g x
Nota: Denotamos (g) por
g
solo comodidad con la notacion.
1) Demostremos que
g
es una funcion biyectiva para cualquier g G(esto es
para probar que es una funcion bien denida).
Si y X notemos que tiene como preimagen a g
1
y, ya que:
g
(g
1
y) = g (g
1
y) = (g g
1
) y = y
Lo cual implica que X Im
g
, entonces, X = Im
g
.

g
es epiyectiva.
Sean x, y X tales que
g
(x) =
g
(y), esto es si y solo si g x = g y, por
demostrar que x = y.
Tenemos:
x = e x
= (g
1
g) x
= g
1
(g x) utilizando la hipotesis nos queda
= g
1
(g y)
= y
6.3.

As,
g
(x) =
g
(y) x = y.

g
es inyectiva.
Queda demostrado que
g
es biyectiva para cada g G, entonces esta bien
denida.
2) Ahora, veamos que es un homomorsmo.
Dados g, h G, por demostrar que
gh
(x) = (
g

h
)(x) (x X).
Tenemos:
gh
(x) = (g h) x por denicion
= g (h x) es una accion
=
g
(
h
(x))
= (
g

h
)(x)
Lo que demuestra que es un homomorsmo.
)
Sea un homomorsmo que va de G en Biy(X), el cual describimos como sigue:
: G Biy(X)
g
g
: X X
x
g
(x)
Ahora, veamos que dene una accion de G sobre X.
1) Tenemos que x X se cumple que
e
(x) = x, ya que es un homomors-
mo, o sea, enva el neutro de G ( e ) en el neutro de Biy(X) ( Id
X
).
2) Como es un homomorsmo tenemos que
gh
=
g

h
(g, h G),
ademas, como es una igualdad de funciones, se tiene que
gh
(x) = (
g
(
h
(x))
(x X).
De 1 y 2 obtenemos que es una accion de G sobre X, es decir, X es un G-espacio.
Proposicion 6.2 Sea X un G-espacio donde (G, ) es un grupo. Tenemos los

siguientes resultados:
1. [X[ =
r R
[O
r
[ donde R es un sistema de representantes.
2. G
x
G (x X).
3. [G : G
x
] = [O
x
[ (x X). Ahora, si G es nito tenemos [G[ = [G
x
[[O
x
[.
4.
xX
G
x
= Ker donde es el homomorsmo inducido por la accion.
Demostraci on. Notese que la demostracion de 1. es inmediata de la observacion
11.
Demostracion 2.
Vemos que G
x
G por denicion, ademas e G
x
, ya que e x = x(por el
hecho de que es accion), luego G
x
,= . Ahora, si g, h G
x
por demostrar
que g h
1
G
x
. Notese que g h
1
G
x
g h
1
x = x. Primero
veamos lo siguiente:
e x = x se cumple por que es accion
(h
1
h) x = x
h
1
(h x) = x pero h G
x
h
1
x = x
Es decir, h
1
G
x
. Finalmente tenemos:
(g h
1
) x = g (h
1
x)
= g x
= x
As, g h
1
G
x
. Por lo tanto G
x
G.
6.3.

Demostracion 3.
Consideremos la siguiente la siguiente funcion:
: G/G
x
O
x
g G
x
(g G
x
) := g x
Demostremos que esta bien denida.
Sean g G
x
, h G
x
G, tales que g G
x
= h G
x
, esto es, si y solo si
h
1
g G
x
(h
1
g) x = x.
Ahora, tenemos lo siguiente:
(h G
x
) = h x = h ((h
1
g) x)
= ((h h
1
) g)) x
= (e g) x
= g x
= (g G
x
)
Es decir, g G
x
= h G
x
(g G
x
) = (h G
x
), entonces esta bien
denida.
Demostraremos que es inyectiva.
Sean g G
x
, h G
x
G tales que (g G
x
) = (h G
x
), entonces
ocurre lo siguiente:
(g G
x
) = (h G
x
)
g x = h x
(h
1
g) x = x
h
1
g G
x
g G
x
= h G
x
Es decir, es inyectiva.
Demostraremos que es epiyectiva.
Sea y O
x
lo cual implica que existe g G tal que g x = y, entonces,
trivialmente tenemos que (g G
x
) = g x es una preimagen para y,
entonces, O
x
Im O
x
= Im. Por lo tanto es epiyectiva.
Concluimos que es una biyeccion entre G/G
x
y O
x
, entonces, [O
x
[ = [G : G
x
].
Notemos que si G es nito, entonces, [G : G
x
] =
|G|
|Gx|
de lo cual es inmediato que
[G[ = [G
x
[[O
x
[.
Demostracion 4.
Sea g Ker, por demostrar que g

x X
G
x
.
Tenemos lo siguiente:
g Ker
g
= Id
X
Id
X
denota la biyeccion identidad de X

g
(x) = Id
X
(x) (x X)
g x = x (x X)
g G
x
(x X)
g

xX
G
x
Es decir, Ker

x X
G
x
, ademas, vemos que el recproco es inmediato de los
pasos de equivalencia, entonces, concluimos que Ker =
xX
G
x
.

(1) Sea B M
2
(R) y la funcion
S
B
: (R R
) M
2
(R) M
2
(R)
Dada por S
B
((x, y), A) = xB +yA. Determine si S
B
es una accion.
(2) Sea D
4
el grupo diedrico de orden 8. Considere la accion por conjugacion
para determinar O
S
1
y G
R
donde S
1
es la reexion horizontal y R es la
rotacion en 90 grados.
(3) Sea
: Z
2
Z
3
Z
2
Z
3
/ < (0, 1) > Z
2
Z
3
/ < (0, 1) >
Dada por ((a, b) (x, y)) = (a, b) + (x, y)
a) Demuestre que es una accion
b) Determine O
(1,2)
y G
(0,2)
(4) Determinar si GL
2
(Z
2
) es isomorfo a S
3
( Ayuda: pensar en el teorema de
Cayley ).
Captulo 7
Ejercicios de Catedras
La idea de este apartado es sencillamente dejar planteados ejercicios, los cuales
han aparecido en catedras y quices de a nos anteriores. No soy muy partidario de
estudiar solo de ejercicios pasados, pero si creo que es un buen metodo para saber
que tan preparado estoy para una prueba de similar dicultad. Cabe mencionar
que algunos ejercicios coincidiran con los propuestos en el texto, pero bueno, no
esta demas destacarlos.
7.1. Catedra 1
(1) Determinar el valor de verdad de las siguientes proposiciones. JUSTIFIQUE
a) Z R
b) L = f F(R, R) [ (t Z)(f(t) = 0) F(R, R)

c) H =
_
_
a b
b a
_
a, b Z
_
M
2
(Q)
d) R
+
R.
e) H = h
t
F(R, R) [ h
t
es una homotecia, con t R Biy(R).
f ) H =
_
_
a b
b a
_
a, b Q
_
M
2
(Q).
g) | = u C[ (m N) (u
m
= 1) C
120 7. Ejercicios de C atedras

h) / = t
a
F(R, R) [ t
a
es una traslacion, con a R Biy(R)
i ) H =
_
_
a b
c d
_
GL
2
(R)
ad bc = 1
_
GL
2
(R)
j ) Q R
.
k) L = f F(R, R) [ (t Z)(f(t) = 0) F(R, R)
l ) / = T
a
F(R, R) [ T
a
es una traslacion, con a R F(R, R),
donde T
a
(x) = x +a.
i
es la reexion que no mueve al vertice i y R es la rotacion en 36 grados en
el sentido de la enumeracion.
Resolver explcitamente la siguiente ecuacion:
T
5
= T
2
X
1
R
(3) Sea G un grupo, entonces demostrar que cumple con:
(a, b G)((ab)
1
= b
1
a
1
)
i
es
la reexion que no mueve al vertice i y R es la rotacion en 40 grados en el
sentido de la enumeracion.
a) T
5
= T
2
X
1
b) T
7
= T
1
X
2
T
1
(5) Sea G el grupo de las simetras del cubo.
Sean A = A
12
la rotacion que no mueve la arista 1, 2, V = V
+
4
la rotacion
en 120 grados que no mueve el vertice 4 y C = C
+
3874
es la rotacion en 90
7.1. C atedra 1 121
grados que no mueve la cara 3, 8, 7, 4.
Resolver explcitamente las siguiente ecuacion:
V X C = A
Sean V
4
= V
+
4
la rotacion en 120 grados que no mueve el vertice 4, V
6
= V
+
6
la rotacion en 120 grados que no mueve el vertice 6 y C = C
+
1256
es la rotacion
en 90 grados que no mueve la cara 1, 2, 5, 6.
C X V
4
= V
6
Sean A = A
14
la rotacion que no mueve la arista 1, 4, V = V
+
6
la rotacion
en 120 grados que no mueve el vertice 6 y C = C
+
5876
es la rotacion en 90
grados que no mueve la cara 5, 8, 7, 6.
C X V = A
(8) Sea G un grupo y S un conjunto no vaco de G.
Demostrar:
C
G
(S) es un subgrupo de G
(9) Sea G = GL
2
(R) y H =
_
_
a 0
0 b
_
a, b R
_
Determinar N
G
(H)
(10) Sea G = GL
2
(R) y H =
_
_
a b
0 1
_
a R
, b R
_
Determinar N
G
(H)
(11) Sea G un grupo y H un subgrupo de G.
Demostrar:
[H, H] es un subgrupo de [G, G]
(12) Sea G = Biy(Z), y sean f(x) = x + 1 ; g(x) = x . Determinar
a) C
G
(f)
b) N
G
(f, g)
i
es la reexion que no mueve al vertice i, L
i
es la reexion que no mueve
la arista i, i + 1, y R es la rotacion en 15 grados en el sentido de la enu-
meracion.
a) T
6
= T
2
X
1
b) T
7
= L
3
X
2
L
1
(14) Sea G = GL
2
(R) y H =
_
_
1 b
0 1
_
b R
_
.
Determinar:
a) C
G
(H)
b) N
G
(H)
(15) Sean G y G
dos grupos. Demuestre que Z(G G
) = Z(G) Z(G
)
7.2. C atedra 2 123
(16) Sea G un grupo, entonces, demostrar que:
(n N
0
)(m N
0
)(g G)(g
m+n
= g
m
g
n
)
(17) Sea G un grupo nito y g G, n N
Demostrar:
Si g
n
= e entonces el orden de g divide a n.
7.2. Catedra 2
a) Sea n N, un n umero impar y F
n
: R
; con F
n
(x) =
n
x es
un homomorsmo.
Solucion. Sean x, y R
, luego tenemos lo siguiente:

F
n
(x y) =
n
x y =
n
x
n
y = F
n
(x) F
n
(y)
Por lo tanto F
n
es un Homomorsmo. Entonces (a) es verdadera.
b) T : t
a
F(R, R) [ t
a
es una traslacion, con a R R tal que
T(t
a
) = a es un homomorsmo.
Solucion. Denotemos por K el grupo de las traslaciones, el cual es un
grupo con la composicion de funciones. Sean t
a
, t
b
K, y notese que
(t
a
t
b
)(x) = t
a+b
(x) x R. Luego tenemos lo siguiente:
T(t
a
t
b
) = T(t
a+b
) = a +b = T(t
a
) +T(t
b
)
Por lo tanto T es un Homomorsmo. Entonces (b) es verdadera.
c) L : GL
2
(R) R donde L([b
ij
]) = b
11
+b
22
es un homomorsmo.
Solucion. Luego de unos calculos algebraicos se daran cuenta que L
no es un Homomorsmo, como lo vemos en el siguiente contraejemplo
Tomemos las matrices invertibles
_
1 2
2 3
_
,
_
0 3
4 1
_
y veamos que
L
__
1 2
2 3
_
_
0 3
4 1
__
= L
__
8 7
12 9
__
= 8 + 9 = 17
Por otro lado
L
__
1 2
2 3
__
= 4 L
__
0 3
4 1
__
= 1
L
__
1 2
2 3
__
+L
__
1 2
2 3
__
= 5 ,= 17 = L
__
1 2
2 3
_
_
0 3
4 1
__
Es decir, L no es un Homomorsmo. Entonces (c) es falsa.
Otra forma mas astuta de darse cuenta que L no es un Homomorsmo
es ver que
L
__
1 0
0 1
__
= 2 ,= 0
O sea que L no enva el neutro de GL
2
(R) en el neutro de R.
d) Sea T
i
la reexion sobre el vertice i del triangulo equilatero entonces
T
2
, T
3
) D
3
.
Solucion. Ocupemos la astucia mas que el calculo. Recordemos que
los elementos de T
2
, T
3
) son productos nito de elementos del conjun-
to T
2
, T
3
, entonces, al menos, tenemos los elementos T
2
, T
3
, Id, T
2

T
3
, T
3
T
2
en el subgrupo T
2
, T
3
), donde T
2
T
3
= R la rotacion en
60 grados en sentido de las enumeracion, as hasta el momento hemos
reconocido 4 elementos(sin importarnos el calculo de T
3
T
2
) del sub-
grupo T
2
, T
3
), pero recordemos que el orden del subgrupo divide el
orden del grupo(teorema de Lagrange), luego no nos que da otra op-
cion que T
2
, T
3
) tenga orden 6, entonces T
2
, T
3
) = D
3
, y obviamente
D
3
D
3
. Por lo tanto (d) es verdadera.
7.2. C atedra 2 125

e) F : R
+
R
+
; con F(x) =

x es un homomorsmo,
Solucion. F es un homomorsmo y su demostracion es similar a (a),
ya que R
+
es un grupo con la multiplicacion usual y basta tomar el
caso en que n = 2. As (e) es verdadera
f ) L : F(R
, R) R ; con L(f) = f(1) es un homomorsmo.

Solucion. Sean f, g F(R
, R). Luego tenemos lo siguiente:

L(f +g) = (f +g)(1) = f(1) +g(1) = L(f) +L(g)
Por lo tanto L es un Homomorsmo. Entonces (f) es verdadera
g) Sea T
1
la reexion sobre el vertice 1 del triangulo equilatero entonces
T
1
) D
3
Solucion. Notese que T
1
) = Id, T
1
, ahora si tomamos T
2
D
3
tenemos que
T
2
T
1
T
1
2
= T
2
T
1
T
2
= T
3
, T
1
)
Luego T
2
T
1
) T
1
2
= T
3
) , = T
1
). Por lo tanto T
1
) no es normal en
D
3
, luego (g) es falsa.
h) F : R
+
R
+
; con F(x) = x
3
es un homomorsmo.
Solucion. Sean x, y R
+
. Entonces tenemos lo siguiente
F(x y) = (x y)
3
= x
3
y
3
= F(x) F(y)
Por lo tanto F es un Homomorsmo. Entonces (h) es verdadera
i ) L : H =
_
_
a b
0 1
_
a R
, b R
_
R
donde L([b
ij
]) = b
11
es un homomorsmo.
Solucion. Sean
_
a b
0 1
_
,
_
x y
0 1
_
H. Entonces tenemos lo si-
guiente:
L
__
a b
0 1
_
_
x y
0 1
__
= L
__
ax ay +b
0 1
__
= ax
= L
__
a b
0 1
__
L
__
x y
0 1
__
Por lo tanto L es un Homomorsmo. Entonces (i) es verdadera
(2) Sea G un grupo. Demostrar que [G, G] G.

Solucion.
Sabemos que [G, G] G, luego solo basta demostrar que para todo x G
se cumple que x[G, G]x
1
[G, G]. Entonces si y [G, G] por demostrar
que xyx
1
[G, G].
Caso 1) tomemos y = [g, h] donde g, h G, luego tenemos:
x[g, h]x
1
= x(ghg
1
h
1
)x
1
= xghg
1
x
1
h
1
hxg
. .
e
g
1
h
1
x
1
= (xg)h(xg)
1
h
1
hxh
1
x
1
= [xg, h][h, x]
As, x[g, h]x
1
= [xg, h][h, x] [G, G]
Caso 2) Ahora tomemos y = [g
1
, h
1
][g
2
, h
2
] [g
n
, h
n
], o sea un producto
nitos de elementos del conjunto [g, h] [ g, h G, aunque el caso 1 tam-
bien es un producto nito con n = 1, pero solo lo destacamos, para mostrar
el caso general, como lo vemos a continuacion:
x([g
1
, h
1
][g
2
, h
2
] [g
n
, h
n
])x
1
= x[g
1
, h
1
]x
1
x[g
2
, h
2
]x
1
x[g
n
, h
n
]x
1
= [xg
1
, h
1
][h
1
, x][xg
2
, h
2
][h
2
, x] [xg
n
, h
n
][h
n
, x]
As,
7.2. C atedra 2 127
x([g
1
, h
1
][g
2
, h
2
] [g
n
, h
n
])x
1
= [xg
1
, h
1
][h
1
, x][xg
2
, h
2
][h
2
, x] [xg
n
, h
n
][h
n
, x]
[G, G].
Por lo tanto [G, G] G.
(3) Dada n N y la funcion G

n
: R
, dada por G
n
(x) = x
2n
a) Demuestre que G
n
es un homomorsmo.
b) Determinar el Kernel y la Imagen.
Solucion.
a) Sean x, y R
. Luego tenemos que

G
n
(x y) = (x y)
2n
= x
2n
y
2n
= G
n
(x) G
n
(y)
Por lo tanto G
n
es un Homomorsmo.
b) Determinemos el Kernel de G
n
.
ker G
n
= x R
[ G
n
(x) = 1
= x R
[ x
2n
= 1
= 1, 1
As, ker G
n
= 1, 1.
Determinemos la imagen de G
n
. Veamos que y ImG
n
si y solo si existe
x R
tal que y = x
2n
, donde podemos notar que y = x
2n
= (x
n
)
2
0
y ademas x ,= 0, entonces y R
+
, donde la preimagen de y es x =
2n
y.
As tenemos que
ImG
n
= y R
[ y R
+
= R
+
(4) Si H
1
G
1
y H
2
G
2
. Demuestre que:
(G
1
G
2
)/(H
1
H
2
)

= (G
1
/H
1
) (G
2
/H
2
)
(5) Dado el subgrupo |(C) = u C[ (m N) (u
m
= 1) C
y la fun-
cion
: |(C) C C
(x, y) xy
Demuestre que es una accion.
(6) Sea G un grupo y G
= [G, G]
Demostrar:
[G
, G
] G
Solucion. Sabemos que, si H G entonces [H, H] [G, G] G, en par-
ticular [G, G] = G
G, luego [G
, G
] [G, G] G. Ahora mostremos

que [G
, G
] es normal en G.
Dado x G, por demostrar que x[G
, G
]x
1
[G
, G
]. Sea xyx
1
x[G
, G
]x
1
, donde y [G
, G
].
Caso 1) Supongamos que y = [a, b](e.d. un producto nito compuesto solo
por un elemento), donde a, b G
, luego tenemos que

xyx
1
= x[a, b]x
1
= xaba
1
b
1
x
1
pero a, b G
= x[g, h][n, m][g, h]

1
[n, m]
1
x
1
= x[g, h][n, m][h, g][m, n]x
1
agregando
= (x[g, h]x
1
)(x[n, m]x
1
)(x[h, g]x
1
)(x[m, n]x
1
) identidades
= ([xg, h][h, x])([xn, m][m, x])([xh, g][g, x])([xm, n][n, x])
= ([xg, h][h, x])([xn, m][m, x])([xg, h][h, x])
1
([xn, m][m, x])
1
= [([xg, h][h, x]), ([xn, m][m, x])]
As tenemos que xyx
1
[G
, G
]. Por lo tanto x[G
, G
]x
1
[G
, G
].
Caso 2) Ahora, si y = [a
1
, b
1
][a
2
, b
2
] [a
2
, b
2
], el procedimiento es analogo
al anterior, aplicando identidades entre los conmutadores, solo que esta vez
nos quedara que xyx
1
es un producto nito(mas de un conmutador) de
elementos de [G
, G
].
[G
, G
] G
7.2. C atedra 2 129
(7) Sea f : X Y una funcion biyectiva y

T : Biy(X) Biy(Y ); con T() = f f
1
a) Demostrar que T es un isomorsmo de Grupo.
b) Determinar T
1
.
(8) Sean n, m N
y d = M.C.D.n, m.
Demuestre
Z/dZ

= Hom(Z
n
, Z
n
)
(9) Sea V un R-espacio vectorial y considere el grupo
H = h
t
F(V, V ) [ h
t
(v) = tv, t R
Demostrar que H End(V ).
Solucion. Primero demostremos que H End(V ). H ,= , ya que la
funcion nula

O = h
0
H. Ahora, para probar que H End(V ) debemos
mostrar que toda homotecia h
t
es una transformacion lineal, es decir, si
R y u, v V , entonces
h
t
(u +v) = h
t
(u) +h
t
(v)
Nota: Tomamos + como la operacion de V , pero en realidad es solo para
hacer enfasis, en que V es un grupo abeliano.
Tenemos:
h
t
(u +v) = t(u +v)
= tu +tv
= tu +tv
= h
t
(u) +h
t
(v)
Luego, para todo t R h
t
es una transformacion lineal, por lo tanto
H End(V ).
Ahora, si h
t
, h
k
H, veamos que para todo v V se tiene que:
(h
t
h
k
)(v) = h
t
(v) h
k
(v) = tv kv = (t k)v = h
tk
(v)
es decir, h
t
h
k
H. Por lo tanto H End(V ).
Finalmente recordemos que si G es un grupo abeliano, entonces todo sub-
grupo es normal en G, el cual es el caso de End(V ).
H End(V )
(10) Demostrar que, si G/Z(G) es un grupo cclico entonces G es abeliano.

Solucion. Si G/Z(G) es un grupo cclico, entonces existe gZ(G) = g tal
que g) = G/Z(G), ademas sabemos que
G =
_
iR
a
i
donde R es un sistema de representantes de clases, pero como G/Z(G) es
cclico generado por g, entonces toda clase se escribe como una potencia de
g, es decir, cada a
i
= g
j
donde j N. As, si x G, entonces x = g
k
h
para alg un k N y para alg un h Z(G).
Sean x, y G, luego x = g
k
h
1
e y = g
j
h
2
, entonces tenemos lo siguiente:
xy = g
k
h
1
g
j
h
2
pero h
1
Z(G)
= g
k
g
j
h
1
h
2
= g
k+j
h
2
h
1
= g
j+k
h
2
h
1
= g
j
g
k
h
2
h
1
h
2
Z(G)
= g
j
h
2
g
k
h
1
= yx
As queda demostrado que xy = yx x, y G. Por lo tanto G es abeliano.
(11) Sea : X Y una biyeccion. Demostrar que

Biy(X)

= Biy(Y )
7.2. C atedra 2 131
(12) Se dene la funcion conjugacion de G en G por T
g
(x) = gxg
1
y el conjunto
de todas ellas por Int(G) = T
g
Aut(G) [ g G. Demostrar que
Int(G) Aut(G)
Solucion. Primero, probemos que Int(G) Aut(G). Notese que Int(G) ,=
, ya que Id = T
e
Int(G), donde e es la identidad de G, ademas vemos
que Int(G) Aut(G) por denicion. Sean T
g
, T
h
Int(G), por demostrar
que T
g
T
1
h
Int(G). Antes, notese que x G se tiene
T
1
h
(x) = h
1
xh = T
h
1(x)
Ahora, veamos que para todo x G, tenemos lo siguiente:
(T
g
T
1
h
)(x) = T
g
(T
1
h
(x))
= T
g
(T
h
1(x))
= T
g
(h
1
xh)
= g(h
1
xh)g
1
= (gh
1
)x(gh
1
)
1
= T
gh
1(x)
As, T
g
T
1
h
= T
gh
1 Int(G). Por lo tanto Int(G) Aut(G).
Ahora, veamos la normalidad de Int(G) en Aut(G). Dado f Aut(G), por
demostrar que f Int(G) f
1
Int(G). Entonces, sea f T
g
f
1
f Int(G) f
1
, luego para todo x G tenemos lo siguiente:
(f T
g
f
1
)(x) = f(T
g
(f
1
(x))
= f(gf
1
(x)g
1
) pero f es un automorsmo
= f(g)(f f
1
)(x)f(g
1
)
= f(g)Id(x)f(g)
1
= f(g)xf(g)
1
= T
f(g)
(x)
As, (f T
g
f
1
) = T
f(g)
Int(G). Por lo tanto f Int(G)f
1
Int(G).
Int(G) Aut(G)

(13) Sea G = Z
36
Z
60
y H = (5, 10)).
Determinar el orden del elemento (4, 2) en G/H.
Solucion. Notese que (4, 2) = (4, 2), solo que se omite notacion.
Supongamos que n es el orden de (4, 2), entonces
(4, 2)n = (0, 0)
(4, 2)n +(5, 10)) = (5, 10))
(4n, 2n) (5, 10))
luego, existe t N tal que (4n, 2n) = (5, 10)t. Entonces tenemos el siguiente
sistema de ecuaciones modulares:
4n 5t (mod 36) (7.1)
2n 10t (mod 60) (7.2)
Multiplicando (7,2) por 6 obtenemos que n = 5k
1
, con k N, ademas, de
(7,2) obtenemos que
n 5t (mod 30) (7.3)
Ahora, si vemos las ecuaciones modulares (7,1) y (7,3) en Z, tenemos
4n 5t = 36q
1
(7.4)
n 5t = 30q
2
(7.5)
donde q
1
, q
2
Z. Luego, (7,4) (7,5) implica que n = 2k
2
. As, n debe ser
m ultiplo de 10. Finalmente obtenemos que n = 10(el cual es el menor entero
positivo que cumple las condiciones anteriores) es el orden de (4, 2), ya que
si notamos (40, 20) = (4, 20) (5, 10))(basta tomar la potencia 8(5, 10)).
7.2. C atedra 2 133

(14) Sean H G, K G, se dene
HK = hk G[ h H , k K
Demostrar que HK G.
Solucion. Recordemos que HK G si y solo si HK = KH, pero como
H G se tiene que g G gH = Hg, en particular, podemos decir que
k K kH = Hk, luego KH = HK, as tenemos que HK G. Ahora,
probemos que HK es normal en G.
Dado g G, por demostrar que gHKg
1
HK. Entonces, sea g(hk)g
1
gHKg
1
, con h H y k K, luego tenemos
g(hk)g
1
= ghkg
1
= (ghg
1
)(gkg
1
)
como H G tenemos que ghg
1
H y como K G tenemos que gkg
1
K, luego g(hk)g
1
= (ghg
1
)(gkg
1
) HK, por lo tanto gHKg
1
HK,
es decir HK es normal en G.
HK G
(15) Sea G = Z
12
Z
15
Z
24
y H = (5, 10, 4)).
Determinar el orden del elemento (4, 2, 8) en G/H.
Solucion. Como el ejercicio anterior, supongamos que n es el orden de
(4, 2, 8), luego obtenemos el siguiente sistema de ecuaciones modulares:
4n 5t (mod 12) (7.6)
2n 10t (mod 15) (7.7)
8n 4t (mod 24) (7.8)
De (7.6)+(7.8)(mrelo como ecuaciones en Z, luego factorize por 12) obten-
emos que t = 4k
1
con k
1
Z. Reemplazando t = 4k
1
en (7.7) se obtiene que
n 2k
1
(mod 3) y si en (7.6) multiplicamos por 8 y luego reemplazamos
t = 4k
1
obtenemos que n 5k
1
(mod 15), obteniendo el siguiente sistema:
n 5k
1
= 15q
1
(7.9)
n 2k
1
= 3q
2
(7.10)
donde q
1
, q
2
Z. Luego, 5 (10)2 (9)(analice bien este paso), implica que
n = 5r, con r N. Finalmente tenemos que n = 5 es el orden de (4, 2, 8),
ya que
5(4, 2, 8) = (20, 10, 40) = (8, 10, 16) (5, 10, 4))
En efecto, basta tomar la potencia 4(5, 10, 4) = (8, 10, 16).
(16) Sean
=
_
1 2 3 4 5 6
3 1 5 2 6 4
_
=
_
2 3 4 5 1
_
=
_
1 3 6 5 2
_
Resolver ecuacion en S
6
Z =
(17) Dada la funcion
: R
R
2
R
2
(a, (x, y)) (ax, a
2
y)
Demostrar que es una accion y determinar todas sus orbitas.
7.3. Catedra 3
7.3. C atedra 3 135
a) F : R
+
R R; con F(a, x) = ax es una accion.
b) Sea H = h
t
F(R, R) [ h
t
es una homotecia, con t R y
T : R H H. tal que T(t, h
a
) = h
ta
es una accion.
c) / =
_
_
a b
c d
_
GL
2
(C)
d = 1 ; c = 0
_
y L : /C C
donde L([b
ij
], x) = b
11
x + b
12
es una accion.
d) F : Q
+
R
+
R
+
; con F(a, x) = x
a
es una accion.
e) Sea T = t
b
F(R, R) [ t
b
es una traslacion, con b R y
L : R T T. tal que L(a, t
b
) = t
a+b
es una accion.
f ) Sea V un R-espacio vectorial y R : End(V ) V V donde
R(f, x) = f(x) es una accion.
g) Dada la funcion F : R Biy(R) Biy(R), denida por
F(a, f)(x) = f(x +a)
entonces F es una accion.
h) Dada la funcion T : R M
2
(R) M
2
(R), denida por
T
_
t,
_
a b
c d
__
=
_
a +t b t
c t d + 2t
_
entonces T es una accion.
i ) Dada la funcion F : GL
2
(R) Biy(M
2
(R)) Biy(M
2
(R)), denida
por
F(A, h)(X) = h(XA)
entonces F es una accion.
j ) Sea A M
2
(R) y la funcion
T
A
: R M
2
(R) M
2
(R)
(t, B) B tA
entonces T es una accion.
(2) Sea B =
_
_
a b
c d
_
GL
2
(C)
c = 0
_
el grupo de las matrices trian-
gulares invertibles y la accion dada por:
: B R
2
R
2
__
a b
0 d
_
, (x, y)
_
(ax +by, dy)
Determinar la cantidad o el n umero de orbitas, es decir, un sistema de re-
presentantes de las clases de equivalencia.
(3) Dado el grupo afn, es decir
A =
_
_
a b
c d
_
GL
2
(R)
c = 0 ; d = 1
_
y la accion dada por;
A R
2
R
2
__
a b
0 1
_
, (x, y)
_
(ax +b, ay +b)
Determine la cantidad o el n umero de orbitas, es decir, un sistema de re-
presentantes de las clases de equivalencias.
(4) Dada la funcion
: S
n
M
n
(R) M
n
(R)
(, ([a
ij
]
ij
)) ([a
(i)(j)
]
ij
)
7.3. C atedra 3 137
a) Demostrar que es una accion.
b) Si n = 3, determine el estabilizador de
_
_
1 1 1
1 1 1
1 1 1
_
_
(5) Dada la accion denida por
F : R
+
R R
(a, x) ax
F : R R
2
R
2
(a, (x, y)) (e
a
x, y +a)
(7) Demostrar que
R
/1, 1

= R
+
: R
R R
(a, x) ax
(9) Sean H, K G y H G.
Demostrar
K/H K

= HK/H
(10) Sean
=
_
1 2 3 4 5 6 7 8 9 10 11 12
8 9 7 10 11 12 1 5 2 6 3 4
_
= (1 5 3 9 10 12) (1 6 9 7 12 2)
a) Exprese como producto de ciclos disjuntos.
b) Determine el orden de .
c) Resolver en S
12
; Z = .
Sean
=
_
1 2 3 4 5 6 7 8 9 10 11 12
8 9 7 10 11 12 1 5 2 6 3 4
_
= (1 4 3 5 10 12) (1 6 9 7 12 3)
a) Exprese como producto de ciclos disjuntos.
b) Determine el orden de .
c) Resolver en S
12
; Z = .
(11) Demostrar que
A
n
=< (1 2 x) [ 2 x n >
(12) Determine el normalizador de (1 2 3), (3 4 5) en S
6
N
S
6
((1 2 3), (3 4 5))
7.4. Examen 139
(13) Determine el normalizador de (2 1), (3 2) en S
4
N
S
4
((2 1), (3 2))
(14) Para n 4. Demostrar que
[S
n
, S
n
] = A
n
(15) Sea X
n
= 1, 2, . . . , n y P(X
n
) el conjunto potencia de X
n
.
Demostrar que
: S
n
P(X
n
) P(X
n
)
(, A) (A) = (a) [ a A
es una accion.
(16) Determinar la cantidad de grupos abelianos, salvo isomorsmo, de orden
2
2
3
4
4
2
5
3
(17) Determinar la cantidad de grupos abelianos, salvo isomorsmo, de orden
2
2
3
7
5
3
(18) Sea S
9
tal que
(125689)(1789)
2
= (12)
_
1 2 3 4 5 6 7 8 9
5 8 7 1 3 4 6 9 2
_
Determine el orden y el signo de
7.4. Examen
(1) Dada la funcion
: R
R
2
R
2
(a, (x, y)) (ax, a
3
y)
Demostrar que es una accion y determinar todas sus orbitas.
(2) Para n 5. Demostrar que
[A
n
, A
n
] = A
n
(3) Sean G y G
dos grupos isomorfos. Demostrar que

(Aut(G), )

= (Aut(G
), )
(4) Sea G un p-grupo nito y H G no trivial, entonces
Demostrar que
H Z(G) ,= e
a) S
n
/A
n

= Z
2
b) La permutacion = (1 2 3 . . . n)
2
es par, para todo n N
c) El n umero de grupos abeliano no isomorfo de orden 15 es 2.

d) El orden de la permutacion = (4 2 3)
5
(3 5 7 6)
3
es 12.
e) La permutacion = (1 2 3 4)
7
(4 5 6 7) es par.
f ) Los grupos de orden 33 son abelianos.
(6) Sean n, m N
primos relativos, entonces

Z/mn)

= Z/m) Z/n)
(7) Dada la accion:
: R
+
R
2
R
2
(a, (x, y)) (ax, a
4
y)
Determinar un sistema de representantes de las clases de equivalencias.
7.4. Examen 141
(8) Sea n 4. Demostrar que
A
n
esta generado por los 3-ciclos.
(9) Si H, K G, donde K H, entonces
(G/K)/(H/K)

= G/H
(10) Sea G = Aut(Z
21
) el grupo de automorsmo de Z
21
con la composicion y
la accion
: GZ
21
Z
21
, g x = g(x)
Determinar el n umero de orbitas y su cardinal.
(11) Sea G un grupo de orden p
n
y p primo. Demostrar que Z(G) es un grupo
no trivial.
(12) Sea n 3. Demostrar que si H S
n
y H contiene un 3-ciclo entonces
A
n
H
Bibliografa
[1] Jimenez, D. Apunte de Teora de Grupos, 2007
[2] Hungerford, T.W. Algebra. Springer-Verlag, New York, 1974.
[3] Herstein, I. N.

Algebra Abstracta. Grupo Editorial Iberoamerica, division
de Wadsworth, 1988.
[4] Herstein, I. N.

Algebra Moderna. Editorial Trillas, quinta impresion,
Mexico, 1980.
[5] Ivorra, C. Apuntes de

Algebra.
[6] Sanchez, D. Apuntes de Teora de Grupos y Anillos. Colombia, 2005.
[7] Fraleigh, J.

Algebra Abstracta, primer curso. Addisonn-Wesley Iberoame-
ricana, S.A, 1987.
[8] Kostrikin, A.I. Introduccion al

Algebra, Segunda edicion. McGraw-Hill,
Interamericana de Espa na S.A, 1992
[9] Dummit, D.S. & Foote, R.M. Abstract Algebra, Tercera edicion. John Wiley
& Sons, Inc.

Apuntes Teoria (Jorge)

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Apuntes Teoria (Jorge)

Cargado por

Copyright:

Formatos disponibles

TEOR

G tal que, es otro neutro de G. Entonces;

por otro lado

, ) es un grupo abeliano y ademas cumple con la propiedad distributiva(si

(Biy(X, X), ) donde es la compuesta de funciones, y X es un conjunto no

Z, el cual es un grupo abeliano

k podemos asociar y conmutar

Z, donde Z es grupo, lo cual implica que k k

Observacion 3 Si K, H son subgrupos de G. En general K H no es

donde k es jo. Demuestre que

es un grupo, con la operacion natural.

NO QUE CON CONTIENE A DICHO CONJUNTO.

2.2. Grupos Cclicos

Propiedad 2.1 Sea (G, ) un grupo, g G.

26 2. Grupos Generados y Grupos Cclicos

28 2. Grupos Generados y Grupos Cclicos

) donde f(x) = x 1 g(x) = 2x

Ahora por otro lado;

Vemos claramente que

, pero nosotros lo denotaremos siempre por [G, G].

dos grupos y S G no vaco. Entonces

3.6. Ejercicios Resueltos

Ahora denimos el siguiente Conjunto Cuociente.

son sistemas de representantes de clases.

48 4. Clases Laterales y Subgrupos Normales

Indice) Sea G un Grupo y H un Subgrupo de G. Se dene

trivialmente por cancelacion

54 4. Clases Laterales y Subgrupos Normales

H G/H tales que:

4.5. Verdadero o Falso?

Denicion 5.2 Sea f : G H un homomorsmo.

Tenemos que Kerf = g G[ f(g) = e

Entonces, vemos que x kerf f(x) = e

5.1.1. Ejercicios Resueltos

grupos tales que A

. Demostrar que Aut(A)

). Ahora veamos lo siguiente;

Concluimos que Ker Id

), pero sabemos que Im

) por denicion, por lo cual, basta demostrar que Aut(A

), por demostrar que h Im. Sabemos que h Im si

) Im, por lo tanto es una funcion Epiyec-

PROBLEMA. Encontrar, explcitamente, el grupo Hom(Z

5.2. Breve estudio del Grupo Hom 83

dos grupos y sea : G G

= es simetrica. Ahora supongamos que G

Para la demostracion utilizaremos el primer teorema del isomorsmo, donde lo

(en realidad, sabemos que esto se cumple

, por demostrar que z Im(det). Consideremos la matriz B =

Im(det), entonces Im(det) = R

NOTA: La funcion es conocida como la inclusion, la cual es una funion in-

Demostracion Proposicion 5.1

Observacion 9 Hacemos referencia a la demostracion de la proposicion 2.2.

El objetivo de este corolario es para vericar los que se dice en el comentario 8.

[, esto quiere decir que no existe una funcion biyectiva entre

, por el simple hecho de que la ecuacion

, pero sabemos que la ecuacion x

Orbita) Sea X un G-espacio y x X. A partir de la

Proposicion 6.2 Sea X un G-espacio donde (G, ) es un grupo. Tenemos los

6.4. Ejercicios Propuestos 117

b) L = f F(R, R) [ (t Z)(f(t) = 0) F(R, R)

120 7. Ejercicios de C atedras

dos grupos. Demuestre que Z(G G