Breve introduccin a la teor de anillos o a

Harold Selvaggi 21 de marzo de 2003

 Indice general
1. Estructuras elementales 1.1. Deniciones bsicas . . . . . . . . . . . . . . . . . . . . . . . . a 1.2. Homeomorsmos de anillos . . . . . . . . . . . . . . . . . . . 5 5 8

INDICE GENERAL

Cap tulo 1

Estructuras elementales
1.1. Deniciones bsicas a

Denicin 1.1.1. 1. Sea S un conjunto cualquiera, una operacin binao o ria en S es una funcin f : S S S. o 2. 3. De la misma forma una operacin unaria en S es una funcin f : S o o S. Dado un conjunto S y una operacin binaria + : S S S diremos o que (S, +) es un semigrupo si la operacin binaria verica: o a) 4. (a + b) + c = a + (b + c) a, b, c S (asociativa)

Sea G un conjunto no vac + una operacin binaria en G, una o, o operacin unaria en G y un elemento e G. Diremos que (G, +, , e) o es un grupo si verica: a) b) c) (G, +) es un semigrupo a+e=e+a=a a + (a) = e a G (neutro) a G (opuesto) a, b G se dice que el grupo es conmutativo,

Si adems a+b = b+a a o abeliano. 5.

Un conjunto A junto con dos operaciones binarias + y , una operacin o unaria y un elemento e A es un anillo si verica: a) b) c) (A, +, , e) es un grupo abeliano (A, ) es un semigrupo a (b + c) = a b + a c (b + c) a = b a + c a 5 distributiva

CAP ITULO 1. ESTRUCTURAS ELEMENTALES

Nota: Cuando damos un grupo por la 4-upla (G, +, , e) generalmente hablaremos del grupo G siempre que quede sobreentendido cuales son las operaciones binaria, unaria y cual es el elemento neutro. Generalmente al neutro de un grupo le llamaremos 0. Lo mismo se aplica para los anillos, es deicr en vez de hablar del anillo (A, +, , , e) hablaremos del anillo A. Para los anillos la operacin se dice que es la operacin multiplicativa, o o mientras que para la operacin respecto a la cual es un grupo se le suele o llamar aditiva. En cuanto a la operacin multiplicativa en lugar de escribir o a b escribiremos ab. Cuando nos dan un anillo A si nos olvidamos de la operacin multiplio cativa, obtenemos un grupo. Cuando hagamos esto, es decir omitamos la operacin multiplicativa diremos que estamos trabajando con el grupo adio tivo de A, este es A+ . En cuanto a los anillos existen varios tipos de anillos. Entre ellos estn los a anillos con unidad, estos sern anillos con unidad para la operacin (opea o racin multiplicativa). Tambin tenemos anillos conmutativos que ser en o e a los que la operacin multiplicativa es conmutativa. o Teorema 1.1.1. Sea G un conjunto, + una operacin binaria en G y e G o un elemento que tiene la propiedad de neutro (a + e = e + a = a a G) entonces el neutro es unico. Demostracin: o Supongamos que el neutro no es unico, sea 0 G otro elemento con la propiedad del neutro entonces e = e + 0 = 0 e = 0 y as el neutro es unico. Corolario 1.1.2. El neutro de un grupo es unico Corolario 1.1.3. Sea A un anillo con unidad, entonces el neutro multiplicativo es unico. Teorema 1.1.4. Sea A un anillo entonces se verica: 1. 2. 3. r0 = 0r = 0 r A. r, s A

(r)s = r(s) = (rs) (r)(s) = rs

Demostracin: (Se deja como ejercicio) o Denicin 1.1.2. Un dominio de integridad es un anillo A conmutativo o con unidad que no tiene divisores de cero, es decir que si ab = 0 entonces a = 0 o b = 0.

 1.1. DEFINICIONES BASICAS

Nota: Aunque todos comprendemos cuando hablamos de divisores, en la denicin anterior no es del todo correcto utilizar este termino puesto o que an no se ha denido lo que es un divisor. No obstante la denicin es u o correcta puesto que lo importante de esto se ha notado como ab = 0 entonces a = 0 o b = 0. Teorema 1.1.5. Sea A un dominio de integridad y sea 0 = a A si ax = ay entonces x = y. Demostracin: o Por hiptesis ax = ay sumando el opuesto de ay tenemos ax ay = 0 o entonces a(xy) = 0 y como A es un dominio de integridad a = 0 o xy = 0 pero como a 0 se tiene que x y = 0 entonces x = y. El hecho de que la propiedad asociativa sea vlida en un conjunto para a 3 elementos implica que esta sea vlida para cualquier cantidad de elemena tos. Lo que quiero decir es que el hecho de que (a + b) + c = a + (b + c) implica que (a1 + . . . + an1 ) + an = a1 + (a2 + . . . + an ). Esto nos permite asegurar que el elemento a1 + . . . an siempre esta bien denido y que es independiente del orden en que operemos. La demostracin de este teorema es o bastante engorrosa, inclusive su enunciado, por lo que no lo demostraremos ni enunciaremos. No obstante este es un hecho importante que siempre hay que tener en cuenta. Denicin 1.1.3. Un subanillo de A es un subconjunto S de A que con las o operaciones de A restringidas a S es si mismo un anillo. Es evidente que las operaciones denidas en S cumplen todas las propiedades necesarias para que S sea un anillo, lo que resta vericar es que las operaciones sean cerradas en S y que S sea no vac Esto es ver que si o. a, b S entonces a + b, ab S y que para todo a S entonces a S. Evidentemente para los grupos existe una denicin de subgrupo como pletamente analoga a la denicin que se dio para anillos. o Teorema 1.1.6. Sea A un anillo y sea S un subconjunto de A, entonces S es un subanillo sii 1. 2. S es no vac o a, b S a b, ab S

