Está en la página 1de 10

CAP TULO 1

Teor de Anillos a
1. Conceptos bsicos de Teor de Anillos a a

Definicion 1.1. Un anillo es un conjunto R junto con dos operaciones + y que verican las siguientes condiciones:

1. (R, +) es un grupo abeliano; 2. es una operacin asociativa; o 3. la operacin es distributiva con respecto a +, es decir, x, y, z o R, se cumplen (x + y)z = xz + yz, z(x + y) = zx + zy.

Si la operacin es conmutativa, el anillo se llama conmutativo. Se o dice que un anillo es unitario si la operacin posee un elemento neuo tro. Normalmente usamos 1 1R para el elemento neutro. El elemento o o a neutro con respecto a la suma se denota 0R 0 si est claro de que anillo se trata. Ejercicio 1.1. Demostrar que un anillo puede tener solamente un elemento neutro con respecto a la suma y un elemento neutro con respecto a la multiplicacin. o Ejemplos 1.1. 1. Los siguientes sistemas algebraicos son anillos: (Z, +, ), Z[i] = {a + bi | a, b Z}. 2. Q, R y C son anillos con las operaciones estndar. a 3. Si R es un anillo entonces las matrices Mn (R) sobre este anillo tambin lo es. e 4. (N, +, ), (R0 , +, ) no son anillos. 5. R[x] = {p(x)|p(x) polinomio con coecientes en R} con las operaciones naturales es un anillo. Como R[x] es un anillo, podemos considerar R[x][y]. Este anillo se denota ms brevea mente por R[x, y]. El proceso puede repetirse hasta obtener el
5

1. TEOR DE ANILLOS IA

anillo en n indeterminadas x1 , , xn : R[x1 , , xn ] = {


i1 , ,in

ai1 , ,in xi1 xin |ai1 , ,in R}. 1 n

Como vemos de los ejemplos anteriores, muchos sistemas algebraicos que conocemos son anillos. Este es un motivo de la introduccin del o concepto abstracto de anillo. Trabajando con un anillo abstracto demostramos teoremas para nmeros enteros, polinomios, matrices, etc., u al mismo tiempo. Sin embargo, no es el unico motivo para estudiar los anillos. Como vamos a ver, la aparicin de nuevos ejemplos nos ayuda o a entender mejor los antiguos y de esta forma nos indica los caminos para resolver distintos problemas. En el siguiente lema vamos a ver las primeras propiedades elementales de los anillos. Lema 1.1. Sea R un anillo, entonces 1. para cualquier r R tenemos r 0 = 0 r = 0; 2. para todo r y s R se cumple (r) s = (r s). Demostracion. (i) Como r 0 = r (0+0) = r 0+r 0, obtenemos que r 0 = 0. De la misma forma 0 r = 0. (ii) Por la denicin de anillo (R, +) es un grupo. Por eso rs tiene un o slo opuesto y por lo tanto tenemos que demostrar que (rs)+(r)s = 0. o En efecto, aplicando la propiedad distributiva, tenemos que rs + (r)s = (r + (r))s = 0s = 0.

2.

Subanillos y ideales

El mayor objetivo de la teor de anillos es la clasicacin de toa o dos los anillos. Es claro que en general este problema es muy dif cil o probablemente imposible. Pero es posible clasicar algunas familias de anillos bajo unas restricciones. Es razonable pensar que primero podemos clasicar los anillos ms pequeos y a partir de ellos los ms a n a grandes. Esto nos motiva a dar la siguiente denicin o Definicion 1.2. Sea R un anillo. Se dice que un subconjunto S de R es un subanillo si S es un subgrupo de (R, +) y para todo s1 y s2 S tenemos que s1 s2 S. Ejemplos 1.2.

3. ANILLOS COCIENTES

