Algebra Abstracta.

28 de diciembre de 2007
2
Indice general

1. Grupos. 5
1.1. Semigrupos, monoides y grupos . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.1. Ejemplos de grupos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3. Morfismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4. Subgrupos normales. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4.1. Relaciones de equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4.2. Subgrupos normales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5. Teorema del factor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6. Generadores de subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.6.1. Subgrupo generado por un conjunto . . . . . . . . . . . . . . . . . . . 16
1.6.2. Grupos cclicos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.7. Automorfismos interiores. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.8. Teoremas de isomorfismos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.8.1. Teorema de correspondencia . . . . . . . . . . . . . . . . . . . . . . . . 20
1.8.2. Teoremas de isomorfismos . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.9. Grupos abelianos de tipo finito . . . . . . . . . . . . . . . . . . . . . . . . . . 22

2. Acciones de grupos. 23

3
4 INDICE GENERAL
Captulo 1

Grupos.

El concepto de grupo es esencial en el estudio del algebra.

1.1. Semigrupos, monoides y grupos

Sea G un conjunto no vaco. Una operacion binaria o ley de composicion sobre G es
una funcion G G G. La imagen por la ley de composicion del par (a, b) G G se
denota como ab (notacion multiplicativa), o tambien como a + b (notacion aditiva). En la
mayor parte del curso, usaremos la notacion multiplicativa y nos referiremos a ab como el
producto de a y b.

Definicion 1 Sea G un conjunto no vaco y G G G una operacion binaria sobre G. Se

dice que

1. La ley de composicion es asociativa si a(bc) = (ab)c para todo a, b, c G.

2. La ley de composicion es conmutativa si ab = ba para todo a, b G.

3. Un elemento e G es un elemento neutro o identidad o unidad de la ley de

composicion si
ae = ea = a para todo a G.

4. Un elemento b G es un inverso de a G si ab = ba = e.

Observacion 1 Generalmente, la notacion aditiva se utiliza cuando la ley de composicion

es conmutativa.

Definicion 2 Sea G un conjunto no vaco equipado con una ley de composicion sobre G .

1. Se dice que G es un semigrupo si

a) la ley de composicion es asociativa

2. Se dice que G es un monoide si

a) G es un semigrupo,
b) la ley de composicion tiene un elemento neutro eG G.

5
6 CAPITULO 1. GRUPOS.

3. Se dice que G es un grupo si

a) G es un monoide,
b) Todo a G tiene un inverso.

4. Se dice que G es un grupo abeliano si G es un grupo y la ley de composicion es

conmutativa.

El orden de un grupo G es su cardinal (numero de elementos), y se escribe como |G|. Se dice

que el grupo G es finito si |G| < . En caso contrario, se dice que G es infinito.
El siguiente teorema muestra la unicidad del neutro y del inverso de cada elemento en un
grupo.

Teorema 1 Sea G un conjunto no vaco equipado de una ley de composicion.

1. Si G es un monoide, entonces el elemento neutro e es unico. En este caso, denotaremos

eG al unico neutro de G.

2. Si G un grupo, entonces:

a) c G y cc = c, c = eG .
b) (Cancelacion por la izquierda) a, b, c G y ab = ac b = c.
c) (Cancelacion por la derecha) a, b, c G y ba = ca b = c.
d) Para todo a G, su elemnto inverso es unico. En este caso, denotaremos a1 al
unico inverso de a.
e) Para todo a G, (a1 )1 = a.
f) Para todo a, b G, (ab)1 = b1 a1 .

Demostracion: Si G es un monoide, entonces por definicion existe un elemento neutro e G.

Veamos que este es unico: si e0 G es otro elemnto neutro, entonces e = ee0 = e0 . Luego,
e = e0 y, por lo tanto, e es unico.
Supongamos que G es un grupo, y probemos las afirmaciones (a)-(f).
(a) Sea c G tal que cc = c. Entonces c1 (cc) = c1 c (c1 c)c = c1 c eG c = eG c =
eG .
(b) Sean a, b, c G tales que ab = ac. Luego,

ab = ac a1 (ab) = a1 (ac)
(a1 a)b = (a1 a)c
eG b = eG c
b=c

(c)Ejercicio.
(d) Sea a G. Dado que G es un grupo, existe un inverso a1 para a. Veamos que este es
unico: si a0 G es otro inverso para a, entonces aa0 = eG = aa1 . Utilizando la cancelacion
por la izquierda, conclumos que a0 = a1 , lo que prueba la unicidad del inverso.
1.1. SEMIGRUPOS, MONOIDES Y GRUPOS 7

(e) Ejercicio
(f) Ejercicio.


Observacion 2 A veces un grupo G se denota por (G, ), donde indica la operacion binaria
que se utiliza.

1.1.1. Ejemplos de grupos.

N {0}, equipado con la suma como ley de composicion, es un monoide.

Z, Q, R y C, cada uno equipado con la suma como ley de composicion, es un grupo

abeliano.

Q \ {0}, R \ {0} y C \ {0}, cada uno equipado con la multiplicacion como ley de
composicion, es un grupos abeliano.

