Teoremas de Isomorsmos Algebra Abstracta I

Rolando Espinoza La fuente

Carrera de Ingeniera Matemtica
ndice
1. Motivacin 2
2. Resultados Preliminares 4
3. Primer Teorema de Isomorsmo 7
4. Segundo Teorema de Isomorsmo 11
5. Tercer Teorema de Isomorsmo 15
6. Teorema de Correspondencia 18
Resumen
Los teoremas de isomorsmos de grupos pueden ser difciles de entender la primera
vez que uno los estudia, pero en realidad, es un resultado natural que se generaliza
a grupos de manera directa. Mostraremos la idea intuitiva a partir de conjuntos y
funciones para luego desarrollar los resultados en trminos de grupos y homomorsmos
de manera rigurosa a partir de lemas concretos para nalmente demostrar los teoremas
de isomorsmos.
1
1. Motivacin
Consideremos una funcin f : A B que tiene como conjunto de imgenes todo el conjunto
B como se ilustra en la gura 1.
a
1
a
2
a
3
a
4

a
n
A
b
1
b
2
b
3
B
f
Figura 1: funcin entre A y B
Podemos ver que f relaciona todos los elementos de A con todos los elementos de B, dado que
B tiene signicativamente menos elementos que A, resulta evidente que existen elementos de
A que tienen la misma imgen.
Es decir, podemos denir los conjuntos P
1
, P
2
, P
3
de elementos de A, que tienen como imgen
a b
1
, b
2
, b
3
respectivamente, de la siguiente manera:
P
1
= { a A : f(a) = b
1
} ,
P
2
= { a A : f(a) = b
2
} ,
P
3
= { a A : f(a) = b
3
} .
De donde, podemos decir que dos elementos a, b pertenecen a un mismo conjunto si f(a) =
f(b). Ms an, estos conjuntos no comparten elementos en comn.
Luego, sea P = { P
1
, P
2
, P
3
}, dado que cada elemento de A slo pertenece a un conjunto P
i
para algn i = 1, 2, 3, podemos denir una funcin entre A y P de la siguiente manera:
: A P
a P
a
donde P
a
= { x A : f(x) = f(a) }. Es evidente que es sobreyectiva.
Entonces, si consideramos las imgenes de los conjuntos P
i
, tenemos:
f(P
1
) = { f(a) : a P
1
} = { b
1
}
f(P
2
) = { f(a) : a P
2
} = { b
2
}
f(P
3
) = { f(a) : a P
2
} = { b
3
} .
2
Es evidente que existe una relacin uno a uno entre los elementos P
i
de P y los elementos b
i
de B. Entonces, podemos denir una funcin entre P y B de la siguiente manera:
: P B
P
1
b
1
P
2
b
2
P
3
b
3
Es decir, dado P
a
tenemos que (P
a
) = f(a). Es evidente que es una biyeccin entre P y
B. La gura 2 ilustra la relacin entre A, P y B.
a
1
a
2
a
3
a
4

a
n
A
b
1
b
2
b
3
B
P
1
P
2
P
3
P
f

Figura 2: relacin entre A, P y B
Finalmente, para cualquier a A, tenemos:
(a) = ((a)) = (P
a
) = f(a)
Por lo tanto = f. Podemos concluir que una funcin f entre dos conjuntos induce
una biyeccin entre un nuevo conjunto P, agrupando elementos con la misma imgen, y el
conjunto de imgenes de f.
Se puede aplicar esta conclusin a un homomorsmo de grupos?
Dado que un grupo es un conjunto con una estructura ms rica, y un homomorsmo es una
funcin entre grupos con una propiedad adicional, este resultado se transere de manera
natural a un homomorsmo. Excepto que, para que el resultado sea ms interesante tenemos
que dotar a P de una estructura de grupo, de manera que y sean homomorsmos.
A continuacin se desarrollan los resultados fundamentales de manera rigurosa que nos per-
mitiran demostrar el primer teorema de isomorsmos, y como consecuencia, el segundo y
tercer teorema de isomorsmos.
3
2. Resultados Preliminares
Lema 2.1. Sea : G H un homomorsmo de grupos, entonces Ker() e Im() son
subgrupos de G y H respectivamente.
Demostracin. Sean los grupos (G, , e) y (H ,

, e

). Sea : G H un homomorsmo,
entonces satisface (a b) = (a)

(b) para todo a, b G. Adems (e) = e

y (a
1
) =
(a)
1
.
Denimos el conjunto:
Ker() =
1
({e

}) = { g G : (g) = e

}
Es evidente que Ker() G. Adems e Ker(), por lo tanto Ker() no es vaco.
Sean a, b Ker(), se tiene:
(a b
1
) = (a)