1. Z y Q son subanillos de R, R y Z[i] son subanillos de C. 2. N y R = {r R|r = 0} no son subanillos de R. Los subanillos en un anillo juegan el papel de subgrupos en un grupo. En la teor de grupos se introduce tambin el concepto de un a e subgrupo normal. Este concepto est relacionado con grupos cocientes a y homomorsmos de grupos. En la teor de anillos una nocin anloga a o a a un subgrupo normal es un ideal. Definicion 1.3. Sea R un anillo. Se dice que un subconjunto I de R es un ideal si I es un subgrupo de (R, +) y para todo r R y m I tenemos que rm, mr I. Ejemplos 1.3. 1. Sean R = Z e I = nZ = {nz | z Z}. Entonces I es un ideal de R. 2. De la denicin de ideal vemos que un ideal es tambin un o e subanillo. No es cierta la implicacin inversa. Por ejemplo, Z o no es un ideal de Q. 3. Sea R un anillo cualquiera. Entonces en R siempre hay dos ideales: uno es {0} que consta unicamente del elemento 0 y el otro es R que contiene a todos los elementos de R. Ejercicio 1.2. Sea R un anillo e {Ik } una familia de ideales de R.

1. Demostrar que la interseccin I = k Ik es un ideal de R. o 2. Sea S un subconjunto de R. Denamos el ideal de R generado por S como la interseccin de todos los ideales que contienen o a S. Lo denotamos por (S). Demostrar que (S) es el menor ideal que contiene a S. 3. Supongamos que R es un anillo conmutativo unitario y S = {s1 , . . . , sn } es un conjunto nito. Probar que para cualquier elemento r (S) existen a1 , , an R tales que r = a1 s1 + + an sn . 3. Anillos cocientes

Ahora tratemos de justicar la aparicin del concepto de ideal. Coo mo en la teor de grupos, los subgrupos normales ayudan a construir a nuevos grupos, de la misma forma a partir de los ideales construimos nuevos anillos.

1. TEOR DE ANILLOS IA

Supongamos que I es un ideal de un anillo R. Como (R, +) es un grupo abeliano, I es un subgrupo normal del grupo aditivo (R, +). Esto nos permite considerar el grupo cociente R/I. Recordemos este concepto. Si A y B son dos subconjuntos de R, entonces el conjunto A + B es el conjunto {a + b | a A, b B}. Si A consiste solamente de un elemento a escribimos simplemente a + B. Si I es un ideal de R y r1 , r2 R, entonces se comprueba que o a los conjuntos r1 + I y r2 + I tienen una interseccin no vac si y slo si son iguales. Esto nos da una particin de R = rR (r + I). o o Denamos anillo cociente R/I como el conjunto de subconjuntos de R: R/I = {r + I | r R}. La suma en R/I est denida como suma de conjuntos. Resulta que a (r + I) + (s + I) es tambin un elemento de R/I y es igual a (r + s) + I. e El elemento neutro respecto a esta operacin es 0 + I = I y el inverso o de r + I es r + I. Ahora denamos la estructura de un anillo sobre R/I. Para este propsito tenemos que denir la multiplicacin. La denimos de la o o siguiente forma: Teorema 1.2. 1. La denicin de la multiplicacin no depende o o de la eleccin de los representantes r, s, es decir si r + I = r + I y o s + I = s + I, entonces (rs) + I = (rs) + I. 2. Con las operaciones anteriormente denidas (R/I, +, ) es un anillo. Demostracion. 1. Como r + I = r + I y s + I = s + I, existen a, b I tales que r = r+a y s = s+b. Entonces r s rs = as+rb+ab I. Por lo tanto rs + I = r s + I. 2. Hay que comprobar todos los axiomas de anillo. Veamos la asociatividad, el resto de los axiomas se demuestra de forma similar. Sean a, b, c R. Entonces ((a + I)(b + I))(c + I) = (ab + I)(c + I) = (ab)c + I = a(bc) + I = (a + I)(bc + I) = (a + I)((b + I)(c + I)). Observacion 1.1. Si A y B son dos subconjuntos de R denamos por AB el conjunto {ab | a A, b B}. Entonces el primer apartado (r + I) (s + I) = (rs) + I, con r + I y s + I R/I.

4. HOMOMORFISMOS DE ANILLOS

del teorema anterior es tambin una consecuencia de que el producto e de conjuntos (r + I)(s + I) est contenido en (rs) + I por ser I ideal. a Ejemplo 1.4. Sea R = Z e I = 6Z. Entonces el anillo R/I = Z/6Z tiene 6 elementos { = 6Z, = 1 + 6Z, = 2 + 6Z, = 3 + 6Z, = 0 1 2 3 4 4+6Z, = 5+6Z}. Si multiplicamos por obtenemos la clase 20+6Z 5 4 5, que es igual a La multiplicacin de por nos da 2. o 3 4 0. 4. Homomorsmos de anillos

