0.1.

HOMOMORFISMOS DE GRUPOS 1
0.1. Homomorsmos de Grupos
Denicion 1 Sean (G, ) y (H, ) dos grupos. Una funcion f de G a H
f : G H
se dice ser
a) Un homomorsmo si f(x y) = f(x) f(y), x, y (G, ), se puede
prescindir de las operaciones y escribir simplemente f(xy) = f(x)f(y).
b) Un monomorsmo si es un homomorsmo inyectivo de G en H.
c) Un epimorsmo si es un homomorsmo sobreyectivo de G en H.
d) Un isomorsmo de H en G si es un homomorsmo biyectivo entre estos
dos grupos. G y H se dicen isomorfos, y se escribe G

= H.
e) Un automorsmo si es un isomorsmo de G en G.
Ejemplo 1.
Sea h : (IR, +) (IR 0, ), se dene h(x) = 3
x
. Vemos que
h(x + y) = 3
x+y
,
= 3
x
3
y
,
= h(x)h(y).
As h es un homomorsmo. Por otro lado, se tiene que
dh(x)
dx
= ln3 3
x
> 0, x IR,
esto signica que h es creciente estrictamente y por lo tanto inyectiva, as que
h es un monomorsmo.
Ejemplo 2.
Sea A cualquier grupo abeliano denimos h(a) = a
2
, esta funcion es un
homomorsmo de este grupo en si mismo. En efecto,
h(ab) = (ab)
2
,
= a
2
b
2
,
= h(a)h(b).
Puede ser la propiedad de conmutatividad omitida aqu?.
2
Ejemplo 3.
Consideremos h, una funcion denida por:
h : (ZZ, +) (1, 1, ),
n h(n) = (1)
n
.
Es claro que h(m + n) = (1)
m+n
= (1)
m
(1)
n
= h(m)h(n). Evidente-
mente no es un monomorsmo. Por que ?.
Ejemplo 4.
Consideremos los grupos de C y el grupo Klein cuyas tablas damos a
continuacion:
C :
e x x
2
x
3
e e x x
2
x
3
x x x
2
x
3
e
x
2
x
2
x
3
e x
x
3
x
3
e x x
2
K :
e a b c
e e a b c
a a e c b
b b c e a
c c b a e
Asumamos que exista un isomorsmo de h : C K, entonces debera ser
que: h(x) = e, a, b, o c, entonces h(x
2
) = e
2
, a
2
, b
2
o c
2
. Supongamos que
h(x) = e, entonces
:
h(x
2
) = h(x)h(x) = e
2
= e,
h(x
3
) = h(x
2
)h(x) = e
3
= e,
asi que h(e) = h(e
2
) = h(e)h(e) = e =h no puede ser inyectivo.
Ejemplo 5.
Sea G = e, g, g
2
un grupo cclico de orden 3 con
e g g
2
e e g g
2
g g g
2
e
g
2
g
2
e g
y h : G G denido por
h(e) = e,
h(g) = g
2
,
h(g
2
) = g.
0.1. HOMOMORFISMOS DE GRUPOS 3
h es un isomorsmo de G en si mismo. Veamos primero que es un homomor-
smo. En efecto,
h(ee) = h(e)h(e) = e
2
= e
h(eg) = h(e)h(g) = eg
2
= g
2
,
h(eg
2
) = h(e)h(g
2
) = eg = g,
h(gg
2
) = h(g)h(g
2
) = g
2
g = e,
Claramente es inyectiva y sobreyectiva, as que h es un automorsmo.
Ejemplo 6.
El siguiente es un ejemplo de un automorsmo de grupos. Sea a G, y
sea f
a
: G G la funcion denida por
f
a
(g) = a
1
ga para todo g G.
Pruebe que f
a
es un homomorsmo de grupos.
Prueba
En efecto, pues
f
a
(gg
1
) = a
1
gg
1
a,
= (a
1
ga)(a
1
g
1
a),
= f
a
(g)f
a
(g
1
).
Finalmente para demostrar que f
a
es un isomorsmo y por lo tanto un auto-
morsmo es suciente ver que f
a
1 es el inverso de f
a
. Dejamos este ultimo
hecho como un ejercicio al lector.
Ejemplo 7.
Si A es un grupo abeliano nito de orden n, y m.c.d(n,k) = 1, muestre
f : A A denido por f(a) = a
k
es un isomorsmo.
Prueba
Si se muestra que f es sobreyectivo, entonces f es inyectivo, ya que A es un
conjunto nito y f va de A en A. En efecto, sea a un elemento cualquiera en
A considerado como conjunto de llegada del homomorsmo y tomemos a
d
en
A conjunto de salida y entonces calculemos
f(a
d
) = (a
d
)
k
,
= a
kd
a
nc
,
= a
kd+nc
,
= a
1
,
= a,
4
ya que (a
c
)
n
= e, donde e es elemento neutro de A, y del hecho de que
kd + nc = 1.
Nota
El siguiente teorema es especialmente util para determinar cuando dos grupos
no son isomorfos. En general para demostrar que dos grupos no son isomor-
fos se muestra que uno de ellos tiene una propiedad estructural y el otro no.
As por ejemplo algunas propiedades estructurales posibles son que uno de
los grupos sea cclico, abeliano, el n umero de subgrupos, el ser grupo nito
o no, el orden del grupo, que el grupo tenga por ejemplo exactamente dos
elementos de un orden dado, o que por ejemplo la ecuacion x
2
= a, tenga
exactamente una solucion para cada a en el grupo.
Por otro lado no son propiedades estructurales que el grupo contenga al n umero
5 como elemento, que todos elementos sean n umeros , que la operacion del
grupo se llame composici on, que los elementos del grupo sean permutaciones,
que el grupo sea un subgrupo de (IR, +).
Teorema 1 Si h es un isomorsmo de un grupo G en un grupo H, entonces
1. h(e) = e.
2. h(x
1
) = (h(x))
1
.
3. h(x
k
) = (h(x))
k
, k ZZ, k > 0
4. Si g y g