Races de la unidad
Sean n un entero positivo y G el subconjunto de C de todas las races n-esimas de la unidad.
Es decir,
G = {e2ir/n : r {0, , n 1}}.
La multiplicacion de numeros complejos restringida a G G es una ley de composicion sobre
G. Con esta ley de composicion, G es un grupo abeliano finito. En efecto:

La multiplicacion en C es asociativa, por lo que tambien es asociativa en G,

G tiene neutro y este es igual a e2i0/n = 1.

Sea r {0, , n 1}. El elemento e2ir/n tiene inverso y este es igual e2i(nr)/n .

La multiplicacion en C es conmutativa, por lo que tambien es conmutativa en G. Luego,

G es abeliano,

El cardinal de G es |G| = n < . Luego, G es finito.

Conjunto de matrices invertibles con la multiplicacion.

Sean n 2 un entero y K = Q, R o C. Se define

GL(n, K) = {A Mnn (K) : A es invertible }.

El conjunto GL(n, K), equipado con la multiplicacion de matrices, es un grupo. En efecto:

La multiplicacion de matrices es asociativa en Mnn (K). Luego, es asociativa en GL(n, K).

GL(n, K) tiene neutro, y este es igual a la matriz identidad In Mnn (K).

Toda matriz A GL(n, K) tiene un inverso, y este igual a la matriz inversa A1 .

Como la multiplicacion de matrices no es conmutativa, GL(n, K) no es abeliano.

8 CAPITULO 1. GRUPOS.

Conjunto de funciones biyectivas con la composicion de funciones.

Sean X un conjunto no vaco y G = {f : X X : f es invertible }. La composicion de
funciones es una ley de composicion sobre G. El conjunto G, equipado de la composicion de
funciones, es un grupo. En efecto:

La composicion de funciones es asociativa,

La funcion identidad id : X X es el neutro para la composicion de funciones,

para todo f G su inversa f 1 es el inverso de f para la composicion de funciones.

El grupo (G, ) no siempre es abeliano, como lo muestra el proximo ejemplo.

Grupo de permutaciones
Sea n 2 un entero. Definimos los conjuntos

Bn = {1, , n} y Sn = { : Bn Bn : es biyectiva }.

Sn equipado con la composicion de funciones es un grupo (es un caso particular del ejemplo
anterior). Este grupo se conoce con el nombre de grupo de permutaciones de n elementos.
Los elementos de Sn se llaman permutaciones, y Sn se anota
 
1 n
= ,
(1) (n)

o simplemente
= ((1) (n)) .
(Sn , ) es un grupo finito, con |Sn | = n!.
Si n = 2, las unicas permutaciones son id = (12) y = (21). Luego, como id = id = ,
el grupo S2 es abeliano.
Si n 3, Sn no es abeliano. Para verificarlo, basta tomar las siguientes dos permutaciones
   
1 2 3 4 n 1 2 3 4 n
= y = ,
2 3 1 4 n 2 1 3 4 n

y comprobar que 6= .

Producto directo
Sean G1 y G2 dos grupos. Considere el producto G = G1 G1 = {(g1 , g2 ) : g1 G1 , g2 G2 }.
Se define la siguiente operacion binaria sobre G:

(g1 , g2 )(h1 , h2 ) = (g1 g2 , h1 h2 ), para todo g1 , h1 G1 y g2 , h2 G2 .

Entonces G equipado con esta operacion es un grupo, cuyo elemento neutro es (eG1 , eG2 ).
Ademas, el inverso de (g1 , g2 ) esta dado por (g11 , g21 ), para todo (g1 , g2 ) G.
Similarmente, para n 3 grupos G1 , , Gn , el producto

G = G1 Gn = {(g1 , , gn ) : gi Gi para todo 1 i n}

1.2. SUBGRUPOS 9

equipado con la operacion binaria coordenada a coordenada, es un grupo.

De manera masQgeneral, sea I un conjunto de ndices, y para cada i I, sea Gi un grupo. El
producto G = iI Gi es el conjunto definido por
Y
Gi = {(xi )iI : xi Gi , para todo i I}.
iI

Sobre este conjunto se define la operacion binaria coordenada a coordenada dada por

(xi )iI (yi )iI = (xi yi )iI para todo (xi )iI , (yi )iI G.

El conjunto G, equipado con la operacion binaria coordenada a coordenada, es un grupo cuyo

elemento neutro es (eGi )iI . Ademas, el inverso de (xi )iI esta dado por (x1
i )iI , para todo
(xi )iI G. Al grupo G se le llama el producto directo de la familia {Gi }iI .
De lo anterior se deduce que Zn , Qn , Rn y Cn , cada uno equipado con la suma coordenada a
coordenada, es un grupo.

1.2. Subgrupos
Definicion 3 Sea G un grupo. Se dice que H G es un subgrupo de G si satisface las dos
propiedades siguientes:

H es cerrado para la ley de composicion, i.e,

xy H, para todo x, y H.

H, equipado con la restriccion a H H de la ley de composicion, es un grupo.

Se dice que un subgrupo H de G es trivial si H = {eG }. Observe que este es el subgrupo

