Introduccin

Observaremos uno de los trabajos ms concretos y explicativos que trata de los

contenidos relacionados con los homomorfismos y todas sus propiedades. Gracias a
este trabajo mejoraremos un poco la perspectiva que tenamos sobre las funciones
ahora aplicada a los grupos, anillos y cuerpos que son idnticas solo que en grupos se
realizara con usa sola ley interna mientras que en anillos y cuerpos se realizaran con
las dos leyes internas.
 ndice

Portada.. 1

Introduccin.. 2

ndice.. 3

Homomorfismo de grupos.... 4

Ejercicio de homomorfismos de grupos.. 4

Homomorfismo de anillos. 6

Homomorfismo de cuerpos7

Ejemplo de homomorfismo de cuerpos7

Tipos de homomorfismos...9

Ejemplo de tipos de homomorfismos9

Teorema fundamental de homomorfismos...10

Conclusin13

Bibliografas.14
HOMOMORFISMO DE GRUPOS:

G ,L f :G1 G2
Sean (G1 , L1 ) y ( 2 2 ) grupos y sea una aplicacin de grupos.

Diremos que f es un homomorfismo de grupos si

x , y G1 : f ( x L1 y ) =f ( x ) L2 f ( y)

L1 G1 L2
Es decir, la f se separa y pasa de una operacin en a la operacin
G2
en .

Ejemplo 1:

R ,+

+ , x + ={ x R: x >0 }
Sea definida por f ( x ) =e y .
R R
f :

f es un homomorfismo de grupos?

Solucin:

Sean x, y R

f ( x + y )=e x+ y . de f

x y
e e .de potencia

f ( x ) f ( y ) . de f

x , y R : f ( x + y )=f (x ) f ( y)

Por lo tanto;

f es un homomorfismo de grupos.
Ejemplo 2:

+ ,
R
+ ={ x R: x >0 }
Sea definida por f ( x ) =ln(x) y .
R ,+ R
f :

ser f es un homomorfismo de grupos?

Solucin:

+
Sean a , b R

f ( a b ) =ln(a b). de f

ln ( a ) + ln ( b ) . Logaritmica

f ( a )+ f ( b ). de f

+ : f ( a b )=f ( a )+f ( b)
a ,b R

Por lo tanto;

f es un homomorfismo de grupos.

Ejercicio de homomorfismos de grupos:

G ,L f :G1 G2
1. Sea (G 1 , L1 ) y ( 2 2 ) grupos y sea un homomorfismos
de grupos. Entonces:
f ( e1 )=e2 e e G1 G2
a. donde 1 y 2 son los neutros de y
respectivamente.
' '
b. x G1 :f ( x )=f (x)
Demostracin:

Parte a:

x G1
Sea cualquiera. Sabemos que f (x) G2

e1 G1 x L1 e1=e1 L1 x=x
Como es el neutro de entonces

Aplicando f en ambos lados de cada igualdad:

f ( x L1 e 1 )=f ( e1 L1 x )=f (x )

Como f es un homomorfismo, entonces:

f ( x ) L2 f ( e 1 )=f ( e 1 ) L2 f ( x )=f ( x ) ()

e2 G2
Por otra parte, como es el neutro de , para f (x) G 2 se cumple que:

f ( x ) L2 e 2=e 2 L2 f ( x )=f ( x )

De () y se tiene que:

f ( x ) L2 f ( e 1 )=f ( x ) L2 e2 , f ( e 1 ) L2 f ( x )=e 2 L2 f ( x )

Usando la ley de cancelacin en grupos tenemos que:

f ( e1 )=e2

Parte b:
 x G1
Sea cualquiera. Sabemos que f (x) G2

G2
Ahora, Como es un grupo entonces

f ( x )' :f ( x ) L2 f ( x )' =f ( x )' L2 f ( x ) =e 2(1)

G1 x G1
Adems, como es un grupo, para se cumple que:

x L1 x ' =x ' L1 x=e 1

Aplicando f en ambos lados de cada igualdad:

f ( x L1 x ' )=f ( x ' L1 x ) =f (e 1)

Como f es un homomorfismo, usando la parte a y la definicin tenemos que:

f ( x ) L2 f ( x ' )=f ( x' ) L2 f ( x ) =e 2( 2)

De (1) y (2) se tiene que:

' '
f ( x ) L2 f ( x ) =f ( x ) L2 f ( x ' ) , f ( x ) L2 f ( x )=f ( x ' ) L2 f ( x )

Usando la ley de cancelacin en grupos tenemos que:

