Proposicin (Caracterizacin del Ideal Generado

Sea S un subconjunto no vaco de un anillo cualquiera A. Entonces el ideal izquierdo (resp.

derecho) generado por S, consiste de todas las combinaciones izquierdas (resp. derechas)
de elementos de S con coeficientes en A.
Demostracin Sea I el conjunto formado por todas las combinaciones lineales izquierdas
de elementos de S. Clarament, la difeencia (resta) de dos de esas combinaciones es una
combinacin del mismo tipo. Igualmentee el producto por izquierda (resp. derecha) de una
de esas combinaciones es una combinacin lineal del mismp tipo. Por lo que I es un ideal
izquierdo (resp. derecho). Si J es cualquier ideal izquierdo (resp. derecho) que contiene a
S, contiene tambin a sus combinaciones lineales izquierdas (resp. derechs), luego
contiene a I. Es decir, I est contenido en cualquier ideal izquierdo (resp. derecho) que
contenga a S. Por lo tanto, debe ser igual a la interseccin de todos esos ideales, ya que I
tambin pertenece a la familia de ideales que contienen a S.

Anillos Cocientes
Los ideales (bilaterales) tienen para los anillos un rol semejante al que tienen los
subgrupos normales en la teora de grupos.
Sea A un anillo cualquiera y sea I un ideal (bilateral) de A.
Definimos una relacin R por , ssi, x - y est en I. La relacin R es una relacin de
equivalencia en A, ya que es, obviamente reflexiva ( y simtrica . Veamos la transitividad.
Supongamos que y que . Es decir que (x-y) y (y-z) estn en I. Sumnaos, se tiene que (x-z)
est en I, o sea que . Denotaremos por [x] la clase de equivalencia de x, o sea todos los
elementos y en A tales que y por A/I el conjunto formado por todas esas clases de
equivalencia.
Proposicion (Anillo cociente)
Sea A un anillo, I un ideal de A. Entonces A/I con operaciones definidas por
[x} + [y] := [x+y}, [x}*[y] = [xy] ,br /> tiene un estructura de anillo tal que la funcin tal que
v(x) = [x} es un supramorfismo de anillos.
Demostracin. Verifiquemos que las operaciones estn bien definidas, es decir que no
dependen de los resentantes escogidos para la definicin. Sean x', y' tales que x'= x + s,
y'= y + t. s, t en I. Entonces, x'+ y'= x+ y + s + t, como s+t est en K, x' + y' R x + y.
Adems, x'y'= (x+s)(y+t) = xy + xt + sy +st. Como I es un ideal, xt + sy +st es un elemento
de I. Luego, x'y' R xy. Lo que prueba que las operaciones estn bien definidas. Es
necesario probar que que dichas operacionesproveen a A/I con una estructura de anillo.
Veamos la prueba de la asociatividad de la suma.
[x] + ([y] + [z]) =[x] +[y+z] = [x+(y+z)] = [(x+y)+z] = [x+y] + [z] = ([x] + [y]) + [z] ,br /> L clase
del 0 (igual a K) es tal que [x] + [0] = [x + 0] =[x], lo que muestra que la clase del 0 es el
neutro aditivo de A/I. El resto de las propiedades necesarias para calificar como anillo se
pruben de manera anloga.

Se verifica facilmente que

Si A es conmutativo, A/I lo es.

Si A tiene identidad, A/I tiene como identidad a [1].

Si x es una unidad de A, [x] es una unidad en A/I.

Ejemplo: Enteros mdulo
Sea y sea m un entero cualquiera. Sea I = el ideal generado por m, o sea todos los
mltiplos de m.