Beruflich Dokumente
Kultur Dokumente
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. Morsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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. Automorsmos interiores. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.8. Teoremas de isomorsmos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.8.1. Teorema de correspondencia . . . . . . . . . . . . . . . . . . . . . . . . 20
1.8.2. Teoremas de isomorsmos . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.9. Grupos abelianos de tipo nito . . . . . . . . . . . . . . . . . . . . . . . . . . 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.
Denicion 1 Sea G un conjunto no vaco y GG 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.
Denicion 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 e
G
G.
5
6 CAP
ITULO 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 (n umero de elementos), y se escribe como [G[. Se dice
que el grupo G es nito si [G[ < . En caso contrario, se dice que G es innito.
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
e
G
al unico neutro de G.
2. Si G un grupo, entonces:
a) c G y cc = c, c = e
G
.
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 a
1
al
unico inverso de a.
e) Para todo a G, (a
1
)
1
= a.
f) Para todo a, b G, (ab)
1
= b
1
a
1
.
Demostracion: Si G es un monoide, entonces por denicion existe un elemento neutro e G.
Veamos que este es unico: si e
= e
. Luego,
e = e
= e
G
= aa
1
. Utilizando la cancelacion
por la izquierda, conclumos que a
= a
1
, 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 = e
2ir/n
: r 0, , n 1.
La multiplicacion de n umeros complejos restringida a GG es una ley de composicion sobre
G. Con esta ley de composicion, G es un grupo abeliano nito. En efecto:
La multiplicacion en C es asociativa, por lo que tambien es asociativa en G,
G tiene neutro y este es igual a e
2i0/n
= 1.
Sea r 0, , n 1. El elemento e
2ir/n
tiene inverso y este es igual e
2i(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 nito.
Conjunto de matrices invertibles con la multiplicacion.
Sean n 2 un entero y K = Q, R o C. Se dene
GL(n, K) = A /
nn
(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 /
nn
(K). Luego, es asociativa en GL(n, K).
GL(n, K) tiene neutro, y este es igual a la matriz identidad I
n
/
nn
(K).
Toda matriz A GL(n, K) tiene un inverso, y este igual a la matriz inversa A
1
.
Como la multiplicacion de matrices no es conmutativa, GL(n, K) no es abeliano.
8 CAP
ITULO 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. Denimos los conjuntos
B
n
= 1, , n y S
n
= : B
n
B
n
: es biyectiva .
S
n
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 S
n
se llaman permutaciones, y S
n
se anota
=
1 n
(1) (n)
,
o simplemente
= ((1) (n)) .
(S
n
, ) es un grupo nito, con [S
n
[ = n!.
Si n = 2, las unicas permutaciones son id = (12) y = (21). Luego, como id = id = ,
el grupo S
2
es abeliano.
Si n 3, S
n
no es abeliano. Para vericarlo, basta tomar las siguientes dos permutaciones
=
1 2 3 4 n
2 3 1 4 n
y =
1 2 3 4 n
2 1 3 4 n
,
y comprobar que ,= .
Producto directo
Sean G
1
y G
2
dos grupos. Considere el producto G = G
1
G
1
= (g
1
, g
2
) : g
1
G
1
, g
2
G
2
.
Se dene la siguiente operacion binaria sobre G:
(g
1
, g
2
)(h
1
, h
2
) = (g
1
g
2
, h
1
h
2
), para todo g
1
, h
1
G
1
y g
2
, h
2
G
2
.
Entonces G equipado con esta operacion es un grupo, cuyo elemento neutro es (e
G
1
, e
G
2
).
Ademas, el inverso de (g
1
, g
2
) esta dado por (g
1
1
, g
1
2
), para todo (g
1
, g
2
) G.
Similarmente, para n 3 grupos G
1
, , G
n
, el producto
G = G
1
G
n
= (g
1
, , g
n
) : g
i
G
i
para todo 1 i n
1.2. SUBGRUPOS 9
equipado con la operacion binaria coordenada a coordenada, es un grupo.
De manera mas general, sea I un conjunto de ndices, y para cada i I, sea G
i
un grupo. El
producto G =
iI
G
i
es el conjunto denido por
iI
G
i
= (x
i
)
iI
: x
i
G
i
, para todo i I.
Sobre este conjunto se dene la operacion binaria coordenada a coordenada dada por
(x
i
)
iI
(y
i
)
iI
= (x
i
y
i
)
iI
para todo (x
i
)
iI
, (y
i
)
iI
G.
El conjunto G, equipado con la operacion binaria coordenada a coordenada, es un grupo cuyo
elemento neutro es (e
G
i
)
iI
. Ademas, el inverso de (x
i
)
iI
esta dado por (x
1
i
)
iI
, para todo
(x
i
)
iI
G. Al grupo G se le llama el producto directo de la familia G
i
iI
.
De lo anterior se deduce que Z
n
, Q
n
, R
n
y C
n
, cada uno equipado con la suma coordenada a
coordenada, es un grupo.
1.2. Subgrupos
Denicion 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 = e
G
. Observe que este es el subgrupo
mas peque node 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. e
G
H.
3. Para todo x G, su inverso x
1
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 ,= .
2. xy
1
H, para todo x, y H.
10 CAP
ITULO 1. GRUPOS.
Demostracion:
Si H G es un subgrupo entonces, por Ejercicio 2, e
G
H. Luego, H ,= . 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 ,= ,
existe x H. Luego, la propiedad 2. implica que e
G
= xx
1
H. Ya que e
G
H, de la
propiedad 2. sigue que si x H, entonces e
G
x
1
= x
1
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 2 Sea G un grupo y sea G
i
iI
una familia de subgrupos de G. Pruebe que H =
iI
G
i
es un subgrupo de G.
1.3. Morsmos
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 morsmos u homomorsmos.
Denicion 4 Sean G y H dos grupos. Un morsmo u homomorsmo 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 morsmo 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 morsmo. Pruebe que
Si e
G
y e
H
son los elementos neutros de G y H, respectivamente, entonces f(e
G
) = e
H
.
f(g
1
) = f(g)
1
, para todo g G.
Sean G y H dos grupos. Un morsmo f : G H recibe el nombre de
monomorsmo si es inyectivo.
epimorsmo si es epiyectivo.
isomorsmo si es biyectivo.
endomorsmo si H = G.
automorsmo si es biyectivo y H = G.
Denicion 5 Se dice que los grupos G y H son isomorfos, lo que se escribe como G
= H,
si existe un isomorsmo f : G H.
Ejercicio 4 Sea f : G H un morsmo entre los grupos G y H. Entonces:
1.4. SUBGRUPOS NORMALES. 11
Si G
1
G es un subgrupo de G, entonces f(G
1
) es un subgrupo de H.
Si H
1
H es un subgrupo de H, entonces f
1
(H
1
) es un subgrupo de G.
Denicion 6 Sea f : G H un morsmo entre los grupos G y H.
Se dene el n ucleo o kernel de f como el conjunto
Ker(f) = f
1
(e
H
) = x G : f(x) = e
H
.
Se dene la imagen de f como el conjunto
Im(f) = f(G) = f(x) : x G.
Ejercicio 5 Sea f : G H un morsmo 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 morsmos inyectivos.
Proposicion 2 Sea f : G H un morsmo entre los grupos G y H. Entonces
f es inyectiva si y solo si Ker(f) = e
G
.
Demostracion: Supongamos que f es inyectiva. Como f(e
G
) = e
H
, entonces e
G
Ker(f). Si
x Ker(f) entonces f(x) = f(e
G
) = e
H
, pero como f es inyectiva, es necesario que x = e
G
.
Luego, Ker(f) = e
G
.
Supongamos que Ker(f) = e
G
. Sean x, y G tales que f(x) = f(y). Entonces tenemos que
f(x)f(y)
1
= e
H
f(x)f(y
1
) = e
H
f(xy
1
) = e
H
xy
1
Ker(f).
Luego, por hipotesis, xy
1
= e
G
, 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 de X X. Se dice
que x X esta relacionado seg un con y X (lo que anotaremos x
R
y, o simplemente
x y, si no hay confusion) si y solo si (x, y) .
Se dice que es una relacion de equivalencia si cumple las siguientes propiedades:
Reexividad: 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 CAP
ITULO 1. GRUPOS.
Si es una relacion de equivalencia, se dene la clase de equivalencia de x X como
[x]
R
= [x] = y X : x y.
Observacion 3 Notar que x y si y s
lo si [x] = [y].
La coleccion de clases de equivalencia de forma una particion de X.
Al conjunto de clases de equivalencia de se le llama conjunto cuociente y se denota
X/
R
o simplemente X/ .
Denicion 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 x
1
, x
2
, y
1
, y
2
G, x
1
y
1
y x
2
y
2
x
1
x
2
y
1
y
2
.
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 denida
[x][y] = [xy], para todo x, y G.
En efecto, si x
[x] e y
xy. Es decir, [x
] = [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 [e
G
] es el elemento neutro para la ley inducida. Luego, el inverso
de [x] es [x
1
], para todo [x] G/ .
ITULO 1. GRUPOS.
Denicion 10 Sea H G un subgrupo. Se dene la siguiente ralcion sobre G
x
H
y x
1
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 e
G
H
h, pues e
1
G
h = h H, y x
H
x, pues
la relacion es reeja. Luego, como la relacion es compatible, obtenemos que e
G
x
H
hx. Es
decir, x
1
(hx) = x
1
hx H. Entonces, como x y h son arbitrarios, conclumos que
x
1
Hx H, para todo x G,
lo que es equivalente a H G.
Supongamos ahora que H G. Sean x
1
, x
2
, y
1
, y
2
G tales que x
1
H
x
2
e y
1
H
y
2
,
lo que equivale a decir que x
1
1
x
2
H e y
1
1
y
2
H. Ya que H es normal, tenemos que
y
1
2
(x
1
1
x
2
)y
2
H. Luego, como y
1
1
y
2
H y H es cerrado para la ley de composicion,
obtenemos (y
1
1
y
2
)y
1
2
(x
1
1
x
2
)y
2
= (x
1
y
1
)
1
(x
2
y
2
) H, lo que implica que x
1
y
1
H
x
2
y
2
.
Observacion 4 La relacion x
H
y yx
1
H, tambien es de equivalencia. La clase de
x G seg un 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 alg un morsmo.
Proposicion 6 Sea H G un subgrupo. Entonces
H es el kernel de un morsmo H G.
Demostracion: En la Proposicion 4 se probo que si H es el kernel de un morsmo, entonces
H G.
Si H G, entonces G/H es un grupo. Ademas, como [e
G
] = H, el kernel del epimorsmo
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 ,= , 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
Z
m
, y se lee Z modulo m.
Observe que Z/mZ = [0], , [m1].
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 ,= 0, entonces existe m = mna 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 alg un
r 0, , m1. Como m H, entonces km y km estan en H. Luego, h km = r H.
Ya que m es el elemento positivo mas peque no 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 morsmo entre los grupos G y L. Sea
H G tal que H Ker(f). Entonces existe un unico morsmo f : G/H L que verica
f = f, donde : G G/H es el epimorsmo canonico.
G
f
//
L
G/H
f
==
z
z
z
z
z
z
z
z
.
16 CAP
ITULO 1. GRUPOS.
Demostracion: Primero mostremos la unicidad: si f
1
, f
2
: G/H L son dos morsmos tales
que f
1
= f = f
2
, entonces para todo [x] G/H,
f
1
([x]) = f
1
(x) = f(x) = f
2
(x) = f
2
([x]),
lo que prueba que f
1
= f
2
.
Si se tiene que [x] = [x
] f(x) = f(x
].
Luego, x = x
h) = f(x
)f(h) = f(x
)e
L
= f(x
).
Facilmente se comprueba que f es un morsmo que satisface f = f.
A H
H subgrupo de G
H.
El subgrupo generado por A es el subgrupo mas peque noque contiene a A. Es decir, si
H G es un subgrupo que contiene a A, entonces A) H.
Ejercicio 11 Sea G un grupo. Pruebe que
Si A B G entonces A) B).
A es un subgrupo de G A) = A.
A)) = A).
Ejercicio 12 Sean G un grupo y G
i
iI
una coleccion de subgrupos normales de G. En-
tonces
iI
G
i
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 denir la nocion de subrupo normal generado por un conjunto.
Denicion 12 Sean G un grupo y A G. El subgrupo normal generado por A es
A)
N
=
A H
H G
H.
El subgrupo normal generado por A es el subgrupo normal mas peque no que contiene a A.
Es decir, si H G y A H, entonces A)
N
H.
1.6.2. Grupos cclicos.
Denicion 13 Sean G un grupo y a G. Para n Z se dene
a
0
= e
G
a
n+1
= a
n
a si n 0
a
n
= (a
n
)
1
si n < 0.
Si se usa la notacion aditiva, a
n
se escribe na.
Proposicion 9 Sean G un grupo y a G. Parar todo n, m Z se tiene
a
n+m
= a
n
a
m
.
(a
n
)
m
= a
nm
.
Demostracion: Ejercicio.
18 CAP
ITULO 1. GRUPOS.
Proposicion 10 Sean G un grupo y A G, A ,= . Entonces
A) = a
n
1
1
a
nm
m
: n
1
, , n
m
Z, a
1
, , a
m
A, m N.
Demostracion: Sea
H = a
n
1
1
a
nm
m
: n
1
, , n
m
Z, a
1
, , a
m
A, m N.
Es claro que A H. Luego A) H.
Si H
contiene a a
n
1
1
a
nm
m
, pues H
ITULO 1. GRUPOS.
1.8. Teoremas de isomorsmos.
Denicion 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 = (h
1
k
1
) (h
n
k
n
) : h
1
, , h
n
H, k
1
, , k
n
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
(h
1
k
1
) (h
n
k
n
) = (e
G
h
1
)(k
1
h
2
) (k
n1
h
n
)(k
n
e
G
) 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 h
H tal que xh = h
x. Luego, para
h
1
, h
2
H y k
1
, k
2
K existe h
3
H tal que
(h
1
k
1
)(h
2
k
2
) = (h
1
h
3
)(k
1
k
2
) = hk, con h = h
1
h
3
H y k = k
1
k
2
K.
Por induccion sobre n, se prueba que para todo h
1
, , h
n
H y k
1
, , k
n
K, existe h H
y k K tales que (h
1
k
1
) (h
n
k
n
) = hk. Esto muestra que HK = hk : h H, k K.
La ultima parte se deduce de la segunda (ejercicio).
= f
1
(H). Por Ejercicio 15, tenemos que H
(
1
. La epiyectividad de
f implica que f(H
(
4
y H (
1
es tal que f(H) = H
, entonces H G.
1.8.2. Teoremas de isomorsmos
Teorema 4 (Primer Teorema de isomorsmos) Sea f : G L un epimorsmo entre los
grupos G y L. Sea H G tal que Ker(f) H. Entonces la funcion
f : G/H L/f(H),
denida por
f([x]
H
) = [f(x)]
f(H)
, es un isomorsmo.
Demostracion: Por ejercicio 16, f(H) L. Luego, G/H y L/f(H), equipados con la ley
inducida, son grupos.
Sea
1
el epimorsmo canonico de L en L/f(H), y sea
f =
1
f. La funcion
f es un
epimorsmo, pues
1
y f lo son. Luego, por el Teorema del factor, la funcion
f : G/Ker(
f)
L/f(H), denida por
f([x]
Ker(
f)
) =
f(x) = [f(x)]
f(H)
, es un isomorsmo.
Por otro lado, Ker(
f) = H, lo que prueba el Teorema.
f
//
f
%%
J
J
J
J
J
J
J
J
J
J L
G/H
f
//
L/f(H)
.
22 CAP
ITULO 1. GRUPOS.
Corolario 2 Sea f : G L un epimorsmo entre los grupos G y L, y sea H
L. Entonces
la funcion
f : G/f
1
(H
) L/H
, denida por
f([x]
f
1
(H
)
) = [f(x)]
H
, es un isomorsmo.
Demostracion: Sea H = f
1
(H