mas pequenode G.

Ejercicio 1 Sea G un grupo. Pruebe que H G es un subgrupo de G si y solo si las siguientes

tres propiedades son ciertas:

1. H es cerrado para la ley de composicion.

2. eG H.

3. Para todo x G, su inverso x1 H.

Proposicion 1 (Caracterizacion de subgrupos) Sea G un grupo. Un subconjunto H de G es

un subgrupo de G si y solo si las siguientes dos propiedades son ciertas:

1. H 6= .

2. xy 1 H, para todo x, y H.
10 CAPITULO 1. GRUPOS.

Demostracion:
Si H G es un subgrupo entonces, por Ejercicio 2, eG H. Luego, H 6= . Si x, y H
entonces, nuevamente por Ejercicio 2, tenemos que y 1 H. Como H es cerrado por la ley
de composicion, conclumos que xy 1 H.
Supongamos que H G satisface las propiedades 1. y 2. de la Proposicion. Como H 6= ,
existe x H. Luego, la propiedad 2. implica que eG = xx1 H. Ya que eG H, de la
propiedad 2. sigue que si x H, entonces eG x1 = x1 H. Sean x, y H. De lo probado
anteriormente se tiene que y 1 H. Luego, propiedad 2. implica que xy = x(y 1 )1 H.
Finalmente, por Ejercicio 2, conclumos que H es un subgrupo de G. 

Ejercicio
T 2 Sea G un grupo y sea {Gi }iI una familia de subgrupos de G. Pruebe que H =
iI Gi es un subgrupo de G.

1.3. Morfismos
Una manera de relacionar dos espacios X e Y es por medio de alguna funcion f : X Y .
Dependiendo de la estructura que tengan X e Y , es el tipo de funcion que se escoge. Por
ejemplo, si X e Y son espacios vectoriales, lo natural es exigir que f sea una funcion lineal.
Cuando X e Y son grupos, las funciones que interesan son los morfismos u homomorfismos.

Definicion 4 Sean G y H dos grupos. Un morfismo u homomorfismo entre G y H es

una funcion f : G H que satisface la siguiente propiedad:

f (xy) = f (x)f (y) para todo x, y G.

En palabras, un morfismo entre dos grupos G y H es una funcion entre G y H que preserva
la estructura de grupo.

Ejercicio 3 Sean G y H dos grupos, y f : G H un morfismo. Pruebe que

Si eG y eH son los elementos neutros de G y H, respectivamente, entonces f (eG ) = eH .

f (g 1 ) = f (g)1 , para todo g G.

Sean G y H dos grupos. Un morfismo f : G H recibe el nombre de

monomorfismo si es inyectivo.

epimorfismo si es epiyectivo.

isomorfismo si es biyectivo.

endomorfismo si H = G.

automorfismo si es biyectivo y H = G.

Definicion 5 Se dice que los grupos G y H son isomorfos, lo que se escribe como G
= H,
si existe un isomorfismo f : G H.

Ejercicio 4 Sea f : G H un morfismo entre los grupos G y H. Entonces:

1.4. SUBGRUPOS NORMALES. 11

Si G1 G es un subgrupo de G, entonces f (G1 ) es un subgrupo de H.

Si H1 H es un subgrupo de H, entonces f 1 (H1 ) es un subgrupo de G.

Definicion 6 Sea f : G H un morfismo entre los grupos G y H.

Se define el nucleo o kernel de f como el conjunto

Ker(f ) = f 1 ({eH }) = {x G : f (x) = eH }.

Se define la imagen de f como el conjunto

Im(f ) = f (G) = {f (x) : x G}.

Ejercicio 5 Sea f : G H un morfismo entre los grupos G y H. Pruebe que Ker(f ) es un

subgrupo de G, y que Im(f ) es un subgrupo de H.

La siguiente Propisicion entrega una caracterizacion de los morfismos inyectivos.

Proposicion 2 Sea f : G H un morfismo entre los grupos G y H. Entonces

f es inyectiva si y solo si Ker(f ) = {eG }.

Demostracion: Supongamos que f es inyectiva. Como f (eG ) = eH , entonces eG Ker(f ). Si

x Ker(f ) entonces f (x) = f (eG ) = eH , pero como f es inyectiva, es necesario que x = eG .
Luego, Ker(f ) = {eG }.
Supongamos que Ker(f ) = {eG }. Sean x, y G tales que f (x) = f (y). Entonces tenemos que

f (x)f (y)1 = eH f (x)f (y 1 ) = eH

f (xy 1 ) = eH
xy 1 Ker(f ).

Luego, por hipotesis, xy 1 = eG , lo que implica que x = y. 

1.4. Subgrupos normales.

1.4.1. Relaciones de equivalencia
Sea X un conjunto no vaco. Una relacion sobre X es un subconjunto R de X X. Se dice
que x X esta relacionado segun R con y X (lo que anotaremos x R y, o simplemente
x y, si no hay confusion) si y solo si (x, y) R.
Se dice que R es una relacion de equivalencia si cumple las siguientes propiedades:

Reflexividad: x x para todo x X.

Simetra: para todo x, y X, x y y x.