conmutan en G h(g) y h(g

) conmutan en H.
5. G es abeliano H es abeliano.
6. g
k
= g

en G (h(g))
k
= h(g

) en H.
7. g y h(g) tienen el mismo orden.
8. x
k
= g tiene el mismo n umero de soluciones en G que h(g) = x
k
en
H.
9. G y H tienen la misma cardinalidad, es decir, el mismo n umero de
elementos.
0.1. HOMOMORFISMOS DE GRUPOS 5
Prueba
1. Dado que e
2
= e, se tiene que h(e) = h(e
2
) = (h(e))
2
, se sabe que en
un grupo si un elemento x
2
= x =x = e, as si tomamos x = h(e)
en H concluimos que e = h(e).
2. Si xx
1
= e =h(xx
1
) = h(e) = e = h(x)h(x
1
). Pero h(x) tiene
un inverso unico, as que h(x
1
) = (h(x))
1
.
3. h(x
k
) = (h(x))
k
k entero. Si k es negativo, entonces
h(x
k
) = h((x
1
)
k
) = h((h(x))
1
)
k
= (h(x))
k
.
4. (=) Si gg

= g

g =h(g)h(g

) = h(g

g) = h(g

)h(g), as si g y g

conmutan implica que h(g) y h(g

) conmutan.
(=) Por otro lado si h(g)h(g

) = h(g

)h(g), entonces h(gg

) =
h(g

g) y dado que h es inyectivo, entonces gg

= g

g.
5. (=) Sean f, f

dos elementos cualesquiera del grupo H, existen g, g

en G tales que h(g) = f y h(g

) = f

dado que h es sobreyectivo. Luego

ff

= h(g)h(g

) = h(gg

) = h(g

g) = h(g

)h(g) = f

f, esto signica
que H es abeliano. Este argumento es valido en el sentido inverso.
6. g
k
= g

en G =(h(g))
k
= h(g
k
) = h(g

) H aplicando
h
1
a (h(g))
k
= h(g
k
) dado que g
k
= g

.
7. Sea k el menor entero para el que g
k
= e, entonces por la parte anterior
esto es equivalente a (h(g))
k
= h(e) = e.
8. (=) Si a satisface x
k
= g, entonces a
k
= g, as, de donde
(h(a))
k
= h(g), de modo que h(a) satisface la ecuacion x
k
= h(g) en
H. Este argumento es valido en el sentido inverso.
9. G y H tienen la misma cardinalidad.
Ejemplo 8.
Consideremos el conjunto de matrices
Gl(2, IR) =

a b
c d