Demostracin: o Como S es un subanillo en particular es no vac Adems si a, b S o. a entonces a+b, ab S y para todo a S entonces a S. De las propiedades anteriores vemos que a + (b) = a b S as que ya hemos probado la ida.

CAP ITULO 1. ESTRUCTURAS ELEMENTALES

Rec procamente desde que S es no vac se tiene que existe a S luego o tengo que a a = 0 S. Ahora para todo a S tengo que 0 a = a S. Si a, b S entonces b S entonces a (b) = a + b S. Adems ab S a por hiptesis. Luego las operaciones en S verican todas las propiedades o necesarias por vericarlas en A as que S es un anillo.

1.2.

Homeomorsmos de anillos

Denicin 1.2.1. 1. Un homeomorsmo de grupos es una funcin f : o o A B donde A y B son grupos tal que: a) 2. f(a+b) = f(a)+f(b)

Un homeomorsmo de anillos es una funcin f : A B donde A y o B son anillos tal que: a) b) f es un homeomorsmo de grupos aditivos A+ en B + f(ab) =f(a)f(b)

Teorema 1.2.1. Sean A, B y C anillos y : A B y : B C homeomorsmos de anillos entonces () es un homeomorsmo de anillos. Demostracin: o Sean a, b A entonces ((a + b)) = ((a) + (b)) = ((a)) + ((b)) y adems ((ab)) = ((a)(b)) = ((a))((b)) Lo que demuestra que a () es un homeomorsmo de anillos. Teorema 1.2.2. Sean A, B grupos y f : A B un homeomorsmo de grupos, entonces f (0A ) = 0B Demostracin: o Como B es un grupo existe un elemento 0B . Ahora f (0A ) = f (a a) = f (a) f (a) = 0B . Corolario 1.2.3. Sean A, B anillos y f : A B un homeomorsmo de anillos, entonces f (0A ) = 0B Teorema 1.2.4. Sean A y B anillos con unidad y sea f : A B un homeomorsmo de anillos entonces f (1A ) = 1B Demostracin: o

1.2. HOMEOMORFISMOS DE ANILLOS

Sea a A entonces a = a 1A f (a) = f (a1A ) = f (a)f (1A ) y por otro lado f (a) = f (1A a) = f (1A )f (a). De lo anterior se tiene que f (1A ) = 1B Denicin 1.2.2. Sea A un anillo. Un ideal a izquierda de A es un conjunto o I que es un subgrupo aditivo de A+ y tal que si a I entonces ba I b A. Anlogamente un ideal a derecha es un conjunto I que es un subgrupo a aditivo de A+ y tal que si a I entonces ab I b A. Finalmente un ideal K en A es un ideal a derecha y a izquierda y lo notaremos como K A. Teorema 1.2.5. Sean A y B anillos y sea f : A B un homeomorsmo de anillos, entonces ker(f ) A. Demostracin: o Primero que nada f (0) = 0 entonces 0 ker(f ) as ker(f ) es no vac o. Ahora sean a, b ker(f ) entonces f (ab) = f (a)f (b) = 00 entonces a b ker(f ). Por otro lado f (ab) = f (a)f (b) = 00 = 0 entonces ab ker(f ). Esto demuestra que ker(f ) es un subanillo de A. Ahora sea a ker(f ) y sea b A entonces f (ab) = f (a)f (b) = 0f (b) = 0 y f (ba) = f (b)f (a) = f (b)0 = 0 entonces ker(f ) A. Denicin 1.2.3. Una relacin de equivalencia es una relacin que es trano o o sitiva, simtrica y reexiva. e Dado un anillo A y K A podemos denir una relacin de equivalencia o para los elementos de A deiniendo a b a b K. Una relacin o tal es evidentemente reexiva porque si a A a a = 0 K tambin e si a b K entonces b a K por ser K un subanillo de A. Finalmente a b K y a c K entonces b c = b a + a c K b c K.
K K

Esto demuestra que la denicin anterior es una relacin de equivalencia. o o Debe observarse que lo unico que hemos usado para que lo anterior sea una relacin de equivalencia es el hecho de que K es un subgrupo aditivo de o A+ . No obstante lo hemos visto utilizando un ideal puesto que es lo que necesitaremos para lo que biene. Denicin 1.2.4. El conjunto A/ representa el conjunto de todas las clao ses de equivalencia mediante la relacin de equivalencia anterior. El cociente o A/K se dene entonces tal que A/K = A/ . Teorema 1.2.6. Sea A un anillo y sea K A, entonces A/K con las operaciones denidas a continuacin es un anillo. a A/K en un anillo: o 1. (a + K) + (b + K) = (a + b) + K

10 2. 3.

CAP ITULO 1. ESTRUCTURAS ELEMENTALES (a + K) = (a) + K (a + K)(b + K) = ab + K

Adems la funcin (x) = x + K es el epimorsmo de anillos natural. a o Demostracin: o (Se deja como ejercicio)