Transitividad: para todo x, y, z X, x y e y z x z.

12 CAPITULO 1. GRUPOS.

Si R es una relacion de equivalencia, se define la clase de equivalencia de x X como

[x]R = [x] = {y X : x y}.

Observacion 3 Notar que x y si y slo si [x] = [y].

La coleccion de clases de equivalencia de R forma una particion de X.

Al conjunto de clases de equivalencia de R se le llama conjunto cuociente y se denota
X/ R o simplemente X/ .

Definicion 7 Sea G un grupo. Se dice que la relacion de equivalencia sobre G es com-

patible con la ley de composicion si

para todo x1 , x2 , y1 , y2 G, x1 y1 y x2 y2 x1 x2 y1 y2 .

Sea G un grupo y sea una relacion de equivalencia compatible con la ley de composicion.
Sobre X/ la siguiente ley de composicion esta bien definida

[x][y] = [xy], para todo x, y G.

En efecto, si x0 [x] e y 0 [y], entonces, por definicion de relacion compatible, se tiene que
x0 y 0 xy. Es decir, [x0 y 0 ] = [xy].
Llamaremos ley inducida a esta ley de composicion sobre G/ .

Proposicion 3 Sea G un grupo y sea una relacion de equivalencia compatible con la ley
de composicion. El conjunto cuociente G/ , equipado con la ley de composicion inducida,
es un grupo.

Demostracion: La asociatividad de la ley inducida se hereda de la asociatividad de la ley de

composicion de G. La clase [eG ] es el elemento neutro para la ley inducida. Luego, el inverso
de [x] es [x1 ], para todo [x] G/ .


Ejercicio 6 Sean G un grupo y una relacion de equivalencia compatible con la ley de

composicion.
Pruebe que la funcion : G G/ definida por (x) = [x] es un morfismo epiyectivo.

Definicion 8 Sean G un grupo y una relacion de equivalencia compatible con la ley de

composicion.
Al epimorfismo : G G/ , definido por (x) = [x], se le llama epimorfismo canonico
o sobreyeccion canonica.

Ejercicio 7 Sean G un grupo y una relacion de equivalencia compatible con la ley de

composicion. Pruebe que

[eG ] G es el kernel de : G G/ .

Para todo x G e y Ker(), se tiene que x1 yx Ker().

1.4. SUBGRUPOS NORMALES. 13

1.4.2. Subgrupos normales

Hemos visto que el Kernel de un morfismo f : G H es un subgrupo de G. En lo que sigue,
trataremos de caracterizar tales subgrupos.
En el Ejercicio 7, se prueba que el kernel de un epimorfismo canonico satisface

x1 Ker()x Ker(), para todo x G.

En realidad, se puede probar un resultado mas general, como la muestra la siguiente proposi-
cion.

Proposicion 4 Sea f : G H un morfismo entre los grupos G y H. Entonces

x1 Ker(f )x = Ker(f ), para todo x G.

Demostracion: Sean x G e y Ker(f ). Tenemos que

f (x1 yx) = f (x1 )f (y)f (x)

= f (x)1 eH f (x)
= f (x)1 f (x)
= eH .

Luego, x1 yx Ker(f ). Como x e y son arbitrarios, hemos probado que

x1 Ker(f )x Ker(f ), para todo x G. (1.4.1)

Por otro lado, si y Ker(f ) entonces y = x1 xyx1 x. Por (1.4.1) aplicado a x1 , deducimos
que xyx1 H. Luego, y = x1 xyx1 x x1 Ker(f )x, lo que prueba que

x1 Ker(f )x = Ker(f ), para todo x G.

Definicion 9 Sea G un grupo. Un subgrupo H de G se dice normal si

x1 Hx = H, para todo x G.

La frase H es un subgrupo normal de Gse abrevia por H
G.

Ejercicio 8 Sea H un subgrupo de G. Probar que

x1 Hx = H x1 Hx H.

Luego, H
G x1 Hx H para todo x G.

Ejercicio 9 Si G es un grupo abeliano, entonces todo subgrupo de G es normal.

De la Proposicon 4 conclumos que el kernel de un morfismo es un subgrupo normal. Veremos

que cualquier subgrupo normal es el kernel de algun morfismo.
14 CAPITULO 1. GRUPOS.

Definicion 10 Sea H G un subgrupo. Se define la siguiente ralcion sobre G

x H y x1 y H.

Proposicion 5 Sea H G un subgrupo.

La relacion H es de equivalencia.

La clase de equivalencia de x G es el conjunto xH. Este conjunto recibe el nombre

de clase derecha de x.

La relacion H es compatible con la ley de composicion si y solo si H
G.

Demostracion: El primer y el segundo punto quedan como ejercicio.

Para probar el tercer punto, supongamos primero que H es compatible con la ley de com-
posicion. Sean x G y h H. Tenemos que eG H h, pues e1 G h = h H, y x H x, pues
la relacion es refleja. Luego, como la relacion es compatible, obtenemos que eG x H hx. Es
decir, x1 (hx) = x1 hx H. Entonces, como x y h son arbitrarios, conclumos que

