A.

ANILLOS
i. DEFINICIÓN:
Un anillo (R, +, •) es un conjunto R (no vacío) junto con dos operaciones
binarias + y •, que llamamos suma y multiplicación, respectivamente tales
que para cualquier a, b, c de R:
1) a + b está en R
2) a + b = b + a
3) (a + b) + c = a + (b + c)
4) Hay un elemento 0 en R tal que a + 0 = a (para todo a en R).
5) Existe un elemento –a en R tal que a + (–a) = 0.
6) a • b está en R.
7) a • (b • c) = (a • b) • c
8) a • (b + c) = a • b + a • c y (b + c) • a = b • a + c • a (las dos leyes
distributivas).
Los axiomas (1) a (5) simplemente afirman que R es un grupo abeliano
bajo la operación + a la que llamamos adición. Los axiomas (6) y (7) nos
dicen que R es cerrado bajo una operación asociativa, •, ala que
llamamos multiplicación. El axioma (8) nos sirve para correlacionar las
dos operaciones de R.
Siempre que hablemos de anillo se entenderá que estamos hablando de
anillo asociativo. Los anillos no asociativos, es decir, aquellos en que no
se verifica el axioma 7, se presentan en matemáticas y son objeto de
estudio, pero aquí no tendremos ocasión de considerarlos.
Puede y no suceder que exista un elemento 1 en R tal que
a • 1 = 1 • a para toda a en R; si tal elemento existe diremos que R es un
anillo con elemento unitario.

Si la multiplicación de R es tal que a • b = b • a para todo a, b en R

entonces a R anillo conmutativo.
Siempre que a • b = 0 se concluía que a = 0 o bien b = 0. No es necesario
que esto sea cierto en un anillo, en general. Cuando es válido, el anillo es
en cierto modo más grato y se le da un nombre especial: se le llama
dominio.
EJEMPLOS:

1. Es obvio que el anillo que se debe escoger como primer ejemplo es

Z, el anillo de los enteros respecto a la adición y multiplicación
usuales entre ellos. Naturalmente, Z es un ejemplo de dominio
integral.

2. R es el conjunto de los enteros, positivos, negativos y el 0; + es la

adición usual y • la multiplicación usual de los enteros. R es un
anillo conmutativo con elemento unitario.
 3. R es el conjunto de todos los enteros pares bajo las operaciones
habituales de adición y multiplicación. R es un anillo conmutativo,
pero no tiene elemento unitario.

4. R es el conjunto de números racionales bajo la adición y

multiplicación habituales de los números racionales. R es un anillo
conmutativo con elemento unitario. Pero aún es más que eso, pues
podemos ver que los elementos de R distintos del 0 forman un
grupo abeliano bajo la multiplicación. Un anillo con esta última
propiedad se llama campo.

ii. ANILLOS COCIENTES E IDEALES

Definición: Un subgrupo aditivo (N, +) de un anillo R que satisface rN

⸦ N y Nr ⸦ N para todas las r ϵ R es un ideal (o un ideal bilateral) de R.
Un subgrupo (N, +) de R que satisface rN ⸦ N para todas las r ϵ R es un
ideal izquierdo de R y uno que satisface Nr ⸦ N para todas las r ϵ R es un
ideal derecho de R.
Reiterarnos:
Un ideal es a un anillo lo que un subgrupo normal es a un grupo.

Definición: Si N es un ideal en un anillo R, entonces, el anillo de las clases

laterales r + N bajo las operaciones inducidas es el anillo cociente, o el
anillo factor, o el anillo de las clases residuales de R módulo N, y se
denota por R/N. Las clases laterales son las clases residuales módulo N.

Teorema. Si R es un anillo con unitario y N es un ideal de R que contiene

una unidad, entonces N = R.

EJEMPLO:
Considérese el anillo Z. Los únicos subgrupos aditivos de (Z, +) son, corno
hemos visto, los subgrupos nZ. Claramente, si r es cualquier entero y m ϵ
nZ, entonces rm = mr es, de nuevo, un múltiplo de n, esto es, si m = ns,
entonces, rm = mr = n(sr) y n(sr) ϵ nZ. Así, nZ es un ideal y las clases
laterales a + nZ de nZ forman un anillo Z/nZ bajo las operaciones
inducidas de suma y multiplicación.

iii. HOMOMORFISMOS

Definición: Una transformación Ф de un anillo R en un anillo R' es un

homomorfismo si
(a + b) Ф = a Ф + b Ф y (ab) Ф = (a Ф) (b Ф)
para todos los elementos a y b en R.
Teorema 1. Si N es un ideal de un anillo R, entonces la transformación
canónica γ: R → R/N dada por a γ = a + N para a ϵ R es un
homomorfismo.

Definición: El kernel (núcleo) de un homomorfismo Ф de un anillo R en

un anillo R' es el conjunto de todos los elementos de R que van a dar a la
identidad 0' de R' bajo Ф.

Teorema 2. Sea Ф un homomorfismo de un anillo R en un anillo R'. Si 0 es

la identidad aditiva en R, entonces 0 Ф = 0' es la identidad aditiva en R' y
si a E R entonces (–a) Ф = – (a Ф). Si S es un subanillo de R, entonces, S
Ф es un subanillo de R', y S ideal de R implica que S Ф es ideal de R Ф.
Ahora, en el otro sentido, si S' es un subanillo de R', entonces S' Ф –1 es un
subanillo de R y S' ideal de R Ф implica que S' Ф –1 es un ideal de R. Por
último, si R tiene unitario 1 y 1 Ф ≠ 0' entonces, 1 Ф = 1' es unitario para
R Ф. Dicho en forma breve, bajo un homomorfismo de anillos, subanillos
van a dar a subanillos, ideales a ideales y anillos con unitario a anillos con
unitario.

Teorema 3. Sea Ф un homomorfismo de un anillo R en un anillo R' con

kernel K. Entonces, R Ф es un anillo y existe un isomorfismo canónico de
R Ф con R/K.

BIBLIOGRAFÍA:

Álgebra Abstracta. I. N. Herstein. (1988). Grupo Editorial Iberoamericana.

México.

Álgebra Abstracta. John B. Fraleigh. (1988). Sistemas Técnicos de

Edición. México.