lgebra II (LSI y PI)-F.C.E. y T.

-UNSE
1
5.- HOMOMORFISMOS

5.1 HOMOMORFISMO DE GRUPOS

Definicin 1
Sean ,*) (G , ) , ( H dos grupos. La funcin H G f : es un homomorfismo del
grupo G en el grupo H si y slo si:
f(b) f(a) b) * f(a G; b a, =













Ejemplo:
Un homomorfismo del grupo (R
+
, .) en el grupo (R, +) es la funcin logaritmo
definida por:

log : R
+
R
x log x

ya que cualesquiera sean a, b R
+
se verifica que

logb loga log(ab) + =


Proposicin 1
Sean ,*) (G , ) , ( H dos grupos. Si H G f : es un homomorfismo, entonces la
imagen del elemento neutro de G es igual al elemento neutro de H. Esto es,
f(e
G
) = e
H

Demostracin

Como por hiptesis ,*) (G es un grupo se tiene que,
G H
a
b
a*b
f(a)
f(b)
f(a*b)= f(a) f(b)

f
lgebra II (LSI y PI)-F.C.E. y T.-UNSE
2
a a e e a G a
G G
= = * * ;

Tomando la igualdad
a e a
G
= *
y aplicando f en ambos miembros se conserva la igualdad (por ser f una funcin)
( ) ( ) a f e a f
G
= *

y adems f es un homomorfismo, entonces

( ) a f e f a f
G
= ) ( ) ( .
Al operar en el segundo miembro con e
H
, elemento neutro de ) , ( H , no se altera la
igualdad
( ) ( )
H G
e a f e f a f = ) ( .
Por ser ) , ( H un grupo, todo elemento de H es cancelable por lo que resulta:
( )
H G
e e f =
De manera anloga se procede partiendo de la igualdad a a e
G
= * , y se llega a que
( )
H G
e e f =
Q.E.D

Proposicin 2
Sean ,*) (G , ) , ( H dos grupos. Si H G f : es un homomorfismo, entonces la
imagen del inverso de todo elemento de G es igual al inverso de su imagen. Esto es,
a G ; f(a) = [ f(a)]
Demostracin:

Por hiptesis ,*) (G es un grupo, por lo tanto

G
e a a a a G a G a = = * ' ' * : ' ;

Tomando la igualdad
G
e a a = ' * y aplicando f en ambos miembros es:
( ) ( )
G
e f a a f = ' *
Por definicin de homomorfismo y por la Proposicin 1 de homomorfismos, se tiene

( ) ( )
H
e a f a f = ' ()
En forma anloga se procede con la igualdad
G
e a a = * ' , y se llega a que
( ) ( )
H
e a f a f = ' ()
lgebra II (LSI y PI)-F.C.E. y T.-UNSE
3
.
. .
f(x) = e
H

. .
.
En () y () se observa que f(a) operado a izquierda y a derecha con f(a) se obtiene
el elemento neutro e
H
. Por lo tanto se deduce que f(a) es inverso de f(a) y como el
inverso de cada elemento es nico se verifica:
a G ; f(a) = [ f(a)]

En diagrama de Venn












Q.E.D

Ncleo de un homomorfismo de grupos

Definicin 2
Sean ,*) (G , ) , ( H dos grupos y H G f : un homomorfismo. El Ncleo del
homomorfismo f es el conjunto formado por los elementos de G que tienen por
imagen al elemento neutro de H.
En smbolos,

N
f
= {x G / f(x) = e
H
}, ()
donde e
H
es el elemento neutro de H.
Es claro que, un elemento de G pertenece al ncleo de f si y slo si su imagen es
igual al elemento neutro de G, esto es

x N
f
f(x) = e
H
()

G H





f
N
f
.
.

.
.

.
. x
. .
G
H
a
e
G

a'
f(a)
f(e
G
)= e
H

f(a)= [f(a)]

f
lgebra II (LSI y PI)-F.C.E. y T.-UNSE
4
Proposicin 3
Sean ,*) (G , ) , ( H dos grupos y H G f : un homomorfismo. El Ncleo del
homomorfismo f es un subgrupo del grupo G.


Demostracin:
i) N
f
G
Esto es evidente por (), definicin de ncleo de un homomorfismo.

ii) N
f

En efecto,
( )
G
e f
H
e
) 1 (
=
f f G
N N e
) 3 ( ) 2 (

(1) Por Proposicin 1
(2) Por definicin () de ncleo
(3) Por definicin de

iii)
f f
N b a N b a ' * ,
En efecto,

