Teoria de Grupos - Lluis Puebla, Emilio

Publicaciones Electrnicas
Sociedad Matemtica Mexicana
Teora de Grupos
un primer curso
Segunda Edicin
Emilio Lluis-Puebla
www.sociedadmatematicamexicana.org.mx
Serie: Textos. Vol. 6 (2014)
Teora de Grupos,
un primer curso
Segunda Edicin
Emilio Lluis-Puebla
Universidad Nacional Autnoma de Mxico
Publicaciones Electrnicas
Sociedad Matemtica Mexicana
iii
ndice General
Prefacio
Introduccin
Captulo I
I.1 Operaciones Binarias

I.2 Estructuras Algebraicas
I.3 Propiedades Elementales
I.4 Grupos Cclicos
Captulo II
II.1 Sucesiones Exactas
II.2 Grupos Cociente
II.3 Teoremas de Isomorfismo
II.4 Productos
Captulo III
III.1 Grupos Abelianos Finitamente Generados
III.2 Permutaciones, rbitas y Teoremas de Sylow
III.3 Grupos Libres
III.4 Producto Tensorial
7
13
18
27
31
31
36
42
48
55
55
59
67
73
Bibliografa y Referencias
81
Lista de Smbolos
83
ndice Analtico
85
iv
.
Prefacio
Prefacio
El xito de la Teora de Grupos es impresionante y extraordinario. Es quizs,
la rama ms poderosa e influyente de toda la Matemtica. Influye en casi todas
las disciplinas cientficas, artsticas y en la propia Matemtica de una manera
fundamental. Lo que realmente se ha hecho en la Teora de Grupos, es extraer
lo esencial de diversas situaciones donde ocurre. Dado un conjunto no vaco,
definimos una operacin binaria en l, tal que cumpla ciertas axiomas, es decir,
que posea una estructura, (la estructura de grupo). El concepto de estructura
y los relacionados con ste, como el de isomorfismo, juegan un papel decisivo en
la Matemtica actual.
La teora general de las estructuras es una herramienta muy poderosa. Siempre que alguien pruebe que sus objetos de estudio satisfacen los axiomas de cierta
estructura, obtiene, de inmediato para sus objetos, todos los resultados vlidos
para esa teora. Ya no tiene que comprobar cada uno de ellos particularmente.
Actualmente, podra decirse que las estructuras permiten clasificar las diversas
ramas de la Matemtica.
Este texto contiene el trabajo escrito a lo largo de varios aos del material
correspondiente a mi curso sobre la materia que he impartido en la Facultad de
Ciencias de la Universidad Nacional Autnoma de Mxico. Despus de haber
ofrecido el curso con excelentes textos, algunos citados en la Bibliografa, decid
escribir uno que siga el enfoque de mis propios libros [Ll1] y [Ll2]. Es decir,
escog una presentacin moderna donde introduzco el lenguaje de diagramas
conmutativos y propiedades universales, tan requerido en la matemtica actual
as como en la Fsica y en la Ciencia de la Computacin, entre otras disciplinas.
El texto consta de tres captulos con cuatro secciones cada uno. Cada
seccin contiene una serie de problemas que se resuelven con creatividad utilizando el material expuesto, mismos que constituyen una parte fundamental del
texto. Tienen tambin como finalidad, la de permitirle al estudiante redactar
matemtica. El libro est diseado para un primer curso sobre la Teora de
Grupos el cual se cubre en su totalidad en cuarenta horas de clase.
vi
Prefacio
Deseo agradecer a mis alumnos, a los rbitros revisores y muy en especial a

mi estimado colega, el Dr. Juan Morales Rodrguez el haber hecho oportunas
y acertadas sugerencias para mejorar este texto. Cualquier falta u omisin que
an permanezca es de mi exclusiva responsabilidad.
Finalmente, comento que he decidido incluir este texto dentro de las Publicaciones Electrnicas de la Sociedad Matemtica Mexicana con el nimo de
predicar con el ejemplo y mostrar (como matemtico y Editor Ejecutivo) la
confianza en este tipo de publicacin.
Ciudad Universitaria.
Abril de 2006.
Segunda edicin.
Octubre de 2014.
.
Introduccin
Introduccin
La Matemtica existe desde que existe el ser humano. Prcticamente todo
ser humano es un matemtico en algn sentido. Desde los que utilizan la
Matemtica hasta los que la crean. Tambin todos son hasta cierto punto filsofos de la Matemtica. Efectivamente, todos los que miden, reconocen personas
o cosas, cuentan o dicen que tan claro como que dos y dos son cuatro son
matemticos o filsofos de la Matemtica. Sin embargo, hay un nmero muy
reducido de personas que se dedican a crear, ensear, cultivar o divulgar la
Matemtica.
La Matemtica es pilar y cimiento de nuestra civilizacin. Desde la primera
mitad del siglo XIX, debido al progreso en diversas ramas se le dio unidad a la
Ciencia Matemtica y justificaron el nombre en singular. Segn me coment mi
querido amigo, Arrigo Coen, Mathema significa erudicin, manthnein el infinitivo de aprender, el radical mendh significa en pasivo, ciencia, saber. Luego, es
lo relativo al aprendizaje. As que en sentido implcito, Matemtica significa:
lo digno de ser aprendido. Tambin se dice que Matemtica significa ciencia
por excelencia.
Sin embargo, de muy pocas personas podra decirse que poseen informacin correcta y actualizada sobre alguna de sus ramas o subramas. Los nios
y jvenes de nuestros das pueden poseer una imagen bastante aproximada de
electrones, galaxias, agujeros negros, cdigo gentico, etc. Sin embargo, difcilmente encontrarn durante sus estudios, conceptos matemticos creados ms
all de la primera mitad del siglo XIX. Esto es debido a la naturaleza de los
conceptos de la Matemtica.
Es muy comn la creencia de que un matemtico es una persona que se
dedica a realizar enormes sumas de nmeros naturales durante todos los das de
su vida. Tambin, la gente supone que un matemtico sabe sumar y multiplicar
los nmeros naturales muy rpidamente. Si pensamos un poco acerca de este
concepto que la mayora tiene acerca de los matemticos, podramos concluir
que no se requieren matemticos ya que una calculadora de bolsillo realiza este
trabajo.
Introduccin
Tambin, cuando uno pregunta cul es la diferencia entre un matemtico

y un contador? la consideran una pregunta equivalente a cul es la diferencia entre x y x? Es decir, suponen que hacen lo mismo. Si uno dice que un
matemtico rara vez tiene que realizar sumas o multiplicaciones, les resulta
increble. Tambin les resulta increble el que los libros de Matemtica rara
vez utilizan nmeros mayores que 10, exceptuando quizs los nmeros de las
pginas.
Durante muchos aos, a los nios se les ha hecho nfasis en el aprendizaje
de las tablas de multiplicar, en el clculo de enormes sumas, restas, multiplicaciones, divisiones y races cuadradas a lpiz pero de nmeros muy pequeos
(para los nmeros grandes, la mayora de las personas tiene poca idea de su
magnitud). Despus, cuando jvenes, aquellos que sumaban y multiplicaban
polinomios eran considerados por sus compaeros como genios poseedores de
un gran talento matemtico y posteriormente a stos, si tenan suerte, se les
enseaba a sumar y multiplicar nmeros complejos.
Pareciera ser, entonces, que el matemtico es aquel ser que se pasa la vida
haciendo sumas y multiplicaciones (de nmeros pequeos), algo as como un
encargado de la caja de un negocio. Esta impresin subsiste en una gran mayora
de las personas. Nada ms lejos de esto. Los matemticos no son los que
calculan o hacen cuentas sino los que inventan cmo calcular o hacer cuentas.
Hacer Matemtica es imaginar, crear, razonar.
Para contar fue necesario representar los nmeros de alguna forma, por ejemplo, los dedos de la mano. Despus, el baco constituy un paso todava ligado
a contar con los dedos, el cual todava se utiliza en algunas partes del planeta.
Posteriormente la mquina aritmtica de Pascal inventada en 1642 permita
efectuar sumas y restas mediante un sistema muy ingenioso de engranes. En la
actualidad, las calculadoras de bolsillo permiten realizar, en segundos, clculos
que antes podran haber llevado aos enteros y tambin le permitieron a uno
deshacerse de las famosas tablas de logaritmos y de la regla de clculo.
Sin embargo, en general, los alumnos de cualquier carrera y los egresados
de ellas a los cuales se les pregunta, -qu es la suma? o mejor dicho, qu
es la adicin?- simplemente encogen los hombros, a pesar de que han pasado
ms de doce aos sumando y de que la suma es un concepto muy primitivo.
Tambin suele suceder que cuando un nio o un joven o un adulto profesionista
se enfrenta a un problema, no sabe si debe sumar, restar, multiplicar o llorar.
El concepto de operacin binaria o ley de composicin es uno de los ms
antiguos de la Matemtica y se remonta a los antiguos egipcios y babilonios
quienes ya posean mtodos para calcular sumas y multiplicaciones de nmeros
naturales positivos y de nmeros racionales positivos (tngase en cuenta que no
posean el sistema de numeracin que nosotros usamos). Sin embargo, al paso del
tiempo, los matemticos se dieron cuenta que lo importante no eran las tablas de
Introduccin
sumar o multiplicar de ciertos nmeros sino el conjunto y su operacin binaria

definida en l. Esto, junto con ciertas propiedades que satisfacan dieron lugar
al concepto fundamental llamado grupo.
Histricamente, el concepto de operacin binaria o ley de composicin fue
extendido de dos maneras donde solamente se tiene una resemblanza con los
casos numricos de los babilonios y los egipcios. La primera fue por Gauss,
al estudiar formas cuadrticas con coeficientes enteros, donde vio que la ley
de composicin era compatible con ciertas clases de equivalencia. La segunda
culmin con el concepto de grupo en la Teora de Sustituciones, (mediante el
desarrollo de las ideas de Lagrange, Vandermonde y Gauss en la solucin de
ecuaciones algebraicas). Sin embargo, stas ideas permanecieron superficiales,
siendo Galois el verdadero iniciador de la Teora de Grupos al reducir el estudio
de las ecuaciones algebraicas al de grupos de permutaciones asociados a ellas.
Fueron los matemticos ingleses de la primera mitad del siglo XIX los que
aislaron el concepto de ley de composicin y ampliaron el campo del lgebra
aplicndola a la Lgica (Boole), a vectores y cuaternios (Hamilton), y a matrices (Cayley). Para finales del siglo XIX, el lgebra se orient al estudio de
las estructuras algebraicas dejando atrs el inters por las aplicaciones de las
soluciones de ecuaciones numricas. sta orientacin dio lugar a tres principales
corrientes:
(i) la Teora de Nmeros que surgi de los matemticos alemanes Dirichlet,
Kummer, Kronecker, Dedekind y Hilbert, basados en los estudios de Gauss. El
concepto de campo fue fundamental.
(ii) la creacin del lgebra Lineal en Inglaterra por Sylvester, Cliord; en
Estados Unidos por Pierce, Dickson, Wedderburn; y en Alemania y Francia por
Weirstrass, Dedekind, Frobenius, Molien, Laguerre, Cartan.
(iii) la Teora de Grupos que al principio se concentr en el estudio de grupos de permutaciones. Fue Jordan quien desarroll en gran forma el trabajo de
Galois, Serret y otros de sus predecesores. l introdujo el concepto de homomorfismo y fue el primero en estudiar grupos infinitos. Ms tarde, Lie, Klein
y Poincar desarrollaron este estudio considerablemente. Finalmente se hizo
patente que la idea fundamental y esencial de grupo era su ley de composicin
u operacin binaria y no la naturaleza de sus objetos.
El xito de la Teora de Grupos es impresionante y extraordinario. Basta
nombrar su influencia en casi toda la Matemtica y otras disciplinas del conocimiento. Los ejemplos escritos en 1.1 podran dejar perplejo al no ilustrado en
matemtica con un pensamiento acerca de los pasatiempos que los matemticos inventan combinando nmeros de una manera perversa. Sin embargo ah
hemos considerado ejemplos vitales para la Teora de los Nmeros (se podra
reemplazar el nmero 3 por cualquier nmero natural n (si n = 12 obtenemos
Introduccin
los nmeros de los relojes) o por un nmero primo p obteniendo conceptos y

resultados importantes) y para la propia Teora de Grupos (grupo didrico y
simtrico). Al observar esto, lo que realmente se ha hecho en la Teora de
Grupos, es extraer lo esencial de ellos, a saber, dado un conjunto no vaco,
definimos una operacin binaria en l, tal que cumpla ciertas axiomas, postulados o propiedades, es decir, que posea una estructura, (la estructura de grupo).
Existen varios conceptos ligados al de estructura, uno de los ms importantes
es el de isomorfismo.
El concepto de estructura y de los relacionados con ste, como el de isomorfismo, juegan un papel decisivo en la Matemtica actual. Las teoras generales
de las estructuras importantes son herramientas muy poderosas. Siempre que
alguien pruebe que sus objetos de estudio satisfacen los axiomas de cierta estructura, obtiene, de inmediato, todos los resultados vlidos para esa teora en sus
objetos. Ya no tiene que comprobar cada uno de ellos particularmente. Un uso
actual en la Matemtica, de las estructuras y los isomorfismos, es el de clasificar
las diversas ramas de ella (no es importante la naturaleza de los objetos pero s
lo es el de sus relaciones).
En la Edad Media la clasificacin en ramas de la Matemtica estaba dada
por la de Aritmtica, Msica, Geometra y Astronoma las que constituyeron el
Cuadrivium. Despus y hasta la mitad del siglo XIX, las ramas de la Matemtica
se distinguan por los objetos que estudiaban, por ejemplo, Aritmtica, lgebra, Geometra Analtica, Anlisis, todas con algunas subdivisiones. Algo as
como si dijramos que puesto que los murcilagos y las guilas vuelan entonces
pertenecen a las aves. Lo que se nos presenta ahora es el ver ms all y extraer
de las apariencias las estructuras subyacentes. Actualmente existen 63 ramas
de la Matemtica con ms de 5000 subclasificaciones. Entre ellas se encuentran la Topologa Algebraica (estructuras mixtas), el lgebra Homolgica (la
purificacin de la interaccin entre el lgebra y la Topologa, creada en los aos
cincuenta del siglo pasado), y la K-Teora Algebraica (una de las ms recientes
ramas, creada en los aos setenta del siglo pasado).
Algunos piensan que la Matemtica es un juego simple que sola y framente
interesa al intelecto. Esto sera el olvidar, asienta Poincar, la sensacin de la
belleza matemtica, de la armona de los nmeros y las formas, as como de la
elegancia geomtrica. Esta es ciertamente una sensacin de placer esttico que
todo verdadero matemtico ha sentido y por supuesto que pertenece al campo de
la emocin sensible. La belleza y la elegancia matemtica consisten de todos los
elementos dispuestos armnicamente tales que nuestra mente pueda abarcarlos
totalmente sin esfuerzo y a la vez mantener sus detalles.
Esta armona, contina Poincar, es, de inmediato, una satisfaccin de nuestras necesidades estticas y una ayuda para la mente que sostiene y gua. Y al
mismo tiempo, al poner bajo nuestra visin un todo bien ordenado, nos hace
entrever una ley o verdad matemtica. Esta es la sensibilidad esttica que juega
Introduccin
un papel de filtro delicado, la cual explica suficientemente el porqu el que carece

de ella nunca ser un verdadero creador, concluye Poincar.
Para el autor de este texto, la Matemtica es una de las Bellas Artes, la
ms pura de ellas, que tiene el don de ser la ms precisa y la precisin de las
Ciencias.
Introduccin
.
Captulo I
En esta seccin presentaremos uno de los conceptos ms antiguos de la
Matemtica, la operacin binaria o ley de composicin. Tambin veremos qu
tan ciertos son unos "dichos populares" como son los de "tan claro como que
dos y dos son cuatro" y "el orden de los factores no altera el producto".
Recordemos algunos conceptos elementales.
Primero, recuerde el conjunto de los nmeros enteros
Z = {... 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, ...}
Segundo, pregntese: -cmo se relacionan dos conjuntos adecuadamente?
Sean A y B dos conjuntos cualesquiera. Diremos que f : A B es una funcin
de A en B si a cada elemento de A le asociamos un elemento nico de B.
Por ejemplo, si A = {a, b, c} y B = {p, q, r, s} entonces f : A B dada por
la siguiente asociacin
a 7 p
b 7 q
c 7 r
es una funcin, mientras que la asociacin
a
a
b
c
7
7
7
7
p
q
q
r
no es una funcin, puesto que a un objeto de A no se le asocia un nico elemento

de B, (a a se le asocian p y q). Los conjuntos A y B se llaman dominio y
codominio, respectivamente, de la funcin f .
El subconjunto del codominio que consiste de los elementos que son asociados
a los del dominio se llama imagen de f . As, en la funcin anterior, la imagen
de f es el conjunto {p, q, r}; el elemento s de B no est en la imagen de f, es
decir, no es imagen de ningn elemento de A bajo f .
Captulo I
Utilizamos la siguiente notacin

de A bajo f :
f: A
a
b
c
para denotar las imgenes de los elementos
B
7 f (a) = p
7 f (b) = q
7 f (c) = r
Tercero: considere el producto cartesiano de un conjunto A que se denota

A A y que consiste de todas las parejas ordenadas de elementos de A, es decir
A A = {(a, b)|a, b A}
Ahora ya podemos definir el importantsimo concepto de operacin binaria o
ley de composicin. Sea G un conjunto no vaco. Una operacin binaria o ley
de composicin en G es una funcin f : G G G donde (x, y) 7 f (x, y).
Como es obvio, podemos denotar una funcin con cualquier smbolo, por
ejemplo f, g, h, , N, , , , , , etc. As, en Z podemos tener una operacin
binaria
f : ZZ
Z
(x, y) 7 f (x, y)
y por abuso o conveniencia de notacin denotamos f (x, y) como xf y. Por
ejemplo, (3, 2) 7 f (3, 2) = 3f 2.
Si la operacin binaria f la denotamos simplemente como + (la suma usual
en Z) entonces (3, 2) 7 +(3, 2) = 3 + 2 que es igual a 5. Si la operacin
binaria f la denotamos como (la multiplicacin usual en Z), entonces (3, 2) 7
(3, 2) = 3 2 que es igual a 6. Observe que una operacin binaria se define en
un conjunto no vaco G.
1.1 Ejemplo. Definamos un conjunto de la siguiente manera: considere
tres cajas y reparta los nmeros enteros en cada una de ellas de una manera
ordenada como sigue:
..
.
6
3
0
3
6
9
..
.
..
.
5
2
1
4
7
10
..
.
..
.
4
1
2
5
8
11
..
.
[0]
[1]
[2]
Las cajas las denotaremos as: [0] por contener al cero, (o bien 0 + 3Z, es
decir, los mltiplos de 3), [1] por contener al uno (o bien 1 + 3Z, es decir, los
mltiplos de 3 mas 1), y caja [2] por contener al dos (o bien 2 + 3Z, es decir,
los mltiplos de 3 mas 2). Asignmosle a la caja [0] el nmero 0, porque sus
elementos dan residuo 0 al dividirlos entre 3; anlogamente asignmosle a la caja
[1] el nmero 1 y a la caja [2] el nmero 2, pues sus elementos dan residuo 1 y 2
respectivamente, al dividirlos entre 3. Consideremos el conjunto Z3 = {0, 1, 2}
llamado juego completo de residuos mdulo 3, pues al dividir cualquier
entero entre 3 da residuos 0, 1 2. Definamos en l una operacin binaria que
podramos denotar con f, g, h, , N, , , , , , etc; escojamos +. As
+ : Z3 Z3 Z3
con
(1, 1) 7 +(1, 1) = 1 + 1 = 2
(0, 1) 7 +(0, 1) = 0 + 1 = 1
(1, 0) 7 +(1, 0) = 1 + 0 = 1
(2, 1) 7 +(2, 1) = 2 + 1 = 0
(2, 2) 7 +(2, 2) = 2 + 2 = 1
Escribamos su tabla de sumar:
+
0
1
2
0
0
1
2
1
1
2
0
2
2
0
1
Veamos otro
1.2 Ejemplo. Consideremos el juego completo de residuos mdulo 5, es
decir, los posibles residuos que se obtienen al dividir cualquier nmero entero
entre 5, el cual denotaremos con Z5 = {0, 1, 2, 3, 4}. Dibuje usted las cajas.
Definamos una operacin binaria en Z5
: Z5 Z5 Z5
de la siguiente manera:
(2, 2) (2, 2) = 22 = 4
(2, 1) (2, 1) = 21 = 2
(2, 3) (2, 3) = 23 = 1
(3, 4) (3, 4) = 34 = 2
Es comn or el dicho tan cierto como que dos y dos son cuatro. Sin
embargo, como hemos visto en los ejemplos anteriores 2 + 2 = 1, 2 + 1 = 0,
23 = 1, 34 = 2, etc. y claramente 2 + 2 6= 4. En los ejemplos anteriores
hemos considerado los conjuntos Z3 y Z5 a los cuales le hemos definido una
"suma" u operacin binaria. La suma usual en los nmeros naturales y enteros
10
Captulo I
es una operacin binaria, lo mismo que la multiplicacin definida en ellos. Estas