(b
1
) = (a)

(b)
1
= e

Por lo tanto a b
1
Ker(). Concluimos que Ker() es un subgrupo de G.
Luego, denimos el conjunto:
Im() = (G) = { (g) H : g G}
Es evidente que Im() H. Como e G, entonces (e) = e

Im(), por lo tanto Im()

no es vaci.
Sea a

, b

Im(), existe a, b G tal que (a) = a

y (b) = b

. Luego:
a

1
= (a)

(b)
1
= (a)

(b
1
) = (a b
1
)
Como a b
1
G, entonces (a b
1
) = a

1
Im().
Concluimos que Im() es un subgrupo de H.
Lema 2.2. Sea : G H un homomorsmo de grupos, entonces Ker() es un subgrupo
normal de G.
Demostracin. Por el lema 2.1, Ker() es un subgrupo del grupo G.
Sea g G y x Ker(), entonces:
(g x g
1
) = (g)

(x)

(g
1
) = (g)

(g)
1
= (g)

(g)
1
= e

Por lo tanto g x g
1
Ker(). Dado que x y g son arbitrarios, concluimos que Ker()
contiene todos los conjugados de sus elementes en G, es decir, Ker() es un subgrupo normal
de G.
4
Lema 2.3. Sea K un subgrupo normal de un grupo G. Sea G/K el conjunto de las clases
laterales de K en G, entonces la operacin:
: (G/K , G/K) G/K
(g
1
K , g
2
K) g
1
K g
2
K = g
1
g
2
K
es una operacin binaria en G/K.
Demostracin. Dado que K es normal en G, se tiene que gK = Kg para todo g G.
Denimos el conjunto:
G/K = { gK : g G} = { Kg : g G}
Sea g
1
K, g
2
K G/K, dado que g
1
, g
2
G se tiene que g
1
g
2
G, por lo tanto g
1
g
2
K G/K.
Entonces g
1
K g
2
K G/K.
Dado que g
1
K y g
2
K son arbitrarios, entonces esta denida para todo par de elementos de
G/K.
Luego, sean (g
1
K, g
2
K), ( g
1
K, g
2
K) (G/K, G/K) tal que g
1
K = g
1
K y g
2
K = g
2
K.
Tenemos:
g
1
K = { g
1
k : k K }
g
2
K = { g
2
k : k K }
g
1
K = { g
1
k : k K }
g
2
K = { g
2
k : k K }
g
1
g
2
K = { g
1
g
2
k : k K }
g
1
g
2
K = { g
1
g
2
k : k K }
Donde g
1
K g
2
K = g
1
g
2
K y g
1
K g
2
K = g
1
g
2
K. Mostraremos que g
1
g
2
K = g
1
g
2
K.
Por hiptesis, g
1
g
1
K, entonces g
1
= g
1

para algn

k

K. De igual manera, g
2
g
2
K
y g
2
= g
2

para algn

k

K. Adems, como K es normal en G, para g

2
G se tiene
g
2
1
k g
2
K para todo k K.
Entonces, sea x g
1
g
2
K, para algn k K se tiene:
x = g
1
g
2
k = ( g
1

)( g
2

)k = ( g
1

)( g
2

)k = g
1
( g
2
g
2
1
)(

g
2
)(

k) = ( g
1
g
2
)( g
2
1

g
2
)(

k)
Dado que g
2
1

g
2
K, entonces

k = ( g
2
1

g
2
)(

k) K, y g
1
g
2

k = x g
1
g
2
K. Por lo
tanto g
1
g
2
K g
1
g
2
K.
Para algn k

, k

K se tiene que g
1
= g
1
k

y g
2
= g
2
k

. Sea x g
1
g
2
K , para algn

k K
se tiene:
x = g
1
g
2