(3) (2) (1)
' )]' ( [ ) ( ) ( ) ( , = = = =
H H H H
f
e b f e a f e b f e a f N b a

( )
(6) (5) (4) (3)
' * ) ' ( ) ( ) ' ( ) ( = = = =
H H H H H
e b a f e e b f a f e b f e a f

f
N b a ' *
(6)


Referencias:
(1) Por definicin () de ncleo
(2) Si dos elementos son iguales, sus inversos tambin lo son
(3) Por Proposicin 2 y porque el inverso del elemento neutro es l mismo
(4) Componiendo miembro a miembro las igualdades precedentes
(5) Porque f es un homomorfismo y
H
e elemento neutro de G
(6) Porque G es un grupo y por definicin () de ncleo

Por i), ii), iii) se tiene que el Ncleo de f es un subgrupo del grupo G.
Simblicamente se escribe G
f
N
Q.E.D.

lgebra II (LSI y PI)-F.C.E. y T.-UNSE
5
Imagen de un homomorfismo de grupos
Definicin 3
Sean ,*) (G , ) , ( H dos grupos y H G f : un homomorfismo. La Imagen del
homomorfismo f es el conjunto formado por los elementos de H que tienen
preimagen en G.
En smbolos,
I
f
= {y H / x G: f(x) = y} ()
Es claro que,

y I
f
x G : f(x) = y ()

En Diagramas de Venn
G H





f
Proposicin 4
Sean ,*) (G , ) , ( H dos grupos y H G f : un homomorfismo. La Imagen del
homomorfismo f es un subgrupo del grupo H.
Demostracin:
i) I
f
H
Esto es claro, por definicin de Imagen de un homomorfismo ()

ii) I
f

En efecto,

G
e G tal que ( )
H G
e e f =
) 1 (

H
e

I
f

) 2 (

I
f

Referencias:
(1) Por definicin ()
(2) Por definicin de conjunto vaco

I
f .


.
.
. . ..
. . .
. . .
x

. . .
.
. . .

f(x)= y
lgebra II (LSI y PI)-F.C.E. y T.-UNSE
6
iii)
f
I y y
f
I y y ' ,
2 1 2 1
.
En efecto:
G x G x
f
I y
f
I y
2 1 2 1

) 1 (
:
2 2 1 1
) ( ) ( y x f y x f = =
) 2 (


) 2 (
G x G x
2 1
:
2 1 1
' ' )
2
( ) ( y x f y x f = =
(

) 3 (



) 3 (
G x G x
2 1
:
2 1 1
' ) ' ( ) (
2
y x f y x f = =
) 4 (


) 4 (
G x G x
2 1
:
2 1 1
' ) ' ( ) (
2
y y x f x f =
) 5 (


) 5 (
G x x
2 1
* :
2 1 1
' ) ' * (
2
y y x x f =
) 6 (

f
I y y
2 1


Referencias:

(1) Por definicin ()
(2) Si dos elementos son iguales, sus inversos tambin lo son
(3) Porque G es un grupo y por Proposicin 2
(4) Componiendo miembro a miembro las igualdades precedentes
(5) Porque G es un grupo y f es un homomorfismo
(6) Por definicin ()

Luego, por i), ii), iii) se tiene que la Imagen de f es un subgrupo del grupo H.
Simblicamente se escribe H
f
I .
Q.E.D.
Ejercicio
Pruebe que la funcin f : R
3
R
2
/ f(x, y, z) = (x+y, z) es un homomorfismo del
grupo (R
3
, +) en el grupo (R
2
, +) y determine el ncleo y la imagen de f .
Desarrollo:
a) f es un homomorfismo. En efecto,
sean
3
2 2 2 1 1 1
) , , ( ), , , ( R z y x z y x , entonces

[ ]
(2) (1)
) , , ( ) , , ( ) , , (
2 1 2 1 2 1 2 2 2 1 1 1
= + + + = + z z y y x x f z y x z y x f

( ) ( )
(4) (3) (2)
), ( ) ( ), ( ) (
2 1 2 2 1 1 2 1 2 1 2 1
= + + + + = + + + + = z z y x y x z z y y x x

) , , ( ) , , ( ) , ( ) , (
2 2 2 1 1 1 2 2 2
1
1 1
) 5 ( ) 4 (
z y x f z y x f z y x z y x + = + + + =
lgebra II (LSI y PI)-F.C.E. y T.-UNSE
7
Referencias:
(1) Por definicin de suma en R
3
(2) Por la definicin de la funcin f
(3) Por la conmutatividad y asociatividad de la suma en R
(4) Por definicin de suma en R
2

(5) Por la definicin de la funcin f

Por lo tanto f es un homomorfismo de (R
3
, +) en (R
2
, +).

b) El ncleo de f est dado por

)
`

= = ) 0 , 0 ( ) , , ( / ) , , (
3
z y x f z y x
f
N R
A partir de
) 0 , 0 ( ) , , ( = z y x f ,

y teniendo en cuenta la definicin de la funcin f , se tiene

) 0 , 0 ( ) , ( = + z y x
Como dos pares de nmeros reales son iguales si y solo si son iguales sus
respectivas componentes, se tiene un sistemas de ecuaciones homogneo

=
=

=
= +
0

0
0
z
x y
z
y x

De donde el conjunto solucin es
{ 0 / ) , , (
3
= = z x y z y x R }
Por consiguiente el ncleo est dado por:
)
`