son las operaciones binarias consideradas en el dicho. En los primeros aos de
escuela se pone un nfasis especial en uno de los muchos algoritmos para sumar
y multiplicar nmeros naturales (i.e. en el procedimiento o manera de sumarlos
y multiplicarlos). Despus de varios aos se pone un especial nfasis en sumar y
multiplicar nmeros enteros y en multiplicar y dividir polinomios. En general,
cuando se "suma" hay que especificar siempre el conjunto en el cual se define la
operacin binaria.
Tambin es comn or el dicho "el orden de los factores no altera el producto".
Ser esto siempre cierto?
1.3 Ejemplo. Consideremos el conjunto 3 de los movimientos rgidos de
un tringulo equiltero con vrtices A, B, C, es decir, las rotaciones sobre el
baricentro de 0 , 120 y 240 y las reflexiones sobre las medianas. Denotemos
stos movimientos rgidos de la siguiente manera:
0 = [ABC/ABC], 1 = [ABC/BCA], 2 = [ABC/CAB]
3 = [ABC/ACB], 4 = [ABC/CBA], 5 = [ABC/BAC]
Los elementos 0, 1 y 2 corresponden a las rotaciones. Los elementos 3, 4 y 5
corresponden a las reflexiones. Definamos una operacin binaria en 3 :
: 3 3 3
(x, y) (x, y) = x y
Calculemos:
[ABC/BCA] [ABC/BCA] = [ABC/CAB]
esto es
(1, 1)(1, 1) = 11 = 2.
[ABC/CAB] [ABC/ACB] = [ABC/BAC]
esto es
(2, 3) (2, 3) = 2 3 = 5.
[ABC/ACB] [ABC/CAB] = [ABC/CBA]
esto es
(3, 2) (3, 2) = 3 2 = 4.
Observe que
2 3 6= 3 2.
Ahora s, 2 + 2 = 4 y 2 3 = 3 2?
El concepto de operacin binaria o ley de composicin es uno de los ms
antiguos de la Matemtica y se remonta a los antiguos egipcios y babilonios
quienes ya posean mtodos para calcular sumas y multiplicaciones de nmeros
11
naturales positivos y de nmeros racionales positivos (tngase en cuenta que no

posean el sistema de numeracin que nosotros usamos). Sin embargo, al paso del
tiempo, los matemticos se dieron cuenta que lo importante no eran las tablas de
sumar o multiplicar de ciertos "nmeros" sino el conjunto y su operacin binaria
definida en l. Esto, junto con ciertas propiedades que satisfacan dieron lugar
al concepto fundamental llamado grupo.
Es as que, de manera informal que posteriormente precisaremos, diremos
que un grupo es un conjunto no vaco G junto con una operacin binaria f :
GGG, denotado (G, f ) la cual cumple con ser asociativa, poseer elemento de
identidad e inversos. La imagen de (x, y) en G la denotamos (x, y) 7 f (x, y).
Por abuso o conveniencia de notacin denotamos f (x, y) como xf y y se llama
composicin de x y y.
Es fcil comprobar (ver los Problemas abajo) que los conjuntos Z3 , Z5 y 3
con su operacion binaria respectiva, poseen la estructura de grupo. Como se
puede ver en el caso de (3 , ), el concepto de grupo est estrechamente ligado
con el concepto de simetra. Los ejemplos anteriores muestran algunos conjuntos
que poseen una estructura de grupo y lo variantes estos pueden ser.
Podemos definir funciones f : G G, g : G2 = GG G, h : GGG
G o bien j : Gn = G ... G G dando as lugar a operaciones unarias,
binarias, ternarias o n arias. La operacin nula es una funcin i : {e} G.
Una estructura algebraica o sistema algebraico es un conjunto C junto
con una o ms operaciones n arias definidas en C las cuales podran satisfacer
ciertas axiomas o propiedades. En la siguiente seccin definiremos algunas.
1.4 Definicin. Considere H un subconjunto de un grupo (G, ). Diremos
que H es estable o cerrado con respecto a la operacin binaria si x y H,
para cualesquiera elementos x, y H. Obsrvese que la restriccin de a un
subconjunto estable o cerrado H proporciona una operacin binaria para H
llamada operacin binaria inducida.
Problemas
1.1 Haga una tabla que represente la multiplicacin de todos los elementos
de Z3 .
1.2 Construya una tabla que represente la suma de todos los elementos de
Z5 .
1.3 Construya una tabla que represente la multiplicacin de todos los elementos de Z5 .
1.4 Compruebe que 3 con la operacin binaria definida en el Ejemplo 1.3
es un grupo.
12
Captulo I
1.5 Sea 3 el conjunto de las permutaciones de 1, 2, 3. Calcule el nmero de

elementos de 3 . Defina una operacin binaria en 3 y construya su tabla.
1.6 Sea n el conjunto de las permutaciones de un conjunto con n elementos.
Calcule el nmero de elementos de n .
1.7 Construya una tabla que represente la suma de todos los elementos de
Z6 y comprela con las tablas de 3 y 3 . Observe que las tablas de 3 y
3 son la misma salvo por el orden y el nombre de los elementos. Compruebe
que stos dos ltimos son grupos y establezca una funcin biyectiva entre sus
elementos. Observe que la tabla de Z6 le permite comprobar que es un grupo,
pero que su tabla es totalmente diferente a las otras dos.
13

En esta seccin definiremos varias estructuras algebraicas algunas de las
cuales ya han sido implcitamente estudiadas. Tiene como finalidad la de presentar un breve panorama de algunas de las estructuras algebraicas (no
el del estudio propio de la categora de grupos) y as situar al lector en una
mejor posicin para comprender los objetos de estudio de la Teora de Grupos.
Supondremos que el lector ya conoce los fundamentos del lgebra Lineal como
en (Ll2) y utilizaremos la notacin que ah se expone.
Sea (V, +, ) un espacio vectorial sobre un campo K tal como se defini en
lgebra Lineal. Si quitamos la multiplicacin escalar nos quedaremos con un
conjunto con una operacin binaria + que cumple las cuatro axiomas usuales.
Entonces diremos que (V, +) es un grupo conmutativo bajo +. Formalmente,
con esta notacin y en este contexto (en la prxima seccin daremos otra
versin de la definicin de grupo ms general) repetimos, para ligarla con el
estudio de espacios vectoriales, la definicin de grupo introducida en la seccin
anterior:
2.1 Definicin. Un grupo es una pareja (G, +) donde G es un conjunto
no vaco y
+: G G G
es una operacin binaria
(u, v) 7 +(u, v)
donde, por conveniencia o abuso de notacin se escribe
+(u, v) = u + v
tal que
(i) +(+(u, v), w) = +(u, +(v, w)), es decir, (u + v) + w = u + (v + w)
(ii) existe un elemento O G, llamado elemento de identidad, tal que
+(v, O) = v + O = v
(iii) para cada v G existe un elemento, llamado inverso, denotado con
v, tal que +(v, v) = v + (v) = O.
Diremos que el grupo es conmutativo si adems satisface
(iv) +(u, v) = +(v, u) es decir, u + v = v + u.
Si en la definicin anterior consideramos un conjunto E con una operacin
binaria + sin que cumpla alguna condicin, decimos que (E, +) es un magma
(o grupoide).
14
Captulo I
Si en la definicin anterior consideramos un conjunto S con una operacin

binaria + que cumpla (i) diremos que (S, +) es un semigrupo.
Tambin, si en la definicin 2.1 consideramos un conjunto M con una operacin binaria + que cumpla (i) y (ii) diremos que (M, +) es un monoide.
2.2 Ejemplo. El conjunto N de los nmeros naturales con la suma usual es
un semigrupo pero no un monoide pues no tiene elemento de identidad. (Z, +) y
(Zn , +) (con n N) son monoides conmutativos bajo la suma y (N, ), (Z, )y
(Zn , ) son monoides multiplicativos.
2.3 Ejemplo. El lector podr comprobar que (Z, +), (nZ, +), n Z,
(Q, +), (Q = Q {0}, ), (R, +), (R = R {0}, ), (C, +), (C = C {0}, ),
(Zn , +), (3 , ), (3 , ), (n , ), (Mn K, +), donde Mn K denota las matrices
cuadradas de n n con coeficientes en un campo K, (GLn K, +) y (GLn K, ),
donde GLn K denota las matrices cuadradas invertibles de n n (n N) con
coeficientes en un campo K, son grupos (con las operaciones binarias usuales
en cada uno de ellos).
Recordemos que podemos denotar la operacin binaria en un conjunto con
cualquier smbolo, por ejemplo, +, , , , , , , 4, etc.lo cual haremos en adelante. Diremos que el orden de un grupo (G, ) es el nmero de elementos del
conjunto G y lo denotaremos con o(G) o bien con | G | indistintamente. As,
varias formas de escribir esto son: (Zn , +) tiene orden n, o(3 , ) = 6, | 3 |= 6,
o(n ) = n!. Si | G | es infinito (finito) diremos que G es infinito (finito). As, Z
es (constituye un grupo) infinito (bajo la suma usual).
Para relacionar dos grupos es necesario definir una funcin que preserve la
estructura de grupo.
2.4 Definicin. Sean (G, ) y (G0 , ) dos grupos. Un homomorfismo de
grupos es una funcin f : G G0 tal que f (u v) = f (u) f (v).
Ahora, recordemos la definicin de accin y definamos el concepto de grupo
con operadores:
2.5 Definicin. Sean y A dos conjuntos. Una accin de en A es una
funcin de A en el conjunto A.
2.6 Definicin. Sea un conjunto. Un grupo (G, ) junto con una accin
de en (G, )
: G
G
(, x)
7 (, x) = x = x
que sea distributiva con respecto a la ley de composicin de (G, ) se llama
grupo con operadores en .
15
La ley distributiva puede expresarse como

(xy) = x y
i.e.,
(, xy) 7 (, xy) = (xy) = ( x)( y).
2.7 Observacin. En un grupo G con operadores en , cada elemento
de (llamado operador) define un endomorfismo (i.e.un homomorfismo de
G G) del grupo G. Consideremos = Z y para x G, n Z definamos
: Z G
G
(n, x)
7 n x = xn
Si G es abeliano, tenemos que
n(xy) = (xy)n = xn y n = (nx)(ny)
Luego, todo grupo abeliano G puede verse como un grupo con operadores en Z.
2.8 Definicin. Un anillo es una terna (, +, ) donde es un conjunto,
+ y son operaciones binarias tales que
(i) (, +) es un grupo conmutativo
(ii) (, ) es un semigrupo
(iii) u(v + w) = uv + uw y (u + v)w = uw + vw
El lector podr comprobar que (Z, +, ), (Zn , +, ),(Q, +, ), (R, +, ),
(Mn K, +, ), (K, +, ),(K[x], +, ), (C, +, ) son anillos.
Si un anillo (, +, ) satisface
(iv) (, ) es un semigrupo conmutativo, entonces (, +, ) se llamar anillo
conmutativo.
Si (, ) es un monoide, diremos que (, +, ) es un anillo con identidad o
con uno.
Recuerde que si el producto de dos elementos distintos de cero de un anillo
es el elemento cero del anillo, entonces esos dos elementos se dice que son
divisores de cero. Si el anillo (, +, ) con 1 6= 0 no posee divisores de cero, se
llamar dominio entero. Si un dominio entero posee un inverso multiplicativo
para cada elemento no nulo, se dice que es un anillo con divisin.
Finalmente, un campo es un anillo conmutativo con divisin.
Cmo se relacionan dos anillos? Mediante funciones que preserven la estructura de anillos. Si (, , ) y (, +, ) son anillos, un homomorfismo de
anillos es una funcin que es un homomorfismo del grupo conmutativo de en
16
Captulo I
el grupo conmutativo de y que tambin es un homomorfismo del semigrupo

de en el semigrupo de , es decir,
f (u v) = f (u) + f (v) y f (u v) = f (u) f (v).
Si en la definicin de espacio vectorial consideramos un anillo (, +, ) conmutativo con 1 en lugar de un campo K, obtendremos una estructura algebraica llamada -mdulo (izquierdo). Entonces, como caso particular de los
-mdulos estn los K-mdulos, i.e. los espacios vectoriales sobre un campo K.
Muchos de los resultados para los espacios vectoriales son vlidos para los
-mdulos, basta tomar K = un anillo conmutativo con 1. En particular,
relacionamos dos -mdulos mediante un homomorfismo de -mdulos. Los
-mdulos son generalizaciones de los conceptos de grupo conmutativo y de
espacio vectorial, y son los objetos de estudio del lgebra Homolgica (vase
Ll1). Imitando a los espacios vectoriales, si un -mdulo posee una base, lo
llamaremos -mdulo libre. No todo -mdulo posee base, es decir, no todo
-mdulo es libre, pero todo espacio vectorial o K-mdulo es libre, es decir,
s posee una base. Diremos que un -mdulo es proyectivo si es sumando
directo de un libre y que es finitamente generado si posee un conjunto finito
de generadores.
Un lgebra sobre ( un anillo conmutativo con uno) es un conjunto A que
simultneamente es un anillo y un -mdulo. Es decir, un lgebra (A, +, , )
es un -mdulo con otra operacin binaria, llamada multiplicacin con una
condicin extra que hace compatibles las operaciones binarias y multiplicacin
escalar, la cual es la siguiente:
(u + 0 v)w = (uw) + 0 (vw)
w(u + 0 v) = (wu) + 0 (wv) para , 0 ; u, v, w A
En particular se tiene que (u)v = (uv) = u(v) y por lo tanto uv es un
elemento bien definido de A. Dejamos al lector proporcionar la definicin de
homomorfismo de lgebras as como percatarse de varios ejemplos de lgebras
ya conocidos introducidos implcitamente.
Si se imponen condiciones en la multiplicacin de un lgebra se obtienen
lgebras conmutativas, lgebras asociativas, lgebras con uno.
Un lgebra asociativa con uno tal que todo elemento diferente de cero sea
invertible se llama lgebra con divisin.
2.9 Ejemplo. (Mn K, +, , ), donde Mn K denota las matrices cuadradas
de n n con coeficientes en un campo K ( denota la multiplicacin escalar)
es un lgebra al igual que (K, +, , ) y (K[x], +, , ).
Definimos un lgebra graduada como una sucesin A = (A0 , A1 , A2 , ...)
de lgebras Ai , una para cada ndice i N .
17
Para quienes han estudiado, dentro de un curso elemental de lgebra Lineal,

el lgebra Multilineal (como en Ll2), recordarn los siguientes conceptos que
no son requisitos para este texto.
2.10 Ejemplo. Sea T k (V ) = k V = V K K V el producto tensorial
de un espacio vectorial V sobre un campo K, k veces. Llamaremos a T k (V )
espacio tensorial de grado k de V . Si definimos una multiplicacin
: T k V T l V T k+l V mediante
(u1 ... uk ) (v1 ... vl ) = u1 ... uk v1 ... vl
tenemos un lgebra graduada (donde definimos T 0 V = K y T 1 V = V ) T V =

(K, V, T 2 V, T 3 V, T 4 V, . . .) llamada lgebra tensorial de V .
Vk
2.11 Ejemplo. Sea
V = V ... V el producto exterior de un espacio
vectorial V sobre un campo K, k veces. Consideremos la multiplicacin exterior
definida por
k
l
k+l
^
^
^
V V
V.
:
Entonces tenemos un lgebra graduada
^
V = (K, V,
2
^
V,
3
^
V, . . .)
llamada lgebra exterior o lgebra de Grassmann de V .

Problemas
2.1 Compruebe que los conjuntos con sus operaciones binarias respectivas
en el Ejemplo 2.2 son efectivamente monoides.
en el Ejemplo 2.3 son efectivamente grupos.
en el Ejemplo 2.9 son efectivamente lgebras.
2.4 Compruebe que los nmeros complejos bajo la multiplicacin forman un
monoide.
18
Captulo I

En esta seccin presentaremos algunas propiedades elementales de los grupos. Como se ha explicado anteriormente en general, ahora en particular aplicado a la Teora de Grupos, siempre que se pruebe alguna propiedad para un
conjunto con una operacin binaria que satisfaga los axiomas de grupo, de inmediato, esa propiedad es vlida para todos esos conjuntos que satisfagan las
axiomas de grupo.
Consideremos un grupo (G, ). Si x y y son elementos de G, denotaremos
x y simplemente como xy para simplificar la notacin. Sea e el elemento de
identidad de G. Con esta notacin, la definicin generalizada de grupo que
prometimos en la seccin anterior es:
Un grupo es una pareja (G, ) donde G es un conjunto no vaco y
: G G G
es una operacin binaria
(x, y) 7 (x, y)
donde, por abuso o conveniencia de notacin se escribe
(x, y) = x y = xy
tal que
(i) (xy)z = x(yz); x, y, z G.
(ii) existe un elemento e G tal que ey = y, para toda y G.
(iii) para cada y G existe un elemento, denotado y 1 , tal que (y 1 )y = e.
Diremos que el grupo es conmutativo o abeliano si adems satisface
(iv) xy = yx, para toda x, y G, es decir, si su operacin binaria es conmutativa.
Si el grupo es abeliano, se acostumbra denotar su operacin binaria con el
signo +.
Podemos ver el concepto de grupo como un caso especial del de grupos con
operadores en (con accin, la nica posible de en G).
El elemento e lo llamaremos elemento de identidad izquierdo o simplemente identidad izquierda de x y y 1 lo llamaremos inverso izquierdo de y.
19
De manera anloga se tiene el elemento de identidad derecho y el inverso

derecho. Cuando es clara la notacin de la operacin binaria, con frecuencia
se omite y simplemente se designa un grupo (G, ) con G.
Veamos a continuacin que en nuestra definicin de grupo, el pedir que se
tenga elemento de identidad por la izquierda e inverso izquierdo implica que se
tiene tambin identidad e inverso derechos.
3.1 Proposicin. En un grupo (G, ), si un elemento es inverso izquierdo
entonces es inverso derecho. Si e es identidad izquierda, entonces es identidad
derecha.
Demostracin. Considere x1 x = e para cualquier elemento x G. Considere el elemento inverso izquierdo del elemento x1 , es decir (x1 )1 x1 = e.
Luego
xx1 = e(xx1 ) = ((x1 )1 x1 )(xx1 ) = (x1 )1 ex1 = (x1 )1 x1 = e.
As que x1 es inverso derecho de x. Ahora, para cualquier elemento x, considere
las igualdades
xe = x(x1 x) = (xx1 )x = ex = x.
Luego e es identidad derecha.
Diremos que e es el elemento de identidad de un grupo G si e es elemento
de identidad izquierdo o derecho y hablaremos del inverso de un elemento si
existe su inverso izquierdo o derecho.
A continuacin veamos algunas propiedades elementales:
3.2 Proposicin. El elemento de identidad e de un grupo G es nico.
Demostracin. Sea e0 otro elemento de identidad tal que e0 e = e. Como e
es tambin identidad, entonces e0 e = e0 . Luego e = e0 .
3.3 Proposicin. Si en un grupo G se tiene que xy = xz, entonces y = z.
Tambin, si yx = zx, entonces y = z.
Demostracin. Si xy = xz, entonces x1 (xy) = x1 (xz). Por la asociatividad, (x1 x)y = (x1 x)z. Luego, ey = ez y finalmente y = z. De manera
semejante se prueba que si yx = zx, entonces y = z.
3.4 Proposicin. En un grupo cualquiera, el inverso de cualquier elemento
de un grupo es nico.
Demostracin. Sea x0 otro inverso del elemento x. Luego, x0 x = e. Tambin x1 x = e. Luego, x0 x = x1 x = e. Por la proposicin anterior, x0 = x1 .
3.5 Proposicin. En un grupo cualquiera G, si x, y G, las ecuaciones
xa = y y bx = y tienen solucin nica en G.
20
Captulo I
Demostracin. Puesto que x(x1 y) = (xx1 )y = ey = y. Luego, a =

x y es una solucin de xa = y. Supongamos que hay dos soluciones, xa = y y
xa= y. Entonces xa = xa, luego a = a. Anlogamente para el otro caso.
1
3.6 Proposicin. En un grupo G, se tiene, para cualesquiera elementos

