Proposicin (Caracterzacin de Dominios)

Sea A un anillo conmutativo con identidad. Entonces, los elementos no nulos de A son
cancelables, ssi, A es un dominio de integridad. Los cuerpos son dominios de integridad. .
El mundo finito tiene algunas simplificaciones interesantes.
Proposicin (Dominios Finitos)
Un dominio de integridad finito D es un cuerpo.

Otro resultado muy interesante, debido a Joseph Wedderburn (1882--1948), que slo
mencionaremos aqu, establece que un anillo con divisin finito es un cuerpo, o sea que
necesariamente se tiene que la multiplicacin es conmutativa.

Ideales
Definicin de Ideales

Sea A un anillo cualquiera. Un subconjunto no vaco I de A es un

ideal izquierdo, ssi, es cerrado respecto a la resta y a la
multiplicacin por la izquierda por elementos de A. Es decir, para
todo x,y en I, a e A se cumple que

estn en I.
Un subconjunto no vaco I de A es un ideal derecho, ssi, es cerrado respecto a la resta y
a la multiplicacin por la derecha por elementos de A. Es decir, para todo x,y en I, a e A se

cumple que estn en I.

Un subconjunto I es un ideal (bilateral) cuando es a la vez ideal izquierdo y derecho.

Los ideales (izquierdos, derechos, bilaterales) son subgrupos aditivos del anillo. Caundo el
anillo es conmutativo, cualquier ideal es bilateral.
Sea I un ideal izquierdo (resp. derecho). Sigue de la definicin de ideal izquierdo (resp.

derecho) que I es cerrado respecto a suma de elementos de I. En particualr si son

elementos de A y son elementos de I entonces

(caso izquierdo) est en I.

(caso derecho) est en I.

Decimos que los ideales izquierdos (resp. derechos) son cerrados respecto a
cmbinaciones lineales con coeficientes del a anillo por la izquierda (resp. derecha).
Ejemplos de Ideales En cualquier anillo A, A es un ideal. Tambin lo es {0} (ideal nulo).
Un idela distinto de A es un ideal propio.

1. En el anillo de los Enteros, todos los mltiplos de un nmjero fijo m es un ideal

denotado por <m>.
Proposicin (Interseccin de Ideales)
Sea , k en K, una familia no vaca de ideales izquierdos (resp. derechos, bilaterales)
que contienen a un subconjunto S de A. Entonces, la intersecin I de todos esos ideales es
un ideal del mismo tipo.

Demostracin: (ideales izquierdos) Sean x, y en , a en A, cualesquiera. Como x, y

estn en la interseccin de la familia estn en cada . Como es un ideal, tambin

estn en , (x-y) y ax. Como eso es vlido para todo k, (x-y) y ax estn en I.
Anlogamente para ideales derechos y bilaterales.

Llamamos ideal generado por S al ideal determinado por la interseccin de todos los

ideales que contienen a S. Simbolizamos ese ideal por . Si podemos

colocar en lkugar de .
Decimos que un ideal es principal, ssi, esta generado por un conjunto con un elemento.