[ a, b, c, d IR, donde ad bc ,= 0

.
6
Gl(2, IR) con la multiplicacion usual de matrices es un grupo, y (IR, +) no
son isomorfos por la parte (4) del teorema anterior.
Ejemplo 9.
El grupo de Klein K y D
4
no son isomorfos por la parte (8) del teorema
precedente.
Ejemplo 10.
Consideremos los grupos siguientes (Ql 0, ) no son isomorfos a (ZZ, +)
por la parte (8), dado que x
2
= 4 tiene dos soluciones en (Ql 0, ). Pero
como h(4) = k para alg un entero k, y del hecho que x
2
= x x = k, se
convierte en x + x = 2x en (ZZ, +), la que tiene a lo mas una solucion en
(ZZ, +).
Ejemplo 11.
El grupo (IR0, ) no es isomorfo a (IR, +) ya que x +x = a siempre
tiene solucion para cada a IR, 2x = a =x =
a
2
, mientras x x = a, que
es la ecuacion equivalente no tiene siempre solucion en (IR 0, ), tomese
a = 1.
Ejemplo 12.
Los grupos (Cl 0, ) (IR0, ) no son isomorfos ya que x
2
= 1 tiene
dos soluciones i, i en (Cl 0, ), mientras que no tiene en (IR0, ).
Ejemplo 13.
Sea G cualquier grupo, la funcion identidad de un grupo en si mismo
denida por I : G G, i(g) = g es un automorsmo de G.
Ejemplo 14.
El grupo de Klein, es isomorfo a (ZZ
2
, +) (ZZ
2
, +).
En efecto, sea K = e, a, b, c y ZZ
2
ZZ
2
= (0, 0), (1, 0), (0, 1), (1, 1),
entonces se dene:
f(e) = (0, 0),
f(a) = (1, 0),
f(b) = (0, 1),
f(c) = (1, 1).
obviamente es inyectivo y sobreyectivo.Para ver que es homomorsmo revisar
f(x
2
) y f(xy) con x ,= y, y as se comprobara que es un isomorsmo.
0.1. HOMOMORFISMOS DE GRUPOS 7
Otra manera de probar lo mismo es observando que (ZZ
2
ZZ
2
) no tiene
elementos de orden cuatro y as este no puede ser cclico de modo que la
unica posibilidad es que sea isomorfo al grupo de Klein.
Ejemplo 15.
Sea K = e, a, b, c el grupo de Klein y H = e, g un grupo de orden
2. Denimos h : K H por
h(e) = e,
h(a) = e,
h(b) = g,
h(c) = g.
evidentemente no es un isomorsmo. Veamos sin embargo que es un homo-
morsmo.
h(a b) = h(c) = g mientras que h(a) h(b) = e g = g tambien,
h(e b) = h(b) = g y h(e) h(b) = e g = g, mientras que
h(b) h(c) = g g = e, , hay que vericar en total 16 productos.
Ejemplo 16.
Sea (ZZ, +) y sea H = e, g el grupo cclico de orden 2. Denimos
h(n) =

e , si n es par,
g , si n es impar.
evidentemente h no puede ser un isomorsmo ya que no es inyectivo. Para
ver que es homomorsmo veamos dos casos:
1) Si n y m son ambos pares o impares, entonces n+m es par y h(n+m) = e
mientras que
h(n)h(m) =

ee = e si n y m son pares,
gg = e si n y m son impares.
2) Si n es par y m es impar, entonces n + m es impar y as h(n + m) = g
mientras que h(n)h(m) = eg = g. El caso en que n es impar y m es par es
similar. As que h dene un homomorsmo de grupos.
8
Ejemplo 17.
Sean G = a, a
2
, a
3
, , a
11
, a
12
= e este grupo es cclico y su subgrupo
G

= a
2
, a
4
, a
6
, , a
12
= e se ve que
G : G

,
a
n
h(a
n
) = a
2n
.
es un homomorsmo de G en G

. (pruebelo!)
Ejemplo 18.
Demostrar que el grupo G, cuya tabla se da continuacion
1 -1
-1 -1 1
1 1 -1
y el grupo H del cual tambien damos su tabla
0 1
0 0 1
1 1 0
son isomorfos. En efecto, basta denir h(1) = 0, h(1) = 1 claramente h
es una funcion biyectiva, solo debemos comprobar que h es un homomorsmo.
a) h(1 1) = h(1)h(1),
b) h(1 1) = h(1)h(1),
c) h(1 1) = h(1)h(1),
d) h(1 1) = h(1)h(1).
as que G