x1 Hx H, para todo x G,

lo que es equivalente a H
G.
Supongamos ahora que H
G. Sean x1 , x2 , y1 , y2 G tales que x1 H x2 e y1 H y2 ,
lo que equivale a decir que x1 1
1 x2 H e y1 y2 H. Ya que H es normal, tenemos que
y21 (x1 1
1 x2 )y2 H. Luego, como y1 y2 H y H es cerrado para la ley de composicion,
1 1 1
obtenemos (y1 y2 )y2 (x1 x2 )y2 = (x1 y1 )1 (x2 y2 ) H, lo que implica que x1 y1 H x2 y2 . 

Observacion 4 La relacion x H y yx1 H, tambien es de equivalencia. La clase de

x G segun esta relacion es igual a Hx (clase izquierda de x). En general, xH y Hx no
tienen porque coincidir. De hecho, xH = Hx, para todo x H H
G.

La Proposicion 5 asegura que si H
G entonces el cuociente G/ H , con la ley inducida, es

un grupo.
El cuociente G/ H se denota G/H, lo que se lee como G modulo H. Cuando H
G, se
dice que G/H es el grupo factor de G por H.
Ahora tenemos todas las herramientas para probar que cualquier subgrupo normal es el kernel
de algun morfismo.

Proposicion 6 Sea H G un subgrupo. Entonces

H es el kernel de un morfismo H
G.

Demostracion: En la Proposicion 4 se probo que si H es el kernel de un morfismo, entonces

H
G.
Si H
G, entonces G/H es un grupo. Ademas, como [eG ] = H, el kernel del epimorfismo
canonico : G G/H es H. 
1.5. TEOREMA DEL FACTOR 15

Enteros modulo m

Sea m 0 un entero, y considere Z equipado con la suma. El conjunto mZ = {ma : a Z}

es un subgrupo de Z. En efecto:

mZ 6= , pues 0 = m0 mZ,

Si a, b Z, entonces ma + mb = m(b a) mZ.

Como Z es abeliano, mZ es un subgrupo normal y, por lo tanto, Z/mZ es un grupo con la

ley inducida.
La clase de a Z en Z/mZ es el conjunto

[a] = a + mZ = {mk + a : k Z}.

Si b a + mZ se dice que a = b modulo m. El conjunto Z/mZ tambien se denota como

Zm , y se lee Z modulo m.
Observe que Z/mZ = {[0], , [m 1]}.

Proposicion 7 Los subgrupos de Z son todos de la forma mZ, con m 0.

Demostracion:
Sea H Z un subgrupo.
Caso 1: si H = {0}, entonces H = 0Z.
Caso 2: si H 6= {0}, entonces existe m = mn{a H : a > 0}. Sea h H un elemento
cualquiera, y sea k Z tal que km m < (k + 1)m. Tenemos que h = km + r, para algun
r {0, , m 1}. Como m H, entonces km y km estan en H. Luego, h km = r H.
Ya que m es el elemento positivo mas pequeno en H, necesariamente r = 0. Luego, h = mk.


De la Proposicion anterior, se desprende que los unicos grupos factores de Z por un subgrupo
son los grupos Z modulo m.

Ejercicio 10 Pruebe que Z

= Z/0Z.

1.5. Teorema del factor

Teorema 2 (Teorema del factor) Sea f : G L un morfismo entre los grupos G y L. Sea
H
G tal que H Ker(f ). Entonces existe un unico morfismo f : G/H L que verifica
f = f , donde : G G/H es el epimorfismo canonico.

f
G /L.
zz=
fz
zzz
 zz
G/H
16 CAPITULO 1. GRUPOS.

Demostracion: Primero mostremos la unicidad: si f1 , f2 : G/H L son dos morfismos tales

que f1 = f = f2 , entonces para todo [x] G/H,

f1 ([x]) = f1 (x) = f (x) = f2 (x) = f2 ([x]),

lo que prueba que f1 = f2 .

Si se tiene que [x] = [x0 ] f (x) = f (x0 ), entonces la funcion f : G/H L que a [x] G/H le
asigna f (x), esta bien definida. Veamos que esto es cierto: Sean x, x0 G tales que [x] = [x0 ].
Luego, x = x0 h para algun h H. Entonces f (x) = f (x0 h) = f (x0 )f (h) = f (x0 )eL = f (x0 ).
Facilmente se comprueba que f es un morfismo que satisface f = f .


Proposicion 8 Sea f : G L un morfismo entre los grupos G y L. Sea H
G tal que

H Ker(f ), y sea f : G/H L el morfismo que verifica f = f , donde : G G/H.
entonces

f es un epimorfismo f es un epimorfismo.

f es inyectiva Ker(f ) = H.

Demostracion: Como es un epimorfismo, se tiene que (G) = G/H. Esto implica que

f (G) = f (G) = f (G/H).

Es decir, Im(f ) = Im(f ). Deducimos entonces que f es un epimorfismo si solo si f es un

epimorfismo.
Tenemos que

Ker(f ) = {[x] G/H : f ([x]) = eL }

= {[x] G/H : f (x) = eL }
= {[x] G/H : x Ker(f )}