x, y de G
(xy)1 = y 1 x1 .
Demostracin. Como
(xy)(y 1 x1 ) = x(yy 1 )x1 = xx1 = e
(y 1 x1 )(xy) = y 1 (x1 x)y = y 1 y = e
luego, (xy)1 = y 1 x1 .
Recordemos la definicin de homomorfismo de grupos de la seccin anterior
con la notacin siguiente:. Sean (G, +) y (G0 , ) dos grupos. Un homomorfismo
de grupos es una funcin f : G G0 tal que f (u + v) = f (u) f (v).
Veamos algunos ejemplos.
3.7 Ejemplo. Sea G = R3 y G0 = R con la suma usual. Definamos
f : G G0 mediante la regla f (x, y, z) = 8x 4y + 4z. Veamos que f es un
homomorfismo. Como
f ((x1 , y1 , z1 ) + (x2 , y2 , z2 )) = f (x1 + x2 , y1 + y2 , z1 + z2 )
= 8(x1 + x2 ) 4(y1 + y2 ) + 4(z1 + z2 ) y
f (x1 , y1 , z1 ) + f (x2 , y2 , z2 ) = (8x1 , 4y1 + 4z1 ) + (8x2 4y2 + 4z2 ),
f es un homomorfismo.
3.8 Proposicin. Sea f : G G0 un homomorfismo de grupos. Si e es el
elemento de identidad de G entonces f (e) = e0 es el elemento de identidad de
G0 .
Demostracin. Considere e0 f (x) = f (x) = f (ex) = f (e)f (x). Multiplicando ambos lados por el inverso de f (x)obtenemos e0 f (x)f (x)1 = f (e)f (x)f (x)1 .
Luego e0 = e0 e0 = f (e)e0 = f (e). As que e0 = f (e).
3.9 Ejemplo. Sea G = G0 = R2 . Definamos f : G G0 mediante f (x, y)
= (x + 8, y + 2). Como f (0, 0) = (8, 2) 6= (0, 0), f no es homomorfismo pues
todo homomorfismo de grupos enva el elemento de identidad del dominio en el
elemento de identidad del codominio.
3.10 Proposicin. La composicin de dos homomorfismos de grupos es un
homomorfismo de grupos.
Demostracin. Sean f : G0 G y g : G G00 homomorfismos de grupos.
Luego (g f )(x + y) = g(f (x + y)) = g(f (x) + f (y)) = g(f (x)) + g(f (y)) =
(g f )(x) + (g f )(y). Por lo tanto (g f ) es un homomorfismo.
21
3.11 Definicin. Sea f : G G0 un homomorfismo de grupos. Diremos
=
que f es un isomorfismo, y escribiremos f : G G0 si existe un homomorfismo
g : G0 G tal que g f = 1G y f g = 1G0 .
Es fcil comprobar (Problema 3.13) que, si g existe, est determinada en
forma nica; la denotaremos con f 1 y se llama inverso de f . As, f : G G0
es isomorfismo si, y slo si, es biyectiva. Diremos que dos grupos G y G0 son
=
isomorfos si existe un isomorfismo f : G G0 y escribiremos G
= G0 .
3.12 Definicin. Sea f : G G0 un homomorfismo de grupos. El ncleo
de f , denotado ker f , es el conjunto de todos los elementos x G tales que
f (x) = e0 donde e0 denota la identidad de G0 . La imagen de f , denotada im f ,
es el conjunto de f (x) con x G.
Si en la definicin de homomorfismo se tiene que ker f = {e} diremos que f
es un monomorfismo y lo denotamos f : G G0 ; si im f = G0 diremos que
f es un epimorfismo y lo denotamos f : G G0 y si f es tal que ker f = {e}
e im f = G0 entonces diremos que f es un isomorfismo. Dicho de otra manera, f es un monomorfismo cuando es inyectiva; es un epimorfismo cuando es
suprayectiva y es un isomorfismo cuando es biyectiva (Problema 3.13). Llamaremos endomorfismo a un homomorfismo f : G G y diremos que es
automorfismo si dicha f es biyectiva.
3.13 Proposicin. Sean f : G0 G, g : G G00 dos homomorfismos de
grupos y h = g f la composicin. Entonces, (i) si h es monomorfismo, f es
monomorfismo, y (ii) si h es epimorfismo, g es epimorfismo.
Demostracin. (i) Supongamos que h es monomorfismo. Si f (x) = f (y)
luego h(x) = g(f (x)) = g(f (y)) = h(y). Como h es monomorfismo, x = y. Por
lo tanto, f es monomorfismo. (ii) Supongamos que h es epimorfismo. Entonces
h(G0 ) = G00 . Luego, G00 = h(G0 ) = g(f (G0 )) g(G) G00 . Por lo tanto,
g(G) = G00 .
Diremos que un homomorfismo f : G G0 es trivial si f (x) = e0 para todo
x G. Es decir, im f = {e0 }. Si f es trivial, lo denotaremos con O (vase el
Problema 3.9). As que, f = O si, y slo si, ker f = G.
A continuacin nos preguntamos acerca de los subconjuntos de un grupo que
son, a la vez, grupos.
3.14 Definicin. Diremos que un subconjunto H de (G, ) es un subrupo
de G si H es un grupo estable o cerrado bajo la operacin binaria inducida. Lo
denotaremos H < G.
Veamos un resultado que proporciona una manera de comprobar si un subconjunto de un grupo es un subgrupo de l.
22
Captulo I
3.15 Proposicin. Un subconjunto H de (G, ) es un subrupo de G si, y

slo si, se satisfacen las siguientes tres condiciones:
(i) H es estable o cerrado bajo .
(ii) el elemento de identidad e de G est en H.
(iii) si x H, entonces x1 H.
Demostracin. Vase el Problema 3.4.
3.16 Ejemplo. (Z, +) es subgrupo de (R, +). (Q+ , ) es un subgrupo de
(R , ). Tambin, (Q, +) es un subgrupo de (R, +), (R, +) es un subgrupo de
(C, +) y (2Z, +) es un subgrupo de (Z, +).
+
3.17 Ejemplo. Sea (G, ) un grupo. Tanto G como {e} son subgrupos
de (G, ), llamados subgrupos impropios. Los dems subgrupos se llaman
propios. El subgrupo {e} se llama subgrupo trivial y se acostumbra denotar, por abuso, simplemente como e donde e puede denotarse como 0 o 1 o
cualquier otra notacin que denota el elemento de identidad del grupo que se
est considerando.
3.18 Proposicin. La interseccin de subgrupos de G es un subgrupo de
G.
Demostracin. Sea {Hi }iI una coleccin de subgrupos de G indizada
por un conjunto de ndices I. Tomemos x, y i Hi . Como i Hi Hi para
cualquier i, tenemos que x, y Hi . Como Hi es subgrupo de G, x + y Hi , e
Hi , x1 Hi para toda i I. Por lo tanto, x + y Hi , e Hi , x1 Hi .
3.19 Proposicin. Sea f : G G0 un homomorfismo de grupos. Entonces,
si H es un subgrupo de G, f (H) es un subgrupo de G0 y si H 0 es un subgrupo
de G0 , f 1 (H 0 ) es un subgrupo de G.
Demostracin. Veamos que f (H) = {f (x) | x H} es un subgrupo de G0 .
Sean v, w f (H), luego, existen x, y H tales que f (x) = v, f (y) = w. Como
H es subgrupo de G, x + y H. Como f es homomorfismo, f (e) = e0 f (H),
v +w = f (x)+f (y) = f (x+y) f (H). Si x H entonces f (x) f (H). Por ser
H subgrupo de G, x1 H. Luego (Problema 3.18) f (x1 ) = f (x)1 f (H).
Por lo tanto, f (H) es un subgrupo de G0 .
Ahora, veamos que f 1 (H 0 ) = {x G|f (x) H 0 } es un subgrupo de G.
Sean x, y f 1 (H 0 ), entonces f (x) y f (y) estn en H 0 . Como H 0 es un subgrupo
de G0 y f es homomorfismo, f (x + y) = f (x) + f (y) H 0 y f (e) = e0 H 0 .
Tambin, dado f (x) H 0 , como f (x)1 = f (x1 ) , f (x)1 H 0 . As f 1 (H 0 )
es un subgrupo de G.
Observe que en la Proposicin anterior, la imagen inversa es un subgrupo del
dominio aunque no exista una funcin inversa f 1 para f . La imagen inversa
de {e0 } es el ncleo de f y la imagen inversa de cualquier subgrupo contiene al
ncleo de f .
3.20 Corolario. Sea f : G G0 un homomorfismo de grupos. Entonces
im f es un subgrupo de G0 y ker f es un subgrupo de G.
23
Demostracin. Inmediata de la proposicin anterior tomando H = G y

H 0 = e0 .
Denotemos con Hom(X, Y ) el conjunto de homomorfismos del grupo abeliano
X en el grupo abeliano Y . Sean f, g : X Y homomorfismos de grupos
abelianos y definamos f + g : X Y mediante (f + g)(x) = f (x) + g(x).
Es fcil comprobar que esta definicin hace de Hom(X, Y ) un grupo abeliano,
(Problema 3.21).
f
Sea : Y 0 Y un homomorfismo de grupos abelianos y (X Y 0 ) un

g
elemento de Hom(X, Y 0 ). Asociemos a f un homomorfismo (X Y )
Hom(X, Y ) mediante una funcin
= Hom(X, ) : Hom(X, Y 0 ) Hom(X, Y )
dada por (f ) = f . Entonces es un homomorfismo de grupos abelianos
(Problema 3.22), llamado homomorfismo inducido por .
g
Sea : X 0 X un homomorfismo de grupos abelianos y (X Y )

f
Hom(X, Y ). Asociemos a g un homomorfismo (X 0 Y ) Hom(X 0 , Y )

mediante una funcin
= Hom(, Y ) : Hom(X, Y ) (X 0 , Y )
dada por (g) = g . Entonces es un homomorfismo de grupos abelianos

(Problema 3.23), llamado homomorfismo inducido por .
Sean : Y 0 Y y 0 : Y Y 00 homomorfismos de grupos abelianos
y X un grupo abeliano. Si 1Y : Y Y es la identidad, entonces 1Y :
Hom(X, Y ) Hom(X, Y ) es la identidad de Hom(X, Y ), y ( 0 ) =
0 . (Problema 3.24). Esto lo podemos visualizar en el siguiente diagrama:
f
(X Y 0 )
k
g
(X Y )
k
0
h
(X
Y 00 )
1Y
Hom(X, Y 0 )

Hom(X, Y )
0
1Y
Hom(X, Y 00 )
Sean : X 0 X y 0 : X X 00 homomorfismos de grupos abelianos y Y

un grupo abeliano. Si 1X : X X es la identidad, entonces 1X : Hom(X, Y )
Hom(X, Y ) es la identidad de Hom(X, Y ), y (0 ) = 0 . (Problema
3.25). Esto lo podemos visualizar en el siguiente diagrama:
f
(X 0
1X
Y)
k
Hom(X 0 , Y )

(X 00 Y )
Hom(X 00 , Y )
(X
0
h
Y)
k
Hom(X, Y )
0
1
X
(0 )
24
Captulo I
Problemas.
3.1 Establezca la definicin de grupo conmutativo escrito aditivamente,

as como las propiedades elementales arriba expuestas.
3.2 Pruebe que (x1 )1 = x y que e1 = e.
3.3 Pruebe que si xy = yx en un grupo G entonces (xy)n = xn y n .
3.4 Pruebe la Proposicin 3.15.
3.5 Muestre que hay dos grupos que tienen 4 elementos, escriba sus tablas,
encuentre sus subgrupos y su red de subgrupos. Uno es Z4 y el otro se conoce
como el grupo 4 de Klein denotado con la letra V .
3.6 Compruebe las afirmaciones del Ejemplo 3.16.
3.7 El grupo de simetras de un polgono regular de n lados se llama grupo
diedro de grado n, denotado Dn . Escriba las tablas de multiplicar de D3 y D4 .
Determine el orden de Dn .
3.8 Sea G = G0 = K n donde K es denota un campo. Pruebe que f : G G0
dado por f (u1 , . . . , un ) = (u1 , u2 , . . . , un1 , 0) es un homomorfismo.
3.9 Sea G un grupo. Pruebe que la funcin 1G : G G y la funcin
OG : G G dadas por 1G (x) = x y OG (x) = O para toda x G, son homomorfismos. 1G se llama homomorfismo identidad de G y OG se llama
homomorfismo trivial.
3.10 Compruebe cuales funciones son homomorfismos y cuales no lo son:
(i) f : K n K m , f (x) = Ax donde A es una matriz de m n con elementos
en el campo K.
(ii) f : K 2 K 2 , f (x, y) = (4y, 0)
(iii) f : K 3 K 3 , f (x, y, z) = (z, x, y)
(iv) f : K 2 K 2 , f (x, y) = (x2 , 2y)
(v) f : K 5 K 4 , f (u, v, x, y, z) = (2uy, 3xz, 0, 4u)
(vi) f : K 3 K 3 , f (x, y, z) = (x + 2, y + 2, z + 2)
3.11 Establezca, si es posible, homomorfismos no triviales en los siguientes
casos:
(i) 1 Z2
2
(ii) Z2 Z4
(iii) Z4 Z2
(iv) Z2 1
(v) Z2 Z2 Z2
25
(vi) Z2 Z2 Z2
(vii) Z4 Z2 Z2
3.12 Denotemos con Hom(G, G0 ) el conjunto de homomorfismos del grupo G
en el grupo abeliano G0 . Defina f +g : G G0 mediante (f +g)(x) = f (x)+g(x),
x G. Pruebe que (Hom(G, G0 ), +) es un grupo.
3.13 Pruebe que si f : G G0 es un isomorfismo de grupos como en la
Definicin 3.11, g est determinada en forma nica y que f es isomorfismo si, y
slo si es biyectiva.
3.14 Sea f : G G0 un homomorfismo de grupos biyectivo. Pruebe que la
funcin inversa f 1 : G0 G es tambin un homomorfismo.
3.15 Pruebe, sin utilizar la Proposicin 3.19, la afirmacin del Corolario
3.20.
3.16 Demuestre que un homomorfismo de grupos f : G G0 es inyectivo si,
y slo si, ker f = {e}.
3.17 En un grupo G pruebe que si un elemento x es idempotente (x x = x)
entonces x = e, donde e es el elemento de identidad de G. Utilice esto para probar que bajo un homomorfismo de grupos, el elemento de identidad del dominio
es enviado bajo el homomorfismo al elemento de identidad del codominio.
3.18 Sea f : G G0 un homomorfismo de grupos. Pruebe que si x G
entonces f (x1 ) = f (x)1 .
3.19 Sean X, Y y G grupos abelianos. Diremos que f : X Y G es
una funcin biaditiva, si f (x1 + x2 , y) = f (x1 , y) + f (x2 , y) y f (x, y1 + y2 ) =
f (x, y1 ) + f (x, y2 ) para x, x1 , x2 X, y, y1 , y2 Y. Pruebe que
(i) f (x, y) = f (x, y) = f (x, y) para toda x X, y Y ) y Z.
(ii)f nunca es inyectiva a menos que X = Y = 0.
3.20 Pruebe que el grupo (Z[x], +) es isomorfo al grupo (Q+ , ).
3.21 Considere Hom(X, Y ) el conjunto de homomorfismos del grupo abeliano
X en el grupo abeliano Y . Sean f, g : X Y homomorfismos de grupos
abelianos y definamos f + g : X Y mediante (f + g)(x) = f (x) + g(x).
Pruebe que esta definicin hace de Hom(X, Y ) un grupo abeliano.
f
3.22 Sea : Y 0 Y un homomorfismo de grupos abelianos y (X Y 0 )

g
un elemento de Hom(X, Y 0 ). Asociemos a f un homomorfismo (X Y )
Hom(X, Y ) mediante una funcin
= Hom(X, ) : Hom(X, Y 0 ) Hom(X, Y )
26
Captulo I
dada por (f ) = f . Pruebe que es un homomorfismo de grupos abelianos.

g
3.23 Sea : X 0 X un homomorfismo de grupos abelianos y (X

f
Y ) Hom(X, Y ). Asociemos a g un homomorfismo (X 0 Y ) Hom(X 0 , Y )

mediante una funcin
= Hom(, Y ) : Hom(X, Y ) (X 0 , Y )
dada por (g) = g. Pruebe que es un homomorfismo de grupos abelianos.
3.24 Sean : Y 0 Y y 0 : Y Y 00 homomorfismos de grupos abelianos
y X un grupo abeliano. Pruebe que si 1Y : Y Y es la identidad, entonces
1Y : Hom(X, Y ) Hom(X, Y ) es la identidad de Hom(X, Y ), y ( 0 ) =
0 .
3.25 Sean : X 0 X y 0 : X X 00 homomorfismos de grupos abelianos
y Y un grupo abeliano. Pruebe que si 1X : X X es la identidad, entonces
1X : Hom(X, Y ) Hom(X, Y ) es la identidad de Hom(X, Y ), y (0 ) =
0 .
I.4 Grupos Cclicos
27
I.4 Grupos Cclicos

Consideremos un grupo multiplicativo (G, ) y las potencias de un elemento
fijo x G, es decir, {xn | n Z} donde definimos x0 = e.
4.1 Proposicin. El conjunto {xn | n Z} denotado (x) es un subgrupo
de G.
Demostracin. Como xi xj = xi+j , el producto de dos elementos del
conjunto est en el conjunto y por lo tanto (x) es cerrado. Como x0 = e,
e (x). Finalmente, para xn , consideremos xn . Luego, xn xn = e.
4.2 Definicin. El subgrupo (x) lo llamaremos subgrupo cclico de G
generado por uno de sus elementos x y diremos que x es un generador de (x).
Si (x) = G diremos que G es un grupo cclico generado por x.
Si para el subgrupo (x) no existe un nmero natural n tal que xn = e
decimos que (x) es cclico infinito. Si n es el natural ms pequeo tal que
xn = e, entonces (x) consiste de los elementos xn1 , ...x1 , e = xn y en este caso
decimos que (x) es un grupo cclico de orden n.
4.3 Ejemplo. Z y Zn son grupos cclicos, el primero infinito, y el segundo
finito. Tambin, 3Z = (3) y en general, nZ = (n) son grupos cclicos infinitos
n N. Observe que (8) = 8Z <(4) = 4Z <(2) = 2Z.
4.4 Ejemplo. (1) = (3) = Z4 , (1) = (1) = Z.
4.5 Proposicin. Si G es un grupo cclico, entonces es conmutativo o
abeliano.
Demostracin. Sea (x) = G. Entonces xm xr = xm+r = xr+m = xr xm .
Luego, G es conmutativo o abeliano.
4.6 Definicin. Sea G cualquier grupo y x un elemento de G. Sea r el
nmero natural ms pequeo tal que xr = e, entonces decimos que x es de
orden r. Si no existe un nmero natural r tal que xr = e, decimos que x es de
orden infinito.
Cuando consideremos grupos no abelianos utilizaremos la notacin multiplicativa y cuando los grupos sean abelianos utilizaremos la notacin aditiva,
aunque por costumbre se usar la notacin multiplicativa para los grupos cclicos
(los cuales son abelianos).
28
Captulo I
Tenemos las siguientes propiedades (conocidas como las leyes de los exponentes) en notacin multiplicativa
xn xm = xn+m , (xn )m = xnm , xn = (xn )1
y, en notacin aditiva
nx + mx = (n + m)x, m(nx) = (mn)x, (n)x = (nx).
Si adems, el grupo G es abeliano, se tiene
n(x + y) = nx + ny
Observe que (una vez resueltos los Problemas 4.2 y 4.3) para cada n N
hay un grupo cclico de orden n, (n) = nZ. Observe tambin que si tenemos
dos grupos cclicos de orden n, al tomar sus generadores, podemos hacer una
correspondencia biunvoca con cada potencia del generador de manera que tendramos esencialmente un solo grupo cclico de orden n. En otras palabras, dos
grupos cclicos del mismo orden son isomorfos, como veremos abajo.
4.7 Teorema. Sea (G, ) un grupo cclico infinito. Entonces la funcin
h : Z G
dada por
n 7 xn
para un elemento fijo x de G es un isomorfismo de grupos.
Demostracin. h(n + m) = xn+m = xn xm = h(n)h(m), luego h es un
homomorfismo. Si h(n) = xn = xm = h(m), entonces n = m. Luego h es
inyectiva. Para cada xn G, el entero n va a dar a xn bajo h. Luego h es
suprayectiva.
4.8 Teorema. Todo grupo cclico finito de orden n con generador de orden
n es isomorfo a Zn .
Demostracin. Sea G un grupo cclico de orden n. Sea x un generador de
G tal que xn = e. Definamos
h : Zn G
dada por
[m] 7 h([m]) = xm .
Supongamos que h([j]) = h([k]), entonces xj = xk . Luego, xjk = e. As,
j k = rn y n | j k. Por lo tanto, [j] = [k] en Zn .O bien, supongamos que
ker h = {[j]}. Entonces h([j]) = e. Luego xj = e = x0 . As, [j] = [0] en Zn . Por
I.4 Grupos Cclicos
29
lo tanto h es inyectiva. Es fcil ver que h est bien definida, es homomorfismo

y es suprayectiva, (Problema 4.5).
4.9 Observacin. Considere un grupo cclico generado por un elemento x
de orden n y q un entero tal que n = mq. Las distintas potencias de x, digamos
xq , x2q , x3q , ..., xmq = xn = e,
forman un subgrupo cclico de (x) de orden m.
Tambin, si N es un subgrupo no trivial de (x) podemos tomar el menor
entero positivo m tal que xm N. Como e = xn = xmq , m | n y (x) consta de
m = n/q elementos. Finalmente, si o(G) = n, entonces xj es un generador de
G si, y slo si (n, j) = 1, (Problema 4.7).
4.10 Ejemplo. Considere (Z12 , +). Los generadores de Z12 son los elementos j tales que (12, j) = 1, esto es j = 1, 5, 7 y 11. As, Z12 = (1) = (5) = (7) =
(11). Las posibilidades para q y m en 12 = qm son 1 y 12, 2 y 6, 3 y 4, 4 y 3, 6
y 2, 12 y 1 respectivamente. As, las distintas potencias de un generador x,
x1q , x2q , x3q , ..., xmq = x12 = 0
forman un subgrupo cclico de (x) de orden m. Si tomamos x = 1 por facilidad de clculo, obtendremos las potencias de 1: Para q = 1, m = 12,
{111 , 121 , 131 , ..., 1121 = 112 = 0} las cuales se convierten, en notacin aditiva en {1 1, 2 1, 3 1, ..., 12 1 = 0} que es precisamente (1) = Z12 . De manera
semejante, para q = 2, m = 6, obtenemos {112 , 122 , 132 , ..., 162 = 112 = 0} las
cuales se convierten, en notacin aditiva en {2 1, 4 1, 6 1, ..., 12 1 = 0} =
{2, 4, 6, 8, 10, 0} = (2). Para q = 3, m = 4, obtenemos {113 , 123 , 133 , 143 =
112 = 0} las cuales se convierten, en notacin aditiva en {3 1, 6 1, 9 1, 12 1 =
0} = {3, 6, 9, 0} = (3). Para q = 4, m = 3, obtenemos {114 , 124 , 134 = 112 = 0}
las cuales se convierten, en notacin aditiva en {41, 81, 121 = 0} = {4, 8, 0} =
(4). Para q = 6, m = 2, obtenemos {116 , 126 = 112 = 0} las cuales se convierten, en notacin aditiva en {61, 121 = 0} = {6, 0} = (6). Finalmente, para
q = 12, m = 1, obtenemos {1112 = 0} la cual se convierte, en notacin aditiva
en {12 1 = 0} = {0} = (0) = O. As, tenemos un diagrama de contencin o
red de subgrupos de Z12 :
(2)
|
(4)
Z12 = (1)
|
|
|
|
O
(3)
|
(6)
30
Captulo I
Problemas.
4.1 Sea h : G G0 un homomorfismo de grupos multiplicativos. Pruebe