= H.
Denicion 2 Sea G un grupo, entonces
A(G) = f : G G[ fes un isomorsmo,
es decir, A(G) es el conjunto de automorsmos de G en G.
Ejemplo 19.
Si f, g A(G), entonces f g A(G), donde es operacion composicion
de funciones A(G). Es claro que (A(G), ) es un grupo.
0.1. HOMOMORFISMOS DE GRUPOS 9
Prueba
Probemos que es una operacion cerrada en A. Primero notemos que f g es
una biyeccion de G en G ya que la composicion de dos funciones biyectivas
es una funcion biyectiva. Veriquemos que f g es un homomorsmo de A
en A. se tiene que mostrar que
(f g)(ab) = (f g)(a)(f g)(b), a, b G.
En efecto,
(f g)(ab) = f(g(ab)),
= f(g(a)g(b)),
= f(g(a))f(g(b)),
= (f g)(a)(f g)(b).
con lo que se prueba que es una operacion binaria sobre A(G), las demas
propiedades de grupo se dejan como ejercicio.
Nota Las propiedades de los grupos de automorsmos son muy interesantes.
As si G, H son grupos tales G

= H, entonces A(G)

= A(H) tambien. Es
importante hacer notar que el recproco no es cierto.
Ejemplo 20.
Consideremos el siguiente conjunto G = a, b con siguiente tabla es un
grupo
(a)
a b
a a b
b b a
(b)
a b
a a b
b b a
Encuentre el grupo de automorsmos de (G, ). Mostremos que la funcion
identidad, es el unico automorsmo posible ya que la otra posibilidad sera:
h(a) = b,
h(b) = a.
Ahora bien h(bb) = h(a) = b, pero h(b)h(b) = aa = a, de donde se sigue
que h(bb) ,= h(b)h(b) y de este modo h no es un homomorsmo y as el unico
automorsmo es la identidad.
Teorema 2 Sean H y G grupos tales que H

= G, entonces A(G)

= A(H).
10
Prueba
Dado que G

= H, entonces existe f : G H la cual es un isomorsmo de

G en H. Para cualquier h A(G), denimos T
f
por
T
f
(h) = f h f
1
.
Claramente f
1
es un isomorsmo de H en G, ya que f lo es de G en H.
Por lo tanto, es claro T
f
(h) A(H), y as T
f
, es un isomorsmo de A(G) en
A(H), con lo que A(G)

= A(H).
0.1.1. Imagen y n ucleo de un homomorsmo
Denicion 3 Sean G y H grupos y considere un homomorsmo
f : G H
se dene
a) Imagen de F como el conjunto de las imagenes del homomorsmo f, es
decir
I(f) = f(g) [ g G
b) N ucleo de f,o kernel de f como el conjunto de preimagenes del neutro e
H
de H, es decir
N(f) = g G[ f(g) = e
H

Nota El N(f) ,= siempre, ya que e G, f(e) = e.

Ejemplo 21.
Volvamos al ejemplo del homomorsmo h : K = e, a, b, c e, g
donde h(e) = e, h(a) = e, h(b) = g, h(c) = g.
As el n ucleo de esta funcion es N(h) = e, a, mientras que el conjunto
imagen es I(h) = e, g
Ejemplo 22.
El homomorsmo h : ZZ e, g denido por:
h(n) =

e si n es par,
g si n es impar.
N(h) = 2n[ n ZZ.
0.1. HOMOMORFISMOS DE GRUPOS 11
Ejemplo 23.
Sea G = e, g, g
2
el grupo cclico de orden 3
e g g
2
e e g g
2
g g g
2
e
g
2
g
2
e g
denimos h : e, g, g
2
S
3
por:
h(e) = f
0
, h(g) = f
3
, h(g
2
) = f
4
,
cuyo n ucleo es e. Muestre que h es un homomorsmo, probando que los
nueve productos de pares de elementos de G son preservados por h.
I(h) = h(g) [ g G = f
0
, f
3
, f
4
.
Ejemplo 24.
Considere (ZZ
m
, +) y (ZZ
n
, +) grupos aditivos donde n[m. Se dene la
funcion
f : ZZ
m
ZZ
n
donde
f(a) = a (mod m) y (mod n) respectivamente a ZZ.
Probaremos que la funcion es un isomorsmo, y hallaremos su n ucleo.
Prueba
a) En primer lugar notemos que f esta bien denido, es decir,
a (mod m) = a

(mod m)
,entonces f(a) (mod n) = f(a

) (mod n). En efecto,

a (mod m) = a

(mod m),
= m[(a

a),
= n[(a

a),
= a

(mod n) = a (mod n),

= f(a

) (mod m) = f(a) (mod m).

12
Se ha mostrado as que f esta bien denida.
b) Ahora mostremos que f es un homomorsmo. En efecto, sean a, b ZZ
m
f(a + b) = f(a + b),
= (a + b) (mod n),
= a (mod n) + b (mod n),
= f(a) + f(b).
c) Es claro que f es sobreyectivo. Por que?
d) Para analizar la inyectividad hay analizemos el n ucleo. En efecto, sea
a (mod n) n ucleo de f,
= f(a (mod n)) = 0 (mod n),
= a (mod n) = 0 (mod n),
= n[a.
Por lo tanto, si escribimos m = nd, entonces n ucleo de f consiste en los
siguientes d elementos
0, n, 2n, 3n, , (d 1)n
el cual es un subgrupo normal de ZZ
m
.
Teorema 3 Si f : G H un homomorsmo de grupos, entonces
a) La imagen de f es un subgrupo de H
b) El n ucleo de f es un subgrupo normal de G.
Prueba
a)Sean f(g
1
), f(g
2
) Im(f), entonces
f(g
1
)[f(g
2
)]
1
= f(g
1
)f(g
1
2
) = f(g
1
g
1
2
)
lo cual pertenece a Im(f), pues g
1
g
1
2
G. Por lo tanto I(f) es un subgrupo
de H.
b) Hay que demostrar que si g
1
, g
2
N(f), entonces g
1
g
1
2
N(f). Si tanto
g
1
como g
2
N(f), entonces esto signica que f(g
1
) = e, f(g
2
) = e, donde
e es el elemento identidad de H. As:
f(g
1
g
1
2
) = f(g
1
)f(g
1
2
),
= f(g
1
)(f(g
2
))
1
,
= ee,
= e,
0.1. HOMOMORFISMOS DE GRUPOS 13
lo cual implica que g
1
g
1
2
N(f) y por lo tanto N(f) es un subgrupo de G.
Mostremos ahora que I(f) es un subgrupo normal de G.
Sea g G y sea n N(f), entonces
f(g
1
ng) = f(g
1
)f(n)f(g) = [f(g)]
1
ef(g) = e
por lo que g
1
ng N(f) y como n, g eran arbitrarios, se cumple que g
1
N(f)g
N(f), o sea que N(f) G.
Teorema 4 Si f : G H un homomorsmo de grupos, entonces f es un
monomorsmo N(f) = e
G

