Homomorfismo de anillos

Homomorfismo de anillos

Un homomorfismo de anillos es una aplicación entre anillos que conserva las estructuras de ambos como anillos.

En todo el artículo (R,+,\cdot) y (S,+,\cdot) son anillos.

Contenido

Definiciones.

Dado que existen distintos tipos de anillos, hay que particularizar la definición.

Caso general.

Se dirá que la aplicación f:R \to S es un homomorfismo de anillos si se cumplen las siguientes dos condiciones:

  • f(a + b) = f(a) + f(b), cualesquiera que sean a,b \in R.
  • f(a \cdot b) = f(a) \cdot f(b), cualesquiera que sean a,b \in R.

La primera condición nos dice que f es en particular un homomorfismo de grupos entre los grupos abelianos (R, + ) y (S, + ).

Con esta definición se ve que la imagen de f, Img(f) = f(R), es un subanillo de (S,+,\cdot).

Se define el núcleo de f como el conjunto \mathop{\mathrm{Ker}}(f):=\{r \in R : f(r) =0\}, es decir, Ker(f) = f − 1({0}). El núcleo de cualquier homomorfismo es un ideal (bilátero).

Se dice que f es un monomorfismo si es una aplicación inyectiva, es decir, f(a) = f(b) implica que a = b, cualesquiera que sean a,b \in R. Esto es equivalente a decir que Ker(f) = {0}.

Se dice que f es un epimorfismo si es una aplicación sobreyectiva, es decir, f(R) = Img(f) = S. No obstante, muchos autores prefieren no utilizar esta denominación, y hablar sólo de homomorfismos sobreyectivos (u homomorfismos exhaustivos). La razón es que el término epimorfismo tiene un significado más general en Teoría de Categorías. Desde este punto de vista (categórico), un epimorfismo de anillos no es necesariamente una aplicación sobreyectiva, aunque todos los homomorfismos de anillos sobreyectivos sí resultan ser epimorfismos.

Se dice que f es un isomorfismo si existe el homomorfismo inverso f^{-1}:S \to R de manera que f \circ f^{-1} =Id_S y f^{-1} \circ f = Id_R. Esto ocurre si y sólo f si es una aplicación biyectiva, es decir, f, es a la vez monomorfismo y homomorfismo exhaustivo.

Anillos unitarios.

Si R y S son anillos unitarios (cuyos elementos unidades son respectivamente 1R y 1S), entonces la aplicación f: R \longrightarrow S se dirá que es un homomorfismo de anillos unitarios si es un homomorfismo de anillos y además se cumple que f(1R) = 1S.

El resto de conceptos definidos en el apartado Caso general son válidos sin modificar nada para anillos unitarios.

Propiedades.

  • f(0) = 0. En efecto, f(0) = f(0 + 0) = f(0) + f(0), luego f(0) = 0.
  • Si R' es subanillo de R, entonces f(R') es subanillo de S.
  • Si S' es subanillo de S, entonces f − 1(S') es subanillo de R.
  • Si I es ideal por la izquierda de S, entonces f − 1(I) es ideal por la izquierda de R.
  • Si I es ideal por la derecha de S, entonces f − 1(I) es ideal por la derecha de R.
  • Si I es ideal de S, entonces f − 1(I) es ideal de R.
  • Si f es homomorfismo exhaustivo e I es ideal por la izquierda de R, entonces f − 1(I) es ideal por la izquierda de R.
  • Si f es homomorfismo exhaustivo e I es ideal por la derecha de R, entonces f − 1(I) es ideal por la derecha de R.
  • Si f es homomorfismo exhaustivo e I es ideal de R, entonces f − 1(I) es ideal de R.

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Homomorfismo de anillos — Un homomorfismo de anillos es una aplicación entre anillos que conserva las estructuras de ambos como anillos. En todo el artículo y son anillos …   Enciclopedia Universal

  • Homomorfismo evaluación — Sean dos anillos y de forma que R es subanillo de S. Sea . Construimos la aplicación que a cada polinomio le hace corresponder su evaluación en α, i.e., β(p) = p(α). E …   Wikipedia Español

  • Homomorfismo — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar al autor …   Wikipedia Español

  • Homomorfismo evaluación — Sean dos anillos y de forma que es subanillo de . Sea . Construimos la aplicación que a cada polinomio le hace corresponder su evaluación en , i.e., . Esta aplicación es un isomorfismo de anillos ( …   Enciclopedia Universal

  • Ideal (teoría de anillos) — En matemáticas, un ideal es una estructura algebraica definida en un anillo. Los ideales generalizan de manera fecunda el estudio de la divisibilidad en los números enteros. De este modo, es posible enunciar versiones muy generales de teoremas… …   Wikipedia Español

  • Álgebra asociativa — En matemáticas, un álgebra asociativa es un módulo que también permite la multiplicación de vectores de manera distributiva y asociativa. Contenido 1 Definición general 2 Caso especial en el que el anillo es un cuerpo 2.1 Ejemplos …   Wikipedia Español

  • Característica (matemática) — Saltar a navegación, búsqueda En Álgebra abstracta, la característica de un anillo R es definida como el entero positivo más pequeño n tal que 1R+...+1R (con n sumandos) = 0. Si no existe tal n, decimos que la característica de R es 0. De forma… …   Wikipedia Español

  • Teorema fundamental de homomorfismos — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Anillo unitario — Saltar a navegación, búsqueda Un anillo (no necesariamente conmutativo) es anillo unitario, o anillo unital, o anillo con unidad si existe un elemento en R, diferente del neutro para la suma, que es elemento neutro para la operación producto ( ·… …   Wikipedia Español

  • Elemento algebraico — Saltar a navegación, búsqueda Un elemento algebraico sobre un cierto cuerpo matemático es un elmento de un conjunto que contiene a dicho cuerpo matemático y que constructible a partir de ciertas operaciones algebraicas relacionadas con los… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”