Atccaet \ Au tt|s|s Mttcv tt|oc Anillos y cuerpos 1 Anillos 2 Cuerpos e ideales 3 El anillo cociente 3 M as sobre anillos e ideales Ampliaci on Matem atica Discreta Anillos y cuerpos Anillos y cuerpos Anillos Denici on Sea R un conjunto de elementos con dos operaciones binarias, adici on y multiplicaci on. Dicho conjunto tendr a estructura de anillo si satisface R1 R es un grupo abeliano bajo la adici on. R2 R es asociativa bajo la multiplicaci on. R3 La multiplicaci on es distributiva respecto la adici on, es decir, para cualquier a, b, c R a.(b + c) = a.b + a.c (a + b).c = a.c + b.c Deniciones 1 Un anillo es un anillo con identidad si posee una identidad (tambi en llamada unidad) para la multiplicaci on, tal que a R, a,1 = 1.a = a 2 Un anillo es un anillo conmutativo si el producto es conmutativo. 3 Un anillo es un dominio de integridad si es un anillo conmutativo con identidad e 0 tal que ab = 0 implica a = 0 o b = 0. 4 Un anillo es un anillo de divisi on si los elementos no nulos de R forma un grupo respecto la multiplicaci on. 5 Un anillo de divisi on conmutativo es un cuerpo. Ampliaci on Matem atica Discreta Anillos y cuerpos Anillos y cuerpos Anillos Ejemplo 1 El conjunto de los n umeros enteros es un anillo conmutativo, pero no un cuerpo. 2 Z 2 = {0, 1}, con la adici on y multiplicaci on m odulo 2 es un cuerpo. En general, Z p es un cuerpo si y s olo si p es primo. Este cuerpo tambi en es denotado por GF(p), el cuerpo de Galois de p elementos. Tabla para GF(2) Adici on Multiplicaci on + 0 1 0 0 1 1 1 0 . 0 1 0 0 0 1 0 1 Tabla para GF(3) Adici on Multiplicaci on + 0 1 2 0 0 1 2 1 1 2 0 2 2 0 1 . 0 1 2 0 0 0 0 1 0 1 2 2 0 2 1 Ampliaci on Matem atica Discreta Anillos y cuerpos Anillos y cuerpos Cuerpos e ideales Teorema Todo dominio de integridad nito es un cuerpo. Denici on Un subconjunto J de un anillo R es un subanillo de R si S es cerrado bajo + y ., y forma un anillo respecto ambas operaciones. Denici on Un subconjunto S de un anillo R es un ideal si satisface 1 S es un subgrupo de R bajo la adici on. 2 Para cualquier s S y r R, s.r s. Ejemplo 1 Sea Q el cuerpo de los n umeros racionales. Entonces el conjunto Z de los enteros es un subanillo de Q, pero no un ideal ya que 1 Z, 1 2 Q, pero 1 2 ,1 = 1 2 Z 2 Sea R un anillo conmutativo, a R, y sea J = {ra : r R},entonces J es un ideal. Ampliaci on Matem atica Discreta Anillos y cuerpos Anillos y cuerpos Cuerpos e ideales Denici on Sea R un anillo conmutativo. Un ideal J de R es principal si existe un elemento a R al que J = (a) = {ra|r R} Nota Ya que los ideales son subgrupos normales del grupo aditivo formado por el anillo, un ideal J induce una partici on sobre R de la misma forma que ocurra con los grupos. A las clases que denen dicha partici on se les llama clases residuales m odulo J. A la clase residual de un elemento a R lo notaremos por [a] = a + J y diremos que dos elementos del anillo, a y b, son congruentes m odulo J si pertenecen a la misma clase residual, es decir, si a b J. Adem as se puede vericar que si a J b entonces a + r J b + r, ar J br y ra J rb para todo r R y na J nb para todo n N Denici on El anillo de clases residuales de R m odulo J bajo las operaciones (a + J) + (b + J) = (a + b) + J , (a + J)(b + J) = ab + J la llamamos anillo cociente y lo notamos por R/J. Ampliaci on Matem atica Discreta Anillos y cuerpos Anillos y cuerpos Cuerpos e ideales Ejemplo Los elementos de Z/(n) son [0] = 0 + (n), [1] = 1 + (n), . . . , [n 1] = n 1 + (n) Teorema Si p es primo, entonces Z/(p) es un cuerpo. Denici on Si R es un anillo arbitrario y existe un entero positivo n tal que nr = 0, entonces al menor de esos enteros lo llamamos caracterstica de R. Si no existe dicho entero, entonces decimos que R tiene caracterstica 0. Teorema Un anillo R {0} de caracterstica positiva con identidad y sin divisores de ceros tiene caracterstica un primo p. Corolario Un cuerpo nito tiene caracterstica un primo p. Ampliaci on Matem atica Discreta Anillos y cuerpos Anillos y cuerpos M as sobre anillos e ideales Teorema Si R es un anillo conmutativo con caracterstica un primo p. Entonces (a + b) p n = a p n + b p n y (a b) p n = a p n b p n para a, b R y n N Otros conceptos Sea R un anillo conmutativo con identidad. Un elemento a R es un divisor de b R, si existe un c R tal que b = ac. Una unidad de R es un divisor de la identidad. Dos elementos a, b R se dicen que son asociados si hay una unidad de R tal que a = b. Un elemento c R es primo si no es una unidad y si sus unicos divisores son unidades y sus asociados. Un ideal P R del anillo R es un ideal primo si para todo a, b R, ab P implica que a P o b P. Un ideal M R de R es un ideal maximal de R si para todo ideal J de R, la propiedad M J implica J = R o J = M. R es un dominio de ideales principales si R es un dominio de integridad y todo ideal de R es principal, es decir, para todo ideal J de R, existe un elemento a R tal que J = (a) = {ra : r R}. Ampliaci on Matem atica Discreta Anillos y cuerpos Anillos y cuerpos M as sobre anillos e ideales Teorema Sea R un anillo conmutativo con unidad. Entonces 1 Un ideal M de R es un ideal maximal si y s olo si R/M es un cuerpo. 2 Un ideal P de R es un ideal primo si y s olo si R/P es un dominio de integridad. 3 Todo ideal maximal de R es un ideal primo. 4 Si R es un dominio de ideales principales, entonces R/(c) es un cuerpo si y s olo si c es un elemento primo de R. Ejemplo Z es un dominio de ideales principales, ya que cualquier subgrupo aditivo de Z es generado por un solo elemento. Un primo p es un elemento primo de Z y Z/(p) tiene estructura de cuerpo. Por lo tanto, (p) es un ideal maximal y primo de Z. Es m as, si n no es primo, (n) no es un ideal primo de Z, y Z/(n) no es un dominio de integridad. Ampliaci on Matem atica Discreta Anillos y cuerpos