que h(xn ) = (h(x))n , n Z.
4.2 Pruebe que los mltiplos de Z, nZ con n Z, son subgrupos de Z.
4.3 Pruebe que todo subgrupo de Z es cclico.
4.4 Pruebe que cualquier subgrupo de un grupo cclico es cclico. Sugerencia:
utilice el Problema 4.2 para el caso infinito y la observacin 4.9 para el caso
finito.
4.5 Complete la demostracin del Teorema 4.8.
4.6 Pruebe que solamente existen (salvo isomorfismo) un solo grupo de orden
1, 2 y 3; 2 grupos de orden 4 y 2 grupos de orden 6.
4.7 Sea G un grupo cclico de orden n generado por x. Pruebe que xj es un
generador de G si, y slo si (n, j) = 1.
4.8 Encuentre los subgrupos y la red de subgrupos para (Z18 , +), (Z24 , +)
y (Z31 , +). Qu puede intuir para (Zp , +) con p primo?
31
Captulo II
En esta seccin estudiaremos sucesiones finitas e infinitas de homomorfismos
f
G0 G G00
de grupos. Comenzaremos por estudiar sucesiones en las cuales el ncleo del
homomorfismo saliente contiene a la imagen del homomorfismo entrante.
1.1 Definicin. Diremos que una sucesin de grupos
fi1
fi
fi+1
Gi1 Gi Gi+1
es semiexacta en Gi si im fi1 ker fi . Si es semiexacta en cada grupo, la
llamaremos sucesin semiexacta.
Esta definicin equivale, como a continuacin veremos, a que la composicin
de los dos homomorfismos, el entrante y el saliente, es el homomorfismo
trivial. Denotaremos por abuso con e el elemento de identidad de cualquier
grupo o bien con eGi para especificar la identidad del grupo Gi y con O el
morfismo trivial o "cero".
1.2 Proposicin. Una sucesin de grupos
fi1
fi
fi+1
Gi1 Gi Gi+1
es semiexacta en Gi si, y slo si, la composicin fi fi1 = O.
Demostracin. Supongamos que la sucesin es semiexacta en Gi . Entonces
im fi1 ker fi . Veamos que la composicin [fi fi1 ](x) = O(x) = eGi+1 para
toda x Gi1 . Como fi1 (x) im fi1 ker fi , tenemos quefi (fi1 (x)) =
eGi+1 = O(x). Luego, como x es arbitraria, fi fi1 = O. Ahora, supongamos
que fi fi1 = O. Sea y im fi1 arbitraria. Entonces existe x Gi1 tal
32
Captulo II
que fi1 (x) = y. Entonces fi (y) = fi (fi1 (x)) = O(x) = eGi+1 , por lo que
y fi1 (e) = ker fi . Hemos visto que, si y im fi1 , entonces y ker fi para
cualquier y. Luego, im fi1 ker fi .
1.3 Definicin. Diremos que una sucesin de grupos
fi1
fi+1
fi
Gi1 Gi Gi+1
es exacta en Gi si es semiexacta e im fi1 ker fi . Si es exacta en cada grupo,
la llamaremos sucesin exacta.
Equivalentemente, dicha sucesin es exacta en Gi si, y slo si, im fi1 =
ker fi . Toda sucesin exacta es semiexacta, pero no toda sucesin semiexacta
es exacta. A una sucesin exacta de la forma
f
e G0 G G00 e
la llamaremos sucesin exacta corta.
1.4 Ejemplo. Considere la sucesin
f =2
O Z2 Z4 Z2 O.
Aqu, f est dada por f (0) = 0 y f (1) = 2; g(0) = g(2) = 0 y g(1) = g(3) =
1. Es fcil comprobar que f y g as definidos son homomorfismos de grupos. Es
claro que im h = {0} = ker f , im f = {0, 2} = ker g, e im g = {0, 1} = ker k.
Luego, es una sucesin exacta corta.
1.5 Ejemplo. Considere la sucesin
h
O Z2 Z2 Z2 Z2 O.
Aqu, f est dada por f (0) = (0, 0) y f (1) = (1, 0); g(0, 0) = g(1, 0) = 0 y
g(0, 1) = g(1, 1) = 1. Es fcil comprobar que f y g as definidos son homomorfismos de grupos. Es claro que im h = {0} = ker f , im f = {(0, 0), (1, 0)} = ker
g, e im g = {0, 1} = ker k. Luego, es una sucesin exacta corta.
A menudo suprimiremos de la notacin g f y simplemente escibiremos
gf . Consideremos una sucesin exacta de grupos
f
H 0 H G G00
con f epimorfismo y h monomorfismo. Entonces im f = H y ker h = e. Como
la sucesin es exacta, H = im f = ker g e im g = ker h = e; luego, g es el
homomorfismo trivial. Inversamente, si g es el homomorfismo trivial, entonces
f es epimorfismo y h es monomorfismo. Por lo tanto, tenemos la siguiente
33
1.6 Proposicin. Si
f
H 0 H G G00
es una sucesin exacta de grupos, h es un monomorfismo si, y slo si, g es trivial;
g es trivial si, y slo si, f es epimorfismo.
As, cuando tenemos una sucesin exacta corta de la forma
f
e G0 G G00 e
la escribiremos indistintamente como
f
G0 G G00
donde denota inyectividad y suprayectividad.
1.7 Definicin. Sean G, G0 , H, H 0 grupos, con f , f 0 , g, g 0 homomorfismos
de grupos. Decimos que el diagrama
f0
G H
g0
f
g
G0 H 0
conmuta si f f 0 = g g 0 : G H 0 .
f0
g0
1.8 Proposicin. Sean G0 G G00 y H 0 H H 00 dos sucesiones

exactas cortas, y supongamos que, en el siguiente diagrama conmutativo
G0
h0
H0
f0
g0
G G00
h
h00
H
H 00
dos de los tres homomorfismos h0 , h, h00 son isomorfismos. Entonces el tercero

es tambin isomorfismo.
Demostracin. Supongamos que h0 y h00 son isomorfismos. Veamos que
h es monomorfismo: sea x ker h; entonces gh(x) = g(eH ) = h00 f (x) = eH 00 .
Como h00 es isomorfismo, entonces f (x) = eG00 . Por lo tanto, existe x0 G0
tal que f 0 (x0 ) = x, por ser exacta la sucesin superior. Entonces hf 0 (x0 ) =
h(x) = eH = g 0 h0 (x0 ). Como g 0 h0 es inyectiva, entonces x0 = eG0 . Luego,
f 0 (x0 ) = x = eG .
Ahora veamos que h es epimorfismo: Sea y H. Como h00 es un isomorfismo,
existe x00 G00 tal que g(y) = h00 (x00 ). Como f es suprayectiva, existe z G tal
que f (z) = x00 . Luego,
g(y h(z)) = g(y)gh(z) = g(y)h00 f (z) = g(y)h00 (x00 ) = g(y)g(y) = eH 00 .
34
Captulo II
Por lo tanto, y h(z) ker g. Como la sucesin inferior es exacta, existe y 0 H 0

con g 0 (y 0 ) = y h(z). Como h0 es isomorfismo, existe x0 G0 tal que h0 (x0 ) = y 0 .
Luego
h(f 0 (x0 ) + z) = hf 0 (x0 ) + h(z) = g 0 h0 (x0 ) + h(z) = g 0 (y 0 ) + y g 0 (y 0 ) = y.
Si definimos x = f 0 (x0 ) + z, tendremos que h(x) = y. Los otros dos casos
posibles los dejamos como ejercicio, vase el Problema 1.6.
Observemos que la proposicin anterior establece los isomorfismos slo cuando existe la funcin h : G H compatible con los isomorfismos dados y el
diagrama conmuta. Por ejemplo, si consideramos el siguiente diagrama
e Z2
q
q
e Z2
Z4
Z2 Z2
Z2
q
Z2
e
q
e
hemos visto que Z2 Z2 no es isomorfo a Z4 .

Sea {Cn }nZ una familia de grupos abelianos y {n : Cn Cn1 }nZ
una familia de homomorfismos de grupos abelianos tales que n n+1 = 0.
Llamaremos complejo de cadenas (o cadena) a la pareja C = {Cn , n }, y lo
escribimos
n+1
n
C : Cn+1 Cn
Cn1
Dicho de otra manera, un complejo de cadenas (o cadena), es una sucesin
semiexacta descendente de grupos abelianos con ndices en Z.
Sean C = {Cn , n } y D = {Dn , n0 } dos complejos de cadenas de grupos
abelianos. Un morfismo de cadenas : C D es una familia de homomorfismos de grupos abelianos {n : Cn Dn } tal que los cuadrados, en el
siguiente diagrama conmutan:
C :
D:
n+2
0
n+2
Cn+1
n+1
Dn+1
n+1
0
n+1
Cn
n
Dn
Cn1
n1
Dn1
n1
0
n1
Problemas.
1.1 Defina homomorfismos adecuados para que, para un nmero primo p,

las sucesiones
O Zp Zp2 Zp O
O Z Z Zp O
sean exactas cortas.
35
1.2 Pruebe que, en una sucesin exacta de grupos

f
G0 G G00 H H 0
f es un epimorfismo y k un monomorfismo si, y slo si, G00 = e.
1.3 Pruebe que, si e G e es una sucesin exacta de grupos, entonces
G = e.
1.4 Sea
G0 G G00 H 0 H H 00
una sucesin exacta de grupos. Pruebe que g, k son homomorfismos triviales si,
y slo si, h es isomorfismo, y que h es isomorfismo si, y slo si, f es epimorfismo
y q monomorfismo.
1.5 Pruebe que, si
h
e H 0 G e
es una sucesin exacta de grupos entonces h es un isomorfismo.
1.6 Pruebe los dos casos restantes de la Proposicin 1.8.
1.7 Sea {C n }nZ una familia de grupos abelianos y { n : C n C n+1 }nZ
una familia de homomorfismos de grupos abelianos tales que n+1 n = 0.
Llamaremos complejo de cocadenas (o cocadena) a la pareja C = {C n , n },
y lo escribimos
n1
n+1
C : C n1 C n C n+1
Dicho de otra manera, un complejo de cocadenas (o cocadena), es una sucesin
semiexacta ascendente de grupos abelianos con ndices en Z. Defina el concepto
de morfismo de cocadenas : C D.
36
Captulo II

Consideremos el primer ejemplo de la seccin 1. Ah repartimos los nmeros
enteros en tres cajas donde ningn entero est en dos o ms cajas, solamente
est en una sola caja. Etiquetamos las cajas con tres etiquetas. Al conjunto
de cajas le dimos una estructura de grupo definindole una operacin binaria.
El lector comprob que efectivamente es un grupo conmutativo. A las cajas las
llamaremos clases laterales y al grupo lo llamaremos grupo cociente. En
este caso es el cociente de Z "mdulo" 3Z, el cual denotamos Z3 .
Recordando el concepto de espacio vectorial cociente estudiado en el curso
de lgebra Lineal (ver Ll2) y considerando la parte aditiva se tena que para
el caso en que G es un grupo conmutativo y H un subgrupo de G con x G,
denotbamos con x + H el conjunto {x + y|y H}. Dichos elementos x + H los
llamamos clases laterales de H en G. Como 0 H y x = x + 0 x + H, cada
x G pertenece a una clase lateral. Se comprob que cualesquiera dos clases
laterales son ajenas o son iguales. Se denot con G/H el conjunto de todas las
clases laterales de H en G y se le dio a G/H una estructura de grupo mediante
+ : G/H G/H G/H
dada por
((x + H), (y + H)) 7 ((x + y) + H)
Tambin se comprob que la operacin binaria anterior est bien definida y
que define una estructura de grupo abeliano (la parte aditiva de espacio vectorial) en G/H. Llamamos a G/H, grupo cociente de G mdulo H.
Tambin, se vio que si H es un subgrupo del grupo G y si y x + H,
entonces existe w H tal que y = x + w. As y x = w H. Luego, si
y x H entonces y x = w H. Entonces y = x + w x + H. Tambin
y x H (y x) = x y H x y + H. En resumen,
y x + H y x H x y + H
Finalmente, se consider p : G G/H dada por x 7 x + H. Si x, w G,
entonces
p(x + w) = (x + w) + H = (x + H) + (w + H) = p(x) + p(w).
Por lo tanto, p es un homomorfismo llamado proyeccin cannica.
Todo esto se realiz para espacios vectoriales sobre un campo K. Recurdese
de nuevo que la parte aditiva es un grupo conmutativo.
37
Pero para el caso no conmutativo qu sucede? Imitaremos todo lo anterior

y lo adecuaremos a la situacin no conmutativa. Para comenzar, considere de
nuevo el primer ejemplo de la seccin 1. Ah se tom una relacin de equivalencia
llamada congruencia mdulo 3, donde x y (mod 3) s, y slo si 3 | x + y, o
bien, dicho de otra manera, que x + y 3Z. Lo que haremos es generalizar
esta relacin de equivalencia al caso en que tengamos un grupo no abeliano
utilizando notacin multiplicativa como sigue:
2.1 Definicin. Consideremos un subgrupo H de un grupo (G, ) y elementos x, y G. Diremos que x es congruente por la izquierda con y si
x1 y H (es decir, si y = xh para alguna h H) y la denotamos con x i y
(mod H). Anlogamente, diremos que x es congruente por la derecha con
y si xy 1 H y la denotamos con x d y (mod H).
Observe que para el caso abeliano, los conceptos de congruencia izquierda y
derecha coinciden pues x1 y H s, y slo si, (x1 y)1 = y 1 x = xy 1 H.
2.2 Proposicin. Las relaciones de congruencia izquierda y derecha son
relaciones de equivalencia.
Demostracin. Como x i x (mod H) x1 x = e H, se tiene
la reflexibilidad. Como x i y (mod H) x1 y H (x1 y)1
H y 1 x H y i x (mod H) se tiene la simetra. Finalmente,
si x i y (mod H) y y i z (mod H) entonces x1 y H y y 1 z H. Luego
(x1 y)(y 1 z) H x1 ez = x1 z H As x i z (mod H) y se tiene la
transitividad. Anlogamente para la congruencia derecha.
2.3 Proposicin. Las clases de equivalencia izquierdas y derechas [x] de la
relacin definida arriba son de la forma
xH = {xh | h H}
y
Hx = {hx | h H}
respectivamente.
Demostracin. Las clases de equivalencia de cualquier elemento x de G
son de la forma (utilizando la simetra):
[x] =
=
=
=
=
{y G | y i x (mod H)}
{y G | x i y (mod H)}
{y G | x1 y = h H}
{y G | y = xh; xh xH}
{xh | h H} = xH.
Anlogamente para las clases de equivalencia bajo la relacin de congruencia

mdulo H derechas.
38
Captulo II
Observe que un grupo G es unin de sus clases laterales izquierdas o derechas

de H en G. Tambin, observe que dos clases laterales o son ajenas o son iguales.
Las clases de equivalencia xH y Hx las llamaremos clases laterales izquierdas
y derechas respectivamente.
Consideremos el conjunto de todas las clases laterales izquierdas y denotmoslo con G/H. Deseamos darle a este conjunto una estructura de grupo y
hacer de la proyeccin natural o cannica p : G G/H un homomorfismo. Esto no siempre es posible pero veamos a continuacin cuando s lo
es.
2.4 Definicin. Diremos que el subgrupo H de G es normal en G (denotado H CG) si para toda x G, xHx1 H donde xHx1 = {xhx1 | h H}.
En esta definicin, puesto que xHx1 H vale para todo elemento x G,
en particular vale para x1 G. Luego, x1 Hx H. As, para toda h H,
h = x(x1 hx)x1 xHx1 . Luego H xHx1 y xHx1 = H. De aqu
es fcil ver que toda clase lateral izquierda es derecha y que xH = Hx para
toda x G (Problema 2.4). Tambin observe que todo subgrupo de un grupo
abeliano es normal y que los subgrupos triviales son normales en G (Problema
2.5).
2.5 Proposicin. Un subgrupo H de G es normal si, y slo si, (xH)(yH) =
(xy)H para todo x, y G.
Demostracin. Supongamos que H es normal y tomemos dos elementos
cualesquiera x, y G. Es fcil ver que (xH)(yH) = (xy)H Problema 2.9.
Ahora, supongamos que (xH)(yH) = (xy)H para todo x, y G. Sean h H y
x G arbitrarios. Entonces
xhx1 = (xh)(x1 e) (xH)(x1 H) = eH = H,
por lo tanto, H es normal.
2.6 Teorema. Sea H un subgrupo normal de G. Entonces G/H es un
grupo con operacin binaria
: G/H G/H G/H
dada por
((xH), (yH)) 7 ((xH), (yH)) = (xH) (yH) = (xH)(yH) = (xy)H.
Adems, la proyeccin cannica p : G G/H es un epimorfismo cuyo
ncleo es H, i.e. ker p = H.
Demostracin. Es inmediato comprobar que G/H cumple las axiomas de
grupo con eH = H como elemento de identidad y x1 H como inverso de xH.
39
Como p(xy) = (xy)H = (xH)(yH) = p(x)p(y) y p es suprayectiva, entonces es

un epimorfismo. Finalmente,
ker(p) = {x G | p(x) = eH = H} =
= {x G | xH = H} = {x G | x H}
= H.
2.7 Corolario. Si H C G entonces H es el ncleo de un homomorfismo g
de G en G0 para un grupo G0 , i.e. H = ker(g : G G0 ) para un grupo G0 .
Demostracin. Como H es normal, entonces es el ncleo de un epimorfismo
como en el teorema anterior.
2.8 Proposicin. Si H = ker(g : G G0 ) para un grupo G0 entonces
H C G.
Demostracin. Sean h H y x G arbitrarios. Entonces
g(xhx1 ) = g(x)g(h)g(x1 ) = g(x)eg(x1 ) = g(x)(g(x))1 = e
Luego, xhx1 ker(g : G G0 ) = H.
Por el corolario y proposicin anteriores, la condicin de normalidad es necesaria y suficiente para tener el concepto de grupo cociente.
2.9 Teorema. (Lagrange) Si G es un grupo de orden n y H < G, entonces
o(H) | o(G).
Demostracin. Como G es unin de sus clases laterales izquierdas, el
nmero de elementos n de G, es igual al producto del nmero de clases laterales
izquierdas r por el nmero de elementos de cada clase m = o(H) ya que las
clases laterales de H tienen el mismo nmero de elementos m (Problema 2.2) y
o son ajenas o son iguales. As, n = rm, es decir, o(H) | o(G).
Al nmero de clases laterales izquierdas (o derechas) de un subgrupo H < G
lo denotaremos (G : H) y lo llamaremos ndice de H en G, es decir, (G : H) =
o(G/H). Por el Problema 2.4, el ndice de H en G no depende de si se consideran
clases laterales izquierdas o derechas. Puede ser finito o infinito. Claramente,
como cada clase lateral tiene o(H) elementos, (G : H) = o(G)/o(H).
2.10 Corolario. Si el orden de un grupo G es primo, entonces G es cclico.
Demostracin. Sea p = o(G) y (x) el subgrupo cclico generado por el
elemento x 6= e G. Por el teorema de Lagrange 2 o((x)) | p. Luego,
o((x)) = p y por lo tanto (x) = G y G es cclico.
Del corolario anterior se desprende que existe uno, y solamente un grupo
(salvo isomorfismo) de orden primo. Observe que un grupo de orden primo no
puede tener subgrupos propios no triviales. Los subgrupos triviales G y e son
40
Captulo II
normales en G. As, G/G es el grupo trivial e y G/e es isomorfo a G. Diremos

que un grupo G es simple si sus nicos subgrupos normales son los triviales.
Se sabe que el grupo alternante An es simple para n 5 como veremos en el
siguiente captulo.
Finalmente tenemos el siguiente
2.11 Teorema. Sea (x) un grupo cclico generado por x y h : (x) H
un homomorfismo de grupos. Entonces im h = h((x)) es un subgrupo cclico de
H.
Demostracin. Supongamos que (x) es de orden n. Si h es un homomorfismo y x genera (x), como h(xr ) = [h(x)]r (Problema 2.13), h(x) genera im h
pues e = h(e) = h(xn ) = [h(x)]n = e.
Sea C = {Cn , n } un complejo de cadenas o cadena. El grupo de homologa de grado n de C, Hn (C) se define como el cociente Hn (C) = ker
n /im n+1 . Es decir, dada una cadena
n+1
n
C : Cn+1 Cn
Cn1
consideramos el ncleo de n , ker n Cn , y la imagen de im n+1 Cn , y

formamos el cociente ker n /im n+1 . Ntese que C es una sucesin semiexacta,
es decir, im n+1 ker n , y que el cociente Hn (C) = ker n /im n+1 nos mide
la inexactitud de C. Efectivamente, si C es exacta, entonces im n+1 = ker n
y Hn (C) = 0.
Los elementos de Cn se conocen como cadenas de grado n, y los homomorfismos n se llaman diferenciales u operadores frontera. Los elementos
del ncleo de n se denominan ciclos de grado n, denotados con Zn (C) y los
elementos de la imagen de n+1 se llaman fronteras de grado n, denotados
con Bn (C). As, Hn (C) = Zn (C)/Bn (C).
Diremos que dos elementos de Hn (C) son homlogos si pertenecen a la
misma clase lateral. El elemento de Hn (C), determinado por el ciclo c de
grado n, se llama clase de homologa de c y se denota con [c]. Entonces,
para cada n Z, definimos un grupo de homologa Hn (C). Denominamos a
H (C) = {Hn (C)} homologa de la cadena C.
Problemas.
2.1 Pruebe que la relacin de congruencia derecha es una relacin de equivalencia.

2.2 Demuestre que todas las clases laterales de un subgrupo H de un grupo
G tienen el mismo nmero de elementos, es decir o(xH) = o(H) = o(Hx) para
toda x G.
41
2.3 Encuentre todas las clases laterales para el subgrupo H = {0, 3} de 3