k = (g
1
k

)(g
2
k

k = g
1
(g
2
g
1
2
)(k

g
2
)(k

k) = (g
1
g
2
)(g
1
2
k

g
2
)(k

k)
5
Dado que g
2
1
k

g
2
K, para

k = (g
2
1
k

g
2
)(k

k) K, tenemos g
1
g
2

k = x g
1
g
2
K.
Entonces g
1
g
2
K g
1
g
2
K.
Dado que g
1
g
2
K g
1
g
2
K y g
1
g
2
K g
1
g
2
K, concluimos que g
1
g
2
K = g
1
g
2
K.
Entonces g
1
K g
2
K = g
1
K g
2
K. Por lo tanto esta bien denida en (G/K , G/K).
Concluimos que es una operacin binaria en G/K.
Lema 2.4. Sea K un subgrupo normal de un grupo G. Entonces G/K es un grupo con la
operacin denida en el lema 2.3. El grupo (G/K, ) se l lama grupo cociente de K en G.
Demostracin. Por el lema 2.3, la operacin es una operacin binaria en G/K.
Para g
1
K, g
2
K, g
3
K G/K, se tiene g
1
, g
2
, g
3
G, adems g
1
(g
2
g
3
)k = (g
1
g
2
)g
3
k para todo
k K, por lo tanto:
(g
1
g
2
)g
3
K = { (g
1
g
2
)g
3
k : k K } = { g
1
(g
2
g
3
)k : k K } = g
1
(g
2
g
3
)K
Luego:
g
1
K (g
2
K g
3
K) = g
1
K g
2
g
3
K = g
1
(g
2
g
3
)K = (g
1
g
2
)g
3
K = g
1
g
2
K g
3
K = (g
1
K g
2
K) g
3
K
Por lo tanto es asociativa en G/K.
Para e G, se tiene eK G/K donde:
eK = { e k : k K } = { k : k K } = K
Luego, para todo g G se satisface:
egK = { egk : k K } = { gk : k K } = { gek : k K } = geK
Entonces:
eK gK = egK = gK = geK = gK eK
Por lo tanto K = eK es identidad en G/K.
Para un elemento g G, existe g
1
G tal que gg
1
= e = g
1
g. Adems gK, g
1
K G/K.
Luego:
gg
1
K =

gg
1
k : k K

= { ek : k K } =

g
1
g : k K

= g
1
gK
Entonces:
gK g
1
K = gg
1
K = eK = g
1
gK = g
1
K gK
Por lo tanto el inverso de gK es (gK)
1
= g
1
K.
Concluimos que (G/K , ) es un grupo.
6
3. Primer Teorema de Isomorsmo
Lema 3.1. Sea K un subgrupo normal del grupo G. Se dene la aplicacin:
: G G/K
g gK
entonces es un homomorsmo de grupos, adems Ker() = K y Im() = G/K. El homo-
morsmo se llama homomorsmo cannico de G en G/K.
Demostracin. Por hiptesis, G es un grupo; dado que K es un subgrupo normal de G,
entonces, por el lema 2.4, G/K es un grupo.
Para cualquier g G, se tiene gK = (g) G/K. Por lo tanto esta denida para todo G.
Sea g
1
, g
2
G tal que g
1
= g
2
, se satisface g
1
k = g
2
k para todo k K, por lo tanto
g
1
K = g
2
K. Luego, (g
1
) = g
1
K = g
2
K = (g
2
), entonces esta bien denida en G.
Sea g
1
, g
2
G, se tiene g
1
g
2
G, entonces:
(g
1
) (g
2
) = g
1
K g
2
K = g
1
g
2
K = (g
1
g
2
)
Por lo tanto es un homomorsmo de grupos entre G y G/K.
Por denicin de Ker() e Im(), tenemos:
Ker() =
1
({eK}) = { g G : (g) = eK } = { g G : gK = K } = { g G : g K } = K
Im() = (G) = { (g) G/K : g G} = { gK G/K : g G} = G/K
Por lo tanto Ker() = K e Im() = G/K.
Teorema 3.1. Sea : G H un homomorsmo de grupos y K = Ker(), entonces K es
subgrupo normal en G. Sea : G G/K el homomorsmo cannico. Entonces existe un
nico isomorsmo : G/K Im() H tal que = .
Demostracin. Sea K = Ker(), por el lema 2.2, K es un subgrupo normal en G, por el lema
2.4, G/K es un grupo con la operacin binaria denida en el lema 2.3.
Por el lema 3.1, se dene el homomorsmo cannico:
: G G/K
g gK
donde Ker() = K e Im() = G/K, entonces es sobreyectivo.
Denimos la aplicacn:
: G/K Im()
gK (g)
7
Por el lema 2.1, Im() es un subgrupo de H.
Para cualquier gK G/K, se tiene que g G, entonces (g) = (gK) Im(), por lo tanto
esta denida en todo G/K.
Sea g
1
K, g
2
K G/K tal que g
1
K = g
2
K, luego g
1
= g
2
k para algn k K = Ker(), de
donde (g
1
) = (g
2
k). Entonces:
(g
1
K) = (g
1
) = (g
2
k) = (g
2
)(k) = (g
2
) = (g
2
K)
Por lo tanto esta bien denida en G/K.
Sea g
1
K, g
2
K G/K, entonces:
(g
1
K g
2
K) = (g
1
g
2
K) = (g
1
g
2
) = (g
1
)(g
2
) = (g
1
K)(g
2
K)
Por lo tanto es un homomorsmo de grupos.
Mostraremos que es un isomorsmo de grupos. Sea la identidad e

Im() H, entonces:
Ker() =
1
({e

}) = { gK G/K : (gK) = (g) = e

} = { gK G/K : g K = Ker() }
= {K}
Im() = (G/K) = { (gK) : gK G/K } = { (gK) : g G} = { (g) : g G}
= Im()
Como el kernel de solo contiene la identidad del dominio, entonces es inyectiva. Como la
imagn de es todo el codominio, entonces es sobreyectiva. Por lo tanto es biyectiva.
Concluimos que es un isomorsmo de grupos.
Mostraremos que se cumple (g) = ( )(g) para todo g G. Sea g G un elemento
cualquiera. Si g = e entonces:
( )(e) = ((e)) = (eK) = (e)
Si g / G, entonces:
(g) = ((g)) = (gK) = (g)
Adems:
Ker( ) = ( )
1
({e

}) = { g G : (g) = (g) = e

} = Ker()
Im( ) = (G) = ((G)) = (G/K) = Im()
Por lo tanto = .
8
Esta relacin se puede visualizar en el siguiente diagrama:
G

Im() H
G/ Ker

Finalmente mostraremos que es nico. Supongamos que existe otro isomorsmo : G/K
Im() tal que = . Es evidente que, para la identidad eK G/K, se tiene (eK) = (e) =
(eK).
Sea gK G/K tal que g = e. Tenemos que:
(g) = (g) = ((g)) = (gK)
Como (gK) = (g), tenemos que (gK) = (gK). Luego, como gK es arbitrario, conclumos
que = .
Ejemplo 3.1. Consideremos G un grupo cclico cualquiera generado por g, es decir G = g.
Consideremos la aplicacin
: Z G
n g
n
donde Z es el grupo aditivo de enteros.
Tenemos que esta bien denido, es decir, para cada n Z tenemos que g
n
= (n) G y
es evidente que, para n, m Z, (n) = g
n
= g
m
= (m) cuando n = m.
Luego, para cualquier n, m Z tenemos:
(n)(m) = g
n
g
m
= g
n+m
= (n +m)
Por lo tanto es un homomorsmo de grupos. Para aplicar el primer teorema de isomorsmos
calculamos el ncleo e imgen de :
Ker =
1
({ e }) = { m Z : (m) = e } = { m Z : g
m
= e }
Im = (Z) = { (m) : m Z} = { g
m
: m Z} = g = G
Luego, por el teorema 3.1, tenemos que G/ Ker

= G. Analizemos los casos de orden nito
e innito de G.
1. Si |g| = , es decir, no existe n entero postivo tal que g
n
= e, por lo tanto cada
potencia g
n
es distinta y G es de orden innito:
G =

. . . , g
2
, g
1
, g
0
, g
1
, g
2
, . . .

9
Por lo tanto tenemos que Ker = { 0 }, de donde concluimos que es un isomorsmo.
El grupo cociente esta denido como:
Z/ Ker = { . . . , { 2 } , { 1 } , { 0 } , { 1 } , { 2 } , . . . }
El diagrama, donde es el homomorsmo cannico y el isomorsmo del teorema 3.1:
Z

G
Z/ Ker

Es evidente que tambin es un isomorsmo, dado que Ker = { 0 }.

2. Veamos el caso de |g| = p, es decir, g
p
= e. Tenemos que:
G =

e, g, g
2
, . . . , g
p1

Es decir, G es un grupo cclico nito. Luego:

Ker = { n Z : g
n
= e }
Veamos qu valores enteros de n estan en Ker . Es evidente que 0 Ker , sin perder
generalidad, asumamos que n > 0. Si n < p, entonces n / Ker . Si n = p, tenemos
que g
n
= g
p
= e, entonces p Ker . Si n > p, cundo n Ker ?. Tenemos:
g
p+1
= g
p
g = g
g
p+2
= g
p
g
2
= g
2
.
.
.
g
p+i
= g
p
g
i
= g
i
Si i = p, entonces g
p+p
= g
p
g
p
= e. Por lo tanto, generalizando este resultado, para
todo n = kp, donde k Z, tenemos g
n
= e. Entonces:
Ker = { n Z : n = pk para algn k Z} = { pk : k Z} = pZ
Luego, la clase lateral para cualquier a Z:
[a] = a(pZ) = { a +m : m pZ} = { a +pk : k Z}
= a +pZ
10
Es decir:
[0] = 0 +pZ = { . . . , p, 0, p, 2p, . . . }
[1] = 1 +pZ = { . . . , 1 p, 1, 1 +p, 1 + 2p, . . . }
[2] = 2 +pZ = { . . . , 2 p, 2, 2 +p, 2 + 2p, . . . }
.
.
.
[p 1] = (p 1) +pZ = { . . . , 1, p 1, 2p 1, 3p 1, . . . }
Por lo tanto:
Z/pZ = { [0], [1], . . . , [p 1] } = Z
p
Donde Z
p
es el conjunto de las clases de congruencia mdulo p. Entonces, por el teorema
3.1, Z
p
es isomorfo al grupo G.
Z

G
Z
p

Este resultado da lugar al siguiente corolario.

Corolario 3.1. Sea G un grupo cclico nito tal que |G| = n, entonces Z
n

= G.
4. Segundo Teorema de Isomorsmo
Lema 4.1. Sea H y K subgrupos de un grupo G con K normal en G. Entonces HK =
{hk: h H, k K} es un subgrupo de G.
Demostracin. Dado h H y k K, se tiene que hk HK, como h, k G, entonces
hk G. Por lo tanto HK G.
Sea e G identidad, dado que H, K son subgrupos de G, se tiene que e H y e K. Por
lo tanto e = ee HK, y HK es no vaci.
Sea x = hk HK, sea y HK tal que xy = e, entonces:
y = x
1
e = x
1
= (hk)
1
= k
1
h
1
Por otro lado:
y = k
1
h
1
= (h
1
h)(k
1
h
1
) = h
1
(hk
1
h
1
)
donde h
1
H y hk
1
h
1
K. Por lo tanto y HK.
11
Se verica:
yx = (k
1
h
1
)(hk) = (k
1
(h
1
h))k = k
1
k = e
Entonces xy = e = yx. Por lo tanto y HK es el inverso de x HK, es decir: x
1
= k
1
h
1
.
Concluimos que HK es un subgrupo de G.
Lema 4.2. Sea H y N subgrupos de un grupo G, con N normal en G. Entonces H N es
un subgrupo normal de H.
Demostracin. Denimos:
H N = { g G : g H y g N }
Es evidente que H N H. Sea e G identidad, se tiene que e H y e N, entonces
e H N. Por lo tanto H N no es vaco.
Sea x, y H N, entonces x, y H e x, y N. Como H y N son subgrupos, se tiene que
y
1
H e y
1
N, de donde xy
1
H y xy
1
N, entonces xy
1
H N.
Por lo tanto H N es un subgrupo de G.
Sea x H N y h H. Luego, como x, h H, entonces hxh
1
H. Por otro lado,
tenemos h G y x N, como N es normal en G, se tiene que hxh
1
N. Por lo tanto
hxh
1
H N.
Concluimos que H N es un subgrupo normal de H
Lema 4.3. Sea H y N subgrupos de un grupo G con N normal en G. Entonces N es subgrupo
normal en HN.
Demostracin. Denimos:
HN = { hn : h H, n N }
donde H y N son subgrupos del grupo G. Por el lema 4.1, HN es un subgrupo de G.
Como N es un subgrupo de G se tiene que N no es vaco.
Si n N es un elemento cualquiera, se tiene que e H por lo tanto en = n HN. Entonces
N HN.
Sea n

N y x HN, entonces x = hn para algn h H y algn n N, adems

x
1
= n
1
h
1
HN. Luego:
xn

x
1
= (hn)n

(n
1
h
1
) = h(nn

n
1
)h
1
= hn

h
1
donde n

= nn

n
1
N y h, h
1
H G. Como N es normal en G, tenemos que hn

h
1
=
xn

x
1
N.
Por lo tanto N es un subgrupo normal en HN.
12
Teorema 4.1. Sea H un subgrupo de un grupo G y N un subgrupo normal de G. Entonces
HN es un subgrupo de G, H N es un subgrupo normal de H, y H/H N

= HN/N
Demostracin. Por el lema 4.1, HN es un subgrupo de G. Por el lema 4.2, H N es un
subgrupo normal de H. Por el lema 4.3, N es un subgrupo normal de HN.
Ntese, para n

N:
n

N = { n

n : n N } = { n

: n

N } = N
Entonces, quedan denidos los grupos cocientes:
H/H N = { h(H N) : h H }
HN/N = { xN : x HN } = { hnN : h H, n N }
= { hN : h H }
Sea la aplicacin:
: H HN/N
h hN
Para h H, tenemos que hN = (h) HN/N. Por lo tanto esta denida para todo H.
Sea h
1
, h
2
H tal que h
1
= h
2
. Entonces h
1
n = h
2
n para todo n N, luego:
(h
1
) = h
1
N = { h
1
n : n N } = { h
2
n : n N } = h
2
N = (h
2
)
Por lo tanto esta bien denida.
Sea h
1
, h
2
H, luego:
(h
1
) (h
2
) = h
1
N h
2
N = h
1
h
2
N = (h
1
h
2
)
Por lo tanto : H HN/N es un homomorsmo de grupos.
Luego:
Ker() =
1
({eN}) = { h H : (h) = hN = eN } = { h H : h N } = H N
Im() = (H) = { hN : h H } = HN/N
Aplicando el teorema 3.1, tenemos que existe un isomorsmo : H/ Ker() Im() tal que
= , donde : H H/ Ker() es el homomorsmo cannico.
Concluimos que H/ Ker() es isomorfo a Im(). Es decir: H/H N

= HN/N.
El siguiente diagrama ilustra este resultado:
H

HN/N
H/H N

13
Ejemplo 4.1. Consideremos el grupo aditivo Z , para n, m enteros positivos, denimos los
conjuntos
nZ = { nk : k Z} ,
mZ = { mk : k Z} .
Es fcil vericar que nZ y mZ son subgrupos de Z . Ms an, como Z es grupo commutativo
tenemos que todo subgrupo es un subgrupo normal. Luego, podemos extender el conjunto
nZ de manera que contenga al conjunto mZ con el n de poder crear un grupo cociente. Es
decir, denimos
nZ +mZ = { x +y : x nZ, y mZ}
Dado que mZ es subgrupo normal en nZ +mZ, entonces denimos el grupo cociente
(nZ +mZ)/mZ = { x +mZ : x nZ +mZ}
Luego, denimos la aplicacin
: nZ (nZ +mZ)/mZ
x x +mZ
donde
x +mZ = { x +mk : k Z} .
Tenemos que esta bien denida, dado que para todo valor x nZ se tiene que x + mZ
(nZ +mZ)/mZ; si x = y entonces x +mZ = y +mZ.
Calculamos el ncleo de
Ker = { x nZ : x +mZ = mZ}
= { x nZ : x mZ}
= nZ mZ
Por lo tanto, aplicando el segundo teorema de isomormos obtenemos el isomorsmo como
se ilustra en el siguiente diagrama
nZ

(nZ +mZ)/mZ
nZ/(nZ mZ)

14
Luego, tenemos que
nZ +mZ = { nk +mk

: k, k

Z}
=

gcd(n, m)

n
gcd(n, m)
k +
m
gcd(n, m)
k

: k, k

=

gcd(n, m)

k :

k Z

,
= gcd(n, m)Z
nZ mZ = { x Z : n|x y m|x }
= { lcm(n, m)k : k Z}
= lcm(n, m)Z
Concluimos que nZ/lcm(n, m)Z es isomorfo a gcd(n, m)Z/mZ. De donde podemos deducir
la conocida identidad
nm = gcd(n, m) lcm(n, m).
5. Tercer Teorema de Isomorsmo
Lema 5.1. Sea H y N subgrupos de un grupo G tal que N H, con N subgrupo normal en
G. Entonces N es subgrupo normal en H.
Demostracin. Como N H, es evidente que N es un subgrupo de H. Mostraremos que N
es un subgrupo normal en H.
Sea n N y h H. Entonces h G, como N es subgrupo normal en G, se satisface
hnh
1
N.
Por lo tanto N es subgrupo normal en H.
Lema 5.2. Sea G un grupo, N y H subgrupos de G con N normal en G y N H. Entonces
H/N es subgrupo G/N. Adems, si H es normal en G, entonces H/N es subgrupo normal
en G/N.
Demostracin. Como H, N son subgrupos de G con N normal en G, adems por el lema
5.1, N es subgrupo normal de H. Se dene los grupos cocientes:
G/N = { gN : g G}
H/N = { hN : h H }
Sea hN H/N, entonces h H, por lo tanto h G, de donde hN G/N. Por lo tanto
H/N G/N.
Es evidente que la identidad eN G/N satisface eN H/N.
Sea h
1
N, h
2
N H/N, luego h
2
1
N H/N. Entonces h
1
h
2
1
H, luego:
h
1
h
2
1
N = h
1
N h
2
1
N H/N
15
Por lo tanto H/N es un subgrupo de G/N.
Si H es normal en G, mostraremos que H/N es un subgrupo normal de G/N.
Sea hN H/N, gN G/N. Luego g
1
N G/N. Entonces:
gN hN (gN)
1
= ghN g
1
N = ghg
1
N
Como H es normal en G, entonces ghg
1
H. Por lo tanto ghg
1
N = gN hN (gN)
1

H/N. Concluimos que H/N es subgrupo normal en G/N.

Teorema 5.1. Sea G un grupo, N y H subgrupos normales de G con N H. Entonces
G/H

= (G/N)/(H/N).
Demostracin. Por hiptesis, se dene los grupos cocientes:
G/N = { gN : g G}
G/H = { gH : g G}
Por el lema 5.2, H/N es subgrupo normal en G/N, por lo tanto se dene el grupo cociente:
G/N
H/N
= { gN(H/N) : gN G/N }
Sea la aplicacin:
: G/N G/H
gN gH
Sea gN G/N, entonces g G, luego gH = (gN) G/H. Por lo tanto esta denida
para todo G/N.
Sea g
1
N, g
2
N G/N tal que g
1
N = g
2
N. Entonces g
1
= g
2
n

para algn n

N. Como
N H, entonces n

H y n

h H para todo h H. Luego:

(g
1
N) = g
1
H = { g
1
h : h H } = { g
2
n

h : h H } = { g
2
h

: h

H } = g
2
H = (g
2
N)
Por lo tanto esta bien denida en G/N.
Sea g
1
N, g
2
N G/N, entonces:
(g
1
N) (g
2
N) = g
1
H g
2
H = g
1
g
2
H = (g
1
g
2
N) = (g
1
N g
2
N)
Por lo tanto es un homomorsmo de grupos.
Luego:
Ker() =
1
({eH}) = { gN G/N : (gN) = gH = eH } = { gN G/N : g H } = H/N
Im() = (G/N) = { (gN) G/H : gN G/N } = { gH G/H : g G} = G/H
16
Aplicando el teorema 3.1, tenemos que existe un isomorsmo : (G/N)/ Ker() Im() tal
que = , donde : G/N (G/N)/ Ker() es el homomorsmo cannico.
Concluimos que (G/N)/ Ker() es isomorfo a Im(). Es decir: (G/N)/(H/N)

= G/H.
El siguiente diagrama ilustra este resultado:
G/N

G/H
G/N
H/N

Ejemplo 5.1. Consideremos G = Z, N = nZ, H = mZ, para n, m enteros positivos tal que
nZ mZ, es decir m divide a n.
Por el tercer teorema de isomorsmos, tenemos que
Z/nZ
mZ/nZ

= Z/mZ
En particular, en el grupo aditivo Z , podemos deducir el resultado de la siguiente manera.
Consideramos grupos concientes
Z/nZ = { a +nZ : a Z} , Z/mZ = { b +mZ : b Z} .
Luego
(Z/nZ)/(mZ/nZ) = { (a +nZ) + (mZ/nZ) : a Z}
donde
(a +nZ) + (mZ/nZ) = { (a +nZ) + (mk +nZ) : k Z}
= { (a +mk) +nZ : k Z}
Luego, por hiptesis n = m

k para algn

k Z, para cualquier k Z jo, tenemos
(a +mk) +nZ = { (a +mk) +nk

: k

Z}
=

(a +mk) +m

kk

: k

=

a +m(k +

kk

) : k

=

a +m

k :

k Z

= a +mZ.
Por lo tanto
(a +nZ) + (mZ/nZ) = { a +mZ} ,
17
luego
(Z/nZ)/(mZ/nZ) = { { a +mZ} : a Z}
donde es evidente que es isomorfo a Z/mZ.
Notese que este resultado surge de manera directa sin emplear el tercer teorema. Podemos
ver que el tercer teorema de isomorsmos es una generalizacin de este resultado a cualquier
grupo en general.
6. Teorema de Correspondencia
Teorema 6.1. Sea N un subgrupo normal de un grupo G. Entonces H H/N tiene corres-
pondencia uno a uno entre los subgrupos H conteniendo a N y el conjunto de subgrupos de
G/N. Adems, los subgrupos normales de H corresponde a subgrupos normales de G/N.
Demostracin. Sea Sub(G; N) el conjunto de los subgrupos de G conteniendo al subgrupo
normal N, es decir, N H G para todo H Sub(G; N). Sea Sub(G/N) el conjunto de
los subgrupos de G/N.
Consideremos la aplicacin:
: Sub(G; N) Sub(G/N)
H H/N
Sea H Sub(G; N), entonces N H. Por el lema 5.2, H/N es un subgrupo de G/N. Por lo
tanto H/N = (H) Sub(G/N) y esta denida para todo Sub(G; N).
Sea H
1
, H
2
Sub(G; N) tal que H
1
= H
2
, entonces N H
1
y N H
2
. Por el lema 5.2,
H
1
/N y H
2
/N son subgrupos de G/N. Mostraremos que (H
1
) = (H
2
).
Sea hN H
1
/N, entonces h H
1
, por lo tanto h H
2
, luego hN H
2
/N. Entonces
H
1
/N H
2
/N.
De igual manera, sea hN H
2
/N donde h H
2
, por lo tanto h H
1
y hN H
1
/N.
Entonces H
2
/N H
1
/N. Concluimos que (H
1
) = H
1
/N = H
2
/N = (H
2
).
Por lo tanto esta bien denida en Sub(G; N).
Mostraremos que es biyectiva.
Sea H
1
, H
2
Sub(G; N) tal que (H
1
) = (H
2
), entonces H
1
/N = H
2
/N.
Luego, sea h
1
H
1
, entonces h
1
N H
1
/N, por lo tanto h
1
N H
2
/N, de donde h
1
N = h
2
N
para algn h
2
H
2
. Entonces h
1
= h
2
n para algn n N, como h
2
y n pertenecen al
subgrupo H
2
, tenemos que h
2
n = h
1
H
2
. Por lo tanto H
1
H
2
.
De igual manera, sea h
2
H
2
, entonces h
2
N H
2
/N, por lo tanto h
2
N H
1
/N, de donde
h
2
N = h
1
N para algn h
1
H
1
. Por lo tanto h
2
= h
1
n para algn n N, como h
1
y n
pertenecen a H
1
, tenemos que h
1
n = h
2
H
1
. Por lo tanto H
2
H
1
.
18
Luego H
1
= H
2
, por lo tanto es inyectiva.
Mostraremos que es sobreyectiva.
Sea el subgrupo X/N Sub(G/N). Denimos:
H = { g G : gN X/N }
Es evidente que H G. Dado que eN X/N, tenemos que la identidad e H.
Luego, para h
1
, h
2
H, tenemos que h
1
N, h
2
N X/N, entonces (h
2
N)
1
X/N, luego:
h
1
N (h
2
N)
1
= h
1
h
2
1
N X/N
Por lo tanto h
1
h
2
1
H. Concluimos que H es un subgrupo de G.
Sea n N, tenemos que:
nN = { nn

: n

N } = { n : n N } = N
Luego N = nN X/N, entonces n H. Como n es arbitrario, concluimos que N H.
Por lo tanto H Sub(G; N).
Mostraremos que (H) = X/N. Notes que (H) = H/N Sub(G; N).
Sea hN H/N donde h H. Por denicin de H, tenemos que hN X/N, por lo tanto
H/N X/N.
Luego, sea xN X/N. Por denicin de H tenemos que x H, por lo tanto xN H/N.
Entonces X/N H/N. Concluimos que H/N = (H) = X/N.
Hemos demostrado que para X/N Sub(G/N) existe H Sub(G; N) tal que (H) = X/N.
Por lo tanto es sobreyectiva.
Finalmente, concluimos que es biyectiva. Es decir, existe una correspondencia uno-a-uno
entre Sub(G; N) y Sub(G/N).
Luego, si H es normal en G, por la segunda parte del lema 5.2, tenemos que H/N = (H)
es normal en G/N.
Ejemplo 6.1. Para ilustrar este resultado, consideremos nuevamente el grupo aditivo Z ,
sabemos que los subgrupos de Z son de la forma nZ donde n es un entero positivo.
Consideremos el subgrupo 12Z, entonces, los subgrupos que contienen a 12Z son
Sub(Z, 12Z) = { 2Z, 3Z, 4Z, 6Z} .
Luego, en el grupo cociente Z/12Z = Z
1
2 de orden 12, por el teorema de lagrange, los
subgrupos tienen un orden que divide a 12, es decir
Sub(Z
12
) = { Z
2
, Z
3
, Z
4
, Z
6
} .
19
Podemos denir la funcin
: Sub(Z, 12Z) Sub(Z/12Z)
2Z Z/2Z = Z
2
3Z Z/3Z = Z
3
4Z Z/4Z = Z
4
6Z Z/6Z = Z
6
Es evidente que es biyectiva.
Referencias
[1] J.J. Rotman, Advanced Modern Algebra, Prentice Hall, 2nd printing (2003).
[2] T.W. Judson, Abstract Algebra: Theory and Applications, available at http://abstract.
ups.edu/.
20