Prueba
Supongamos que f es inyectiva, y sea g N(f), entonces
f(g) = e
H
= f(e
G
) = e
G
N(f) = e
G

Supongamos ahora que N(f) = e

G
. Entonces si
f(g
1
) = f(g
2
) f(g
1
)[f(g
2
)]
1
= e
H
f(g
1
)f(g
1
2
) = e
H
,
f(g
1
g
2
)
1
= e
H
,
g
1
g
1
2
N(f),
g
1
g
1
2
= e
G
,
g
1
= g
2
0.1.2. Grupos cclicos e isomorsmos
Teorema 5 Dos grupos cclicos del mismo orden son isomorfos.
Prueba
Sean C =< c > y D =< d > dos grupos cclicos de orden n, es decir,
[ D [ =[ C [ = n, denimos:
f : C D,
c
k
f(c
k
) = d
k
.
para 0 k n1, es sobreyectivo por teorema anterior y como [ C [ =[ D [,
entonces es inyectivo y por lo tanto biyectivo, y as un isomorsmo.
14
Corolario Sea C =< c > tal que [ C [ = n, entonces C es isomorfo a
(ZZ
n
, +).
Nota As hemos contestado algunas preguntas con respecto a los grupos
cclicos.
(a) Son cclicos los subgrupos de los grupos cclicos?
(b) Cuantos subgrupos distintos se obtienen a partir de un grupo cclico
(con orden menor que el orden del grupo)?
(c) Un hecho interesante que puede responderse acerca de los grupos ccli-
cos es la siguiente: Existen grupos cclicos de cualquier orden m para
cualquier entero (nito) m > 0 ?. La respuesta es armativa como se
muestra a continuacion,
C
m
=

1 2 m1 m
2 3 m 1

,
C
2
m
=

1 2 m2 m1 m
3 4 m 1 2

,
C
m
m
=

1 2 m
1 2 m

= I.
Es claro que todos los elementos I,
m
,
2
m
, ,
m1
m
son distintos y
H =<
m
> es cclico de orden m.
(d) Existen dos grupos cclicos de orden m, que sean esencialmente difer-
entes?. Dicho de otro modo: si dos grupos cclicos son de orden m,
son estos isomorfos ?. Ya sabemos cual es la respuesta.
Teorema 6 Todos los grupos cclicos de orden innito son isomorfos.
Prueba
Sean G =< g > y H =< h > dos grupos cclicos innitos cualesquiera.
Denimos
f : H G,
h
k
f(h
k
) = g
k
, k ZZ.
es evidente que f es una funcion, la cual es sobreyectiva ya que si g
m
<
g >, existe el correspondiente h
m
H tal que f(h
m
) = g
m
tambien es
0.1. HOMOMORFISMOS DE GRUPOS 15
sucientemente claro que
f(h
k
h
l
) = f(h
k+l
),
= g
k+l
,
= g
k
g
l
,
= f(h
k
)f(h
l
),
es decir, f es un homomorsmo. Veamos que f es inyectivo, En efecto, si
f(h
m
) = f(h
n
),
= g
m
= g
n
,
= m = n,
(por teorema anterior y su corolario) =h
m
= h
n
=f es inyectivo y por
lo tanto un isomorsmo.
Corolario Sea G =< g >, un grupo cclico innito, entonces < g > es
isomorfo en (ZZ, +).
Prueba
Consideremos
f : ZZ < g >,
n g
n
= f(n).
NOTA: a) As solo hay esencialmente un grupo cclico de orden 2.
b) Solo existe un grupo cclico de orden 3.
c) Existen al menos dos grupos de orden 4 distintos, el Klein y el cclico de
orden 4.
d) Existen al menos dos grupos diferentes de orden 6, (ZZ
6
, +) y (S
3
, ).
f) Los grupos (ZZ, +) y (Ql , +) no son isomorfos ya que ZZ =< 1 > es
cclico y (Ql , +) no lo es.
Ejemplo 25.
Considere ZZ
2
ZZ
3
, con el producto directo usual de grupos, el cual
sabemos tiene 2 3 = 6 elementos,
(0, 0), (0, 1), (0, 2), (1, 0), (1, 1) y (1, 2). Armamos ZZ
2
ZZ
3
es cclico. En
efecto,
1(1, 1) = (1, 1),
2(1, 1) = (1, 1) + (1, 1) = (0, 2),
3(1, 1) = (1, 1) + (1, 1) + (1, 1) = (1, 3),
4(1, 1) = 3(1, 1) + (1, 1) = (1, 0) + (1, 1) = (0, 1),
5(1, 1) = 4(1, 1) + (1, 1), = (0, 1) + (1, 1) = (1, 2),
6(1, 1) = 5(1, 1) + (1, 1) = (0, 0).
16
As que (1, 1) genera a (ZZ
2
ZZ
3
) y tiene orden 6, entonces ZZ
2
ZZ
3

= ZZ
6
.
Ejemplo 26.
Consideremos el grupo cociente ZZ/3ZZ, (ZZ, +) y
N = 3ZZ, de donde 3ZZ, 1 + 3ZZ, 2 + 3ZZ = ZZ/3ZZ, es un grupo cclico
de orden 3, isomorfo a ZZ
3
. Construya la tabla.
Ejemplo 27.
El grupo (ZZ
4
ZZ
6
)/ < (0, 1) > aqu < (0, 1) > es un subgrupo cclico
de ZZ
4
ZZ
6
generado por (0, 1), as
< (0, 1) >= (0, 0), (0, 1), (0, 2), (0, 3), (0, 4), (0, 5).
Dado que ZZ
4
ZZ
6
tiene 24 elementos y H =< (0, 1) > tiene 6 elementos,
entonces (ZZ
4
, ZZ
6
)/H debe tener orden 4. Dado que ZZ
4
ZZ
6
, es abeliano,
as (ZZ
4
ZZ
6
)/H es abeliano tambien, ademas note que
(ZZ
4
ZZ
6
)/H = (0, 0) +H, (1, 0) +H, (2, 0) +H, (3, 0) +H,
que es isomorfo a ZZ
4
.
Ejemplo 28.
Halle un isomorsmo entre el grupo cclico general de orden 4 y (ZZ
4
, +).
En efecto, sea < a > el grupo cclico de orden cuatro; as:
< a > = e, a, a
2
, a
3
,
ZZ
4
f
< a >,
0 a
0
= f(0) = e,
1 a
1
= f(1),
2 a
2
= f(2),
3 a
3
= f(3).
es claramente un isomorsmo, en realidad basta 1 a.
Teorema 7 Si N es un subgrupo normal de un grupo G, y h : G G/N,
el cual se dene h(g) = gN, entonces h es llamado el homomorsmo canonico
de G en G/N.
Prueba
0.1. HOMOMORFISMOS DE GRUPOS 17
h es sobreyectivo, para xN G/N, h(x) = xN. Que h es homomorsmo. En
efecto,
h(g
1
g
2
) = g
1
g
2
N,
= g
1
N g
2
N,
= h(g
1
)h(g
2
).
Ejemplo 29.
Sea G = e, g, g
1
y H = e, h, h
1
y consideremos los grupos de orden
3 asociados a estos grupos dados en la siguiente tabla.
e g g
1
e e g g
1
g g g
1
e
g
1
g
1
e g
e h h
1
e e h h
1
h h h
1
e
h
1
h
1
e h
Es claro que e es la identidad de G y F es la identidad de H. Se nota
en las tablas de estos grupos su similitud desde el punto estructural y y
el hecho de que pueden ser sustituidos e por e, g por h, g
1
por h
1
para
as obtener exactamente la tabla de H. En otras palabras estos grupos son
esencialmente el mismo. Lo importante es saber que no siempre es posible
identicar dos grupos con el mismo n umero de elementos como en presente
ejemplo. As podemos denir la funcion f de G en F tal que
f(x y) = f(x) f(y) x, y G
del siguiente modo
f(e) = e, f(g) = h, f(g
1
) = h
1
,
18
y ademas
f(e) f(e) = e e = e = f(e e),
f(e) f(g) = e h = h = f(e g),
f(g) f(e) = h e = h = f(g e),
f(e) f(g
1
) = e h
1
= h
1
= f(e g
1
),
f(g
1
) f(e) = h
1
e = h
1
= f(g
1
e),
f(g) f(g
1
) = h h
1
= e = f(g g
1
),
f(g
1
) f(g) = h
1
h = e = f(g
1
g),
f(g) f(g) = h h = h
1
= f(g g),
f(g
1
) f(g
1
) = h
1
h
1
= h = f(g
1
g
1
).
De modo que f es biyectivo, y por lo tanto un isomorsmo de grupos G y H.
0.1. HOMOMORFISMOS DE GRUPOS 19
Ejercicios Propuestos
1. Determine cual de las siguientes funciones son homomorsmos:
a) h : ZZ IR ambos conjuntos con la suma y h(n) = n,
b) h : IR ZZ ambos conjuntos con la suma y
h(x) = el mayor entero menor o igual a x,
c) h : IR

IR

con la multiplicacion y h(x) = [x[,

d) h : ZZ
6
ZZ
2
con la suma y h(x) = el residuo de dividir x entre 2,
e) h : ZZ
9
ZZ
2
con la suma y h(x) = el residuo de dividir x entre 2.
2. Halle todos los automorsmos de un grupo cclico de orden 3.
3. Halle todos los automorsmos del grupo de Klein en si mismo.
4. Sean grupos G
1
y G
2
, considere la funcion h
1
: G
1
G
2
G
1
dada
por h
1
(x, y) = x. Muestre que h
1
es un homomorsmo. C ual es el
n ucleo?.
5. Determine cuales de las siguientes funciones son homomorsmos. Si la
funcion es un homomorsmo, describa su n ucleo y la imagen de este.
a) h : ZZ IR ambos grupos bajo la suma usual y donde
h(n) = n.
b) h : IR ZZ ambos grupos bajo la suma usual y donde
h(n) = el entero mas grande x.
6. Pruebe que un automorsmo queda totalmente determinado por su
denicion en el generador del grupo, si este es cclico.
7. Muestre que h
x
: G G, denido por f(g) = g
1
para cada g G,
es un automorsmo si y solo si G es abeliano.
8. Si A es un grupo abeliano de orden n y h un homomorsmo de A en
A denido por h(a) = a
k
, donde k es un entero, muestre que:
(a) h es un homomorsmo.
(b) h es un isomorsmo si m.c.d(n,k) = 1.
R: Recuerde que existen c, d ZZ tal que a
1
= a
nc+kd
. Esto ayudara a
mostrar que h es sobreyectivo y por lo tanto inyectivo.
20
9. Sea G el grupo de polinomios de grado n con coecientes en IR si
h : G G, denido por
h(
n

i=1
a
i
x
i
) = (
n

i=1
a
i
x
i
)