de los movimientos rgidos de un tringulo equiltero.
2.4 Pruebe que si xHx1 = H, toda clase lateral izquierda es derecha y que
xH = Hx para toda x G. Concluya que esto ltimo implica que, para toda
x G, xHx1 H.
2.5 Pruebe que todo subgrupo de un grupo abeliano es normal.
2.6 Pruebe que bajo un homomorfismo de grupos, la imagen homomrfica
de un subgrupo normal es normal en la imagen.
2.7 Pruebe que bajo un homomorfismo, la imagen inversa de un subgrupo
normal es un subgrupo normal en el dominio.
2.8 Establezca el que un grupo G es unin de sus clases laterales izquierdas
o derechas de H en G y que dos clases laterales o son ajenas o son iguales.
2.9 Compruebe que (xH)(yH) = (xyH) en la demostracin de 2.5.
2.10 Pruebe que el orden de un elemento x de un grupo finito G divide al
orden del grupo.
2.11 Pruebe que si N, H, G son grupos tales que N < H < G, entonces
(G : N ) = (G : H)(H : N ) y que si dos de stos ndices son finitos, entonces el
tercero tambin lo es.
2.12 Pruebe que un grupo cociente de un grupo cclico es cclico.
2.13 Pruebe que h(xr ) = [h(x)]r , en la demostracin del ltimo teorema de
esta seccin.
2.14 En un grupo G, un elemento de la forma xyx1 y 1 se llama conmutador. Pruebe que el conjunto de conmutadores genera un subgrupo normal de
G, denotado con G0 y que el cociente G/G0 es abeliano.
2.15 Sea C = {C n , n } un complejo de cocadenas. Defina el grupo de
cohomologa de grado n de C, H n (C).
42
Captulo II

3.1 Definicin. Un automorfismo de un grupo G es un isomorfismo de
G en G.
Para cada elemento x G, la funcin
x : G G dado por
y 7 xyx1
es un automorfismo de G, ver Problema 3.1, llamado automorfismo interior.
En stos trminos podemos decir que H es un subgrupo normal (o invariante)
si, y slo si, H es invariante bajo cada automorfismo interior de G.
3.2 Proposicin. Sean H C G y H 0 C G0 . Considrense las proyecciones
cannicas a los cocientes correspondientes p : G G/H y p0 : G0 G0 /H 0 .
Si g : G G0 es un homomorfismo de grupos tal que g(H) H 0 , entonces
g : G/H G0 /H 0 dado por xH 7 g (xH) = g(x)H 0 est bien definido y es
un homomorfismo de grupos llamado homomorfismo inducido por g en los
grupos cociente. Tambin, el siguiente cuadrado es conmutativo
g
G
p
G0
0
p
G/H
G0 /H 0
e im g = p0 (im g) y ker g = p(g 1 (H 0 )).

Demostracin. Si x G y y H son arbitrarios, puesto que g(xy) =
g(x)g(y) g(x)g(H) g(x)H 0 , la imagen de xH bajo g est contenida en una
nica clase lateral de H 0 , digamos g(xH) g(x)H 0 . Luego, definamos
g : G/H
xH
G0 /H 0 mediante
7 g (xH) = g(x)H 0
Es inmediato comprobar que g est bien definido y para probar que es un

homomorfismo, considere cualesquiera clases laterales xH y x0 H. Entonces,
g ((xH)(x0 H)) =
=
=
=
=
g ((xx0 )H))
g(xx0 )H 0
(g(x)g(x0 ))H 0
(g(x)H 0 )(g(x0 )H 0 )
g (xH)g (x0 H).
43
Veamos que el cuadrado conmuta: consideremos cualquier elemento x de G.

Entonces (p0 g)(x) = p0 (g(x)) = g(x)H 0 = g (xH) = g (p(x)) = (g p)(x).
Luego (p0 g) = (g p). Tambin, como p y p0 son epimorfismos, claramente
im g = p0 (im g) y ker g = p(g 1 (H 0 )).
3.3 Teorema. Bajo las mismas hiptesis de la proposicin anterior, en
particular, si g es un epimorfismo con H 0 = e y H = ker g entonces G0 /H 0
= G0
y g es un isomorfismo en el siguiente diagrama conmutativo:
G
p
G/ ker g
G0
= IG0
G0
Demostracin. Si g es un epimorfismo con H 0 = e y H = ker g entonces

G = G0 /H 0 y g es un isomorfismo pues como ker g = p(g 1 (e)) = p(ker g) =
p(H) = eH = eG/H = e, entonces g es monomorfismo y como im g = p0 (im
g) = G0 entonces g es epimorfismo y por lo tanto es isomorfismo.
0
As, se tiene el siguiente diagrama conmutativo:

g
G
p
G/ ker g
G0
= IG0
G0
3.4 Teorema. Sean H C G y, como caso particular del teorema anterior,

e = H 0 C G0 con H ker g. Entonces existe un homomorfismo nico g :
G/H G0 dado por xH 7 g (xH) = g(x)H 0 = g(x). Adems, ker g =
ker g/H e im g = im g . g es un isomorfismo si, y slo si, g es un epimorfismo
y H = ker g.
Demostracin. Por el teorema anterior, g es un homomorfismo. Es nico
puesto que est determinado por g. Tambin, xH ker g s, y slo si g(x) = e,
lo cual sucede si, y slo si x ker g. As, ker g = {xH | x ker g} = ker g/H.
Claramente im g = im g . Finalmente, g es un epimorfismo si, y slo si g es un
epimorfismo y g es monomorfismo si, y slo si ker g = ker g/H es el subgrupo
trivial de G/H lo cual sucede cuando ker g = H.
44
Captulo II
3.5 Corolario. (Primer Teorema de Isomorfismo). Bajo las mismas

hiptesis del teorema anterior G/ ker g
= im g.
Demostracin. Como g es epimorfismo, im g = G0 , luego G/ ker g
= im
g.
En otras palabras, si g : G G0 es un epimorfismo de grupos con ncleo ker
g, entonces existe un isomorfismo nico g : G/ ker g
= G0 , tal que g = g p, es
decir, cualquier homomorfismo de G con ncleo ker g tiene imagen isomrfica
a G/ ker g. Adems, nos dice que cualquier epimorfismo g : G G0 tiene
por codominio un grupo cociente, es decir el codominio de g es el cociente del
dominio de g entre el ncleo de g. An ms, nos dice cul isomorfismo: aquel
tal que im g = im g . Este resultado, G/ ker g
= im g se conoce como el
Primer Teorema de Isomorfismo. Dado un grupo y un subgrupo normal
se puede determinar cul es el grupo cociente sin necesidad de establecer las
clases laterales como veremos ms adelante.
3.6 Ejemplo. Sea H un subgrupo normal de un grupo G. Consideremos el
grupo cociente G/H. Sea i : H G el monomorfismo de inclusin y p : G
G/H el epimorfismo de proyeccin. Entonces im i = H = ker p y, por lo tanto,
p
e H G G/H e
es una sucesin exacta corta. Consideremos ahora una sucesin exacta corta
h
e G0 G G00 e.
Entonces im f = ker g, f es monomorfismo (pues e = im h = ker f ) y, adems,
g es epimorfismo (pues im g = ker k = G00 ). Sea H = im f = ker g el cual es
=
un subgrupo normal de G, entonces f establece un isomorfismo H G0 y g
=
establece otro isomorfismo G/H G00 por el primer teorema de isomorfismo.
Por lo tanto, una sucesin exacta corta es una sucesin con un subgrupo y el
grupo cociente de un grupo.
3.7 Ejemplo. g : G G0 donde G = Z y G0 = Zn es un epimorfismo con
ncleo el subgrupo nZ, es decir,
g
e nZ ZZn e
es un sucesin exacta corta. Luego, por el teorema anterior Z/nZ
= Zn .
3.8 Ejemplo. Sea G es el grupo multiplicativo de los nmeros reales distintos de cero R y G0 es el grupo multiplicativo de los reales positivos P .
Considere el epimorfismo g : G G0 dado por x 7 g(x) =| x | donde | x |
denota el valor absoluto de x. El ncleo de g es {1}. Entonces la sucesin
g
e {1} R P e
45
es exacta. Por el teorema anterior, el grupo cociente R /{1} es isomorfo a P .

3.9 Ejemplo. Sea G es el grupo aditivo de los nmeros reales R y G0 es
el grupo multiplicativo de los nmeros complejos S1 con valor absoluto igual a
1. Sea g : G G0 el epimorfismo dado por 7 g() = e2i . Su ncleo es Z.
Entonces la sucesin
g
e Z R S1 e
es exacta y por el teorema anterior, R/Z

= S1 .
Generalizaremos el concepto de clase lateral:

3.10 Definicin. Sean H y N cualesquiera subgrupos de un grupo G. El
producto de H y N es HN = {xy | x H, y N }.
As, una clase lateral izquierda es xH = {x}H, para x G. Podemos generalizar este concepto y definir, para una familia de subgrupos {Hi | i I} con I
un conjunto de ndices linealmente ordenado
Hi = {x1 x2 x3 xj | xk Hik , i1 < i2 < < ij , j 0}
iI
Observe que HN no es necesariamente un subgrupo de G pues al multiplicar

dos de sus elementos no necesariamente es un elemento de la misma forma. Si
G es abeliano entonces s se tiene un subgrupo de G.
3.11 Teorema. (Segundo Teorema de Isomorfismo). Sea H < G,
N C G. Entonces (HN )/N
= H/(H N ).
Demostracin. Como N C G, es fcil ver que (H N ) C H. Definamos
h : HN H/(H N ) mediante xy 7 h(xy) = x(H N ).
Veamos que h est bien definido: supongamos que x1 y1 = xy, luego
x1 x1 = yy11 . As, x1 x1 H y x1 x1 N , luego x1 x1 H N . Entonces,
en H/(H N ), x(H N ) = x1 (H N ) y h(xy) = h(x1 y1 ).
Veamos que h es un homomorfismo. Como N C G, x1 y2 = y2 x3 . Luego,
h((x1 y1 )(x2 y2 )) = h((x1 x2 )(y3 y2 )) = x1 x2 (H N ) = x1 (H N )x2 (H N ) =
h((x1 y1 )h(x2 y2 )).
Como ker h = {xy HN | x H N } = (H N ) = N y como h(xe) =
x(H N ) para toda x H, utilizando el Primer Teorema de Isomorfismo,
HN/N
= H/(H N ).
3.12 Ejemplo. Considere
G = Z Z Z Z,
H = Z Z Z {0} y
N = {0} Z Z Z
46
Captulo II
Luego
HN
H N
= ZZZZ y
= {0} Z Z{0}
Por lo tanto,
HN/N
=Z
= H/(H N ).
3.13 Teorema. (Tercer Teorema de Isomorfismo). Sean H C G y
N C G con N < H. Entonces, G/H
= (G/N )/(H/N ).
Demostracin. Definamos
h : G (G/N )/(H/N ) mediante
x 7 (xN )(H/N )
Como
h(xy) = ((xy)N )(H/N ) = ((xN )(yN ))(H/N )
= [(xN )(H/N )][(yN )(H/N )] = h(x)h(y),
h es un homomorfismo. Su ncleo es ker h = {k G | h(k) = H/N }. stos son
precisamente los elementos de H. Utilizando el Primer Teorema de Isomorfismo,
G/H
= (G/N )/(H/N ).
ker h
q
H
G/N
G/H
&h
=
(G/N )/(H/N )
3.14 Ejemplo. Consideremos N = 6Z < H = 2Z < G = Z. Entonces

G/H = Z/2Z
= Z2 . G/N = Z/6Z. Tambin, (Z/6Z)/(2Z/6Z) tiene 2 elementos y es isomorfo a Z2 .
Problemas.
3.1 Pruebe que para cada elemento x G, el homomorfismo

x : G G dado por
y 7 xyx1
es un automorfismo de G, llamado automorfismo interior.
3.2 Considere el conjunto de todos los automorfismos interiores de un grupo
G, denotado In(G). Pruebe que es un grupo bajo la composicin.
47
3.3 Considere el conjunto Aut(G) de todos los automorfismos de un grupo

G. Pruebe que Aut(G) es un grupo bajo la composicin y que In(G) C Aut(G).
Se dice que dos automorfismos f, g pertenecen a la misma "clase de automorfismos" si f = h g para algn automorfismo h. Pruebe que las clases
de automorfismo forman un grupo Aut(G)/In(G) llamado "automorfismos
exteriores de G".
3.4 En la demostracin del Teorema 3.2 proporcione los detalles de que g
est bien definido. Tambin pruebe que im g = p0 (im g) y ker g = p(g 1 (H 0 )).
3.5 Proporcione los detalles completos de la demostracin del Teorema 3.4.
3.6 Llamaremos coimgen y concleo de un homomorfismo de grupos
abelianos g : G G00 a los grupos cocientes de G y G00
coim g
co ker g
= G/ ker g
= G00 /im g.
Sea g : G G00 un homomorfismo de grupos abelianos. Pruebe que la sucesin

e ker g G G00 co ker g e
es exacta. Observe que, en este contexto, el Primer Teorema de Isomorfismo
dice que coim g
= im g.
3.7 Pruebe que un homomorfismo de grupos g : G G00 es inyectivo (escrbase como repaso) si, y slo si, ker g = e y que es suprayectivo si, y slo si,
co ker g = e.
3.8 Compruebe que las sucesiones mostradas en los ejemplos, son efectivamente, sucesiones exactas cortas.
48
Captulo II
II.4 Productos
Recordemos que si H y N son cualesquiera subgrupos de un grupo G, el
producto de H y N es HN = {xy | x H, y N } y para una familia de
subgrupos {Hi | i I} con I un conjunto de ndices linealmente ordenado
Hi = {x1 x2 x3... xj | xk Hik , i1 < i2 < < ij , j 0}
iI
Recuerde que HN no es necesariamente un subgrupo de G pues al multiplicar

dos de sus elementos no necesariamente es un elemento de la misma forma. Si
G es abeliano entonces s se tiene un subgrupo de G.
Consideremos una familia de grupos {Gi }. El producto directo externo
de esa familia es
Gi = {(x1 , ..., xn ) | xi Gi }
iI
el cual tiene una estructura de grupo dada por

(x1 , ..., xn )(y1 , ..., yn ) = (x1 y1 , ..., xn yn ).
Si utilizamos la notacin aditiva, escribiremos Gi y la llamaremos suma
iI
directa completa.
Recordemos que el producto cartesiano Xi de una familia de conjuntos

iI
{Xi }iI es el conjunto de funciones h : I Xi tales que h(i) = hi Xi

iI
para toda i I.
Sean G1 y G2 dos grupos. Su producto G1 G2 consiste del conjunto de

todas las parejas (x, y) con x G1 , y G2 y con operacin binaria
: (G1 G2 ) (G1 G2 ) (G1 G2 )
((x1 , y1 ), (x2 , y2 )) 7 ((x1 , y1 ), (x2 , y2 )) = (x1 , y1 ) (x2 , y2 ) = (x1 x2 , y1 y2 )
Dicha operacin binaria lo dota de una estructura de grupo. Las proyecciones
(x, y) 7 x y (x, y) 7 y son homomorfismos de grupos
G1
G1 G2
&
G2
Observe que toda funcin h : {1, 2} G1 G2 tal que h(1) G1 y h(2) G2

determina un elemento (x1 , x2 ) = (h(1), h(2)) G1 G2 y que inversamente,
II.4 Productos
49
una pareja (x1 , x2 ) G1 G2 determina una funcin h : {1, 2} G1 G2

dado por h(1) = x1 y h(2) = x2 . As, existe una correspondencia biunvoca
entre el conjunto de todas las funciones as definidas y el grupo G1 G2 .
4.1 Teorema. Sea G un grupo. Consideremos una familia de grupos
{Gi }iI y una familia de homomorfismos {i : G Gi }iI . Entonces exis-te
un homomorfismo nico : G Gi tal que pi = i para toda i I.
iI
Demostracin. Consideremos el producto P = Gi con proyecciones

iI
pi : Gi Gi . Dado (G, i : G Gi ), definamos : G Gi

iI
iI
mediante
7 hg :
I Gi
i 7 hg (i) = i (g) Gi
Es fcil ver que es un homomorfismo de grupos. Tambin, es claro que pi =

i para toda i I.
G
i
Gi
iI
Gi
. pi
Supongamos que 0 : G Gi es otro homomorfismo tal que pi 0 = i

iI
para toda i I. Pero
(0 (g))(i) = pi 0 (g) = i (g) = hg (i) = ((g))(i).

Luego = 0 .
Supongamos que existe otro grupo P 0 con p0i : P 0 Gi tal que p0i = i
para toda i I. Consideremos los siguientes diagramas que representan la
propiedad aplicada a lo que corresponde:
P0
P = Gi
p0i
iI
Gi
pi .
P = Gi
iI
pi
Gi
P0
p0i .
50
Captulo II
P = Gi
iI
pi
P = Gi
iI
pi .
Gi
Como IP : P P hace lo mismo que , por la unicidad, IP = . De

manera similar, = IP 0 . As, es biyectiva (es fcil comprobar que todas
las funciones son efectivamente homomorfismos de grupos) y por lo tanto es un
isomorfismo.
Esta propiedad universal del producto directo determina al producto
Gi de manera nica salvo isomorfismo.
iI
Consideremos una familia de grupos {Gi }. El producto directo externo

dbil de esa familia es
d Gi = {f Gi | f (i) = ei Gi para casi toda i I}
iI
iI
En el caso en que se tengan solamente

P grupos abelianos lo llamaremos suma
directa externa y lo denotaremos
Gi . Si I es finito, los productos directos
iI
externo y dbil coinciden.
4.2 Teorema. Sea G un grupo abeliano. Consideremos una familia de

grupos abelianos aditivos {Gi } y una familia de homomorfismos
{ i : Gi
P
G}iI . Entonces existe un homomorfismo nico : Gi G tal que i =
iI
i para toda i I.
Demostracin.
Consideremos elementos distintos de cero gi1 , ..., gis =
P
{gij }
Gi y defnase
iI
Gi
iI
0
{gi }
7
7
mediante
0
({gi }) = i1 (gi1 ) + ... + is (gis ) = sj=1 ij (gij )
esta ltima suma sobre los ndices para los cuales gi 6= 0 el cual consta de un
nmero finito. Es inmediato comprobar que es un homomorfismo tal que
i = i para toda i I pues G es conmutativo.
i
P
Gi
iI
Gi
% i
II.4 Productos
Observe que {gi }
51
P
Gi , {gi } = j (gj ), esta ltima suma sobre los ndices

P
para los cuales gi =
6 0 el cual consta de un nmero finito. Si :
Gi G es
iI
iI
tal que i = i para toda i I entonces
({gi }) = (j (gj )) = i (gi ) = i (gi ) = (i (gi )) = ({gi }).

Luego = y por lo tanto es nica.
P
Este teorema determina a
Gi de manera nica salvo isomorfismo.
iI
A continuacin veamos en un caso de dos factores, cundo un grupo G es

isomorfo al producto directo externo dbil de sus subgrupos.
4.3 Proposicin. Sean H y N cualesquiera subgrupos normales de un

grupo G. Si HN = G y H N = e entonces H N
= G.
Demostracin. Como HN = G, si g G, xy = g con x H, y N.
Veamos que x y y estn determinados en forma nica por g: pues si g = x1 y1
entonces xy = x1 y1 . Luego x1 x1 = yy11 . Como este elemento est en la
interseccin de H y N , x1 x1 = yy11 = e. Luego x = x1 y y = y1 .
Ahora establezcamos un isomorfismo entre H N y G. Definamos h :
H N G dado por (x, y) 7 h(x, y) = xy. h es un homomorfismo
pues si consideramos el conmutador x1 y 1 xy entonces (x1 y 1 x)y N pues
N es normal en G y x1 (y 1 xy) H pues H es normal en G. As, como
x1 y 1 xy est en la interseccin de H y N , x1 y 1 xy = e, luego xy = yx. As,
h((x1 , y1 )(x2 , y2 )) = h(x1 x2 , y1 y2 ) = x1 x2 y1 y2 = x1 y1 x2 y2 = h(x1 , y1 )h(x2 , y2 ).
Finalmente, es fcil ver que h es biyectiva (Problema 4.12).
4.4 Definicin. Diremos que un grupo G es un produco directo (interno) de H y N si H y N son subgrupos normales de G tal que HN = G y
H N = e.
Observe que en esta definicin H y N son subgrupos de G. Si G = H N
como producto directo externo, podemos considerar a G como producto directo
interno pero de los subgrupos que son imgenes de H y N , a saber de H {1}
y {1} N, mas no de H y N . Entonces es claro que los dos tipos de productos
proporcionan en realidad grupos isomorfos y usaremos el nombre de producto
directo a secas.
{Yi }iI familias
4.5 Proposicin. Sean {Xi }iI y P
Q de grupos abelianos, X
y Y grupos abelianos. Entonces Hom( Xi , Y )
= iI Hom(Xi , Y ).
iI
Demostracin. Definamos mediante () = (i )iI . Es claro que es

un homomorfismo. Veamos que es monomorfismo: supongamos que () = 0;
entonces (i ) = 0 para cada i I. Es decir, en el siguiente diagrama
Xi
0%
i
P
Xi
iI
52
Captulo II
el homomorfismo 0 : Xi Y es tal que 0 = i . Luego, Q

= 0. Por lo tanto,
ker = {0}. Veamos que es un epimorfismo: sea (i )iI iI Hom(Xi , Y ).
Entonces tenemos i : Xi Y para cada i PI. Por la propiedad universal de
la suma directa, existe un homomorfismo :
Xi Y tal que i = i para
iI
cada i I. Luego, () = (i )iI .

Problemas.
4.1 Pruebe que si H C G y N C G, entonces HN C G.

4.2 Sean G1 , G2 y G3 dos grupos. (i) Pruebe que su producto G1 G2 con
la operacin binaria definida arriba es efectivamente un grupo.(ii) Pruebe que
G1 G2
= (G1 G2 ) G3 .
= G2 G1 .(iii) Pruebe que G1 (G2 G3 )
4.3 Establezca una definicin del producto directo externo en trminos de
la observacin anterior al Teorema 4.1.
4.4 Pruebe que j : Gj d Gi dado por j (g) = {gi }iI donde
iI
gi =
e para i 6= j
gj = g
es un monomorfismo de grupos llamado inyeccin cannica, que i (Gi ) C