Luego, f es inyectiva Ker(f ) = {[eG ]} Ker(f ) H.



Corolario 1 Si f : G L es un epimorfismo entre los grupos G y L, entonces G/Ker(f )

es isomorfo a L.
En general, si f : G L es un morfismo, entonces G/Ker(f ) es isomorfo a Im(f ).

1.6. Generadores de subgrupos

1.6.1. Subgrupo generado por un conjunto
En el Ejercicio 2 se probo que la interseccion de subgrupos es nuevamente un subgrupo. Esto
permite definir la nocion de subrupo generado por un conjunto.
1.6. GENERADORES DE SUBGRUPOS 17

Definicion 11 Sean G un grupo y A G. El subgrupo generado por A se define como

\
hAi = H.
AH
H subgrupo de G

El subgrupo generado por A es el subgrupo mas pequenoque contiene a A. Es decir, si

H G es un subgrupo que contiene a A, entonces hAi H.

Ejercicio 11 Sea G un grupo. Pruebe que

Si A B G entonces hAi hBi.

A es un subgrupo de G hAi = A.

hhAii = hAi.

T 12 Sean G un grupo y {Gi }iI una coleccion de subgrupos normales de G. En-

Ejercicio
tonces iI Gi es un subgrupo normal de G.

En el Ejercicio 12 se probo que la interseccion de subgrupos normales es nuevamente un

subgrupo normal. Esto permite definir la nocion de subrupo normal generado por un conjunto.

Definicion 12 Sean G un grupo y A G. El subgrupo normal generado por A es

\
hAiN = H.
AH
H
G

El subgrupo normal generado por A es el subgrupo normal mas pequeno que contiene a A.
Es decir, si H
G y A H, entonces hAiN H.

1.6.2. Grupos cclicos.

Definicion 13 Sean G un grupo y a G. Para n Z se define

a0 = eG
an+1 = an a si n0
n n 1
a = (a ) si n < 0.

Si se usa la notacion aditiva, an se escribe na.

Proposicion 9 Sean G un grupo y a G. Parar todo n, m Z se tiene

an+m = an am .

(an )m = anm .

Demostracion: Ejercicio. 
18 CAPITULO 1. GRUPOS.

Proposicion 10 Sean G un grupo y A G, A 6= . Entonces

hAi = {an1 1 anmm : n1 , , nm Z, a1 , , am A, m N}.

Demostracion: Sea

H = {an1 1 anmm : n1 , , nm Z, a1 , , am A, m N}.

Es claro que A H. Luego hAi H.

Si H 0 G es un subgrupo que contiene a A, entonces para todo n1 , , nm Z, a1 , , am
A y m N, H 0 contiene a an1 1 anmm , pues H 0 es cerrado para la ley de composicion. Esto
implica que H H 0 y, por lo tanto, H hAi. 

Definicion 14 Sea G un grupo. Se dice que G es cclico si existe a G tal que

G = h{a}i = {an : n Z}.

Ejemplos

(Z, +) es cclico. En efecto,

Z = h{1}i = h{1}i .

Para m 1, el grupo Z/mZ, equipado con la suma inducida, es cclico. En efecto,

Z/mZ = h{[1]}i .

Proposicion 11 Sea G es un grupo cclico. Entonces

Si G es infinito, entonces G es isomorfo a Z.

Si |G| = m < , entonces G es isomorfo a Z/mZ.

Demostracion: Si G es cclico, entonces existe a G tal que G = {an : n Z}. Definimos

f : Z G
n an

Es claro que f es un epimorfismo. Luego, por el Teorema del factor, G es isomorfo a Z/Ker(f ).
Como Ker(f ) es un subgrupo de Z, la Proposicion 7 implica que existe k 0 tal que Ker(f ) =
kZ. Luego, G = Z/kZ.
Si G es infinito, entonces Z/kZ es infinito, lo que es posible slo si k = 0. Esto muestra que
si G es infinito entonces G
= Z. Si |G| = m < , entonces |Z/kZ| = k = m. 
1.7. AUTOMORFISMOS INTERIORES. 19

1.7. Automorfismos interiores.

Sea G un grupo. El conjunto de automorfismos de G se denota por Aut(G). Con la composi-
cion de funciones, Aut(G) es un grupo.

Definicion 15 Sean G un grupo y a G. El automorfismo interior definido por a es la

funcion

Ia : G G
x axa1

Ia es un automorfismo.

Ejercicio 13 Sean G un grupo, a G y b G. Probar que

Ia es un automorfismo.

Ia Ib = Iab

IeG = id.

(Ia )1 = Ia1 .

Se define I : G Aut(G) como I(a) = Ia , para todo a G. Esta funcion es un morfismo de

grupos, cuya imagen es el conjunto de los automorfismos interiores. Se tienen las siguientes
propiedades:

Im(I)
Aut(G).

Ker(I) = {a G : ax = xa, para todo x G}.

Para mostrar la primera afirmacion, note que si f Aut(G), entonces

f 1 Ia f = If 1 (a) Im(I).

La segunda afirmacion es directa.

Definicion 16 El centro de un grupo G es el kernel del morfismo I. Este se anota

