Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Homomorfismos PDF
Homomorfismos PDF
HOMOMORFISMOS DE GRUPOS 1
f :GH
se dice ser
a) Un homomorfismo 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 monomorfismo si es un homomorfismo inyectivo de G en H.
c) Un epimorfismo si es un homomorfismo sobreyectivo de G en H.
d) Un isomorfismo de H en G si es un homomorfismo biyectivo entre estos
dos grupos. G y H se dicen isomorfos, y se escribe G = H.
e) Un automorfismo si es un isomorfismo de G en G.
Ejemplo 1.
Sea h : (IR, +) (IR {0}, ), se define h(x) = 3x . Vemos que
h(x + y) = 3x+y ,
= 3x 3y ,
= h(x)h(y).
dh(x)
= ln3 3x > 0, x IR,
dx
esto significa que h es creciente estrictamente y por lo tanto inyectiva, as que
h es un monomorfismo.
Ejemplo 2.
Sea A cualquier grupo abeliano definimos h(a) = a2 , esta funcion es un
homomorfismo de este grupo en si mismo. En efecto,
h(ab) = (ab)2 ,
= a2 b 2 ,
= h(a)h(b).
Ejemplo 3.
Consideremos h, una funcion definida por:
h : (ZZ, +) ({1, 1}, ),
n h(n) = (1)n .
e g g2
e e g g2
g g g2 e
g2 g2 e g
y h : G G definido por
h(e) = e,
h(g) = g2,
h(g 2 ) = g.
0.1. HOMOMORFISMOS DE GRUPOS 3
Nota
El siguiente teorema es especialmente u til 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 finito
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 x2 = a, tenga
exactamente una solucion para cada a en el grupo.
Por otro lado no son propiedades estructurales que el grupo contenga al numero
5 como elemento, que todos elementos sean n umeros , que la operacion del
grupo se llame composicion, que los elementos del grupo sean permutaciones,
que el grupo sea un subgrupo de (IR, +).
1. h(e) = e.
2. h(x1 ) = (h(x))1 .
5. G es abeliano H es abeliano.
6. g k = g 0 en G (h(g))k = h(g 0 ) en H.
8. xk = g tiene el mismo n
umero de soluciones en G que h(g) = xk en
H.
Prueba
Ejemplo 8.
Consideremos el conjunto de matrices
( ! )
a b
Gl(2, IR) = | a, b, c, d IR, donde ad bc 6= 0 .
c d
6
h(e) = e,
h(a) = e,
h(b) = g,
h(c) = g.
Ejemplo 17.
Sean G = {a, a2 , a3 , , a11 , a12 = e} este grupo es cclico y su subgrupo
G0 = {a2 , a4 , a6 , , a12 = e} se ve que
G : G0 ,
an h(an ) = a2n .
es un homomorfismo de G en G0 . (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 definir h(1) = 0, h(1) = 1 claramente h
es una funcion biyectiva, solo debemos comprobar que h es un homomorfismo.
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.
Definici
on 2 Sea G un grupo, entonces
A(G) = {f : G G | f es un isomorfismo},
es decir, A(G) es el conjunto de automorfismos 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. Verifiquemos que f g es un homomorfismo de A
en A. se tiene que mostrar que
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.
h(a) = b,
h(b) = a.
Prueba
Dado que G
= H, entonces existe f : G H la cual es un isomorfismo de
G en H. Para cualquier h A(G), definimos Tf por
Tf (h) = f h f 1 .
0.1.1. Im
agen y n
ucleo de un homomorfismo
Definici
on 3 Sean G y H grupos y considere un homomorfismo
f : G H
se define
a) Imagen de F como el conjunto de las imagenes del homomorfismo 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 eH
de H, es decir
N(f ) = {g G | f (g) = eH }
Nota El N(f ) 6= siempre, ya que e G, f (e) = e.
Ejemplo 21.
Volvamos al ejemplo del homomorfismo h : K = {e, a, b, c} {e, g}
donde h(e) = e, h(a) = e, h(b) = g, h(c) = g.
ucleo de esta funcion es N(h) = {e, a}, mientras que el conjunto
As el n
imagen es I(h) = {e, g}
Ejemplo 22.
El homomorfismo h : ZZ {e, g} definido por:
(
e si n es par,
h(n) =
g si n es impar.
Ejemplo 23.
Sea G = {e, g, g 2 } el grupo cclico de orden 3
e g g2
e e g g2
g g g2 e
g2 g2 e g
Ejemplo 24.
Considere (ZZm , +) y (ZZn , +) grupos aditivos donde n|m. Se define la
funcion
f : ZZm ZZn
donde
a (mod m) = a0 (mod m)
Prueba
Supongamos que f es inyectiva, y sea g N(f ), entonces
Prueba
Sean C = < c > y D = < d > dos grupos cclicos de orden n, es decir,
| D | = | C | = n, definimos:
f : C D,
ck f (ck ) = dk .
(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 (finito) m > 0 ?. La respuesta es afirmativa como se
muestra a continuacion,
!
1 2 m1 m
Cm = ,
2 3 m 1 !
2 1 2 m2 m1 m
Cm = ,
3 4 m! 1 2
m 1 2 m
Cm = = I.
1 2 m
2 m1
Es claro que todos los elementos {I, m , m , , 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.
Prueba
Sean G = < g > y H = < h > dos grupos cclicos infinitos cualesquiera.
Definimos
f : H G,
hk f (hk ) = g k , k ZZ.
es evidente que f es una funcion, la cual es sobreyectiva ya que si g m <
g >, existe el correspondiente hm H tal que f (hm ) = g m tambien es
0.1. HOMOMORFISMOS DE GRUPOS 15
As que (1, 1) genera a (ZZ2 ZZ3 ) y tiene orden 6, entonces ZZ2 ZZ3
= ZZ6 .
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 ZZ3 . Construya la tabla.
Ejemplo 27.
El grupo (ZZ4 ZZ6 )/ < (0, 1) > aqu < (0, 1) > es un subgrupo cclico
de ZZ4 ZZ6 generado por (0, 1), as
< (0, 1) > = {(0, 0), (0, 1), (0, 2), (0, 3), (0, 4), (0, 5)}.
Dado que ZZ4 ZZ6 tiene 24 elementos y H = < (0, 1) > tiene 6 elementos,
entonces (ZZ4 , ZZ6 )/H debe tener orden 4. Dado que ZZ4 ZZ6 , es abeliano,
as (ZZ4 ZZ6 )/H es abeliano tambien, ademas note que
<a> = {e, a, a2 , a3 },
f
ZZ4 < a >,
0 a0 = f (0) = e,
1 a1 = f (1),
2 a2 = f (2),
3 a3 = f (3).
Prueba
0.1. HOMOMORFISMOS DE GRUPOS 17
Ejemplo 29.
Sea G = {e, g, g1 } y H = {e, h, h1 } y consideremos los grupos de orden
3 asociados a estos grupos dados en la siguiente tabla.
e g g1
e e g g1
g g g1 e
g1 g1 e g
e h h1
e e h h1
h h h1 e
h1 h1 e h
f (x y) = f (x) f (y) x, y G
y ademas
Ejercicios Propuestos
h(n) = n.
a) Determine si h es o no un homomorfismo.
b) Determine si inyectivo. Si es sobreyectivo.
10. Si G = IR3 , y G = IR2 , con la suma como aperacion para ambos para
h : IR3 IR2 , se define por f (a, b, c) = (a, b) determine si f es o no
un homomorfismo. Determine su n ucleo.
12. C
ual de los siguientes grupos son isomorfos entre si?
14. Muestre que no es posible hallar un isomorfismo entre los grupos (IR, +)
y (IR {0}, ).
0.1. HOMOMORFISMOS DE GRUPOS 21
15. Muestre que la condicion de ser isomorfismo entre grupos, define 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, = {5k 3l | l, k ZZ} es un grupo S con
la multiplicacion. Es G isomorfo a S?
R: Si son isomorfos.
h1 (x0 ) = x,
18. C
uantos isomorfismos de ZZ2 en ZZ2 distintos pueden definirse?. La
misma pregunta con ZZ6 , ZZ8 , ZZ, ZZ17 . R: 1, 2, 4, 2, 16
20. Pruebe que el grupo S3 y el grupo (ZZ6 , +) no son isomorfos y que salvo
isomorfismos no existen otros grupos de orden 6 mas que estos.
21. Sea p n
umero primo, entonces salvo isomorfismo, existe un u
nico grupo
de orden p, simplemente el grupo cclico de orden p.
22. Sean los grupos (ZZ10 , +) y (ZZ11 , ) cclicos de orden 10. Encuentre un
isomorfismo:
h : ZZ10 ZZ11
para el cual: (i) h(1) = 2 , (ii) h(1) = 3. Halle tantos isomorfismos
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
automorfismos posibles que se puedan construir, Cuantos hay en cada
22
caso?:
a) (ZZ, +),
b) (ZZ7 , +),
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 S3 ,
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 ZZ4 .
25. Comprobar que el n ucleo del homomorfismo canonico del grupo de los
enteros (ZZ, +) sobre ZZ/2ZZ es 2ZZ.
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.