Gi y que d Gi C Gi .
iI
iI
iI
4.5 Pruebe que el grupo Z2 Z2 es isomorfo al grupo 4 de Klein V . (Sugerencia: Pruebe que Z2 Z2 no es cclico).
4.6 Pruebe que Z2 Z3
= Z6 .(Sugerencia: pruebe que Z2 Z3 es cclico
encontrando un generador y como slo hay un grupo cclico de cada orden, el
resultado se sigue).
4.7 Pruebe que Z3 Z3 Z9 .(Sugerencia: compruebe que Z3 Z3 no es
cclico).
4.8 Pruebe que el producto directo externo de una familia de grupos {Gi },
Gi = {(x1 , ..., xn ) | xi Gi } tiene una estructura de grupo dada por
iI
(x1 , ..., xn )(y1 , ..., yn ) = (x1 y1 , ..., xn yn ) y que es abeliano si cada grupo de la
familia lo es.
4.9 Pruebe que Zi Zj
= Zij s, y slo si el mximo comn divisor (i, j) = 1.
4.10 Pruebe que para cada j I la proyeccin cannica
pj : Gi Gj
iI
II.4 Productos
53
dada por f 7 f (j) es un epimorfismo de grupos.

4.11 Proporcione todos los detalles de la demostracin del Teorema 4.1.
4.12 Proporcione todos los detalles de la demostracin de la Proposicin
4.3.
4.13 Pruebe que si G = H N , entonces G/(H {1})
= N.
4.14 Generalice el problema anterior.
4.15 Sean H1 C G1 y H2 C G2 subgrupos normales. Pruebe que H1 H2 C
G1 G2 y que G1 G2 /H1 H2
= G1 /H1 G2 /H2 .
4.16 Proporcione una generalizacin de la proposicin 4.3.
4.17 Sean {Xi }iI y {Yi }iIQfamilias de
Q grupos abelianos, X y Y grupos
abelianos. Pruebe que Hom(X, iI Yi )
= iI Hom(X, Yi ).
54
Captulo II
.
55
Captulo III
Diremos que un grupo G est finitamente generado si posee un conjunto
finito de generadores. El resultado fundamental acerca de los grupos abelianos
finitamente generados se puede formular de dos maneras que proporcionan invariantes, en el sentido siguiente: dos grupos son isomorfos si, y slo si, poseen
los mismos invariantes numricos.
1.1 Teorema. Todo grupo abeliano finitamente generado G es isomorfo al
producto directo de n grupos cclicos de orden pi i con r grupos cclicos infinitos,
donde los pi son nmeros primos no necesariamente distintos y las i son enteros
positivos. An ms, el producto directo es nico salvo el orden de los factores.
Esto quiere decir que G es de la forma
G
= Zp1 ... Zpnn Z ... Z
1
La segunda manera de establecer el resultado fundamental es:

1.2 Teorema. Todo grupo abeliano finitamente generado G es isomorfo al
producto directo de n grupos cclicos de orden mi con r grupos cclicos infinitos,
donde mi | mi+1 para 1 i n 1.
Esto quiere decir que G es de la forma
G
= Zm1 ... Zmn Z ... Z
Los enteros mi se llaman coeficientes de torsin de G. stos dos teoremas
nos proporcionan una clasificacin salvo isomorfismo de los grupos abelianos
finitamente generados, es decir, si se tiene un grupo abeliano finitamente generado, ste debe ser uno de los de la forma descrita en los teoremas anteriores.
Como casos especiales se tienen los descritos en el siguiente
56
Captulo III
1.3 Teorema. (i) Si G es un grupo abeliano finitamente generado que no

posea elementos de orden finito entonces es isomorfo al producto directo de un
nmero finito de copias de Z y (ii) Si G es un grupo abeliano finito entonces
es isomorfo a un producto directo de grupos cclicos finitos de orden mi donde
mi | mi+1 para 1 i n 1.
Esto es, en el caso (i) G
= Z...Z con r copias de Z y decimos que G es un
grupo abeliano libre de rango r. En el caso (ii) G
= Zm1 ... Zmn donde
mi | mi+1 para 1 i n 1 los elementos de la lista m1 , ..., mn se llaman
factores invariantes del grupo G. Dos grupos abelianos finitos son isomorfos
si, y slo si, poseen los mismos factores invariantes. Se puede dar una lista de
todos los grupos abelianos no isomorfos de cierto orden n. Bastara encontrar
todas las listas posibles de m1 , ..., mn tales que mi | mi+1 para 1 i n 1
con producto n. En resumen tenemos:
1.4 Teorema. Sea G
= Zm1 ... Zmn Z ... Z, con r copias de Z,
donde mi | mi+1 para 1 i n 1 y G0
= Zk1 ... Zkj Z ... Z, con
s copias de Z, donde ki | ki+1 para 1 i j 1. Si G
= G0 entonces mi = ki
para 1 i n, n = j y r = s.
Aunque ya en un curso de lgebra Lineal (como el de [Ll2]) se estudia el
Teorema de Descomposicin Primaria, debido al enfoque de esta presentacin de
la Teora de Grupos (como un primer curso), el cual es hacia el lgebra Homolgica y la Topologa Algebraica, la demostracin de stos teoremas preferimos
posponerlas para un curso posterior de Teora de Mdulos y ver stos teoremas como caso especial de los teoremas correspondientes para mdulos finitamente generados sobre un anillo de ideales principales y as poder exponer otros
temas usualmente excluidos del programa. El lector interesado puede ver la
demostracin en [B-M, Cap. X] o [H, Cap. II y IV]. Veamos a continuacin
cmo se utilizan.
1.5 Ejemplo. Los posibles grupos de orden 36 se obtienen as: para obtenerlos de la primera manera, descompngase 36 en potencias de primos como
36 = 22 32 . Luego, los posibles grupos de la primer manera (no isomorfos uno
con el otro) son
Z2 Z2 Z3 Z3
Z4 Z3 Z3
Z2 Z2 Z9
Z4 Z9
y de la segunda manera (no isomorfos uno con el otro) son
Z6 Z6
Z3 Z12
Z2 Z18
Z36
57
As, tenemos cuatro grupos abelianos (salvo isomorfismo) de orden 36. Los de
la primera lista corresponden en el orden escrito a los de la segunda lista.
1.6 Ejemplo. Los posibles grupos de orden 540 se obtienen as: para
obtenerlos de la primera manera, descompngase 540 en potencias de primos
como 540 = 22 33 5. Luego, los posibles grupos de la primer manera (no
isomorfos uno con el otro) son
Z2 Z2 Z3 Z3 Z3 Z5
Z4 Z3 Z3 Z3 Z5
Z2 Z2 Z3 Z9 Z5
Z2 Z2 Z27 Z5
Z4 Z3 Z9 Z5
Z4 Z27 Z5
y de la segunda manera (no isomorfos uno con el otro) son
Z3 Z6 Z30
Z3 Z3 Z60
Z2 Z270
Z6 Z90
Z3 Z180
Z540
As, tenemos seis grupos abelianos (salvo isomorfismo) de orden 540. Los de
la primera lista corresponden en el orden escrito a los de la segunda lista.
Consideremos una cadena C = {Cn , n } de grupos abelianos finitamente
generados y el grupo de homologa de grado n de C, Hn (C) = ker n /im
n+1 = Zn (C)/Bn (C). Los subgrupos Zn (C) y Bn (C) de Cn son finitamente
generados, luego Hn (C) es finitamente generado. Los coeficientes de torsin
de Hn (C) se llaman coeficientes de torsin de grado n de C y el rango
de Hn (C)
Pse llama nmero de Betti n (C) de grado n de C. El entero
(C) = n (1)n n (C) se llama caracterstica de Euler-Poincar de la
cadena C.
Problemas.
1.1 Encuentre los posibles grupos abelianos salvo isomorfismo de orden 8,
10.
58
Captulo III
1.2 Encuentre los posibles grupos abelianos salvo isomorfismo de orden 12,
16.
1.3 Encuentre los posibles grupos abelianos salvo isomorfismo de orden 32.
59

Consideremos el conjunto n consistente de todas las permutaciones del
conjunto In = {1, ..., n}, es decir, n consiste de todas las funciones biyectivas
de In en In . En I.2 vimos que n es un grupo bajo la operacin binaria y
que | n |= n! Recordemos 3 y su tabla correspondiente como en I.1. Sus
elementos son
1 2 3
1 2 3
1 2 3
2 =
=
1 =
2 3 1
3 1 2
1 2 3
1 2 3
1 2 3
1 2 3
1 =
2 =
3 =
1 3 2
3 2 1
2 1 3
El clculo de la composicin de dos permutaciones lo haremos siguiendo el mismo
orden que el de las funciones, por ejemplo:
1 2 3
1 2 3
1 2 3
1 1 =
=
= 3
2 3 1
1 3 2
2 1 3
es decir, primero consideramos 1 y luego 1 . As,
1 1 =
1 2 3
1 3 2
1 2 3
2 3 1
1 2 3
3 2 1
= 2
Su tabla es (considerando la forma de componer dos funciones, primero

la derecha (columna izquierda) y despus la izquierda (rengln superior)):
1
2
1
2
3
1
2
1
2
3
1
1
2
3
1
2
2
2
1
2
3
1
1
1
2
3
1
2
2
2
3
1
2
3
3
1
2
1
2
Hemos escrito para In = {1, ..., n} una permutacin : In In como

=
1
2
...
n
(1) (2) ... (n)
60
Captulo III
Diremos que una permutacin de In es un ciclo de longitud r (o r-ciclo) si

existen enteros i1 , ..., ir en In tal que
ij+1 si i = ij y 1 j < r
i1 si i = ir
(i) =
i si i 6= ij y 1 6= j r
y lo denotamos mediante = (i1 , i2 , ..., ir ). Por ejemplo,
1 2 3
= (1, 2, 3)
2 3 1
es un ciclo de longitud 3. Observe que (1, 2, 3) = (2, 3, 1) = (3, 1, 2), es decir,

hay 3 notaciones para este ciclo y en general vase el Problema 2.3.
Diremos que un ciclo de longitud 2 es una transposicin. Un ciclo de
longitud 1 lo omitiremos usualmente cuando tengamos un producto de ciclos.
Por ejemplo:
1 2 3 4 5 6 7
= (1, 3, 2)(4, 6)(5)(7)
3 1 2 6 5 4 7
donde (1, 3, 2) es un triciclo, (4, 6) es una transposicin, (5) y (7) son ciclos de
longitud uno y se acostumbran omitir.
Sea un elemento de n y definamos en In = {1, ..., n} una relacin dada
por i j s, y slo si r (i) = j, para algn entero r. Es inmediato comprobar
que tenemos una relacin de equivalencia en In (Problema 2.4). Las clases de
equivalencia las llamaremos rbitas de . Por ejemplo, la rbita del elemento
1 de la permutacin
1 2 3 4 5 6 7 8 9 10 11 12
3 5 6 11 2 4 9 7 10 12 8 1
= (1, 3, 6, 4, 11, 8, 7, 9, 10, 12)(2, 5)
es {1, 3, 6, 4, 11, 8, 7, 9, 10, 12}, la del elemento 2 es {2, 5}. Observe que si la
rbita contiene ms de un elemento, entonces forma un ciclo de longitud igual
al nmero de elementos de la rbita. As, si O1 , ..., Ok son las rbitas (que son
ajenas) de una permutacin y c1 , ..., ck los ciclos (ajenos) dados por cj (i) =
(i) si i Oj o i si i
/ Oj entonces = c1 c2 ck . Por lo tanto tenemos la
siguiente
2.1 Proposicin. Toda permutacin se puede escribir como producto de
ciclos ajenos.
Observe que la representacin como producto de ciclos ajenos es nica salvo
por el orden en que aparecen. Claramente la composicin de ciclos ajenos
61
s es conmutativa y como todo ciclo se expresa en la forma (i1 , i2 , ..., ir ) =

(i1 , ir )(i1 , ir1 ) (i1 , i3 )(i1 , i2 ) tenemos el
2.2 Corolario. Toda permutacin n para n 2 es un producto de
transposiciones no necesariamente ajenas.
Por ejemplo,
(1, 3, 6, 4, 11, 8, 7, 9, 10, 12)(2, 5)
= (1, 12)(1, 10)(1, 9)(1, 7)(1, 8)(1, 11)(1, 4)(1, 6)(1, 3)(2, 5)
Observe que al descomponer una permutacin como producto de transposiciones siempre podemos agregar la transformacin identidad escrita como
(ij , ik )(ij , ik ) de tal manera que dicha descomposicin no es la nica posible.
2.3 Definicin. Diremos que el grupo G acta (por la izquierda) en un
conjunto X si existe una funcin
a: GX
(g, x)
X
7 a(g, x)
donde a(g, x) se denotar gx, tal que se cumpla (e, x) 7 a(e, x) = ex = x y

(gg 0 , x) 7 a(gg 0 , x) = (gg 0 )x = g(g 0 x).
Si se tiene que G acta en X se dice que X es un G-conjunto. En la
notacin (g, x) 7 a(g, x) = gx, el hecho de escribir gx es un abuso comn de
notacin y est definido de manera particular en cada caso. Se puede definir un
concepto anlogo definiendo la accin por la derecha.
Veamos algunos ejemplos.
2.4 Ejemplo. Todo grupo G es un G-conjunto con la operacin binaria
vista como accin. Tambin todo grupo puede considerarse un H-conjunto
con H un subgrupo de G, aqu se tendra H G G dada por (h, x) 7
a(h, x) = hx. Dicha accin se llama translacin (por la izquierda). Todo
espacio vectorial V sobre un campo K puede verse como un K-conjunto donde
la parte multiplicativa de K acta en V .
2.5 Ejemplo. In es un n -conjunto con la accin a : n In In dada
por (, i) 7 a(, i) = (i).
2.6 Ejemplo. Consideremos una accin de un subgrupo H de G, a : H
G G dada por (h, x) 7 a(h, x) = hxh1 . Esta accin se llama conjugacin
por h. El elemento hxh1 se dice que es un conjugado de x.
Sea X un G-conjunto con a : G X X. Diremos que dos elementos
x, y X estn relacionados y escribiremos x y si, y slo si, existe g G tal
que a(g, x) = gx = y para alguna g G.
62
Captulo III
2.7 Proposicin. es una relacin de equivalencia y el conjunto
Gx = {g G | gx = x}
es un subgrupo de G.
Demostracin. Como para cada x X, ex = x, entonces x x. Si
x y entonces existe g G tal que gx = y para alguna g G. Luego,
x = ex = (g 1 g)x = g 1 (gx) = g 1 y y por lo tanto y x. Si x y y y z
entonces existen g, g 0 G tales que gx = y y g 0 y = z para algunas g, g 0 G.
Entonces (g 0 g)x = g 0 (gx) = g 0 y = z, luego x z. Consideremos g, g 0 Gx .
Luego gx = x y g 0 x = x. As, (gg 0 )x = g(g 0 x) = gx = x. Por lo tanto, gg 0 Gx .
Claramente ex = x, luego e Gx . Finalmente, si g Gx entonces gx = x y
x = ex = (g 1 g)x = g 1 (gx) = g 1 x. Por lo tanto, g 1 Gx . Luego, Gx es un
subgrupo de G.
El subgrupo Gx se llama subgrupo de isotropa de x o estabilizador de
x. Llamaremos rbita de X bajo G a cada clase de equivalencia de la relacin
. Si x X llamaremos rbita de x a la clase de equivalencia de x la cual
denotaremos con Gx.
Daremos nombres a diversas rbitas:
(i) Si un grupo G acta sobre s mismo bajo conjugacin, la rbita {gxg 1 }
con g G la llamaremos clase conjugada de x.
(ii) Si el subgrupo H < G acta en G por conjugacin, el grupo de isotropa
Hx = {h H : hx = xh} se llama centralizador de x en H y lo denotaremos
con CH (x).
(iii) Si H = G, CG (x) se llamar centralizador de x.
(iv) Si H < G acta por conjugacin en el conjunto de los subgrupos de G,
entonces el subgrupo de H que deja fijo a K se llamar normalizador de K
en H, denotado NH (K) = {h H | hKh1 = K}.
(v) En particular, si tenemos el caso en que se tome NG (K) lo llamaremos
normalizador de K.
2.8 Teorema. Sea X un G-conjunto con a : G X X. Si x X,
entonces el nmero de clases de equivalencia u rbitas es igual al ndice de Gx
en G, es decir, | Gx |= (G : Gx ).
Demostracin. Definamos una funcin
:
Gx
a(g, x) = gx = y
G/Gx
7 (a(g, x)) = (gx) = gGx
dada por
Veamos que est bien definida: supongamos que tambin a(h, x) = hx = y

para h G. Luego gx = hx , g 1 (gx) = g 1 (hx) y x = (g 1 h)x. As, g 1 h Gx ,
h gGx y gGx = hGx .
63
Ahora veamos que es inyectiva: si y, z Gx y (y) = (z). Entonces

existen h, k G tal que a(h, x) = hx = y y a(k, x) = kx = z, con k hGx .
Entonces k = hg para alguna g Gx , luego z = kx = (hg)x = h(gx) = hx = y.
Por lo tanto, es inyectiva.
Veamos que es suprayectiva: sea hGx una clase lateral izquierda. Entonces
si hx = y, se tiene que hGx = (y). Luego es suprayectiva. Por lo tanto,
| Gx |= (G : Gx ).
2.9 Corolario. Si o(G) es finito, entonces o(Gx) | o(G).
Demostracin. Como o(G) es finito, entonces o(G) = o(Gx)o(Gx ).
2.10 Teorema. Sea G un grupo finito, g G y Xg = {x X | gx = x}. Si
n es el nmero de rbitas de X en G entonces
n = | Xg | o(G)1
gG
Demostracin. Sea r el nmero de parejas (g, x) tales que gx = x. Hay

| Xg | parejas para cada g y | Gx | para cada x. Entonces
r = | Xg |= | Gx | .
gG
xX
Como o(Gx) = (G : Gx ) = o(G)/o(Gx ) por el teorema anterior, entonces

o(Gx ) = o(G)/o(Gx). As, r = (| G | / | Gx |) =| G | (1/ | Gx |). Pero
xX
xX
1/ | Gx | tiene el mismo valor para toda x en la misma rbita y si O denota

cualquier rbita, entonces (1/ | Gx |) = (1/ | O |) = 1. Sustituyendo,
xO
xO
obtenemos r = o(G)n.
2.11 Proposicin. Sea X un G-conjunto. La funcin

: G
X
g 7 (g) = g (x) = gx
es un homomorfismo.
Demostracin. Veamos que g : X X es efectivamente una permutacin: Si g (x) = g (y), entonces gx = gy. Luego g 1 (gx) = g 1 (gy) y
(g 1 g)x = (g 1 g)y. As, ex = ey y x = y. Por lo tanto, g es inyectiva.
Como g (g 1 x) = g(g 1 x) = (gg 1 )x = ex = x, para cada x existe g 1 x
tal que g (g 1 x) = x. Luego, g es suprayectiva. es un homomorfismo pues
(gg 0 ) = gg0 (x) = (gg 0 )x = g(g 0 x) = g g0 (x)
= g (g0 (x)) = (g)( g0 (x)) = (g)(g 0 ).
2.12 Corolario. (Cayley) Si G es un grupo entonces existe un monomorfismo G G , es decir, todo grupo es isomorfo a un grupo de permutaciones.
Si G es un grupo finito de orden n entonces es isomorfo a un subgrupo de n .
64
Captulo III
Demostracin. Consideremos la accin de G en s mismo mediante translacin por la izquierda y as aplicamos la proposicin anterior obteniendo
: G
G dada por
g 7 (g) = g (x) = gx
Si (g) = g (x) = gx = IG , entonces g (x) = gx = x para toda x G.
Si tomamos x = e entonces ge = e y por lo tanto g = e. Luego, es un
monomorfismo. Como caso particular, si o(G) = n entonces G = n .
Otra redaccin es la siguiente: Propondremos a
H = { g : G G | x 7 g (x) = gx, para cada g G fija}
como candidato a subgrupo de G . g : G G es claramente una permutacin
de G pues si g (x) = g (y) entonces gx = gy y x = y, adems, si x G entonces
g (g 1 x) = gg 1 x = x. Es inmediato comprobar que H es un subgrupo de G
pues g g0 (x) = g (g 0 x) = g(g 0 x) = (gg 0 )x = gg0 (x) para toda x G, como
e (x) = ex = x para toda x G, H contiene a la permutacin identidad y
finalmente, como g g0 = gg0 , g g1 = gg1 = e y g1 g = g1 g = e
tenemos que g1 = ( g )1 . Ahora, definamos
h : G H mediante
g 7 h(g) = g
Como
h(gg 0 )(x) = gg0 (x) = (gg 0 )x = g(g 0 x) = g ( g0 (x)) = ( g g0 )(x) = h(g)h(g 0 )
h es un homomorfismo. Si h(g) = h(g 0 ) entonces, en particular, g (e) = ge =
g = g 0 = g 0 e = g0 (e), luego g = g 0 y h es inyectiva. Luego h es un isomorfismo.
Los teoremas de Sylow nos proporcionan informacin importante acerca de
los grupos finitos no conmutativos. Nos dicen, entre otras cosas, que si la
potencia de un primo divide al orden de un grupo este posee un subgrupo con
ese orden.
2.13 Definicin. Un grupo G se dice que es un p-grupo (p un nmero
primo), si todos los elementos de G tienen por orden una potencia de p.
2.14 Teorema. (Primer teorema de Sylow) Sea G un grupo de orden
pn m donde p es primo, n 1 y tal que p - m. Entonces, G contiene un subgrupo
de orden pi para cada i tal que 1 i n, y todo subgrupo H de G de orden pi
es un subgrupo normal de un subgrupo de orden pi+1 para 1 i < n.
2.15 Definicin. Sea p un nmero primo. Diremos que P es un psubgrupo de Sylow si P es un p-subgrupo mximo de G i.e. si K es un
p-grupo tal que P < K < G entonces P = K.
65
2.16 Teorema. (Segundo teorema de Sylow) Dos p-subgrupos de Sylow

de un grupo finito G son conjugados.
2.17 Teorema. (Tercer teorema de Sylow) Si G es un grupo finito y
p | o(G) ( p primo), entonces el nmero de p-subgrupos de Sylow de G divide al
orden de G y es congruente con 1 mdulo p.
Vase [A] o [F] para las demostraciones de los teoremas de Sylow.
Problemas.
2.1 Compruebe que a : Z R R dada por (g, x) 7 a(g, x) = gx es una