= (
n1

i=1
ia
i
x
i
)
a) Determine si h es o no un homomorsmo.
b) Determine si inyectivo. Si es sobreyectivo.
10. Si G = IR
3
, y G = IR
2
, con la suma como aperacion para ambos para
h : IR
3
IR
2
, se dene por f(a, b, c) = (a, b) determine si f es o no
un homomorsmo. Determine su n ucleo.
11. Sea h : (IR, +) GL(2, IR) denido por
h(x) =

cos(x) sin(x)
sin(x) cos(x)

.
Muestre que h es un homomorsmo sobreyectivo.
12. C ual de los siguientes grupos son isomorfos entre si?
(ZZ, +), (2ZZ, +), (ZZ
20
, +), (Ql
+
, +), (Ql
+
, ), (ZZ
8
, +), D
4
, GL(2, IR).
R: Resulta que D
4
y GL(2, IR) no son isomorfos a ninguno de los otros
grupos, pues todos los otros grupos son abelianos mientras que estos
dos no lo son. Por otro lado los grupos ZZ
20
, ZZ
8
, D
4
y GL(2, IR) son
isomorfos solo a ellos mismos, mientras ZZ y 2ZZ son isomorfos ya que
puede, denirse h : ZZ 2ZZ por medio de h(n) = 2n. Por otro lado
x
2
= 2 en (Ql
+
, ) y h(2) = 2x muestran que (Ql
+
, ) y (Ql , +) no son
isomorfos entre si. Dado que ninguno de los grupos anteriores es cclico
entonces estos no pueden ser isomorfos a (ZZ, +).
13. Sea G un grupo.
a) Si es un homomorsmo tal que h(0, 1) = k, encuentrese h(m, n).
b) Sean l, q G y sea g : ZZ ZZ G denida por g(m, n) = l
m
q
n
.
Dese un condicion necesaria y suciente para que g un isomorsmo.
Pr uebese la condicion.
14. Muestre que no es posible hallar un isomorsmo entre los grupos (IR, +)
y (IR 0, ).
0.1. HOMOMORFISMOS DE GRUPOS 21
15. Muestre que la condicion de ser isomorsmo entre grupos, dene una
relacion de equivalencia sobre el conjunto de todos los grupos.
16. Muestre que los elementos G = m+n

