HOMOMORFISMOS E ISOMORFISMOS

HOMOMORFISMO DE GRUPOS

Sean (G, ) y (G0 , ) dos grupos. Un homomorfismo de grupos (o simplemente homomorfismo)

entre G y G0 es una aplicacion:
f : G G0
tal que, f (a b) = f (a) f (b), para todo a, b G.

Nota: En abstracto, normalmente, utilizaremos la siguiente notacion simplificada: f (ab) = f (a)f (b).

TIPOS DE HOMOMORFISMOS

Un monomorfismo de grupos es un homomorfismo de grupos que es inyectivo.

Un epimorfismo de grupos es un homomorfismo de grupos que es sobreyectivo.

Un isomorfismo de grupos es un homomorfismo de grupos que es biyectivo.

Un endomorfismo de grupos es un homomorfismo de un grupo en s mismo.

Un automorfismo de grupos es un isomorfismo de un grupo en s mismo.

PROPIEDADES DE LOS HOMOMORFISMOS DE GRUPOS

Teorema 1: Sean f : G G0 un homomorfismo de grupos y e, e0 los elementos neutros de G y

G0 , respectivamente. Entonces

(a) f (e) = e0 .

(b) f (x1 ) = [f (x)]1 , para todo x G.

(c) f (xn ) = [f (x)]n , para todo x G y n Z+ .

(d) Si H 6 G, entonces f (H) 6 G0 .

(e) Si f es un isomorfismo, o(x) = o(f (x)), para todo x G.

 KERNEL E IMAGEN DE UN HOMOMORFISMO DE GRUPOS

Sea f : G G0 un homomorfismo de grupos, entonces el kernel de f (o nucleo de f ) es el

conjunto de las preimagenes del elemento neutro e0 de G0 , es decir

Ker(f ) = {x G : f (x) = e0 }

La imagen de f es el conjunto de las imagenes del homomorfismo, es decir

Im(f ) = {f (x) : x G}

Nota: Es claro que la imagen de un homomorfismo es su rango.

Teorema 2: Sea f : G G0 un homomorfismo de grupos y e, e0 los elementos neutros de G y

G0 , respectivamente. Entonces

(a) e Ker(f ).

(b) e0 Im(f ).

(c) Ker(f ) 6 G.

(d) Im(f ) 6 G0 .

(e) f es inyectiva si y solo si Ker(f ) = {e}.

(f) f es sobreyectiva si y solo si Im(f ) = G0 .

GRUPOS ISOMORFOS

Dos grupos G y G0 son isomorfos (escribiremos G

= G0 ) si existe algun isomorfismo f : G G0 .

PROPIEDADES DE LOS GRUPOS ISOMORFOS

Teorema 3: Si G y G0 son grupos tales que G

= G0 , entonces
(a) |G| = |G0 |.

(b) G es abeliano si y solo si G0 es abeliano.

(c) G es cclico si y solo si G0 es cclico.

Teorema 4: Sea G un grupo cclico.

(a) Si G es un conjunto infinito, entonces G es isomorfo a (Z, +).

(b) Si G es un conjunto finito de orden n (donde n > 1), entonces G es isomorfo a (Zn , +).

2
 Estas propiedades resultan bastante utiles, entre otras cosas, para demostrar, en algunos casos,
que dos grupos no son isomorfos. Veamos algunos ejemplos:

Ejemplo 1: Los grupos (Z6 , +) y (Z8 , +) no son isomorfos porque |Z6 | = 6 6= 8 = |Z8 |.

Ejemplo 2: Los grupos (Z4 , +) y el grupo de Klein no son isomorfos porque Z4 es cclico, pero
el grupo de Klein no lo es.

Ejemplo 3: Recordemos que el grupo simetrico S3 tiene 6 elementos y no es abeliano. Observe-

mos, por ejemplo, que
         
1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3
= 6= =
2 3 1 2 1 3 3 2 1 1 3 2 2 1 3 2 3 1

Luego, S3 no es isomorfo a Z6 ya que este ultimo es abeliano.

Ejemplo 4: Los grupos (G, ) y (G0 , ), donde G = {e, a, b, c, d, f, g, h} y G0 = {0, 1, 2, 3, 4, 5, 6, 7},

cuyas tablas de Cayley se muestran a continuacion:

no son isomorfos ya que, por ejemplo, G tiene solo un elemento de orden 2 (el elemento d), mientras
que G0 tiene tres elementos de orden 2 (los elementos 2, 4 y 6). Este hecho es respaldado por el
Teorema 1(e).