accin de Z en R llamada translacin.
2.2 Considere la accin a : H s(G) s(G) de un subgrupo H de un
grupo G en el conjunto s(G) consistente de todos los subgrupos de G dada por
(h, K) 7 hKh1 . Pruebe que hKh1 es un subgrupo de G isomorfo a K.
hKh1 se dice que es un subgrupo conjugado de K.
2.3 Pruebe que para un ciclo de longitud r hay exactamente r notaciones
en forma de ciclo.
2.4 Pruebe que si es una permutacin de n y en In = {1, ..., n}, i j si, y
slo si r (i) = j, para algn entero r, entonces es una relacin de equivalencia
en In .
2.5 Definimos el signo de una permutacin n como
sg() = i<j
(j) (i)
.
ji
Pruebe que si 0 es otra permutacin, entonces sg( 0 ) = sg( 0 )sg() y que

si es una transposicin, entonces sg( ) = 1. Diremos que una permutacin
es par o impar si su signo es 1 o 1 respectivamente. Concluya que si n > 1,
el conjunto de las permutaciones pares de In forman un subgrupo An de n
llamado grupo alternante de grado n.
2.6 Defina un homomorfismo h : n {1, 1} dado por h() igual a 1 si
es par y 1 si es impar. Pruebe que An es el ncleo de h, y por lo tanto un
subgrupo normal de n tal que o(An ) = n!
2.
2.7 Pruebe que si un nmero primo p divide al orden de un grupo finito o(G),
entonces G tiene un elemento de orden p y por ende un subgrupo de orden p.
(Teorema de Cauchy)
66
Captulo III
2.8 Pruebe que un grupo finito es un p-grupo si, y slo si, el orden de G es
una potencia de p.
2.9 Pruebe que si o(G) = pn , p un nmero primo, entonces posee un centro
no trivial.
2.10 Demuestre que si o(G) = p2 para p un nmero primo, entonces G es
cclico o isomorfo a Zp Zp .
2.11 Pruebe que el subgrupo K es normal en NG (K).
2.12 Pruebe que K es normal en G si, y slo si NG (K) = G. Compruebe
que los 2-subgrupos de Sylow de 3 tienen orden 2 y que stos son conjugados
unos con otros.
2.13 Pruebe que solamente existe un grupo de orden 15.
2.14 Pruebe que no existen grupos simples de orden 15, 20, 30, 36, 48 y 255.
III.3 Grupos Libres
67
III.3 Grupos Libres

Considrese el producto cartesiano A = X Z2 donde X denota cualquier
conjunto y Z2 = {1, 1}. Para cada elemento x de X usaremos las notacin
x1 = (x, 1) y x1 = (x, 1). Consideremos el conjunto K de todas las sucesiones
finitas de elementos con repeticin del conjunto A. Definamos una operacin
binaria en K
K K K
(x1 , ..., xr )(y1 , ..., ys ) 7 (x1 , ..., xr , y1 , ..., ys )
Llamaremos alfabeto a los elementos de A, y palabras a los elementos de
K, los cuales son productos formales de elementos de A.
3.1 Ejemplo. Tmese X = {x1 , x2 , x3 , x4 }. Las siguientes expresiones son
1 1 1 1 1 1 1 1
1 1 1 1 1 1
1 1 1 1 1
palabras: x11 x1
2 x1 x2 x3 x4 x2 x3 , x2 x3 x4 x1 x2 x3 x3 x4 , x3 x4 x1 x2 x3 .
Diremos que una palabra est reducida si para todo elemento x de X, x1
nunca est junto a x1 o viceversa. Sea L el conjunto de todas las palabras
reducidas de K y adjuntmosle la palabra vaca (la cual no est en K) misma
que denotaremos con 1.
Ahora definamos una operacin binaria en L con las siguientes condiciones:
si alguno de los elementos x o y es 1 entonces su producto es x o y, de otra
manera su producto es una palabra reducida xy. Se puede comprobar que esta
operacin binaria proporciona a L una estructura de grupo.
3.2 Definicin. Un grupo libre en el conjunto X es una pareja (L, f )
donde L es un grupo y f : X L es una funcin tal que, para cualquier
funcin g : X G, G un grupo cualquiera, existe un homomorfismo nico
h : L G tal que el siguiente tringulo es conmutativo:
X
L
g& h
G
Definamos una funcin f : X L mediante f (x) = x1 L. Supongamos

que g : X G es cualquier funcin de X en un grupo G. Definamos una
funcin h : L G mediante
h(k) = eG si k es la palabra vaca

h(k) = g(x1 )1 g(x2 )2 g(xn )n si k = x1 1 x2 2 xnn
para i = 1, 1 i n
68
Captulo III
Es fcil comprobar que h es un homomorfismo de grupos tal que h f = g.

An ms, si h0 : L G es otro homomorfismo de grupos tal que h0

f = g. Entonces para la palabra k = x1 1 x2 2 xnn tendramos que h0 (k) =

0
1 0
2
0
n
1
2
h (x1 ) h (x2 ) h (xn ) = g(x1 ) g(x2 ) g(xn )n . Luego h = h0 . As es
que tenemos el siguiente
3.3 Teorema. Para cualquier conjunto X siempre existe un grupo libre en
X.
Considrese un grupo libre en el conjunto X denotado (L, f ), donde f :
X L es una funcin. Veamos que dicha funcin f es inyectiva: Supongamos
que x, y X con x 6= y. Consideremos un grupo G y g : X G una funcin
tal que g(x) 6= g(y). Como h(f (x)) = g(x) 6= g(y) = h(f (y)) se tiene que
f (x) 6= f (y). An ms, veamos que f (X) genera L: sea H el subgrupo de L
generado por f (X). Entonces f define una funcin g : X H con i g = f
donde i denota la inclusin de H en L. Como L es libre, existe un homomorfismo
h : L H tal que h f = g.
f
L
g & i h
H
Considere el diagrama
X
L
f & i h IL
L
Es claro que IL f = f , y i h f = i g = f . Por la unicidad, i h = IL .

Luego, i debe ser suprayectiva. As, H = L y f (X) genera L.
Supongamos que (L0 , g) es otro grupo libre en el mismo conjunto X que L.
Entonces podemos considerar el siguiente diagrama:
X
q
X
g&
L
h
L0
f & h0
L
Aqu, como L es libre, existe un homomorfismo nico h tal que g = h f y

como tambin L0 es libre, existe un homomorfismo nico h0 tal que f = h0 g.
Por la unicidad, IL = h0 h. Anlogamente podemos considerar el diagrama
X
q
X
L0
f & h0
L
g& h
L0
III.3 Grupos Libres
69
y obtener que IL0 = h h0 . Luego, L

= L0 . Podemos resumir lo anterior en el
siguiente
3.4 Teorema. Sea (L, f ) un grupo libre en X. Entonces f es inyectiva y
f (X) genera L. An ms, (L, f ) es nico salvo isomorfismo.
Obsrvese que cada conjunto X determina un nico grupo libre. Como f es
inyectiva identificaremos X con su imagen y f (X) es un subconjunto generador
de L. Podemos decir que toda funcin g : X G se extiende a un homomorfismo nico h : L G. Llamaremos a L grupo libre generado por los
elementos del conjunto X. Observe que todo grupo libre es infinito.
Sea G cualquier grupo. Podemos escoger un subconjunto X de G que genere
a G. Siempre se puede, pues podramos escoger X = G. Consideremos el
grupo libre generado por X. Entonces la funcin de inclusin g : X G se
extiende a un homomorfismo h : L G. h es suprayectiva puesto que X
genera G y X = g(X) h(L). Si N es el ncleo de h, por el primer teorema
del isomorfismo, G
= L/N . Podemos resumir esto en el siguiente
3.5 Teorema. Cualquier grupo es isomorfo al cociente de un grupo libre.
Denotemos con R el conjunto de generadores del subgrupo N del grupo
libre L. Como el grupo L est totalmente determinado por el conjunto X y
el subgrupo normal N lo est por el conjunto R, el grupo G
= L/N puede
definirse dando un conjunto cuyos elementos los llamaremos generadores de
G y mediante un conjunto R cuyos elementos los llamaremos relaciones que
definen G.
Consideremos una palabra reducida k = x1 1 x2 2 xnn 6= 1, es decir, un

elemento de R tal que si N no es el subgrupo trivial omitimos el 1 del conjunto R.
Como k N , representa el elemento de identidad en el cociente. Lo denotaremos

mediante la expresin x1 1 x2 2 xnn = 1.

Diremos que los conjuntos X y R dan una presentacin (X | R) del grupo
G
= L/N . Puede haber presentaciones diferentes de un mismo grupo. En tal
caso las llamaremos, presentaciones isomorfas.
3.6 Ejemplo. El grupo diedro Dn n 2, es el grupo de orden 2n generado
por dos elementos, a y b con relaciones an = 1, b2 = 1 y bab = a1 .
3.7 Ejemplo. (x | _) es una presentacin del grupo libre Z. Esto es, un
generador, pero ninguna relacin. De aqu el trmino libre, es decir, libre de
relaciones.
3.8 Ejemplo. (x | xn = e) es una presentacin del grupo cclico Zn .
70
Captulo III
3.9 Definicin. Un grupo abeliano libre en el conjunto X es una pareja

(L, f ) donde L es un grupo abeliano y f : X L es una funcin tal que,
para cualquier funcin g : X G, G un grupo abeliano cualquiera, existe un
homomorfismo nico h : L G tal que el siguiente tringulo es conmutativo:
X
L
g& h
G
Los siguientes dos teoremas se prueban exactamente como los correspondientes a grupos libres:
3.10 Teorema. Sea (L, f ) un grupo abeliano libre en X. Entonces f es
inyectiva y f (X) genera L. An ms, (L, f ) es nico salvo isomorfismo.
3.11 Teorema. Cualquier grupo abeliano es isomorfo al cociente de un
grupo abeliano libre.
3.12 Teorema. Para cualquier conjunto X siempre existe un grupo abeliano
libre en X.
Demostracin. Sea (K, i : X K) un grupo libre en un conjunto X.
Considrese el grupo cociente L = K/K 0 donde K 0 denota el subrupo conmutador y la proyeccin a dicho cociente p : K K/K 0 . Veamos que (L, f ) es un
grupo abeliano libre en X, f = p i.
Sea g : X G cualquier funcin de X en un grupo abeliano G. Como K es
un grupo libre en X, existe un homomorfismo k : K G tal que k i = g. Como
G es un grupo abeliano, k enva el subgrupo conmutador K 0 de K al elemento
0 de G. Luego, k induce un homomorfismo h : L G tal que h p = k. Luego
h p i = k i = g. La unicidad es inmediata y la dejamos como un ejercicio.
Como la funcin f = p i es inyectiva, podemos identificar X con su imagen
f (X) en L. As, X es un subconjunto de L que genera a L misma. Decimos que
la funcin g se extiende a un homomorfismo nico h y llamamos a L el grupo
abeliano libre generado por (los elementos) del conjunto X. Diremos
que un grupo cualquiera G es un grupo abeliano libre, si es isomorfo a un
grupo abeliano libre L generado por un conjunto X. Si f 0 : L G y denotamos
con f la restriccin de f 0 a X, entonces (G, f ) es un grupo abeliano libre en el
conjunto X. Llamaremos base del grupo abeliano libre G a la imagen f (X).
Es claro que toda funcin g : f (X) H donde H es cualquier grupo abeliano
se extiende a un homomorfismo nico h : G H. (Problema 3.3).
3.13 Ejemplo. Considere el grupo que consiste de la suma directa de n
copias de Z. Entonces (1, 0, ..., 0), (0, 1, 0, ...0),..., (0, ..., 0, 1) es una base de
dicho grupo abeliano libre. El grupo de los enteros mdulo n no es abeliano
libre.
III.3 Grupos Libres
71
Problemas.
3.1 Sea L el conjunto de todas las palabras reducidas de K y adjuntmosle la

palabra vaca (la cual no est en K) misma que denotaremos con 1. Definamos
una operacin binaria en L con las siguientes condiciones: si alguno de los
elementos x o y es 1 entonces su producto es x o y, de otra manera su producto
es una palabra reducida xy. Pruebe que esta operacin binaria proporciona una
estructura de grupo a L.
3.2 Considere la funcin h : L G definida mediante
h(k) = eG si k es la palabra vaca

h(k) = g(x1 )1 g(x2 )2 g(xn )n si k = x1 1 x2 2 xnn
para i = 1, 1 i n
Compruebe que h es un homomorfismo de grupos tal que hf = g en el contexto
del Teorema 3.3.
3.3 Diremos que un grupo cualquiera G es un grupo abeliano libre, si es
isomorfo a un grupo abeliano libre L generado por un conjunto X. Si f 0 : L G
y denotamos con f la restriccin de f 0 a X, entonces (G, f ) es un grupo abeliano
libre en el conjunto X. Llamaremos base del grupo abeliano libre G a la
imagen f (X). Pruebe que toda funcin g : f (X) H donde H es cualquier
grupo abeliano se extiende a un homomorfismo nico h : G H.
3.4 Decimos que un grupo abeliano libre es de rango finito o infinito si
posee una base finita o infinita respectivamente. Pruebe que si una base es finita
con n elementos (infinita), entonces cualquier otra base es tambin finita con n
elementos (infinita).
3.5 Sean L y L0 grupos abelianos libres isomorfos generados por X y X 0
respectivamente. Pruebe que si X consiste de un nmero finito de elementos,
entonces X 0 consiste del mismo nmero de elementos.
3.6 Sea {Gj }jX una familia de grupos abelianos indizados por el conjunto
X con cada Gj
= Z, j X. Defina L = { : X Z | (j) = 0 para casi toda
j X} junto con una operacin binaria dada por ( + )(j) = (j) + (j)
j X.
(i) Pruebe que L es un grupo abeliano.
(ii) Defina f : X L mediante j 7 f (j)(i) = 1 si i = j, 0 si i 6= j. Pruebe
que (L, f ) es un grupo
P abeliano libre en X.
(iii) Pruebe que jX Gj
= (L, f ).
(iv) Concluya que un grupo abeliano es de rango m si, y slo si, es isomorfo
a la suma directa de m grupos cclicos infinitos.
72
Captulo III
Los siguientes problemas son optativos (no se espera que sean resueltos sin
ayuda externa) y establecern, (junto con los problemas de las secciones y captulos anteriores) los grupos de orden menor que 16, a saber:
Orden 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
Nu
mero 1 1 1 2 1 2 1 5 2 2 1 5 1 2 1
donde el rengln superior indica el orden del grupo y el rengln inferior indica
el nmero de grupos salvo isomorfismo de ese orden.
3.7 Pruebe que si p es un nmero primo que divide al orden de un grupo,
entonces el grupo contiene un elemento de orden p. Este es el Teorema de
Cauchy.
3.8 Pruebe que solamente existen dos grupos de orden 2p para cada nmero
primo p, uno es cclico y el otro es Dp .
3.9 Escriba todos los grupos, salvo isomorfismo, de cada orden menor a 16.
3.10 Determine todos los grupos, salvo isomorfismo, de orden 10.
3.11 Compruebe que las siguientes presentaciones de Z6 son isomorfas:
(x, y | xyx1 y 1 = e, x2 = e, y 3 = e) y (x | x6 = e).
3.12 Determine todos los grupos, salvo isomorfismo, de orden 8. (Son cinco,
de los cuales tres son abelianos y dos son no abelianos).
3.13 Determine todos los grupos, salvo isomorfismo, de orden 12. (Son cinco,
dos son abelianos y tres son no abelianos. Sugerencia: utilice los Teoremas de
Sylow y argumentos semejantes a los usados en el problema anterior).
73

Definiremos un grupo abeliano en el cual solamente se tienen relaciones biaditivas.
4.1 Definicin. Sean X y Y grupos abelianos. El producto tensorial de
X y Y es la pareja (T, f ), donde T es un grupo abeliano y f : X Y T es
una funcin biaditiva, tal que si, G es un grupo abeliano y g : X Y G es
biaditiva, entonces existe una homomorfismo nico h : T G tal que g = h f .
La condicin g = h f se puede representar mediante el diagrama
f
X Y
T
g & h
G
La definicin anterior nos dice que cualquier funcin biaditiva g : X Y G

puede expresarse en trminos de f : X Y T como g(x, y) = h(f (x, y)) para
un homomorfismo nico h : T G.
Veamos a continuacin que, si existe, el producto tensorial de dos grupos
abelianos es nico. Es decir, dados dos productos tensoriales (T, f ) y (T 0 , f 0 ) de
X y Y existe un isomorfismo entre T y T 0 . Esto es inmediato, pues, por ser T
un producto tensorial, existe h : T T 0 tal que f 0 = hf . Anlogamente, como
T 0 es un producto tensorial, existe h0 : T 0 T tal que f = h0 f 0 . Consideremos
los siguientes diagramas
X Y
f0
T
h
T 0
f & h0
T
f0
X Y
T0
% h0
f0 &
T
h
T0
1T
1T 0
Por ser T un producto tensorial, como 1T : T T es tal que 1T f = f

se tiene que tambin que h0 h f = f. Luego, por la unicidad, tenemos que
74
Captulo III
h0 h = 1T . De manera semejante, por ser T 0 un producto tensorial, como

1T 0 : T 0 T 0 es tal que 1T 0 f 0 = f 0 y tambin h h0 f 0 = f 0 , se tiene,
por unicidad, que h h0 = 1T 0 . Por lo tanto, h es un isomorfismo. Entonces
podemos hablar de el producto tensorial T de X y Y , denotado con T = X Y
o simplemente X Y .
Ahora veamos que, dados dos grupos abelianos, siempre existe su producto
tensorial.
4.2 Proposicin. Sean X y Y grupos abelianos. Entonces existe un grupo
abeliano T que cumple la definicin anterior.
Demostracin. Sea L el grupo abeliano libre con base X Y y sea G el
subgrupo de L generado por los elementos de la forma (x+x0 , y)(x, y)(x0 , y)
y (x, y +y 0 )(x, y)(x, y 0 ) donde x, x0 X y y, y 0 Y. Definamos X Y = T =
L/G. Denotemos con x y la clase lateral (x, y) + G. Es inmediato comprobar
que f : X Y X Y , dado por f (x, y) = x y es biaditiva, (Problema 4.1).
Veamos que que X Y es, efectivamente, un producto tensorial. Sea G0 un
grupo abeliano cualquiera. Consideremos el tringulo
X Y
L
g & h0
G0
donde g es biaditiva. Como L es libre con base X Y , existe un homomorfismo

h0 : L G tal que g = h0 f . Es fcil ver que h0 se anula en los elementos generadores de G. Por lo tanto, G ker h0 , e induce un homomorfismo h : L/G G0
tal que el siguiente tringulo conmuta:
X Y
L/G = X Y
h
g &
G0
Es fcil comprobar que h es nica (Problema 4.1).

Para cada x X y y Y , el elemento f (x, y) lo escribiremos en la forma
x y. Es fcil comprobar (Problema 4.2) que f (X Y ) genera el producto
tensorial T , el cual denotamos P
X Y . De manera que cada elemento de X Y
se puede escribir en la forma ri=1 i (xi yi ) con i Z, xi X, yi Y .
Esta expresin no es nica pues se pueden escoger diferentes representantes de
una clase lateral. Debido a lo anterior, podemos alternativamente definir X Y
como el grupo abeliano generado por todos los smbolos x y, x X, y Y ,
sujeto a las relaciones
(x1 + x2 ) y = x1 y + x2 y
x (y1 + y2 ) = x y1 + x y2
75
Esta expresin no es nica pues de la biaditividad de f se tiene que

(x1 + x2 ) y = (x1 y) + (x2 y)
x (y1 + y2 ) = (x y1 ) + (x y2 )
donde x1 , x2 , x X y y1 , y2 , y Y . Como caso particular se tiene que, para
Z, (x) y = (x y) = x (y). Si = 1 se tiene que (x) y =
(x y) = x (y) y si = 0 se tiene que 0 y = 0 = x 0. Por lo tanto,
cualquier elemento de X Y puede escribirse en la forma
r
X
(xi yi )
i=1
donde xi X, yi Y .
La funcin biaditiva f se llama funcin biaditiva universal (cualquier
otra funcin biaditiva g : X Y G se obtiene de f ). Decimos que debido a la
propiedad universal, el grupo abeliano X Y est determinado en forma nica
salvo isomorfismo.
Sean : X 0 X, : Y 0 Y homomorfismos de grupos abelianos y
: X0 Y 0 X Y
dado por
( )(x, y) = ((x), (y)).
Sean f : X 0 Y 0 X 0 Y 0 y g : X Y X Y las funciones biaditivas
respectivas. Consideremos la funcin biaditiva
g ( ) : X 0 Y 0 X Y.
Como X 0 Y 0 es el producto tensorial, existe un homomorfismo nico
h : X0 Y 0 X Y
que denotaremos con tal que el siguiente diagrama conmuta:
X0 Y 0

X Y
X 0 Y 0
g
X Y
i.e.,
( ) f (x, y) = g ( )(x, y); (x, y) X 0 Y 0 .
Luego
( )(x y) = (x) (y), x X 0 , y Y 0 .
76
Captulo III
Como consecuencia de la unicidad de tenemos que si X 0 X X 00

0
y Y 0 Y Y 00 son homomorfismos de grupos abelianos, entonces

(0 ) ( 0 ) = (0 0 ) ( ).
En particular, las siguientes proposiciones son inmediatas.
4.3 Proposicin. Sean : Y 0 Y y 0 : Y Y 00 homomorfismos de

grupos abelianos y X un grupo abeliano. Entonces
(i) si 1X : X X y 1Y : Y Y son los homomorfismos de identidad entonces 1X 1Y es la identidad de X Y , y
(ii) (1X 0 ) (1X ) = (1X ( 0 )).
Podemos escribir stas afirmaciones en el siguiente diagrama:
1Y
Y0
Y
0
Y 00
1X 1Y
X Y0
1X
X Y
1X 0
X Y 00
1X ( 0 )
Anlogamente tenemos la siguiente