2 [ m, n ZZ, es un grupo G
bajo la adicion. Muestre que S, = 5
k
3
l
[ l, k ZZ es un grupo S con
la multiplicacion. Es G isomorfo a S?
R: Si son isomorfos.
17. Sea h : G G

un isomorsmo del grupo G en el grupo G

. Muestre
que h
1
: G

G, denida por
h
1
(x

) = x,
tal que h(x) = x

para x

, es una funcion bien denida la cual

resulta ser un isomorsmo.
18. C uantos isomorsmos de ZZ
2
en ZZ
2
distintos pueden denirse?. La
misma pregunta con ZZ
6
, ZZ
8
, ZZ, ZZ
17
. R: 1, 2, 4, 2, 16
19. Sea (G, ) un grupo. Considere la operacion binaria denida sobre el
conjunto G por a b = b a para cada a, b G. Muestre que (G, ) es
un grupo y que este es isomorfo a (G, ).
R: Considere la funcion h(g) = g
1
.
20. Pruebe que el grupo S
3
y el grupo (ZZ
6
, +) no son isomorfos y que salvo
isomorsmos no existen otros grupos de orden 6 mas que estos.
21. Sea p n umero primo, entonces salvo isomorsmo, existe un unico grupo
de orden p, simplemente el grupo cclico de orden p.
22. Sean los grupos (ZZ
10
, +) y (ZZ

11
, ) cclicos de orden 10. Encuentre un
isomorsmo:
h : ZZ
10
ZZ

11
para el cual: (i) h(1) = 2 , (ii) h(1) = 3. Halle tantos isomorsmos
como sea posible entre estos grupos.
R: i) Si; h(1) = 2 , h(2) = 4 , h(3) = 8, h(4) = 5 , h(5) =
10 , h(6) = 9 , h(7) = 7 , h(8) = 3 , h(9) = 6 , h(0) = 1.
23. Considere cada uno de los siguientes grupos y en cada caso describa los
automorsmos posibles que se puedan construir, C uantos hay en cada
22
caso?:
a) (ZZ, +),
b) (ZZ
7
, +),
c) El grupo cclico de orden p, con p primo, con la operacion de multi-
plicacion y con a a como generador,
d) El grupo S
3
,
e) El grupo cclico con generador a y de orden n,
f) De dos argumentos para mostrar que el grupo de klein K no es
isomorfo a ZZ
4
.
24. Complete cada una de las siguientes lista de proposiciones:
a) ZZ
3
ZZ
4
tiene orden,
b) El elemento (4, 2) de ZZ
12
ZZ
8
tiene orden,
c) El grupo K de Klein es isomorfo a ZZ ZZ,
d) El grupo ZZ
2
ZZ
4
tiene elementos de orden nito
25. Comprobar que el n ucleo del homomorsmo canonico del grupo de los
enteros (ZZ, +) sobre ZZ/2ZZ es 2ZZ.
26. Demostrar que si G es un grupo cclico de orden n, y si p[n, entonces
existe un homomorsmo de G sobre el grupo cclico de orden p. C ual
es el n ucleo de este homomorsmo?.
27. Demostrar que si h : G K es un homomorsmo y [G[ < ,
entonces [h(G)[ divide al orden de G.
28. S upongase que G y H son dos grupos. S upongase que G no puede ser
generado por dos elementos pero que H s. Demostrar que G y H no
pueden ser isomorfos.
29. a) C uantos homomorsmos distintos sobreyectivos hay de ZZ ZZ?,
b) C uantos homomorsmos distintos inyectivos hay de ZZ ZZ?,
c)C uantos homomorsmos distintos sobreyectivos hay de ZZ ZZ
8
?,
d) C uantos homomorsmos distintos hay de ZZ ZZ
8
?.
e) C uantos epimorsmos distintos hay de ZZ
12
ZZ
5
?,
f) C uantos homomorsmos distintos hay de ZZ
12
ZZ
6
?,
g) C uantos epimorsmos distintos hay de ZZ
12
ZZ
6
?,
h) C uantos homomorsmos sobreyectivos hay de ZZ
12
ZZ
14
?,
i) C uantos homomorsmos distintos hay de ZZ
12
ZZ
16
?.
0.1. HOMOMORFISMOS DE GRUPOS 23
30. a) C uantos homomorsmos existen de ZZ
2
ZZ
2
en ZZ
2
?,
b) C uantos homomorsmos sobreyectivos existen de ZZ
2
ZZ
2
en ZZ
2
?,
c) C uantos homomorsmos existen de ZZ
2
ZZ
2
en ZZ
6
?,
d) C uantos homomorsmos existen de ZZ
2
ZZ
2
en ZZ
2
ZZ
2
ZZ
2
?,
d) C uantos homomorsmos existen de ZZ
2
ZZ
2
en ZZ
2
ZZ
2
ZZ
4
?.
31. Diga si es verdadera o falsa cada una de las siguientes proposiciones:
( ) Cualesquiera dos grupos con el mismo orden son isomorfos
( ) Cualesquier funcion biyectiva es un isomorsmo
( ) Un grupo de orden 30 puede ser isomorfo a uno de orden 72.
( ) Cada homomorsmo es un isomorsmo
( ) Cada isomorsmo es un homomorsmo
( ) La imagen de un grupo de orden 6 bajo un homomorsmo pueda
tener 4 elementos
( ) La imagen de un grupo de orden 6 bajo un homomorsmo pueda
tener 12 elementos
( ) Puede existir un homomorsmo de un grupo de orden 6 a uno de
orden 12
( ) Puede existir un homomorsmo de un grupo de orden 6 a uno de
orden 10
( ) Cualquiera dos grupos de orden tres son isomorfos
( ) Existe solo un grupo cclico de orden nito salvo isomorsmo
( ) La propiedad de ser cclico es una propiedad algebraca.
( ) Es posible tener un homorsmo de un grupo innito en un grupo
nito.
( ) Puede ser que un grupo G cclico no trivial sea isomorfo a uno de
sus subgrupos propios.
32. Pruebe que conjunto de automorsmos de ZZ es isomorfo a (ZZ
2
, +), es
decir, A(ZZ) =

= ZZ
2
.
33. Si G = g) y h A(G), entonces G = h(g)).
34. Si x) = y) = G, entonces la funcion h(x
n
) = y
n
, para cada n ZZ
es un automorsmo. Por lo tanto si G es cclico, entonces [A(G)[ es
igual al n umero de generadores de G.
35. Pruebe que A(ZZ
m
)

= ZZ

m
.
24
36. Muestre que si G = g) es cclico de orden nito, entonces h(g
n
) = g
n
es un automorsmo de G en G.