'
f ( x ' )=f ( x )

'
x G1 : f ( x' ) =f ( x )

HOMOMORFISMO DE ANILLOS:
 A 1 , L1 , f : A1 A 2
Sean y ( A2 , L2 , ) anillos y sea una aplicacin de

anillos. Diremos que f es un homomorfismo de anillos si

x , y A 1 : f ( x L1 y )=f ( x ) L2 f ( y )
1.

2. x , y A 1 : f ( xy )=f (x ) f ( y)

L1 A1
Es decir, la f se separa y pasa de las operaciones y * en a las operaciones
L2 A2
y en respectivamente.

HOMOMORFISMO DE CUERPOS:

C1 , L1 ,
Sean y ( C 2 , L2 , ) cuerpos y sea f :C 1 C2 una aplicacin de

cuerpos. Diremos que f es un homomorfismo de cuerpos si

x , y C1 :f ( x L1 y )=f ( x ) L2 f ( y )
1.
x , y C1 :f ( xy ) =f ( x ) f ( y)
2.

L1 C1
Es decir, la f se separa y pasa de las operaciones y * en a las operaciones
L2 C2
y en respectivamente.

Estos conceptos son los mismos que el de grupo solo que hay que hacer el trabajo con
las dos leyes (una primero y luego con la otra).

Ejemplo:
Sean los cuerpos (C ,+ ,) y ( M i ( 2 ) ,+. ) donde
M i ( 2 )={A M 2 x 2 ( R ) , A es invertible }

a b
Sea f : C M i (2) definido por f ( a+ bi )= b a ( )
Veamos si f es un homomorfismo de Cuerpos.

z 1 , z 2 C
Sean cualesquiera.

z 1=a+bi , z2 =c+ di

f ( z 1 + z 2) =f ( ( a+bi ) + ( c +di ) ) Sustituyendo

f ( ( a+ c )+ ( b+d ) i )+ en C

((b+d
a+c
) )
b+ d . de f
a+c

(
a+ c
bd )
b+d dist . en R
a+ c

( )(
a b + c d + de matrices
b a d c )
f ( a+bi ) +f ( c+ di )de f

f ( z 1 ) + f ( z 2 ) Sustituyendo

z 1 , z 2 C :f ( z 1 + z 2 )=f ( z 1 ) + f ( z 2) (1)

Adems;
 f ( z 1 z 2 )=f ( ( a+bi ) ( c+ di ) ) Sustituyendo

f ( ( acbd )+ ( ad+ bc ) i ) en C

((ad+
acbd
bc) )
ad +bc . de f
acbd

(
ac bd ad +bc distr .en R
adbc acbd )
As;

(
f ( z 1 z 2 )= acbd ad+ bc ( )
adbc acbd )
Por otra parte;

f ( z 1 ) f ( z2 ) =f ( a+ bi ) f ( c +di ) Sustituyendo

( )(
a b c d de f
b a d c )

( ac+b (d) ad+ bc
(b ) c +a (d) (b ) d + ac )
de matrices

(
ac bd ad +bc .de mult . en R
adbc acbd )
f ( z 1 z 2 ) Por ( )

z 1 , z 2 C :f ( z 1 z 2 )=f ( z1 ) f ( z 2 ) (2)

De (1) y (2) se tiene que:

 f es un homomorfismo de cuerpos.

Este mismo ejemplo sirve para ilustrar el homomorfismo de anillos.

TIPOS DE HOMOMORFISMOS:

La siguiente clasificacin es vlida para grupos, anillos y cuerpos a la vez.

G ,L f :G1 G2
Sea (G1 , L1 ) y ( 2 2 ) grupos y sea un homomorfismos de
grupos.

G1=G2
Si entonces f es un ENDOMORFISMO.

Si f es inyectiva entonces f es un MONOMORFISMO.

Si f es sobreyectiva entonces f es un EPIMORFISMO.
Si f es biyectiva entonces f es un ISOMORFISMO.
G1=G2
Si f es biyectiva y entonces f es un AUTOMORFISMO.

Ejemplo:

R ,+

+ , x + ={ x R: x >0 }
Sea definida por f ( x ) =e y .
R R
f :

Sabemos que f es un homomorfismo de grupos. Clasifiqumoslo:

Veamos si f es inyectiva:

Sean a , b R tales que f ( a )=f (b)

f ( a )=f ( b ) e a=eb . de f

ln ( e a )=ln ( eb ) aplicando ln en amboslados

 a=b Propi edad Logaritmica

As;

f ( a )=f ( b ) a=b

Por lo tanto, f es inyectiva.

Por consecuencia; f es un MONOMORFISMO.

Veamos si f es sobreyectiva.

+
Sea y R cualquiera.

x R : f ( x ) = y ?

Veamos:

f ( x )= y e x = y.de f

ln ( e x )=ln ( y ) Aplic . ln en amboslados

x =Ln ( y ) . log .

x ln( y)
As; x=ln ( y ) R : f ( x )=e =e =y

+ , x R :f ( x )= y
y R

Por lo que, f es sobreyectiva. As:

f es un EPIMORFISMO.
Adems, como f es inyectiva y sobreyectiva entonces f es biyectiva, por lo

que, f es un ISOMORFISMO.

TEOREMA FUNDAMENTAL DE HOMOMORFISMOS.

f : A1 A 2 A 1 / Ker (f ) ( f ) .
Sea un homomorfismo de anillos. Entonces

Demostracin:

Definimos g : A 1 /Ker (f ) (f ) como g ( x+ Ker ( f )) =f (x) .

Veamos si g est bien definida.

x , y A1 x+ Ker ( f )= y + Ker (f )
Sean tales que

x+ Ker ( f )= y + Ker ( f ) ( x y ) K er ( f ) Igualdad de clase lateral

f ( x y )=0 2. de Ker

f ( x )f ( y )=02 f es un homomorfismo

f ( x )=f ( y ) A 2 es anillo

g ( x + Ker ( f ) ) =g ( y+ Ker ( f ) )de g

As:

x+ Ker ( f )= y + Ker ( f ) g ( x + Ker ( f ) )=g ( y + Ker ( f ) )

Por lo tanto, g est bien definida.

Veamos si g es un homomorfismo.
 x+ Ker ( f ) , y + Ker (f ) A1 / Ker ( f )
Sean

g ( ( x+ Ker(f ) ) + ( y + Ker (f ) ) ) =g ( ( x+ y )+ Ker ( f )) + de clases lat .

f ( x + y ). de g

f ( x )+ f ( y ) f es un homomorfismo

g ( x+ Ker ( f ) ) + g ( y + Ker ( f ) ) . de g

g ( ( x + Ker (f ) ) + ( y+ Ker (f ) ) )=g ( x + Ker ( f ) ) + g ( y + Ker ( f ) )

Por lo que, g es un homomorfismo.

Veamos si g es inyectiva.

x , y A1 g ( x+ Ker ( f )) =g ( y + Ker ( f ) )
Sean tales que

g ( x+ Ker ( f )) =g ( y + Ker ( f ) ) f ( x ) =f ( y ). de g

f ( x )f ( y )=02 A 2 es un anillo

f ( x y )=0 2 f es un homomorfismo

( x y ) Ker ( f )de Ker

x + Ker ( f ) = y+ Ker ( f ) Igualdad de clases laterales

Por lo tanto;

g ( x+ Ker ( f )) =g ( y + Ker ( f ) ) x + Ker ( f )= y + Ker ( f )

As;
 g es inyectiva.

Y por consecuencia g es un Monomorfismo.

Veamos si g es sobreyectiva.

Sea y (f ) cualquiera.

x+ Ker ( f ) A 1 /Ker ( f ) t . q . g ( x+ Ker ( f ) )= y ?

Veamos, por definicin de (f ) se tiene que:

y ( f ) x A1 :f ( x )= y

x+ Ker ( f ) A 1 /Ker ( f ) y por definicin de g se tiene que

As,

y=f ( x ) =g (x+ Ker(f ))

Por lo tanto;

y ( f ) , x + Ker ( f ) A1 / Ker ( f ) t . q . g ( x + Ker ( f ) )= y

Por lo que, g es sobreyectiva, as

g es un Epimorfismo.

En pocas palabras, como g es inyectiva y sobreyectiva a la vez, entonces g es

biyectiva por lo que, g es un Isomorfismo, luego A 1 / Ker ( f ) es isomorfo a

(f )

A 1 /Ker ( f ) (f )
 Conclusin
Hemos realizado este trabajo escrito con la finalidad de obtener informacin
relacionada a los homomorfismos de grupos, anillos y cuerpos junto con todas sus
propiedades, ejemplos y ejercicios con la meta de mejorar nuestros conocimientos en
este tema de esta rea del algebra. Para ello hemos utilizados textos interesantes y un
gua de un profesor muy reconocido en esta institucin a travs del tiempo como lo
fue el profesor Fernando Barragn que dejo muy buen materia recopilado de esta
materia.
 Bibliografa
1. Gua del profesor Fernando Barragn Estructuras Algebraicas

2. Algebra I. autor: Armando O. Rojo. Decimoctava Edicin.