HOMOMORFISMOS E ISOMORFISMOS DE GRUPOS

Definici
on (Homomorfismos)

Dados los grupos (G, ) y (G0 , ) una funcion f : G G0 , se dice que f es un homomorfismo del grupo G en el grupo G0 si f preserva (conserva) las operaciones de los grupos G y G0 .
Si ademas f es uno a uno (inyectiva), la funcion f se denomina monomorfismo y si f es
sobre se llama epimorfismo. Cuando f es una biyeccion se llama isomorfismo y en tal caso
se dice que los grupos G y G0 son isomorfos, lo cual se nota G G0 . En el caso que que G = G0
y f sea un isomorfismo, mas generalmente se dice que f es un automorfismo en G (o en G0 ).
Ejemplo 1: Dado los grupos (R, +) y (R, ), la funcion f : (R, +) (R, ) dada por f (x) = ex
es un homomorfismo.
En efecto, dados x, y R,
f (x + y) = ex+y = ex ey = f (x) f (y)
Ejemplo 2: La funcion
g : (R+ , ) (R, +)
x g(x) = ln(x)
es un homomorfismo de grupo pues
g(x y) = ln(x y) = ln(x) + ln(y) = g(x) + g(y)

Operaci
on en R+

Operacion en R

Ejemplo 3: Si (G, ) es un grupo abeliano, entonces la funcion

f : G G
x f (x) = x x = x2
es un homomorfismo.
En efecto, dados x, y G se tiene que
f (x y) = (x y) (x y)
= x (y x) y = (x x) (y y)
= x2 y 2 = f (x) f (y)
Ejemplo 4: Si (G, ) es abeliano, entonces
f : G G
x f (x) = x1
es un homomorfismo de grupos. En efecto, dados x, y G,
f (x y) = (x y)1 = y 1 x1 = x1 y 1 = f (x) f (y)

Algunas Propiedades:
Si f es un Isomorfismo de (G, ) en (G, ) entonces:
i) f (eG ) = eG0 donde eG es el modulo de G y eG0 es el modulo de G0 .
ii) f (x1 ) = [f (x)]1 para cada x G
Demostraci
on:
i) Dado x G, es claro que x eG = x. Luego f (x) = f (x eG ) = f (x) f (eG) (1).
Por otro lado para cada f (x) G0 , se tiene que f (x) eG0 = f (x) (2). Luego, de (1) y (2)
f (x) = f (x)f (eG ) = f (x)eG0 y en virtud de la propiedad cancelativa, se sigue que f (eG ) = eG0 .
ii) Para cada x G, se tiene que x x1 = eG . Luego, en virtud del inciso anterior
eG0 = f (e) = f (x x1 ) = f (x) f (x1 )
Lo que significa que f (x) es el inverso de f (x1 ) y recprocamente, es decir
[f (x)]1 = f (x1 )
Definici
on (N
ucleo o Kernel)
Sea f : (G, ) (G0 , ) un homomorfismo. EL conjunto Kf o Ker(f ) definido por
Ker(f ) = {x G | f (x) = eG0 }
Se denomina n
ucleo o kernel del isomorfismo f .
Note que Ker(f ) 6= pues f (eG ) = eG0 y as eG Kerf (f ).
Ejemplo 5: En el caso de la funcion g del ejemplo 2, note que
Ker(g) = {x R+ | g(x) = 0}
Ker(g) = {x R+ | ln(x) = 0}
Ker(g) = {x R | e0 = x} = {1}
Ejemplo 6: Considere la funcion
f : (C {0}, ) (R+ , )
z f (z) = kzk
Entonces f es un homomorfismo de grupos, pues f (z w) = kz wk = kzk kwk = f (z) f (w)
Observaci
on: Como z, w C {0}, entonces
z = (a, b) = a + ib y w = (c, d) = c + id
donde a, b, c, d no son simultaneamente ceros.
Por otro lado, note que
2

Ker(f ) = {z C {0} | f (z) = 1}, pues 1 = eR+

= {z C {0} | kzk = 1}
= {z C {0} | x2 + y 2 = 1},

z = (x, y) = x + iy

Lo cual indica que Ker(f ) esta formado por todos los puntos del plano complejo que se encuentran sobre la circunferencia unitaria x2 + y 2 = 1
Teorema: La relacion de isomorfismo entre grupos es de equivalencia. Debemos probar
lo siguiente:
i) Todo grupo G es isomorfo consigo mismo, es decir G, G G.
ii) Si G G0 , entonces G0 G.
iii) Si G G0 , y, G0 G00 entonces G G00 .
Demostraci
on:
i) En efecto, la funcion
IG : (G, ) (G, )
x IG (x) = x
Es un homomorfismo, pues
IG (x y) = x y = IG (x) IG (y)
Es claro ademas que IG (x) es una biyeccion y asi G G
ii) Si G G0 entonces existe una funcion f : (G, ) (G0 , ) que es un homomorfismo
biyectivo. Puesto que f es una biyeccion, existe su inversa f 1 : (G0 , ) (G, ) tambien
biyectiva. Veamos que f 1 es tambien un homomorfismo. Esto es cierto puesto que
f 1 (a b) = f 1 (a) f 1 (b)
Como a, b G0 y f es sobre (por ser biyectiva), existen x, y G tales que a = f (x) y b = f (y).
Luego
f 1 (a b) = f 1 (f (x) f (y))
= f 1 (f (x y))
= (f 1 f )(x y)
= I(x y)
= x y = f 1 (a) f 1 (b)
en consecuencia G0 G

iii) Si G G0 y G0 G00 , entonces existen funciones f y g tales que

f : (G, ) (G0 , ), g : (G0 , ) (G00 , 4)
Homomorfismos biyectivos.

Luego, la compuesta de f con g

g f : (G, ) (G00 , 4)
es tambien biyectiva, por ser f y g biyecciones. Veamos que g f es un homomorfismo, es decir
que preserva las operaciones de los grupos G y G00 .
Dados , G,
(g f )( ) = g[f ( )] = g[f () f ()]
= g[f ()4f ()]
= (g f )()4(g f )()
Y en consecuencia G G00