= = = 0 / ) , , (
3
z x y z y x
f
N R
O simplemente:
{ } R = x x x
f
N / ) 0 , , ( .

c) La Imagen de f , es

)
`

= = ) , ( ) , , ( ) , , ( / ) , ( ) ( :
3 2
b a z y x f z y x b a f I R R
Teniendo en cuenta que
) , ( ) , , ( b a z y x f =
y por la definicin de f, se tiene que
) , ( ) , ( b a z y x = +
lgebra II (LSI y PI)-F.C.E. y T.-UNSE
8
por lo tanto, se obtiene el sistema de ecuaciones lineales

=
= +
b z
a y x


Analizando este sistema de ecuaciones lineales, es claro que cualesquiera sean
R b a, es posible determinar x, y, z R de tal manera que satisfagan ambas
ecuaciones. Luego
2
) ( R = f I

Proposicin 5
Sean ,*) (G , ) , ( H dos grupos y H G f : un homomorfismo. El ncleo de f
tiene a e
G
como nico elemento si y slo si f es una funcin inyectiva.
En smbolos,
{ }
G
e f N = ) ( H G f : es inyectiva
Demostracin:
) Si el ncleo de f tiene a e
G
como nico elemento, entonces f es una funcin
inyectiva.
Simblicamente,
{ }
G
e f N = ) ( H G f : es inyectiva
Probar que f es inyectiva equivale a mostrar que es verdadero el condicional
) ( ) ( b f a f = b a = , con a, b G
Sean entonces, G b a , tales que
) ( ) ( b f a f =
Operando en ambos miembros con el inverso de f (b), se obtiene

[ ]
H
e b f a f = ' ) ( ) (
(1)

H
e b f a f = ) ' ( ) (
(2)

H
e b a f = ) ' * (
(3)
) ( ' * f N b a
(4)


(4)

G
e b a = ' *
(5)
b e b b a
G
* '* * =
(6)
b a =
Luego f es inyectiva
Referencias:
(1) Por Proposicin 2
(2) Porque f es un homomorfismo (Definicin 1)
(3) Por Definicin () de Ncleo
(4) Por hiptesis { }
G
e f N = ) (
(5) Operando con b en ambos miembros a derecha se mantiene la igualdad
(6) Porque G es un grupo se aplican los axiomas (asociatividad, inverso, neutro)
lgebra II (LSI y PI)-F.C.E. y T.-UNSE
9
) Si f es una funcin inyectiva entonces el ncleo de f tiene a e
G
como nico
elemento.
Simblicamente,
H G f : es inyectiva { }
G
e f N = ) (

Por Proposicin 1 se tiene que

H G
e e f = ) ( ()

Supngase que
f
N a , entonces

H
e a f = ) ( ()
De () y () se sigue que
) ( ) (
G
e f a f =
y como por hiptesis f es inyectiva, entonces
G
e a = .
Con lo que se prueba que:
{ }
G
e f N = ) (
Q.E.D.


Proposicin 6
Sean ,*) (G , ) , ( H dos grupos y H G f : un homomorfismo. La Imagen de f es
igual a H si y slo si f es una funcin sobreyectiva.
En smbolos
I
f
= H f es sobreyectiva.
Demostracin:
Es obvio que esta proposicin se verifica por definicin de funcin sobreyectiva

Q.E.D.
Definicin 3
Sean ,*) (G , ) , ( H dos grupos y H G f : un homomorfismo. Se dice que f es un
isomorfismo si f es una funcin biyectiva.

Nota
Si ,*) (G , ) , ( H son grupos y H G f : es un isomorfismo, se dice que G es
isomorfo a H y se simboliza G H


lgebra II (LSI y PI)-F.C.E. y T.-UNSE
10
5.2. HOMOMORFISMO DE ANILLOS

Definicin 1

Sean dos anillos (A, +, .) y (B, +, .) . La funcin B A f : es un homomorfismo del
anillo A en el anillo B si y slo si:
) ( ). ( ) . ( , , ii)
) ( ) ( ) ( , , i)
b f a f b a f A b a
b f a f b a f A b a
=
+ = +


Proposicin 1
Sean (A, +, .) y (B, +, .) anillos y B A f : un homomorfismo, entonces la imagen
del cero del anillo A (0
A
) es igual al cero del anillo B(0
B
). Esto es,
f (0
A
) = 0
B

Demostracin:
Por ser (A, +) un grupo se verifica
0
A
A: a A; a + 0
A
= 0
A
+ a = a
Entonces, si se parte de la igualdad
a + 0
A
= a
y se aplica en ambos miembros f, se tiene

( ) ( ) a f f a f
A
= + 0 ) (
(1)
( ) ( ) a f a f
A
= +0
(2)
( ) ( )
B A
a f f a f 0 0 ) ( + = +
(3)
( )
B A
f 0 0 =

(1) f es un homomorfismo
(2) 0
B
es el elemento cero del anillo B
(3) Por ley cancelativa en el grupo (B,+)
De manera anloga se procede con la igualdad 0
A
+ a = a, y se llega a ( )
B A
f 0 0 = .
Q.E.D.

Proposicin 2
Sean (A, +, .) y (B, +, .) anillos y B A f : un homomorfismo, Entonces la imagen
del opuesto de todo elemento de A es igual al opuesto de su imagen. Esto es
a A ; f (-a) = - f(a)
Demostracin:
Por ser (A, +) un grupo se verifica

A
a a a a A a A a 0 ) ( ) ( : , = + = +
lgebra II (LSI y PI)-F.C.E. y T.-UNSE
11
.
. .
f(x) = 0
B

. .
.
Tomando el primer y tercer miembro de la igualdad precedente y aplicando f en
ambos miembros se obtiene,
( ) ( )
A
f a a f 0 ) ( = +
(1)
( ) ( )
B
a f a f 0 = +
(2)
( ) ( ) a f a f =
Referencias:

(1) Por Definicin1 y Proposicin 1 de homomorfismos.
(2) Sumando en ambos miembros el opuesto de f (a).
Q.E.D

Nota
Las propiedades precedentes se deducen del hecho que A y B son grupos aditivos.

Ncleo e Imagen de un Homomorfismo de Anillos

Es fcil trasladar los conceptos de Ncleo e Imagen de un homomorfismo de grupos
al concepto de Ncleo e Imagen de un homomorfismo de anillos, por el hecho que
todo anillo tiene estructura de grupo con la LCI suma.

Definicin2
Sean (A, +, .) y (B, +, .) anillos y B A f : un homomorfismo. El Ncleo del
homomorfismo f es el conjunto formado por los elementos de A que tienen por
imagen al cero de B.
En smbolos,

N
f
= {x A / f(x) = 0
B
}, ()
donde 0
B
es el elemento neutro aditivo de B.
Es claro que, un elemento de A pertenece al ncleo de f si y slo si su imagen es
igual al cero de B, esto es

x N
f
f(x) = 0
B


()

A B





f

N
f
.
.

.
.

.
. x
. .
lgebra II (LSI y PI)-F.C.E. y T.-UNSE
12
Definicin 3
Sean (A, +, .) y (B, +, .) anillos y B A f : un homomorfismo. La Imagen del
homomorfismo f es el conjunto formado por los elementos de B que tienen preimagen
en A.
En smbolos,
I
f
= {y B / x A: f(x) = y} ()
Es claro que,

y I
f
x A : f(x) = y ()

En Diagramas de Venn
A B





f


Notas
1.- Las propiedades del Ncleo y de la Imagen de los homomorfismos de anillos son
idnticas a las propiedades de Ncleo e Imagen de los homomorfismos de grupos,
con la salvedad que en los anillos el elemento neutro aditivo es el cero del anillo.
2.- Si tanto un anillo A como un anillo B tienen unidad,1
A
y 1
B
respectivamente, y si
B A f : es un homomorfismo, no se sigue que f (1
A
) = 1
B
.
Sin embargo se probar que si B es un dominio de integridad o si B es arbitrario y f
es sobreyectiva, entonces f (1
A
) = 1
B
es necesariamente cierto


Proposicin 3
Si (A, +, .) es un anillo con unidad, (B, +, .) es un dominio de integridad y B A f :
es un homomorfismo, entonces f (1
A
) = 1
B.



I
f .


.
.
. . ..
. . .
. . .
x

. . .
.
. . .

f(x)= y
lgebra II (LSI y PI)-F.C.E. y T.-UNSE
13
Demostracin:
Sea
f
N x A x , y por ser A un anillo con unidad 1
A
se tiene
x x
A
= 1
(1)
) ( ) . ( 1 x f x f
A
=
(2)
) ( ) ( ) ( 1 x f f x f
A
=
(3)
( ) ( )
B
H
A
x f f x f 1 1
0
) (
0

(4)

(4)

B A
f 1 1 ) ( =
Referencias:
(1) Se aplica en ambos miembros f
(2) Porque f es un homomorfismo
(3) Como ) ( f N x entonces 0 ) ( x f y B es dominio de integridad por lo tanto tiene unidad 1
B

(4) B es dominio de integridad, entonces vale la ley cancelativa de la multiplicacin para elementos no nulo

Q.E.D.

Proposicin 4
Sean (A, +, .) y (B, +, .) dos anillos con unidad 1
A
y 1
B
respectivamente, y B A f :
un homomorfismo. Si f es sobreyectiva, entonces f (1
A
) = 1
B
.
Demostracin:
Por hiptesis f es sobreyectiva, es decir,
y x f A x B y = ) ( : ; ()
Por hiptesis A tiene unidad, entonces
: ; A x B y ) ( ) 1 ( ) ( ) 1 ( x f x f x f x f
A A
= =
Por hiptesis f es homomorfismo, luego
: ; A x B y ) ( ) ( ) 1 ( ) ( ) 1 ( ) ( x f x f f x f f x f
A A
= =
Y como y x f = ) ( por (), se tiene
y y f y f y B f B y
A A A
= = ) 1 ( ) 1 ( : ) 1 ( ;
De donde se sigue que f (1
A
) es la unidad de B, esto es f (1
A
) = 1
B.

Q.E.D.

Definicin 4
Sean (A, +, .) y (B, +, .) dos anillos y B A f : un homomorfismo. Se dice que f es
un isomorfismo si f es biyectiva.
Nota
Si (A, +, .) y (B, +, .) son dos anillos y B A f : es un isomorfismo, se dice que A
es isomorfo a B y se simboliza A B.
lgebra II (LSI y PI)-F.C.E. y T.-UNSE
14
5.3. HOMOMORFISMO DE CUERPOS

Definicin 1

Sean dos cuerpos (F, +, .) y (K, +, .) . La funcin K F f : es un homomorfismo
del cuerpo F en el cuerpo K si y slo si:
) ( ). ( ) . ( , , ii)
) ( ) ( ) ( , , i)
b f a f b a f F b a
b f a f b a f F b a
=
+ = +

Proposicin
Sean (F, +, .) y (K, +, .) dos cuerpos y K F f : un homomorfismo, entonces
f (1
F
) = 1
K
Demostracin:
Teniendo en cuenta que todo un cuerpo es un anillo conmutativo con unidad y sin
divisores de cero y recordando Proposicin 3 de homomorfismo de anillos, se verifica
que
K F
f 1 ) 1 ( = .
Q.E.D.
Definicin 2
Sean (F, +, .) y (K, +, .) dos cuerpos y K F f : un homomorfismo. Se dice que f
es un isomorfismo si f es biyectiva.
Nota
Si (F, +, .) y (K, +, .) dos cuerpos y K F f : un isomorfismo, se dice que F es
isomorfo a K y se simboliza F K

Ejemplo
Sea el cuerpo de los nmeros complejos (C, +, .), es simple verificar que el conjunto
de todos los nmeros complejos con segunda componente igual a cero es un cuerpo,
es decir un subcuerpo de C, esto es

C
R
= {(a, b) C / b = 0} C

Tambin es simple mostrar que la funcin f : C
R
R / f (a, 0)= a, es un
isomorfismo entre el cuerpo de los nmeros complejos con segunda componente
igual a cero y el cuerpo de los nmeros reales.
De modo que C
R
y R son isomorfos (C
R
R). Esto significa que sus elementos son
indistinguibles y que resulta lo mismo operar en C
R
que operar en R.