El concepto de un ideal est muy relacionado con otra nocin ima o portante que vamos a denir ahora. Definicion 1.4. Sean R y S dos anillos. Un homomorsmo de anillos es una aplicacin f : R S tal que o f (x + y) = f (x) + f (y), f (xy) = f (x)f (y), para todo x, y R. Si la operacin f es biyectiva, entonces f se llama isomorsmo o y diremos que los anillos R y S son isomorfos. Lo vamos a denotar a o como R S. Si, adems R coincide con S, entonces esta aplicacin se = llama automorsmo. El conjunto de elementos r de R, tales que f (r) = 0 se llama n cleo de f y se denota por Ker f . El conjunto de elementos de S u {s S | r R, s = f (r)} se llama la imagen de f y se denota por Im f . Ejemplos 1.5. 1. Sea R = Z[x] y S = Z. Denamos f : R S de la siguiente forma: f (p(x)) = p(7), donde p(7) signica la sustitucin de x o por 7 en el polinomio p(x). Entonces f es un homomorsmo. El ncleo de f es igual a los polinomios de Z[x] que tienen 7 u como una ra y la imagen de f es todo Z. z 2. Sea R un anillo e I un ideal de R. Pongamos S = R/I, entonces la aplicacin f : R S denida como f (r) = r + I es un o homomorsmo de anillos. Lema 1.3. Sean R y S anillos y f : R S un isomorsmo de anillos, entonces f (1R ) es un elemento neutro de S. En particular, como hay solamente un elemento neutro, 1S = f (1R )

10

1. TEOR DE ANILLOS IA

Demostracion. Hay que comprobar que f (1R )s = s = sf (1R ) para cualquier s S. En efecto, como f es un isomorsmo y, en particular es sobreyectivo, existe r R tal que s = f (r). Entonces f (1R )s = f (1R )f (r) = f (1R r) = f (r) = s y sf (1R ) = f (r)f (1R ) = f (r1R ) = f (r) = s. Ejercicio 1.3. Sean R y S anillos, f : R S un isomorsmo de anillos y a R. Probar que f (a) = f (a). A la hora de clasicar los anillos no distinguimos entre anillos isomorfos. Si queremos demostrar que dos anillos no son isomorfos, tenemos que encontrar una propiedad que se conserva bajo isomorsmo y ver que un anillo la posee y el otro no. Ejemplo 1.6. Demostrar que R y C no son isomorfos como anillos. Para eso vemos que la propiedad de un anillo de tener un elemento a tal que a2 = 1 se conserva bajo isomorsmo. En efecto, sean R y S anillos y f : R S un isomorsmo de anillos. Supongamos que a R y a2 = 1R . Pongamos b = f (a). Entonces b2 = f (a)2 = f (a2 ) = f (1R ) = f (1R ) = 1S . Como C posee un elemento que elevado al cuadrado es -1 y R no lo posee, y esta propiedad se conserva bajo isomorsmo, estos dos anillos no pueden ser isomorfos. En algunos casos si queremos resolver un problema para R es util considerar el problema en el anillo cociente R/I para algn ideal I de u R, donde el problema es ms accesible porque el anillo R/I es ms a a sencillo. Damos un ejemplo. Ejemplo 1.7. Demostrar que la ecuacin x4 + y 4 = 8z 4 no tiene o soluciones enteras distintas de x = y = z = 0. La demostracin es la siguiente. Supongamos lo contrario y obteno emos una contradiccin. Sean x, y, z tales que x4 + y 4 = 8z 4 y alguno o de ellos es distinto de cero. Claramente podemos suponer que alguno de x, y, z no es divisible por 5. Ahora, como la aplicacin f : Z Z/5Z o que manda n a n + 5Z es un homomorsmo de anillos, tenemos que a4 +b4 = 4 , donde a = f (x), b = f (y), c = f (z) y = 3+5Z = 8+5Z. 3c 3 El anillo Z/5Z es nito. Por eso es una comprobacin rutinaria que no o