Z(G) = {a G : ax = xa para tod x G}.

Por el Teorema del factor se tiene que G/Z(G)

= Im(I). Es decir, G/Z(G) es isomorfo al
grupo de los automorfismos interiores.

Definicion 17 La operacion x axa1 se llama conjugacion de x por a, y el automorfismo

interior Ia es la conjugacion por a.
20 CAPITULO 1. GRUPOS.

1.8. Teoremas de isomorfismos.

Definicion 18 Sea G un grupo, y sean H y K dos subgrupos de G. El compuesto de H y
K es el grupo
HK =< H K > .

Ejercicio 14 Probar que

HK = {(h1 k1 ) (hn kn ) : h1 , , hn H, k1 , , kn K, n N}.

Proposicion 12 Sea G un grupo, y sean H y K dos subgrupos de G. Entonces

HK = KH.

Si H
G, entonces HK = {hk : h H, k K}.

Si H
G y K
G, entonces HK
G.

Demostracion: Para la primera parte, notar que

(h1 k1 ) (hn kn ) = (eG h1 )(k1 h2 ) (kn1 hn )(kn eG ) KH,

lo que prueba que HK KH. De igual forma se prueba que KH HK.

Si H
G, entonces para todo x G y h H, existe h0 H tal que xh = h0 x. Luego, para
h1 , h2 H y k1 , k2 K existe h3 H tal que

(h1 k1 )(h2 k2 ) = (h1 h3 )(k1 k2 ) = hk, con h = h1 h3 H y k = k1 k2 K.

Por induccion sobre n, se prueba que para todo h1 , , hn H y k1 , , kn K, existe h H

y k K tales que (h1 k1 ) (hn kn ) = hk. Esto muestra que HK = {hk : h H, k K}.
La ultima parte se deduce de la segunda (ejercicio).


Proposicion 13 Sea f : G L un morfismo entre los grupos G y L. Para todo subgrupo

H G se tiene que f 1 (f (H)) = Ker(f )H.

Demostracion: Sea x f 1 (f (H)). Existe h H tal que f (x) = f (h). Entonces f (xh1 ) =
eL , lo que implica que x Ker(f )H. Esto muestra que f 1 (f (H)) Ker(f )H.
Sea x Ker(f )H. Como Ker(f )
G, por la Proposicion 12, existen k Ker(f ) y h H tales
que x = kh. Luego, f (x) = f (kh) = f (h) f (H), lo que implica que x f 1 (f (H)).


1.8.1. Teorema de correspondencia

Ejercicio 15 Sea f : G L un morfismo entre los grupos G y L, y sea H un subgrupo de
L. Pruebe que f 1 (H) es un subgrupo de G tal que Ker(f ) f 1 (H).

Ejercicio 16 Sea f : G L un epimorfismo entre los grupos G y L, y sea H
G. Pruebe

que f (H)
L.
1.8. TEOREMAS DE ISOMORFISMOS. 21

Teorema 3 (Teorema de correspondencia) Sea f : G L un epimorfismo entre los grupos

G y L. Entonces

Hay una biyeccion entre el conjunto de los subgrupos de G que contienen a Ker(f ) y el
conjunto de los subgrupos de L.

Hay una biyeccion entre el conjunto de los subgrupos normales de G que contienen a
Ker(f ) y el conjunto de los subgrupos normales de L.

Demostracion: Definimos los siguientes conjuntos

C1 = {H G : H es subgrupo de G y Ker(f ) H},

C2 = {H L : H es subgrupo de L},
C3 = {H G : H
G y Ker(f ) H} y C4 = {H L : H
L}.

La funcion : C1 C2 , dada por (H) = f (H), esta bien definida pues f (H) es un subgrupo
de L. Veamos que es biyectiva:
Sean H1 y H2 en C1 tales que f (H1 ) = f (H2 ). Entonces f 1 (f (H1 )) = f 1 (f (H2 )). Luego,
por Proposicion 13, tenemos que Ker(f )H1 = Ker(f )H2 . Pero Ker(f ) esta contenido en H1
y H2 , lo que implica que Ker(f )H1 = H1 y Ker(f )H2 = H2 . Esto muestra que es inyectiva.
Sea H C2 y sea H 0 = f 1 (H). Por Ejercicio 15, tenemos que H 0 C1 . La epiyectividad de
f implica que f (H 0 ) = H. Lo que muestra que es epiyectiva.
Hemos probado la primera parte del Teorema. Para mostrar la segunda parte, note que la
restriccion |C3 C4 esta bien definida (ver ejercicio 16). Ademas es inyectiva, pues es la
restriccion de una funcion inyectiva. Para probar que es epiyectiva, basta mostrar que si
H 0 C4 y H C1 es tal que f (H) = H 0 , entonces H
G. 

1.8.2. Teoremas de isomorfismos

Teorema 4 (Primer Teorema de isomorfismos) Sea f : G L un epimorfismo entre los
grupos G y L. Sea H
G tal que Ker(f ) H. Entonces la funcion f : G/H L/f (H),
definida por f([x]H ) = [f (x)]f (H) , es un isomorfismo.

