Homomorfismo

No debe confundirse con homeomorfismo.

En matemticas, un homomorfismo (o a veces simplemente morfismo) desde un objeto
matemtico a otro con la misma estructura algebraica, es una funcin que preserva las
operaciones definidas en dichos objetos.

ndice
[ocultar]

1Definicin
2Ejemplos
3Tipos particulares de homomorfismos
4Vase tambin
5Referencias
o 5.1Bibliografa
o 5.2Enlaces externos

Definicin[editar]
Sean y dos sistemas algebraicos del
mismo tipo, donde son conjuntos y son las operaciones
algebraicas definidas en dichos conjuntos.

Una funcin es un homomorfismo si verifica:

para cada i=1,...,k
y .

Ejemplos[editar]
Los grupos son conjuntos que tienen definida una operacin con neutro y en que cada
elemento tiene inverso.

Por lo tanto, si son grupos, segn la definicin una

funcin es un homomorfismo de grupos si:

1. para todo par de elementos ;

2. , siendo los neutros de y ;

3. para todo .
Puede probarse que si una funcin cumple la primera condicin entonces cumple las otras
dos, de ah que en la definicin clsica de homomorfismo de grupos no se pidan las otras
condiciones.

Un -espacio vectorial (donde es un cuerpo) es un conjunto que tiene definida una

suma entre elementos del grupo y un producto de escalares por elementos del
conjunto; la suma tiene un neutro y cada elemento tiene opuesto. Por lo tanto,
utilizando la definicin, para que una funcin entre dos espacios
vectoriales sea un homomorfismo debe verificar:
 1. , para todo ;
2. , para todo y todo ;
3. ;
4. para todo .
Las transformaciones lineales son exactamente las funciones que cumplen esto (las
condiciones 3 y 4 se deducen de 1 y 2). Por lo tanto, los homomorfismos de espacios
vectoriales son las transformaciones lineales.

Si y son dos anillos entonces una funcin es

un homomorfismo de anillos si se cumplen las siguientes dos condiciones:

1. , cualesquiera que sean ;

2. , cualesquiera que sean ;
3. ;
4. para todo .
La condiciones 3 y 4 se deducen de la primera, de ah que en la definicin clsica no se
pidan.

En el caso de anillos con unidad, tambin se exige .

Si y son dos R-mdulos (donde R es un anillo dado) entonces una

funcin es un homomorfismo de R-mdulos si cumple las siguientes
dos condiciones:

1. , cualesquiera que sean ;

2. , cualesquiera que sean .

Tipos particulares de homomorfismos[editar]

Un homomorfismo exhaustivo se llama epimorfismo.
Un homomorfismo inyectivo se llama monomorfismo.
Un homomorfismo biyectivo cuya inversa es tambin un homomorfismo se
llama isomorfismo. Dos objetos se dicen isomorfos si existe un isomorfismo de uno en
el otro. En general, pensamos a dos objetos isomorfos como indistinguibles por lo que
a la estructura en cuestin se refiere.
Un homomorfismo de un conjunto a s mismo se llama endomorfismo. Si es adems
un isomorfismo se llama automorfismo.

Vase tambin[editar]
Morfismo

Referencias[editar]
Bibliografa[editar]

Knowledgerush (en ingls)

 Burris, Stanley N., and H.P. Sankappanavar, H. P., 1981. A Course in Universal
Algebra. Springer-Verlag. ISBN 3-540-90578-2.
Enlaces externos[editar]

Weisstein, Eric W. Homomorphism. En Weisstein, Eric W. MathWorld (en

ingls). Wolfram Research.
http://www.encyclopediaofmath.org/index.php/Homomorphism
ANILLOS E IDEALES

Leccin 3. Homomorfismos

Resumen presentado por Galois: Una herramienta para estudiar un anillo conmutativo es
compararlo con otro mediante una funcin que sea compatible con las operaciones que ellos
poseen. Estas funciones son los homomorfismos de anillos que son estudiados en la presente
leccin. Se mostrar que los teoremas clsicos de homomorfismo e isomorfismo de la teora
de grupos se cumplen tambin para anillos.

Un homomorfismo del anillo en el anillo es una funcin que satisface las

siguientes condiciones:

(a)

(b)

(c)

para cualesquiera elementos .

Ejemplos triviales de homomorfismos de anillos es el idntico definido por para

cada , y el cannico definido por , donde es un ideal

propio de . Si es un elemento fijo del anillo entonces la funcin

evaluacin es

un homomorfismo del anillo en .

Ejercicio 5. Calcular:

(a) Todos los homomorfismos de en

(b) Todos los homomorfismos de en ,

(c) Todos los homomorfismos de en ,

(d) Todos los homomorfismos de en ,

Solucin

Ntese que la composicin de homomorfismos de anillos es nuevamente un homomorfismo

de anillos. De otra parte, el ncleo de un homomorfismo se define por

y claramente constituye un ideal propio de . Si es un

subanillo de entonces es un subanillo de . En particular, es un

subanillo de . Decimos que un anillo es una imagen homomrfica del anillo si existe
un homomorfismo sobreyectivo de en . Un isomorfismo entre los anillos y es un
homomorfismo biyectivo de en . Esta relacin se denota por y es de
equivalencia. Es fcil probar que si es un isomorfismo, entonces la funcin

inversa es tambin un isomorfismo.

El comportamiento de subanillos e ideales a travs de homomorfismos se caracteriza en la

siguiente proposicin.

Proposicin 1. Si es un homomorfismo y es subanillo de ,

entonces es un subanillo de . Si es un ideal de , entonces es un ideal

de . Si es un ideal de , entonces es un ideal de que contiene a .

Los teoremas estructurales que enunciamos a continuacin son herramienta clave en la

teora de anillos.

Teorema 1: Teorema de homomorfismo. Si es una imagen homomorfa del anillo ,

entonces , donde es un ideal propio de . Ms exactamente, si es

un homomorfismo sobreyectivo, entonces .

Por ejemplo, las imgenes homomrficas del anillo son y , .

Demostracin

Teorema 2: Teorema de correspondencia.. Sea un anillo y un

homomorfismo sobreyectivo, entonces existe una correspondencia biyectiva entre los ideales

de y los ideales de que contienen a . En particular, si es un ideal propio de ,

entonces los ideales de son de la forma , donde es un ideal

de que contiene a .

Demostracin

Ejercicio 6. Describir los ideales de , para .

Teorema 3: Primer teorema de isomorfismo. Sea un anillo y un
homomorfismo sobreyectivo. Si es un ideal propio de , entonces se tiene el isomorfismo

En particular, si es un anillo e son ideales propios de , entonces

Demostracin

Ejercicio 7. Calcular las imgenes homomrficas de , .

Un poco menos usado que los tres teoremas anteriores es el siguiente:

Teorema 4: Segundo teorema de isomorfismo. Sea un anillo, un subanillo

de e un ideal propio de . Entonces, es un ideal de , es un subanillo

de que contiene a y adems .

Proposicin 2. Sea un anillo. Las siguientes condiciones son equivalentes:

(a) es un cuerpo

(b) Los nicos ideales de son los triviales

(c) Si es un homomorfismo de anillos, entonces es inyectivo.

Demostracin