5. IDEALES DE ANILLOS COCIENTE

11

existen a, b, c Z/5Z tales que a4 + b4 = 4 . Hemos obtenido una 3c contradiccin. o Teorema 1.4. (El primer teorema de isomorf para anillos). Sea a f : R S un homomorsmo de anillos. Entonces, Ker f = {x R | f (x) = 0} es un ideal de R, Im f es un subanillo de S y R/ Ker f Im f . = Demostracion. La demostracin de que Ker f es un ideal de R e o Im f es un subanillo de S las dejamos como ejercicio. Vamos a probar el ultimo isomorsmo. Denamos g : R/ Ker f Im f de la siguiente forma g(r + Ker f ) = f (r). Primero veamos que la aplicacin g est bien denida, es decir, si o a r + Ker f = r + Ker f , entonces g(r + Ker f ) = g(r + Kerf ). En efecto, existe a Ker f tal que r = r + a. Entonces, g(r + Ker f ) = f (r) = f (r + a) = f (r ) + f (a) = f (r ) = g(r + Ker f ). Ahora veamos que g es un homomorsmo de anillos. g((r + Ker f )(s + Ker f )) = g(rs + Ker f ) = f (rs) = f (r)f (s) = g(r + Ker f )g(s + Ker f ). De la misma forma, tenemos que g((r + Ker f ) + (s + Ker f )) = g(r + Ker f ) + g(s + Ker f ). Es claro que la aplicacin g es sobreyectiva. Vamos a ver que es o inyectiva. Supongamos que g(r + Ker f ) = g(s + Ker f ). Entonces, f (r) = f (s) y f (r s) = 0. Por lo tanto, r s Ker f y r + Ker f = s + Ker f . Hemos demostrado que g es un homomorsmo de anillos biyectivo, luego R/ Ker f y Im f son isomorfos. Ejemplo 1.8. Sea R = Z[x] e I = {p(x) R | p(2) = 0}. Entonces a. I es un ideal de R y R/I Z por el primer teorema de isomorf El = isomorsmo expl cito entre R/I y Z est dado mediante la aplicacin a o g(p(x) + I) = p(2). 5. Ideales de anillos cociente

Para entender bien la estructura y propiedades de un anillo es muy importante conocer sus ideales. En el siguiente resultado damos la descripcin de los ideales de R/I a partir de los ideales de R. o

12

1. TEOR DE ANILLOS IA

Teorema 1.5. Sea R un anillo e I un ideal de R. 1. Si J es un ideal de R con I J denamos J/I = {x+I | x J}. Entonces, J/I es un ideal de R/I. Adems, si K es otro ideal de R con a I K, tenemos que K = J si y slo si K/I = J/I. o 2. Sea L un ideal de R/I y sea J = {x R | x + I L}. Entonces, J es un ideal de R que contiene a I y J/I = L. Demostracion. 1. Primero comprobamos que J/I es un ideal de R/I. Como J e I son subgrupos de (R, +), J/I es un subgrupo de R/I. Ahora, sea r R y a J. Entonces (r + I)(a + I) = ra + I J/I. De la misma forma (a + I)(r + I) J/I. Entonces J/I es un ideal de R/I. Supongamos ahora que K/I = J/I. Queremos ver que K = J. Sea k K. Entonces existe j J tal que k + I = j + I. Entonces k j I, y como I J, k J. Hemos demostrado que K J. De la misma manera obtenemos que J K. 2. Veamos que J es un ideal de R. Demostremos uno de los axiomas de ideales como ejemplo. Sean a J y r R. Como a + I L, (ra + I) = (r + I)(a + I) L. Entonces ra J. Si a I, a + I = 0 + I L. Entonces I J. Ahora J/I = L por las deniciones de J y J/I. As pues, existe una biyeccin entre los ideales de un anillo cociente o R/I y los ideales de R que contienen a I. Ejemplo 1.9. Sea R = Z/6Z. Entonces I = 2Z es un ideal de Z que contiene a 6Z. Entonces 2Z/6Z = { es un ideal de Z/6Z. 0, 2, 4} 6. N meros enteros u