Demostracion: Por ejercicio 16, f (H)
L. Luego, G/H y L/f (H), equipados con la ley
inducida, son grupos.
Sea 1 el epimorfismo canonico de L en L/f (H), y sea f = 1 f . La funcion f es un
epimorfismo, pues 1 y f lo son. Luego, por el Teorema del factor, la funcion f : G/Ker(f)
L/f (H), definida por f([x]Ker(f) ) = f(x) = [f (x)]f (H) , es un isomorfismo.
Por otro lado, Ker(f) = H, lo que prueba el Teorema.

Del Teorema 4, tenemos el siguiente diagrama

f
G JJ /L .
JJ
JJf
2 JJ 1
JJ
 f % 
G/H / L/f (H)
22 CAPITULO 1. GRUPOS.

Corolario 2 Sea f : G L un epimorfismo entre los grupos G y L, y sea H 0
L. Entonces

la funcion f : G/f 1 (H 0 ) L/H 0 , definida por f([x]f 1 (H 0 ) ) = [f (x)]H 0 , es un isomorfismo.

Demostracion: Sea H = f 1 (H 0 ). El Teorema de correspondencia implica que H
G. Luego,

por Teorema 4, tenemos que f es un isomorfismo. 

Ejercicio 17 Sea G un grupo y sean H y K dos subgrupos normales de G. Pruebe que

H/K
G/K.

Corolario 3 Sea G un grupo y sean H y K dos subgrupos normales de G, tales que K H.

Entonces
(G/K)/(H/K) = G/H.

Demostracion: Por Ejercicio 17, tenemos que H/K
G/K. Luego, podemos aplicar el Teorema
4 a G, L = G/K, f el epimorfismo canonico de G a G/K, y H. De esta forma, obtenemos
que f : G/H (G/K)/(H/K), definida por f([x]H ) = [[x]K ]H/K , es un isomorfismo.


Observacion 5 El corolario 3 es tambien conocido como el Primer Teorema de Isomorfis-

mos.

Ejercicio 18 Sean G un grupo y H
G. Pruebe que H
HK.

Teorema 5 (Segundo Teorema de isomorfismos) Sea G un grupo y sean H
G y K un

subgrupo de G. Entonces H
HK, (H K)
K y

K/(H K)
= HK/H.

Demostracion: En el Ejercicio 18 se pruba que H
HK.

Considere la inclusion i : K , HK, y el epimorfismo canonico : HK HK/H. La funcion
i es un epimorfismo. Es claro que i es un morfismo. Para probar que es epiyectiva,
considere [x]H en HK/H. Como H
G y x HK, existen h H y k K tales que x = hk.
Ademas, H
G implica que xH = Hx. Luego, ya que k = h x Hx = xH, tenemos que
[x]H = [k]H = i(k).
Aplicando el Teorema del factor, deducimos que

K/Ker( i)
= HK/H.

Pero Ker( i) = K H. Lo que prueba que (K H)
K y K/(H K)

= HK/K.


1.9. Grupos abelianos de tipo finito

Captulo 2

Acciones de grupos.

Definicion 19 Sea G un grupo y sea X un conjunto no vaco. Una accion izquierda de G

sobre X es una funcion : G X X con las siguientes propiedades:

1. (eG , x) = x, para todo x X.

2. (g, (h, x)) = (gh, x), para todo h, g G y x X.

De manera equivalente, una accion derecha de G sobre X es una funcion : X G X

que satisface

1. (x, eG ) = x, para todo x X.

2. ((x, h), g) = (x, hg), para todo h, g G y x X.

Una accion derecha no necesariamente coincide con una accion izquierda. Por ejemplo, si
: X G X es una accion derecha y definimos la funcion : G X X como
(g, x) = (x, g), para g G y x X, entonces

(g, (h, x)) = ((x, h), g) = (x, hg) = (hg, x),

lo que no necesariamente es igual a (gh, x), que es lo que se necesita para que sea una
accion izquierda.
La manera correcta de relacionar una accion derecha con una izquierda es la siguiente: si
es una accion derecha de G sobre X, entonces la funcion : G X X, definida por
(g, x) = (x, g 1 ) es una accion izquierda de G sobre X.

Observacion 6 En lo que sigue, a menos que se diga otra cosa, utilizaremos siempre acciones
izquierdas. Por lo tanto, omitiremos la palabra izquierda y hablaremos simplemente de accion.

Observacion 7 Si es una accion de G sobre X, entonces abreviaremos (g, x) como gx.

Luego, la primera propiedad que satisface una accion, con esta nueva notacion se escribe
como eG x = x, para todo x X. La segunda propiedad queda como g(hx) = (gh)x, para todo
g, h G y x X.

23
24 CAPITULO 2. ACCIONES DE GRUPOS.
Bibliografa

[1] Hungerford, T. W. Algebra. Reprint of the 1974 original. Graduate Texts in Mathematics,
73. Springer-Verlag, New York-Berlin, 1980.

[2] Lang, S. Algebra. Revised third edition. Graduate Texts in Mathematics, 211. Springer-
Verlag, New York, 2002.

25