4.4 Proposicin. Sean : X 0 X y 0 : X X 00 homomorfismos de
grupos abelianos y Y un grupo abeliano. Entonces
(i) si 1X : X X y 1Y : Y Y son los homomorfismos de identidad,
entonces 1X 1Y es la identidad de X Y , y
(ii) (0 1Y ) ( 1Y ) = ((0 ) 1Y ).
Podemos escribir stas afirmaciones en el siguiente diagrama:
1X
X0

X
0
X 00
1X 1Y
X0 Y
1Y
X Y
0 1Y
X 00 Y
(0 )1Y
Se tiene el siguiente resultado acerca del producto tensorial de una suma

directa de grupos abelianos:
4.5 Proposicin. (i) Sean X y Y grupos abelianos con Y =
iI
X
X
X ( Yi )
(X Yi )
=
iI
iI
Yi . Entonces
77
P
(ii) Sean X y Y grupos abelianos y X =
Xi . Entonces
iI
X
X
(Xi Y )
( Xi ) Y
=
iI
iI
Demostracin. Sea g : X (
iI
Yi )
iI
(X Yi ) dada por g(x, (yi )) =
(x yi ). Es fcil comprobar que g es biaditiva. Luego, existe

X
X
(X Yi )
h : X ( Yi )
iI
iI
tal que el siguiente diagrama conmuta:

X (
Yi )
iI
&
X (
Yi )
iI
P h
(X Yi )
iI
Sea i : X Yi X ( Yi ) dada por i (x yi ) = x Yi (yi ) donde Yi : Yi

iI
P
Yi es la inclusin. Luego, por la propiedad universal de la suma directa,
iI
existe un homomorfismo nico

X
X
(X Yi ) X ( Yi )
:
iI
tal que si XYi : X Yi
iI
iI
(X Yi ) es la inclusin entonces i = XYi ,
es decir, el siguiente diagrama conmuta para toda i I

P
X ( Yi )
iI
X Yi
iI (X Yi )
XY
Es fcil comprobar que h = 1X( S Yi ) y que h = 1iI (XYi ) . La

iI
demostracin de (ii) es anloga.
4.6 Proposicin. (i) Si Y 0 Y Y 00 es una sucesin exacta de grupos

abelianos y X un grupo abeliano, entonces
1X 0
1X
X Y 0 X Y X Y 00 0
es una sucesin exacta. (ii) Si X 0 X X 00 es una sucesin exacta de grupos

abelianos y Y un grupo abeliano, entonces
1Y
0 1Y
X 0 Y X Y X 00 Y 0
78
Captulo III
es una sucesin exacta.

(i) Veamos que 1X 0 es un epimorfismo: sea t00 =
P Demostracin.
00
00
(xi yi ) X Y , xi X, yi00 Y 00 . Como 0 es un epimorfismo, existe
yi Y tal que 0 (yi ) = yi00 para toda i. Luego,
X
X
(1X 0 )( (xi yi )) =
(xi yi00 ).
Como
(1X 0 )(1X ) = (1X 0 ) = 1X 0 = 0
se tiene que im(1X ) ker(1X 0 ). Resta nicamente comprobar que

(1X ) ker(1X 0 ), lo cual dejamos al lector, as como la parte (ii).
A continuacin estableceremos algunas propiedades del producto tensorial.
4.7 Proposicin. Sea Y un grupo abeliano. Entonces Y Z
=Y
= ZY .
Demostracin. Sea g : Y Z Y la funcin biaditiva dada por g(y, ) =
y, Z, y Y . Entonces existe una homomorfismo nico h : Y Z Y tal
que h f = g, es decir, el siguiente diagrama conmuta:
Y Z
Y Z
h
g &
Y
La funcin biaditiva g es suprayectiva pues g(y, 1) = 1 y = y. Como h f = g

entonces h es suprayectiva.
Veamos que h es inyectiva: sea x Y Z. EntoncesPexisten elementos
n
{yi }ni=1 en Y y {i }ni=1 en Z tales que x es de la forma i=1 (yi i ) para
yi Y , i Z. Pero
x=
n
n
n
X
X
X
(yi i ) =
(i yi 1) = (
i yi ) 1 = y 1.
i=1
i=1
i=1
Luego
h(x) = h(y 1) = h(f (y, 1)) = g(y, 1) = 1 y = y.
Si h(y 1) = 0 entonces y = 0 y por lo tanto x = y 1 = 0. As, h es inyectivo.
Dejamos al lector probar que Y
= Z Y (Problema 4.5).
El resultado 4.6 es lo mejor que podemos obtener. Por ejemplo, si consideramos la sucesin exacta
2._
Z Z Z/2
donde 2._ denota la multiplicacin por dos, al hacer el producto tensorial con
Y = Z/2 obtenemos
2
Z Z/2
Z Z/2 Z/2 Z/2
79
la cual es equivalente a
2
Z/2 Z/2
Z/2
pero 2 no es inyectivo.
4.8 Proposicin. Sean X, Y, Z grupos abelianos. Entonces
(X Y ) Z
= X (Y Z)
=X Y Z
Demostracin. Consideremos la funcin biaditiva
g 00 : X Y X Y Z
dada por g 00 (x, y) = x y w para w Z fija, la cual induce un homomorfismo
hw : X Y X Y Z
tal que
hw (x y) = x y w.
Sea
g : (X Y ) Z X Y Z
dada por
g(t, w) = hw (t).
g es biaditiva y por lo tanto induce un homomorfismo
h : (X Y ) Z X Y Z
tal que
h((x y) w) = x y w.
Construyamos ahora una funcin
h0 : X Y Z (X Y ) Z
tal que h0 h = 1(XY )Z y h h0 = 1XY Z . Para construir h0 considere la
funcin
g 0 : X Y Z (X Y ) Z
dada por
g 0 (x, y, w) = (x y) w.
g 0 es biaditiva, luego induce un homomorfismo
h0 : X Y Z (X Y ) Z
tal que
h(x y w) = (x y) w.
80
Captulo III
Es inmediato comprobar que h0 h = 1(XY )Z y que h h0 = 1XY Z y, por lo

tanto, h y h0 son isomorfismos. La demostracin de que X (Y Z)
= X Y Z
es anloga.
Problemas.
4.1 Pruebe que en la Proposicin 4.2 f : X Y X Y , dado por f (x, y) =
x y es biaditiva, h0 se anula en los elementos generadores de G y h es nica.
4.2 Verifique que f (X Y ) genera a X Y . (Sugerencia: defina un homomorfismo i : X Y X Y y utilice la unicidad para mostrar que i es
suprayectiva.)
4.3 Sea g : X (
iI
Yi )
iI
(X Yi ) dada por g(x, (yi )) = (x yi ) como
en la Proposicin 4.5. Compruebe que g es biaditiva. Tambin compruebe que

h = 1X( S Yi ) y que h = 1iI (XYi ) . Realice la demostracin de la
iI
parte (ii).
4.4 En la Proposicin 4.6 compruebe que (1X ) ker(1X 0 ), as como

la parte (ii).
4.5 Pruebe que Y
=ZY.
4.6 Pruebe que X Y
= Y X.
4.7 Pruebe que X (Y Z)
= X Y Z.
4.8 Pruebe que si X 0 X X 00 es una sucesin exacta de grupos abelianos

que se escinde y Y un grupo abeliano, entonces
1Y
0 1Y
0 X 0 Y X Y X 00 Y 0
es una sucesin exacta que se escinde.
Bibliografa
81
Bibliografa
[A] Armstrong, M.A. Groups and Symmetry. UTM. Springer. 1988.
[B-M] Birkho, G. MacLane, S. Algebra.Macmillan. 1968.
Bourbaki, N. Algebra I. Addison Wesley. 1973.
[F] Fraleigh, J.B. Abstract Algebra. Addison Wesley. 2003.
Hu, S-T. Elements of Modern Algebra. Holden-Day. 1965.
[H] Hungerford, T.W. Algebra. Springer. 1980.
Lang, S. Algebra. Addison Wesley. 1965.
[Ll1] Lluis-Puebla, E. lgebra Homolgica, Cohomologa de Grupos y KTeora Algebraica Clsica. Seg. Edic. Pub. E. Soc.Mat.Mex. Textos Vol. 5.
2005.
[Ll2] Lluis-Puebla, E. lgebra Lineal. Sitesa. 1997.
Robinson, J.S. A Course in the Theory of Groups. Springer. 1980.
Rotman, J.J. The Theory of groups. Allyn and Bacon. 1976.
82
Bibliografa
.
Lista de Smbolos
83
Lista de Smbolos
Z, 7
Z3 , 9
3 , 10
xf y, 11
n , 12
(V, +, ), 13
(G, +), 13
+ : G G G, 13
+(u, v), 13
O G, 13
o(G), 14
| G |, 14
(, +, ), 15
(A, +, , ), 16
T k (V ), 16
Vk
V , 17
=, 21
, 21
, 21
H < G, 21
ker f , 22
im f , 22
Hom(X, Y ), 23
V , 24
Dn , 24
Hom(G, G0 ), 25
(x), 27
fi1
fi
fi+1
Gi1 Gi Gi+1 , 31
{Cn }nZ , 34
G/H, 36
84
Lista de Smbolos
H C G, 38
Hn (C), 40
H n (C), 41
HN , 45
Aut(G), 47
In(G), 47
coim g, 47
co ker g, 47
Hi , 48
iI
Gi ,
iI
d Gi ,
iI
P
48
50
Gi , 50
iI
(C), 57
(i1 , i2 , ..., ir ), 60
Gx , 62
Gx, 62
CH (x), 62
CG (x), 62
NH (K), 62
NG (K), 62
hKh1 , 65
sg(), 65
(X | R), 69
X Y , 74
ndice Analtico
ndice Analtico
A
accin, 14
de un grupo en un conjunto, 61
por conjugacin, 61
alfabeto, 67
lgebra, 16
de Grassmann, 17
exterior, 17
graduada, 16
tensorial, 17
lgebras
asociativas, 16
conmutativas, 16
con uno, 16
anillo, 15
conmutativo, 15
con divisin, 15
con identidad, 15
con uno, 15
automorfismo, 21, 42
interior, 42, 46
exterior, 47
B
base del grupo abeliano libre, 70, 71
C
cadena, 34
cadenas de grado, 40
campo, 15
caracterstica de Euler-Poincar, 57
85
86
ndice Analtico
centralizador, 62
cerrado, 11
ciclo de longitud r, 60
clase conjugada, 62
clase de automorfismo, 47
clase de homologa, 40
clases laterales, 36
derechas, 37
izquierdas, 37
cocadena, 34
codominio, 7
coeficientes de torsin, 55, 57
coimgen, 47
complejo
de cadenas, 34
de cocadenas, 34
composicin, 11
congruente
por la derecha, 37
por la izquierda, 37
conjugado, 61
conmutador, 41
conmutativo, 13
concleo, 47
D
diagrama, 33
conmutativo, 33
diferenciales, 40
dominio, 7
entero, 15
euclidiano, 15
E
elemento de identidad, 13, 19
derecho, 18
izquierdo, 18
elementos relacionados, 61
endomorfismo, 21
epimorfismo, 21
espacio tensorial de grado k, 17
estabilizador, 62
estable, 11
estructura algebraica, 11
ndice Analtico
F
factores invariantes, 56
fronteras, 40
funcin, 17
biaditiva universal, 75
G
G-conjunto, 61
generador, 27
generadores, 69
grupo, 11, 13, 18
abeliano, 18
abeliano libre, 70, 71
abeliano libre de rango r, 56
abeliano libre generado por, 70
cclioco de orden, 27
cclico generado por, 27
cclico infinito, 27
cociente, 36
conmutativo, 13, 18
con operadores, 14
cuatro de Klein, 24
de cohomologa, 41
de homologa, 40
finitamente generado, 55
libre en el conjunto X, 67
libre generado por los elementos X, 69
orden de, 14
simple, 39
grupoide, 13
grupos de orden menor que 16, 72
grupos isomorfos, 21
H
homologa de la cadena, 40
homlogos, 40
homomorfismo
de anillos, 15
de grupos, 14, 20
de -mdulos, 16
identidad, 24
inducido por, 23, 42
trivial, 21, 24
87
88
ndice Analtico
I
identidad izquierda, 18
imagen, 7, 22
ndice, 39
inverso, 13, 19, 21
derecho, 18
izquierdo, 18
isomorfismo, 12, 20, 21
inyeccin cannica, 52
J
juego completo de residuos mdulo, 9
L
ley de composicin, 8
M
magma, 13
mdulo
finitamente generado, 16
izquierdo, 16
libre, 16
proyectivo, 16
monomorfismo, 21
morfismo
cero, 31
de cadenas, 34
de cocadenas, 34
trivial, 31
multiplicacin, 16
N
normalizador, 62
ncleo, 22
nmero de Betti, 57
O
operacin
binaria, 8
binaria inducida, 11
ndice Analtico
nula, 11
ternaria, 11
n-aria, 11
unaria, 11
operador, 15
operadores frontera, 40
rbita, 62
rbitas, 60
orden,14
P
p-grupo, 64
p-subgrupo de Sylow, 64
palabra, 67
reducida, 67
permutacin
impar, 65
par, 65
presentacin, 69
libre, 69
presentaciones isomorfas, 69
Primer Teorema de Isomorfismo, 44
Primer Teorema de Sylow, 64
producto, 48
directo externo, 48
directo externo dbil, 50
directo interno, 51
tensorial, 73
propiedad universal del producto directo, 50
propiedades del producto tensorial, 78
proyeccin
cannica, 36, 38, 52
natural, 38
proyecciones, 48
R
rango, 55
infinito, 71
finito, 71
relacionados
relaciones, 69
elementos, 61
89
90
ndice Analtico
S
Segundo Teorema de Isomorfismo, 45
Segundo Teorema de Sylow, 64
semigrupo, 13
signo de una permutacin, 65
sistema algebraico, 11
subgrupo, 21
cclico, 27
conjugado, 65
de isotropa, 62
impropio, 22
normal, 38
propio, 22
trivial, 22
sucesin
exacta, 32
exacta corta, 32
semiexacta, 31
suma directa completa, 48
suma directa externa, 50
T
Tercer Teorema de Isomorfismo, 46
Tercer Teorema de Sylow, 65
Teorema
de Cauchy, 65, 72
de Lagrange, 39
primero de isomorfismo, 44
segundo de isomorfismo, 45
primero de Sylow, 64
segundo de Sylow, 64
tercero de isomorfismo, 46
tercero de Sylow, 65
translacin, 61
transposicin, 60
ndice Analtico
.
91
92
Contraportada
Contraportada
El xito de la Teora de Grupos es impresionante y extraordinario. Es quizs,

la rama ms poderosa e influyente de toda la Matemtica. Influye en casi todas
las disciplinas cientficas, artsticas y en la propia Matemtica de una manera
fundamental. El concepto de estructura y los relacionados con ste, como el
de isomorfismo, juegan un papel decisivo en la Matemtica actual. Este texto
contiene el material correspondiente al curso sobre la materia que se imparte
en la Facultad de Ciencias de la Universidad Nacional Autnoma de Mxico.
Sigue el enfoque de los otros textos del autor sobre lgebra Lineal y lgebra
Homolgica. En l se escogi una presentacin moderna donde se introduce el
lenguaje de diagramas conmutativos y propiedades universales, tan requerido en
la matemtica actual as como en la Fsica y en la Ciencia de la Computacin,
entre otras disciplinas.
El texto consta de tres captulos con cuatro secciones cada uno. Cada
seccin contiene una serie de problemas que se resuelven con creatividad utilizando el material expuesto, mismos que constituyen una parte fundamental del
texto. Tienen tambin como finalidad, la de permitirle al estudiante redactar
matemtica. El libro est diseado para un primer curso sobre la Teora de
Grupos el cual se cubre en su totalidad en cuarenta horas de clase. El autor
ha decidido incluir este texto dentro de las Publicaciones Electrnicas de la Sociedad Matemtica Mexicana con el nimo de predicar con el ejemplo y mostrar
(como matemtico y Editor Ejecutivo) la confianza en este tipo de publicacin.
El autor, Emilio Lluis-Puebla, realiz sus Estudios Profesionales y de Maestra en Matemtica en Mxico. En 1980 obtuvo su Doctorado en Matemtica
en Canad. Es catedrtico de la Universidad Nacional Autnoma de Mxico
en sus Divisiones de Estudios Profesionales y de Posgrado desde hace ms de
treinta aos. Ha formado varios profesores e investigadores que laboran tanto en
M-xico como en el extranjero. Su trabajo matemtico ha quedado establecido
en sus artculos de investigacin y divulgacin que ha publicado sobre la KTeora Algebraica y la Cohomologa de Grupos en las ms prestigiadas revistas
nacionales e internacionales. Ha sido Profesor Visitante en Canad.
Recibi varias distinciones acadmicas, entre otras, la medalla Gabino Barreda al ms alto promedio en la Maestra, Investigador Nacional (1984-1990) y
C-tedra Patrimonial de Excelencia del Conacyt (1992-1993). Es autor de varios
libros sobre K-Teora Algebraica, lgebra Homolgica, lgebra Lineal y Teora
Matemtica de la Msica publicados en las editoriales con distribucin mundial
Addison Wesley, Birkhuser y Springer Verlag entre otras.
Es miembro de varias asociaciones cientficas como la Real Sociedad Matemtica Espaola y la American Mathematical Society. Es presidente de la Academia de Ciencias del Instituto Mexicano de Ciencias y Humanidades, presidente
de la Academia de Matemtica de la Sociedad Mexicana de Geografa y Estadstica y presidente 2000-2002 de la Sociedad Matemtica Mexicana.

Teoria de Grupos - Lluis Puebla, Emilio

Cargado por

Copyright:

Formatos disponibles

Teoria de Grupos - Lluis Puebla, Emilio

Cargado por

Información del documento

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

Teoria de Grupos - Lluis Puebla, Emilio

Cargado por

Copyright:

Formatos disponibles

Publicaciones Electrnicas

Sociedad Matemtica Mexicana

Serie: Textos. Vol. 6 (2014)

I.1 Operaciones Binarias

Deseo agradecer a mis alumnos, a los rbitros revisores y muy en especial a

Tambin, cuando uno pregunta cul es la diferencia entre un matemtico

sumar o multiplicar de ciertos nmeros sino el conjunto y su operacin binaria

los nmeros de los relojes) o por un nmero primo p obteniendo conceptos y

un papel de filtro delicado, la cual explica suficientemente el porqu el que carece

I.1 Operaciones Binarias

no es una funcin, puesto que a un objeto de A no se le asocia un nico elemento

Utilizamos la siguiente notacin

para denotar las imgenes de los elementos

Tercero: considere el producto cartesiano de un conjunto A que se denota

I.1 Operaciones Binarias

es una operacin binaria, lo mismo que la multiplicacin definida en ellos. Estas

I.1 Operaciones Binarias

naturales positivos y de nmeros racionales positivos (tngase en cuenta que no

1.5 Sea 3 el conjunto de las permutaciones de 1, 2, 3. Calcule el nmero de

I.2 Estructuras Algebraicas

I.2 Estructuras Algebraicas

Si en la definicin anterior consideramos un conjunto S con una operacin

I.2 Estructuras Algebraicas

La ley distributiva puede expresarse como

el grupo conmutativo de y que tambin es un homomorfismo del semigrupo

I.2 Estructuras Algebraicas

Para quienes han estudiado, dentro de un curso elemental de lgebra Lineal,

tenemos un lgebra graduada (donde definimos T 0 V = K y T 1 V = V ) T V =

llamada lgebra exterior o lgebra de Grassmann de V .

I.3 Propiedades Elementales

I.3 Propiedades Elementales

De manera anloga se tiene el elemento de identidad derecho y el inverso

Demostracin. Puesto que x(x1 y) = (xx1 )y = ey = y. Luego, a =

3.6 Proposicin. En un grupo G, se tiene, para cualesquiera elementos

I.3 Propiedades Elementales

3.11 Definicin. Sea f : G G0 un homomorfismo de grupos. Diremos

3.15 Proposicin. Un subconjunto H de (G, ) es un subrupo de G si, y

I.3 Propiedades Elementales

Demostracin. Inmediata de la proposicin anterior tomando H = G y

Sea : Y 0 Y un homomorfismo de grupos abelianos y (X Y 0 ) un

Sea : X 0 X un homomorfismo de grupos abelianos y (X Y )

Hom(X, Y ). Asociemos a g un homomorfismo (X 0 Y ) Hom(X 0 , Y )

dada por (g) = g . Entonces es un homomorfismo de grupos abelianos

Sean : X 0 X y 0 : X X 00 homomorfismos de grupos abelianos y Y

3.1 Establezca la definicin de grupo conmutativo escrito aditivamente,

I.3 Propiedades Elementales

3.22 Sea : Y 0 Y un homomorfismo de grupos abelianos y (X Y 0 )

dada por (f ) = f . Pruebe que es un homomorfismo de grupos abelianos.

3.23 Sea : X 0 X un homomorfismo de grupos abelianos y (X

Y ) Hom(X, Y ). Asociemos a g un homomorfismo (X 0 Y ) Hom(X 0 , Y )

I.4 Grupos Cclicos

I.4 Grupos Cclicos

I.4 Grupos Cclicos

lo tanto h es inyectiva. Es fcil ver que h est bien definida, es homomorfismo

4.1 Sea h : G G0 un homomorfismo de grupos multiplicativos. Pruebe

II.1 Sucesiones Exactas

II.1 Sucesiones Exactas

1.8 Proposicin. Sean G0 G G00 y H 0 H H 00 dos sucesiones

dos de los tres homomorfismos h0 , h, h00 son isomorfismos. Entonces el tercero

Por lo tanto, y h(z) ker g. Como la sucesin inferior es exacta, existe y 0 H 0