En el apartado anterior hemos introducido las nociones bsicas relaa cionadas con anillos. En esta seccin vamos a ver toda esta teor aplio a cada a los nmeros enteros. u Definicion 1.5. Sea R un anillo y x R. El ideal (x) generado solamente por un elemento x se llama principal. Si todos los ideales de R son principales, entonces decimos que R es un anillo de ideales principales. Observacion 1.2. Del Ejercicio 1.2 concluimos que si R es un anillo conmutativo unitario, entonces (r) = {ar | a R}

7. EJERCICIOS I

13

El siguiente teorema describe completamente la estructura de los ideales de Z. Teorema 1.6. El anillo Z es un anillo de ideales principales. Demostracion. Sea I un ideal arbitrario de Z. Si I = {0}, entonces no hay que demostrar nada. Si I = {0}, entonces existe 0 = c I. Podemos suponer que c > 0, porque si c < 0, entonces c > 0 y o. u c I. Entonces I>0 = I N no es vac Sea a el menor nmero que est en I>0 . a o Veamos que I = (a). Sea b I>0 . Usando la propiedad de divisin, a podemos escribir b = qa+r para algunos q, r I>0 y adems 0 r < a. Como a, b I, obtenemos que r I. Pero de la denicin de a se sigue o que r = 0 y por lo tanto b (a). Si b I y b < 0, entonces b (a) y otra vez tenemos que b (a). Entonces I (a).

Definicion 1.6. Sean a y b dos nmeros enteros no nulos. Digamos u que un nmero positivo c es el mxino com n divisor de a y b si u a u 1. c divide a a y b; 2. c es el mximo entre los nmeros positivos que cumplen est propiedad. a u a Escribiremos (a, b) para denotar el mxino comn divisor de a y b. a u Ahora podemos reformular la identidad de Bezout.

Demostracion. Sea I = (a) + (b). Como Z es un anillo de ideales principales existe e tal que I = (e). Sin prdida de generalidad e suponemos que e es positivo. Entonces e divide a a y b y por lo tanto e c. Por otra parte como e = na + mb para algunos m y n, c divide a e. Concluimos que e = c. Definicion 1.7. Se dice que un ideal I de un anillo R es maximal si I = R y no existe ningn ideal J distinto de I y R tal que I J. u El anillo Z/nZ lo vamos a denotar por Zn . Cuando n es un nmero u primo usaremos tambin Fp para denotar Z/pZ. e 7. Ejercicios I

Teorema 1.7. Sean a y b dos nmeros enteros no nulos y c = u (a, b). Entonces c genera el ideal generado por a y b; en particular, existen m y n Z tales que c = na + mb.

Ejercicio 1.4. Escribir la tabla de multiplicacin de los anillos o Z/5Z y Z/6Z.

14

1. TEOR DE ANILLOS IA

Ejercicio 1.5. Sea R = 5Z. Demostrar que R es un anillo respecto a las operaciones estndar. Tiene R el elemento neutro? Demostrar a que I = 15Z es un ideal de R y que R/I es isomorfo a F3 = Z/3Z. Ejercicio 1.6. Demostrar que R = Z[ 2] = {a + b 2 | a, b Z} es un anillo. Considerar el anillo R/2R y encontrar todos sus ideales. Ejercicio 1.7. Son isomorfos los anillos Z y 2Z? Ejercicio 1.8. Demostrar que la ecuacin x6 + y 6 = 3z 6 no tiene o soluciones no triviales en los nmeros enteros. u Ejercicio 1.9. Encontrar todos los automorsmos f de C tales que f (r) = r para todo r R. Ejercicio 1.10. (Segundo Teorema de Isomorf para anillos) Sea a A un anillo, e I y J ideales de A, tales que J I. Probar que I/J es un ideal de A/J y que A/I es isomorfo a (A/J)/(I/J). Ejercicio 1.11. (Tercer teorema de isomorf para anillos) Sea A a un anillo e I J ideales de A; se dene I + J = {i + j : i I, j J}. Demostrar que I + J es un ideal de A y que (I + J)/J es isomorfo a I/(I J). Ejercicio 1.12. Encontrar todos los automorsmos de Z. Ejercicio 1.13. Demostrar que I es un ideal maximal de Z si y slo si I = (p), donde p es un nmero primo. o u