Homomorfismo de anillos

Un homomorfismo de anillos es una aplicacin entre anillos que conserva las estructuras de ambos como anillos. En todo el artculo
Contenido
[ocultar]

son anillos.

1 Definiciones. o o 1.1 Caso general. 1.2 Anillos unitarios.

2 Propiedades.

[editar]Definiciones. Dado que existen distintos tipos de anillos, hay que particularizar la definicin. [editar]Caso

general.
es un homomorfismo de anillos si se cumplen

Se dir que la aplicacin las siguientes dos condiciones:

, cualesquiera que sean , cualesquiera que sean .

La primera condicin nos dice que los grupos abelianos y

es en particular un homomorfismo de grupos entre . , , es

Con esta definicin se ve que la imagen de un subanillo de .

Se define el ncleo de f como el conjunto decir, un ideal (biltero). Se dice que decir, es un monomorfismo si es una aplicacin inyectiva, es implica que , cualesquiera que sean . . El ncleo de cualquier homomorfismo es

, es

. Esto es

equivalente a decir que

Se dice que decir,

es un epimorfismo si es una aplicacin sobreyectiva, es . No obstante, muchos autores prefieren no utilizar esta

denominacin, y hablar slo de homomorfismos sobreyectivos (u homomorfismos exhaustivos). La razn es que el trmino epimorfismo tiene un significado ms general en Teora de Categoras. Desde este punto de vista (categrico), un epimorfismo de anillos no es necesariamente una aplicacin sobreyectiva, aunque todos los homomorfismos de anillos sobreyectivos s resultan ser epimorfismos. Se dice que manera que aplicacin biyectiva, es decir, [editar]Anillos Si y es un isomorfismo si existe el homomorfismo inverso y . Esto ocurre si y slo si es una de

, es a la vez monomorfismo y homomorfismo exhaustivo.

unitarios.
y . ), se dir que es un homomorfismo de anillos

son anillos unitarios (cuyos elementos unidades son respectivamente

entonces la aplicacin

unitarios si es un homomorfismo de anillos y adems se cumple que

El resto de conceptos definidos en el apartado Caso general son vlidos sin modificar nada para anillos unitarios. [editar]Propiedades.

. En efecto, Si Si Si Si Si Si es subanillo de es subanillo de , entonces , entonces , entonces , entonces es ideal de . es subanillo de es subanillo de .

, luego

. . .

es ideal por la izquierda de es ideal por la derecha de es ideal de , entonces

es ideal por la izquierda de es ideal por la derecha de

es homomorfismo exhaustivo e

es ideal por la izquierda de . ,

entonces

es ideal por la izquierda de

Si

es homomorfismo exhaustivo e

es ideal por la derecha de .

entonces

es ideal por la derecha de

Si de

es homomorfismo exhaustivo e .

es ideal de

, entonces

es ideal