Homomorfismo

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 ;

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:

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

Homomorfismo

Cargado por

Copyright:

Formatos disponibles

Homomorfismo

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Homomorfismo

Cargado por

Copyright:

Formatos disponibles

Homomorfismo

No debe confundirse con homeomorfismo.

Una funcin es un homomorfismo si verifica:

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

1. para todo par de elementos ;

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

Si y son dos anillos entonces una funcin es

1. , cualesquiera que sean ;

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

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

1. , cualesquiera que sean ;

Tipos particulares de homomorfismos[editar]

Knowledgerush (en ingls)

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

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

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

un homomorfismo del anillo en .

(a) Todos los homomorfismos de en

(b) Todos los homomorfismos de en ,

(d) Todos los homomorfismos de en ,

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

y claramente constituye un ideal propio de . Si es un

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

inversa es tambin un isomorfismo.

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

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

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

un homomorfismo sobreyectivo, entonces .

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

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

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

Ejercicio 6. Describir los ideales de , para .

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

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 que contiene a y adems .

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

(b) Los nicos ideales de son los triviales

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

También podría gustarte