SlideShare ist ein Scribd-Unternehmen logo
1 von 24
Downloaden Sie, um offline zu lesen
Cap´
                                                               ıtulo

                                                                 7

                           Anillos

7.1     Definiciones B´sicas
                     a
   El concepto de Anillo se obtiene como una generalizaci´n de los
                                                                o
n´meros enteros, en donde est´n definidas un par de operaciones, la
 u                             a
suma y el producto, relacionadas entre si por una ley de distributividad.
   Los anillos pues son estructuras algebraicas m´s completas que los
                                                    a
grupos, pero sin embargo en el estudio de sus propiedades m´s im-  a
portantes, nos apoyamos a lo largo de toda la exposici´n en nuestra
                                                          o
experiencia con los grupos. La razon para esto es muy simple, pues
todo anillo es un grupo en si mismo.!

Definici´n 7.1.1 Un anillo R es un conjunto no vac´ en donde est´n
        o                                            ıo             a
definidas un par de operaciones llamadas suma y producto, las cuales
denotamos por + y · respectivamente.
   Estas operaciones satisfacen cada una de las propiedades siguientes:
1) Para todo a, b ∈ R, se tiene que a + b y a · b est´n en R.
                                                     a
2) Para todo a, b, ∈ R se tiene que

                       a + (b + c) = (a + b) + c

3) Existe un elemento 0 en R, el cual llamaremos cero, tal que

                a + 0 = 0 + a = a para todo a en R.

4) Para todo a en R, existe otro elemento en R, denotado por −a, el
cual llamamos el opuesto de a y que verifica

                        a + (−a) = −a + a = 0

5) Para todo a, b en R se tiene

                                  145
146                                                    Cap´
                                                          ıtulo 7. Anillos




                               a+b=b+a

6) Para todo a, b y c en R se satisface

                           a · (b · c) = (a · b) · c

7) Para todo a, b y c en R se satisface


                        a · (b + c) = a · b + a · c

                        (a + b) · c = a · c + b · c



Observaci´n: De acuerdo a las propiedades 1-5 de la definici´n, se
           o                                               o
tiene que todo anillo es un grupo abeliano bajo la suma.

Definici´n 7.1.2 Sea R un anillo y supongamos que existe un ele-
        o
mento 1 ∈ R tal que

                   a·1=1·a=a           para todo a en R.

      Entonces el anillo R se dice anillo unitario o anillo con unidad.

Definici´n 7.1.3 Sea R un anillo. Si para todos a y b en R se tiene
       o

                                  ab = ba

entonces diremos que R es un anillo conmutativo.

Definici´n 7.1.4 Sea R un anillo, un elemento a ∈ R se dice inver-
          o
tible, si existe otro elemento a−1 ∈ R tal que

                          a · a−1 = a−1 · a = 1.
7.1. Definiciones B´sicas
                  a                                                 147

Definici´n 7.1.5 Un anillo de divisi´n es un anillo con unidad, en
        o                               o
donde todos los elementos distintos de cero son invertibles.

Definici´n 7.1.6 Un cuerpo es un anillo conmutativo con unidad, en
        o
donde todos los elementos distintos de cero son invertibles.


Observaci´n: Existen anillos de divisi´n no conmutativos y por ende
           o                          o
no cuerpos. Ver problema 13.
   Veamos a continuaci´n una serie de ejemplos de anillos
                       o

Ejemplo 1: El conjunto Z de los n´meros enteros, con las opera-
                           Z           u
ciones de suma y producto es un anillo conmutativo con unidad.

Ejemplo 2: El conjunto Z m de enteros m´dulo m, con la suma y
                               Z            o
producto m´dulo m es un ejemplo de anillo conmutativo con unidad, el
            o
cual es finito. La suma y el producto m´dulo m se definen de la forma
                                      o
siguiente:
    Para [a], [b] en Z m se tiene
                     Z

                           [a] + [b] = [a + b]


                              [a][b] = [ab]


Ejemplo 3: Si p es un n´mero primo, entonces los enteros m´dulo
                              u                                    o
p, denotado por Z p , es un cuerpo. Para verificar esto, basta observar
                   Z
que si [a] = [0] en Z p , entonces p | a y por lo tanto p y a son primos
                     Z
relativos.
    Luego existen enteros x e y tales que

                            a·x+p·y =1

   Luego

                           a · x ≡ 1 mod p.

   Por lo tanto en Z p se tiene que
                   Z
148                                                         Cap´
                                                               ıtulo 7. Anillos



                                [a] · [x] = [1]
de esto se sigue que el elemento [a] es invertible.
Ejemplo 4: Sea I = [0, 1] el intervalo cerrado de n´meros reales y
                                                      u
sea R el conjunto de funciones de I en los n´meros reales.
                                            u
   Si f y g son dos funciones, la suma y el producto de ellas se define
por:
                        (f + g)(x) = f (x) + g(x)


                         (f · g)(x) = f (x) · g(x)
   Entonces es f´cil verificar que R es un anillo con este par de opera-
                a
ciones. Adem´s R posee unidad y R es un anillo conmutativo.
            a
Ejemplo 5: Sea R el conjunto de matrices cuadradas de orden 2 × 2
con coeficientes reales. Los elementos de R son de la forma:
                                                 
                                      a11 a12
                           A=                    
                                      a21 a22
donde aij ∈ R, 1 ≤ i ≤ 2, 1 ≤ j ≤ 2.
    Si A y B son dos elementos de R, entonces la suma y el producto
est´n dadas por:
   a
                                                              
                                a11 a12                b11 b12
               A+B =                      +                   
                                a21 a22                b21 b22
                                                         
                                a11 + b11 a12 + b12
                        =                                
                                a21 + b21 a22 + b22
                                                             
                                a11 a12               b11 b12
                A·B =                     ·                  
                                a21 a22               b21 b22
                                         
                                c11 c12
                        =                
                                c21 c22
7.1. Definiciones B´sicas
                  a                                                 149

donde

          cij = ai1 b1j + ai2 b2j para todo 1 ≤ i ≤ 2, 1 ≤ j ≤ 2.

   Se puede demostrar que R con estas dos operaciones as´ definidas
                                                        ı
es un anillo con unidad. Sin embargo R no es conmutativo. Para
demostrar esto consideremos el siguiente ejemplo:
   Sean
                                                       
                            0 1                     1 0
                   A=             y B=                 
                            0 0                     1 0

   Entonces
                                               
                                          1 0
                            AB =               
                                          0 0

   Mientras que
                                               
                                          0 1
                            BA =               
                                          0 1

   Luego

                               AB = BA.

Definici´n 7.1.7 Sea R un anillo y A un subconjunto de R, el cual
        o
es un anillo con las operaciones del anillo R, entonces A se llama un
subanillo de R.


Ejemplo: El conjunto de los enteros pares 2Z , es un subanillo del
                                           Z
anillo Z de los n´meros enteros.
       Z         u
150                                                      Cap´
                                                            ıtulo 7. Anillos


                                  Ejercicios
1) Demuestre que en cualquier anillo R, el conjunto de los elementos
invertibles forma un grupo bajo el producto.
2) Pruebe que en un anillo conmutativo con identidad, el elemento
unidad es unico.
          ´
3) Probar que si R es un anillo conmutativo con identidad y a es in-
vertible, entonces a = (a−1 )−1 .
4) Sea R el conjunto de parejas ordenadas de n´meros reales. Establecer
                                              u
cuales de las operaciones siguientes determinan una estructura de
    a) Anillo.
    b) Anillo conmutativo.
    c) Anillo conmutativo con unidad.
i) (a, b) + (c, d) = (a + c, b + d)
   (a, b) · (c, d) = (ac, bd)
ii) (a, b) + (c, d) = (a + c, b + d)
    (a, b) · (c, d) = (ac + bd, ad + bd)
iii) (a, b) + (c, d) = (a, c)
     (a, b) · (c, d) = (ac, bd)
iv) (a, b) + (c, d) = (a + c + 1, b + d)
    (a, b) · (c, d) = (ad + bc, ac + bd)
5) Sea R un anillo y a, b ∈ R. Probar la f´rmula
                                          o

                          (a + b)2 = a2 + ab + ba + b2

6) Sea R un anillo conmutativo con identidad y n un entero positivo y
a, b ∈ R. Probar la f´rmula
                     o
                                         n
                                              n n−k k
                           (a + b)n =           a b ,
                                        k=0   k

donde
                                  n       n!
                                    =
                                  k   (n − k)!k!
7.1. Definiciones B´sicas
                  a                                                  151

7) N´ meros Complejos: Sea R el conjuntos de s´
     u                                              ımbolos de la forma
a + bi, con a y b n´meros reales, e i la ra´ cuadrada de -1, esto es
                      u                      ız
i2 = −1. Convenimos en que dos s´  ımbolos a + bi y c + di son iguales si
y s´lo si a = c y b = d. Definimos un par de operaciones en R, mediante
   o


             (a + bi) + (c + di) = (a + c) + (b + d)i
              (a + bi) · (c + di) = (ac − bd) + (ad + bc)i


    Probar que este conjunto R con las operaciones as´ definidas es un
                                                     ı
anillo conmutativo con unidad. Este anillo se llama Anillo de los
Complejos, y lo denotamos por C  I.
8) Cuaternios Reales: Sea R el conjunto de s´     ımbolos de la forma
a + bi + cj + dk, con a, b, c y d n´meros reales, y los s´
                                   u                     ımbolos i, j, k
definidas por las relaciones:
   i) i2 = j 2 = k 2 = −1
   ii) ij = k, jk = i, ki = j.
   iii) ji = −k, kj = −i, ik = −j.
   Convenimos en que dos elementos a+bi+cj +dk y a +b i+c j +d k
son iguales si y s´lo si
                  o

                 a=a,       b=b    c=c,     y d=d.
    Definimos la suma de elmentos en R componente por componente,
esto es
(a+bi+cj+dk)+(a +b i+c j+d k) = (a+a )+(b+b )i+(c+c )k+(d+d )k
   La multiplicaci´n de elementos de R se define mediante las leyes
                   o
de distributividad para expresiones polin´micas y las relaciones 1, 2, 3.
                                         o
Por ejemplo


          (5 + 3i)(2 + 4k) = 2 · 5 + 5 · 4k + 3 · 2i + 3 · 4ik
                           = 10 + 6i − 12j + 20k.
152                                                       Cap´
                                                             ıtulo 7. Anillos

    Demostrar que en R, estas operaciones es un anillo de divisi´n. Este
                                                                o
anillo se denomina anillo de cuaternios reales y se denotan por Q.
9) Sea (G, ∗) un grupo abeliano y consideremos el conjunto de homo-
morfismos de G sobre si mismo, denotado por Hom(G). Definimos dos
operaciones en este conjunto
                       (f + g)(a) = f (a) ∗ g(a),
                        (f ◦ g)(a) = g(f (a)),


para todo f, g ∈ Hom(G), y a ∈ G.
      Demuestre que (Hom(G), +, ◦)) es un anillo.


7.2       Propiedades Elementales de los Ani-
          llos
   Iniciamos con esta secci´n el estudio de las propiedades b´sicas de los
                             o                               a
anillos. En el transcurso de la misma se daran una serie de definiciones
importantes, como lo son: divisor de cero, dominio de integridad y la
caracter´ıstica de un anillo. Las mismas ser´n de utilidad para el resto
                                             a
de este cap´ ıtulo.

Proposici´n 7.2.1 Sea R un anillo, entonces para todos a, b ∈ R, se
         o
tiene
i) a · 0 = 0 · a = 0
ii) a(−b) = (−a)b = −(ab)

Demostraci´n:
            o
i) Usando la propiedad distributiva (7 de la definici´n) para R, obte-
                                                    o
nemos
                       a · 0 = a(0 + 0) = a · 0 + a · 0
   Podemos usar a continuaci´n la propiedad de cancelaci´n en el
                               o                        o
grupo aditivo de R, para concluir
7.2. Propiedades Elementales de los Anillos                          153




                                 a·0=0

   Similarmente se demuestra que

                                 0·a=0

ii) De acuerdo a i) se tiene


                           0 = a·0
                             = a(b − b)
                             = ab + a(−b)


    Por lo tanto el inverso de ab bajo la adici´n en R (el cual es unico)
                                               o                   ´
es igual a a(−b) y luego se tiene

                               −(ab) = a(−b)

   De la misma forma se demuestra que

                               −(ab) = (−a)b

y con esto termina la demostraci´n.
                                o

                                                                       ♠

Corolario 7.2.1 Sea R anillo con identidad. Entonces
i) (−1)a = −a para todo a ∈ R
ii) (−1)(−1) = 1.


Demostraci´n:o
i) Sea a ∈ R, luego podemos usar la proposici´n anterior para obtener
                                             o

                         (−1)a = −(1a) = −a
154                                                 Cap´
                                                       ıtulo 7. Anillos

ii) Aplicamos la proposici´n dos veces
                          o


                        (−1)(−1) = −(1(−1))
                                 = −(−(1 · 1)
                                 = 1


      N´tese que se hizo uso de la f´rmula
       o                            o

                           −(−a) = a,      a∈R

la cual es cierta en R, por ser un grupo bajo la adici´n.
                                                      o

                                                                      ♠

Observaci´n: Un anillo R siempre contiene al elemento 0. Si este es
            o
el unico elemento de R entonces R se llama el anillo nulo o el anillo
   ´
cero.
   Si R no es el anillo nulo, y adem´s R contiene una unidad 1, entonces
                                    a
1 = 0.
   En efecto, sea a ∈ R, a = 0 y sup´ngase que 1=0, luego
                                       o


                                a = a1
                                  = a0
                                  = 0


lo cual es una contradicci´n.
                          o

Definici´n 7.2.1 Sea R un anillo. Un elemento a ∈ R distinto de
         o
cero, se dice divisor de cero si existe un b en R, distinto de cero, tal
que

                                  ab = 0
7.2. Propiedades Elementales de los Anillos                        155

Ejemplo 1: Sea R = Z 6 el anillo de los enteros m´dulo 6. Luego
                   Z                             o

                         [2] = [0] y [3] = [0],

pero


                             [2][3] = [2 · 3]
                                    = [6]
                                    = [0]


por lo tanto [2] y [3] son divisores de cero en este anillo.

Ejemplo 2: Sea R = Z el anillo de los enteros. Entonces se sabe
                          Z
de las propiedades que definen a los enteros, que Z no tiene divisores
                                                  Z
de cero. Para probar esta afirmaci´n, basta usar la ley de cancelaci´n
                                   o                               o
para el producto en Z .
                      Z
    Si a = 0 y b = 0 son enteros y adem´s ab = 0, se tendr´ entonces
                                       a                  a

                                a0 = 0 = ab

de donde

                                  b = 0,

lo cual es una contradicci´n.
                          o

Definici´n 7.2.2 Un anillo conmutativo con identidad que no posee
         o
divisores de cero se llama un Dominio de Integridad.


Ejemplo: El anillo Z de los enteros es un dominio de integridad.
                   Z

Proposici´n 7.2.2 Un anillo conmutativo R, sin divisores de cero,
           o
finito es un cuerpo.
156                                                   Cap´
                                                         ıtulo 7. Anillos

Demostraci´n: Al ser R un dominio de integridad, R es un anillo
             o
conmutativo con unidad. S´lo falta probar que todos los elementos de
                            o
R diferentes de 0 son inversibles.
      Consideremos a = 0 en R, y supongamos

                            R = {a1 , . . . , an }
   Entonces los elementos aa1 , aa2 , . . . , aan son n elementos distintos
en R.
   En efecto, si suponemos que

                                aai = aaj
para algunos i = j, 1 ≤ i ≤ n, 1 ≤ j ≤ n, entonces se tendr´:
                                                           a
                              aai − aaj = 0


                              a(ai − aj ) = 0
      Como R no admite divisores de cero, se debe tener

                               ai − aj = 0
lo cual implica que ai = aj , lo cual es una contradicci´n.
                                                        o
    Una vez probado este hecho, el elemento a antes considerado, debe
estar entre los aai , digamos a = aak , para alg´n 1 ≤ k ≤ n.
                                                u
    Afirmamos que ak = 1. En efecto, si ai ∈ R, se tiene que existe un
j, 1 ≤ j ≤ n, tal que

                                 ai = aaj
      Luego


                            ai ak =     (aaj )ak
                                  =     (aak )aj
                                  =     aaj
                                  =     ai
7.2. Propiedades Elementales de los Anillos                                157

   Por lo tanto hemos probado que ak es el elemento unidad de R.
   Para concluir, probaremos que el elemento a, elegido al principio es
invertible. Siendo a un elemento cualquiera de R distinto de cero, se
deduce entonces que todos los elementos de R no nulos son invertibles,
y con esto se demuestra que R es un cuerpo.
   En efecto, el elemento ak debe estar entre los elementos aa1 , . . . , aan ,
luego existe j, tal que

                                  aaj = ak

   Luego aj = a−1 y a es invertible.

                                                                            ♠

Corolario 7.2.2 Un Dominio de Integridad finito es un cuerpo.

    Si R es un anillo cualquiera y n es un entero positivo, entonces na
es igual a la suma de a n−veces. Por otro lado an indica el producto
de a consigo mismo n−veces.

Definici´n 7.2.3 Sea R un dominio de integridad. Entonces, el menor
         o
entero positivo n (si existe) tal que na = 0 para todo a ∈ R se llama la
caracter´ıstica del anillo. Si no existe dicho entero, entonces se dice
que R es de caracter´stica 0.
                      ı


Ejemplo 1: El anillo Q de los n´meros racionales con la suma y el
                                   u
producto habituales, es un anillo de caracter´
                                             ıstica 0.

Ejemplo 2: El anillo Z 7 de los enteros m´dulo 7 es de caracter´
                            Z            o                     ıstica
7, pues si [a] ∈ Z 7 , se tiene que
                 Z

                              7[a] = [7a] = [0]

   Adem´s no existe un entero positivo menor con dicha propiedad
         a
(Verificarlo!).

Teorema 7.2.1 Si el dominio R es de caracter´
                                            ıstica p > 0, entonces
p debe ser un n´mero primo.
               u
158                                                 Cap´
                                                       ıtulo 7. Anillos

Demostraci´n: Es claro que p · 1 = 0, pues pa = 0 para todo a en R.
          o
   Por otro lado, si p no es primo, entonces p = mn con 1 < m < p,
1 < n < p.
      Luego


                          p1 = (mn)1
                             = (m1)(n1)
                             = 0


   Como R es un dominio de integridad, se debe tener m1 = 0, o bien
n1 = 0. Si suponemos m1 = 0, entonces para todo a ∈ R se tendr´
                                                              a


                           ma =     m(1a)
                              =     (m1)a
                              =     0a
                              =     0


   Luego la caracter´
                    ıstica de R debe ser menor o igual m, lo cual es
un absurdo pues m < p.

                           Ejercicios

6) Demuestre que el anillo de matrices cuadradas reales de orden 2 × 2
no es un dominio de integridad.
8) Si R es un dominio de caracter´
                                 ıstica p, probar

               (a + b)p = ap + bp   para todo a, b ∈ R.

9) Probar que el anillo de funciones f : [0, 1] −→ R con la suma y pro-
ducto definidas como en el ejemplo 4, no es un dominio de integridad.
7.3. Homomorfismos                                                     159

10) Un elemento a en un anillo R se dice nilpotente si an = 0, para
alg´n n entero positivo. Probar que en un dominio de integridad no
   u
hay elementos nilpotentes.
11) Demuestre que un anillo conmutativo D es un dominio de integridad
si y s´lo si para todos a, b y c en R con a = 0, la relaci´n ab = ac,
      o                                                   o
implica b = c.


7.3       Homomorfismos
   Los homomorfismos de anillos son aplicaciones entre ellos que preser-
van las operaciones. Todo homorfismo de anillos es al mismo tiempo
un homomorfismo de grupo y esto establece un paralelo entre la teor´  ıa
de anillos y la teor´ de grupos.
                    ıa
   Muchas de las definiciones y resultados de esta secci´n ya han sido
                                                       o
estudiadas en los grupos y por lo tanto omitimos algunas demostra-
ciones.
   En esta secci´n se introduce el concepto de ideal, el cual juega el
                o
mismo papel que los grupos normales dentro de la teor´ de grupos.
                                                        ıa
Mediente el uso de ideales es posible definir los anillos cocientes de
forma similar como se hizo para los grupos.

Definici´n 7.3.1 Sean R y S dos anillos, un homomorfismo de
         o
anillos entre R y S es una aplicaci´n
                                   o

                               φ : R −→ S

tal que
i) φ(r1 + r2 ) = φ(r1 ) + φ(r2 )
ii) φ(r1 r2 ) = φ(r1 )φ(r2 )
para todo r1 , r2 en R.


Observaci´n 1: En primer lugar debe tenerse en cuenta que la suma
            o
r1 + r2 en i) se efectua dentro de R, mientras que la suma φ(r1 ) + φ(r2 )
160                                                Cap´
                                                      ıtulo 7. Anillos

tiene lugar dentro del anillo S. La misma observaci´n es v´lida para el
                                                   o      a
producto en ii)

Observaci´n 2: Obs´rvese que de acuerdo a la condici´n i) todo
           o             e                                 o
homomorfismo de anillos es un homomorfismo de grupos y por lo tanto
valen todos los resultados sobre homomorfismos, estudiados en el cap´
                                                                   ıtulo
de grupo.

Ejemplo 1: Sea φ : Z −→ Z m , la aplicaci´n dada por φ(x) = [x].
                     Z     Z               o
Entonces φ es un homomorfismo de anillos, pues


                     φ(n + m) = [n + m]
                              = [n] + [m]
                              = φ(n) + φ(m)



                        φ(nm) = [nm]
                              = [n][m]
                              = φ(n)φ(m)

para todo m, n en Z .
                  Z

Ejemplo 2: Sea R cualquier anillo y definamos

                            φ : R −→ R
                                  φ(x) = x

    Entonces es f´cil verificar que φ es un homomorfismo, el cual se
                 a
llama homomorfismo identidad.

Definici´n 7.3.2 Sea R y R dos anillos. Un homomorfismo
       o

                            φ : R −→ R ,
el cual es biyectivo, se dice que es un isomorfismo de anillo.
7.3. Homomorfismos                                                    161

   En tal caso diremos, que los anillos R y R son isomorfos y lo
simbolizamos por R ≈ R .
   Al igual que en los homomorfismos de grupos, se tiene la siguiente
propiedad para anillos.

Proposici´n 7.3.1 Si φ : R −→ S es un homomorfismo de anillos,
         o
entonces
i) φ(0) = 0
ii) φ(−a) = −φ(a) para todo a ∈ R


Demostraci´n: (Ver el cap´
          o              ıtulo de grupos).

                                                                       ♠

  Tambi´n se define el Kernel o n´ cleo del homomorfismo, exacta-
        e                           u
mente como se hizo en el caso de grupos.

Definici´n 7.3.3 Sea φ : R −→ S un homomorfismo de anillos, en-
         o
tonces el Kernel del homomorfismo φ se define por

                      ker φ = {x ∈ R | φ(x) = 0}.


Observaci´n: Si a y b son dos elementos en el ker φ, entonces ser´
            o                                                           a
cierto, de acuerdo a la definici´n de homomorfismo, que a + b y ab
                                o
est´n en ker φ. Pero adem´s de esta propiedad, el Kernel posee otra
   a                         a
muy interesante y es que al multiplicar un elemento cualquiera del anillo
por un elemento en el Kernel, entonces el producto de ambos esta de
nuevo en el Kernel. Esta propiedad de “absorber” todos los elementos
del anillo por multiplicaci´n, motiva la siguiente:
                           o

Definici´n 7.3.4 Sea R un anillo. Un subconjunto I de R se dice
        o
ideal a la derecha, si se tiene:
i) a + b ∈ I , para todo a, b ∈ I
ii) γa ∈ I, para todo γ ∈ R y a ∈ I.
162                                                   Cap´
                                                         ıtulo 7. Anillos

Definici´n 7.3.5 Sea R un anillo. Un subconjunto I de R se dice
        o
ideal a la izquierda, si satisface
i) a + b ∈ I , para todo a, b ∈ I
ii) aγ ∈ I, para todo γ ∈ R y a ∈ I.

      Combinando ambas definiciones tenemos

Definici´n 7.3.6 Sea R un anillo. Un subconjunto I de R se dice
        o
ideal de R, si I es un ideal a la derecha y a la izquierda.


Observaci´n: Cuando se estudian anillos conmutativos (como es el
           o
caso de la mayor´ de los anillos), entonces todo ideal lateral, a la
                  ıa
derecha o a la izquierda, es un ideal del anillo. Por lo tanto no se hace
necesario verificar las dos condiciones simult´neamente.
                                               a

Ejemplo 1: Sea Z el anillo de enteros y consideremos I = 2Z , el
                    Z                                           Z
conjunto de los enteros pares. Entonces se puede verificar que I es un
ideal de Z .
         Z

Ejemplo 2: Sea R el anillo de funciones de [0, 1] en R y S el conjunto
de funciones en R, tales que f ( 1 ) = 0. Luego se prueba f´cilmente que
                                 2
                                                           a
S es un ideal del anillo R.

Ejemplo 3: Sea φ : R −→ R un homomorfismo de anillos. Entonces
el Kernel de φ es un ideal de R.
   Si I es cualquier ideal en un anillo R, entonces I es un subgrupo
normal del grupo aditivo de R. Luego se puede considerar el conjunto
cociente R/I de clases laterales derechas. Este conjunto se le puede
dotar de una estructura de anillo, con las operaciones de suma y pro-
ducto de clases definidas de la forma siguiente


                      (a + I) + (b + I) = a + b + I                 (7.1)
                         (a + I)(b + I) = ab + I                    (7.2)

      En estas condiciones se tiene:
7.3. Homomorfismos                                                163

Teorema 7.3.1 Sea R un anillo e I un ideal de R. Entonces el con-
junto cociente formado por las clases laterales

                       R/I = {a + I | a ∈ R}

es un anillo

   Este anillo se denomina anillo cociente.

Demostraci´n: Debemos verificar en primer lugar que la suma y el
            o
producto de clases est´n bien definidas.
                      a
   Sean a, b, a , c elementos en R y supongamos que


                           a+I = a +I                           (7.3)
                           b+I = b +I                           (7.4)

   Debemos verificar entonces que
1) a + b + I = a + b + I
2) ab + I = a b + I
   En efecto, para la primera parte usamos las ecuaciones (??) y (??)
para obtener

                      a−a ∈I      y b − b ∈ I.

    Como I es un ideal, la suma de dos elementos cualesquiera en I
estar´ de nuevo en I. Por lo tanto
     a

                       (a − a ) + (b − b ) ∈ I,

luego

                       (a + b) − (a + b ) ∈ I,

de donde,

                       a + b + I = a + b + I.
164                                                   Cap´
                                                         ıtulo 7. Anillos

      Para la segunda parte, tomamos s1 y s2 en I, tales que

                        a = a + s1    y b = b + s2

      Multiplicando estos dos elementos se obtiene


                      ab = (a + s1 )(b + s2 )
                         = a b + s1 b + bs2 + s1 s2


   Como I es un ideal, los elementos s1 b , bs2 y s1 s2 est´n todos en I.
                                                           a
Luego

                                 ab = a b + s

donde s = s1 b + bs2 + s1 s2 ∈ I
      Por lo tanto se concluye

                             ab + I = a b + I

   La verificaci´n de que R/I es un anillo con las dos operaciones dadas
               o
en (??) y (??), se deja como un ejercicio para el lector. Sin embargo
haremos algunas acotaciones importantes es este sentido.
      Por ejemplo, el elemento cero R/I, viene dado por

                                  0 = 0 + I,

donde 0 es el cero en R.
   Si R posee identidad 1, entonces el anillo cociente posee identidad,
dada por
                             1 = 1 + I.
    Si R es conmutativo, entonces el anillo cociente tambi´n es conmu-
                                                          e
tativo.
7.3. Homomorfismos                                                     165

Teorema 7.3.2 Sea R un anillo e I un ideal de R. Entonces la apli-
caci´n
    o

                    φ : R −→ R/I,         γ −→ γ + I

es un homomorfismo de anillos sobreyectivo, con ker φ = I, llamado la
proyecci´n de R sobre I.
        o


Demostraci´n: La demostraci´n de la condici´n de homomorfismo φ,
              o                  o              o
se deriva de las ecuaciones (??) y (??). En efecto, si γ1 , γ2 est´n en R,
                                                                  a
se tiene


                  φ(γ1 + γ2 ) = (γ1 + γ2 ) + I
                              = (γ1 + I) + (γ2 + I)
                              = φ(γ1 ) + φ(γ2 )



                     φ(γ1 γ2 ) = γ1 γ2 + I
                               = (γ1 + I)(γ2 + I)
                               = φ(γ1 )φ(γ2 )

    Evidentemente, el homomorfismo es sobreyectivo. Veamos a con-
tinuaci´n la determinaci´n del ker φ.
       o                o
   Sea γ ∈ R, tal que

                           φ(γ) = γ + I = I

   Luego γ ∈ I.
   Por otro lado, si γ ∈ I es claro que

                         φ(γ) = I = 0 ∈ R/I.

   Luego

                                I = ker φ
166                                                Cap´
                                                      ıtulo 7. Anillos

                                                                      ♠

   Bas´ndonos en los teoremas de isomorfismos para los grupos, damos
       a
a continuaci´n dos teoremas sobre homomorfismos de anillos. Las de-
            o
mostraciones se omiten pues son muy semejantes a las demostraciones
dadas en el caso de los grupos.

Teorema 7.3.3 Sea φ : R −→ S un homomorfismo de anillos sobre-
yectivo. Entonces
i) Si I es un ideal de R que contiene a ker φ, entonces el conjunto

                          I = {φ(x) | x ∈ I}

es un ideal de S.
ii) Si L es un ideal de S, entonces el conjunto

                    φ−1 (L) = {x ∈ R | φ(x) ∈ L}

es un ideal de R que contiene a ker φ.

Teorema 7.3.4 Sea φ : R −→ S un homomorfismo de anillos so-
breyectivo con K = ker φ, y supongamos que I es un ideal de R que
contiene a K. Sea L el ideal de S, dado por L = φ(I). Entonces

                             R/K ≈ S/L




                           Ejercicios
1) Sea U un ideal de anillo R y supongamos que el elemento unidad de
R est´ en U . Probar entonces que U = R.
     a
2) Probar que si R es un cuerpo, entonces los unicos ideales son (0) y
                                              ´
R.
3) Probar que cualquier homomorfismo de anillos φ : R −→ S, con R
cuerpo, satisface φ = 0 o φ =identidad.
7.3. Homomorfismos                                                   167

4) Sean I y J ideales de un anillo R. Entonces la suma de I con J se
define

                     I + J = {x + y | x ∈ I, y ∈ J}

   El producto de I con J se define por
              n
      IJ =         xi yi | donde xi ∈ I, yi ∈ J, 1 ≤ i ≤ n, n ≥ 1
             i=1

   Entonces probar que tanto I + J como IJ son ideales de R.
5) Probar que si φ : R −→ S es un homomorfismo de anillos, sobre y
1 ∈ R, entonces φ(1) es la identidad en S. Dar un ejemplo en donde
esto no se cumple si se remueve la condici´n de sobreyectividad.
                                          o
6) Sea φ : R −→ S un homomorfismo de anillos sobre. Probar que si I
es un ideal de R, entonces φ(I) es un ideal de S.
7) Sea R un anillo, U un ideal de R y

                    γ(U ) = {x ∈ R | xu = 0, ∀u ∈ U }

   Probar que γ(U ) es un ideal de R. Este ideal se llama el radical
de U .
8) Demuestre que si φ : Z −→ Z es un homomorfismo de anillos
                          Z        Z
sobreyectivo, entonces φ = identidad.
9) Sea R el anillo de matrices cuadradas reales 2 × 2 y consideremos el
subconjunto S, de R de todas aquellas matrices de la forma
                                         
                                    a 0
                                         
                                    0 b

i) Probar que S es un sub-anillo de R.
ii) ¿Es S un ideal de R?.
10) Sea S el anillo de matrices definido arriba y C el anillo de los
                                                 I
complejos. Probar que S es isomorfo a C
                                      I.
168                                                Cap´
                                                      ıtulo 7. Anillos

11) Sea C el anillo de los complejos, probar que la aplicaci´n
        I                                                   o

                       φ :     C
                               I     −→      C
                                             I
                             a + bi −→ a − bi

es un homomorfismo de anillos.
12) Sea R un anillo conmutativo y a ∈ R. Definamos el conjunto

                          Ra = {ra | r ∈ R}

   Probar que Ra es un ideal de R. Este ideal se denomina el ideal
generado por a.
13) Sea R un anillo conmutativo con 1. Probar que a ∈ R es invertible
si y s´lo si Ra = R.
      o
14) Probar que si I y J son ideales de un anillo R, entonces I ∩ J es
tambi´n un ideal.
     e

Weitere ähnliche Inhalte

Was ist angesagt?

kunci jawaban grup
kunci jawaban grupkunci jawaban grup
kunci jawaban grupchikarahayu
 
Derivadas. teoremas
Derivadas. teoremasDerivadas. teoremas
Derivadas. teoremasklorofila
 
Funcion Definicion
Funcion DefinicionFuncion Definicion
Funcion Definicionpaolo zapata
 
Homomorfismos de Anillos
Homomorfismos de AnillosHomomorfismos de Anillos
Homomorfismos de Anillosjosexalcala
 
Transformaciones lineales
Transformaciones linealesTransformaciones lineales
Transformaciones linealesmbgcmadelein
 
CMSC 56 | Lecture 9: Functions Representations
CMSC 56 | Lecture 9: Functions RepresentationsCMSC 56 | Lecture 9: Functions Representations
CMSC 56 | Lecture 9: Functions Representationsallyn joy calcaben
 
Rpkps struktur aljabar ii
Rpkps struktur aljabar iiRpkps struktur aljabar ii
Rpkps struktur aljabar iiYessy Yusnita
 
Cápsula lineal
Cápsula linealCápsula lineal
Cápsula linealalgebra
 
Derivadas implicitas
Derivadas implicitasDerivadas implicitas
Derivadas implicitasjesusmuggle
 
29 conservative fields potential functions
29 conservative fields potential functions29 conservative fields potential functions
29 conservative fields potential functionsmath267
 
21 lagrange multipliers
21 lagrange multipliers21 lagrange multipliers
21 lagrange multipliersmath267
 
Teorema de Cauchy
Teorema de CauchyTeorema de Cauchy
Teorema de CauchyDavid Solis
 
3. VOLUMEN DE UN SOLIDO DE REVOLUCION.pdf
3. VOLUMEN DE UN SOLIDO DE REVOLUCION.pdf3. VOLUMEN DE UN SOLIDO DE REVOLUCION.pdf
3. VOLUMEN DE UN SOLIDO DE REVOLUCION.pdfJorgeRojas278373
 
Teorema multinomial dan prinsip sarang merpati
Teorema multinomial dan prinsip sarang merpatiTeorema multinomial dan prinsip sarang merpati
Teorema multinomial dan prinsip sarang merpatiArdika MathEdu
 
Isomorfisma ring baru
Isomorfisma ring baruIsomorfisma ring baru
Isomorfisma ring baruMerri Dehh
 

Was ist angesagt? (20)

Limites y continuidad
Limites y continuidadLimites y continuidad
Limites y continuidad
 
kunci jawaban grup
kunci jawaban grupkunci jawaban grup
kunci jawaban grup
 
Grup siklik
Grup siklikGrup siklik
Grup siklik
 
Derivadas. teoremas
Derivadas. teoremasDerivadas. teoremas
Derivadas. teoremas
 
Funcion Definicion
Funcion DefinicionFuncion Definicion
Funcion Definicion
 
Homomorfismos de Anillos
Homomorfismos de AnillosHomomorfismos de Anillos
Homomorfismos de Anillos
 
Transformaciones lineales
Transformaciones linealesTransformaciones lineales
Transformaciones lineales
 
CMSC 56 | Lecture 9: Functions Representations
CMSC 56 | Lecture 9: Functions RepresentationsCMSC 56 | Lecture 9: Functions Representations
CMSC 56 | Lecture 9: Functions Representations
 
Rpkps struktur aljabar ii
Rpkps struktur aljabar iiRpkps struktur aljabar ii
Rpkps struktur aljabar ii
 
Cápsula lineal
Cápsula linealCápsula lineal
Cápsula lineal
 
Derivadas implicitas
Derivadas implicitasDerivadas implicitas
Derivadas implicitas
 
29 conservative fields potential functions
29 conservative fields potential functions29 conservative fields potential functions
29 conservative fields potential functions
 
21 lagrange multipliers
21 lagrange multipliers21 lagrange multipliers
21 lagrange multipliers
 
Teorema de Cauchy
Teorema de CauchyTeorema de Cauchy
Teorema de Cauchy
 
82655359 ecuaciones-polinomicas
82655359 ecuaciones-polinomicas82655359 ecuaciones-polinomicas
82655359 ecuaciones-polinomicas
 
3. VOLUMEN DE UN SOLIDO DE REVOLUCION.pdf
3. VOLUMEN DE UN SOLIDO DE REVOLUCION.pdf3. VOLUMEN DE UN SOLIDO DE REVOLUCION.pdf
3. VOLUMEN DE UN SOLIDO DE REVOLUCION.pdf
 
Teorema multinomial dan prinsip sarang merpati
Teorema multinomial dan prinsip sarang merpatiTeorema multinomial dan prinsip sarang merpati
Teorema multinomial dan prinsip sarang merpati
 
fungsi-fungsi kompleks
fungsi-fungsi kompleksfungsi-fungsi kompleks
fungsi-fungsi kompleks
 
Simbol matematika dasar
Simbol matematika dasarSimbol matematika dasar
Simbol matematika dasar
 
Isomorfisma ring baru
Isomorfisma ring baruIsomorfisma ring baru
Isomorfisma ring baru
 

Andere mochten auch

Conjuntos 41888__
Conjuntos  41888__Conjuntos  41888__
Conjuntos 41888__gafch
 
Estructuras algebraicas ejercicios adicionales
Estructuras algebraicas ejercicios adicionalesEstructuras algebraicas ejercicios adicionales
Estructuras algebraicas ejercicios adicionalesandreagache
 
Matemática Discreta - Parte VII estruturas algébricas
Matemática Discreta - Parte VII estruturas algébricasMatemática Discreta - Parte VII estruturas algébricas
Matemática Discreta - Parte VII estruturas algébricasUlrich Schiel
 
ESTRUCTURAS ALGEBRAICAS
ESTRUCTURAS ALGEBRAICASESTRUCTURAS ALGEBRAICAS
ESTRUCTURAS ALGEBRAICASnildalaudecina
 
Tema 4: Propiedades de los Números Reales
Tema 4: Propiedades de los Números RealesTema 4: Propiedades de los Números Reales
Tema 4: Propiedades de los Números RealesPomales CeL
 
Paso a Paso para construir un marco teórico
 Paso a Paso para construir un marco teórico Paso a Paso para construir un marco teórico
Paso a Paso para construir un marco teóricoJosé Davidd Meza
 

Andere mochten auch (9)

Estruturas algébricas
Estruturas algébricasEstruturas algébricas
Estruturas algébricas
 
Grupos, anillos y cuerpos
Grupos, anillos y cuerposGrupos, anillos y cuerpos
Grupos, anillos y cuerpos
 
Conjuntos 41888__
Conjuntos  41888__Conjuntos  41888__
Conjuntos 41888__
 
Estructuras algebraicas ejercicios adicionales
Estructuras algebraicas ejercicios adicionalesEstructuras algebraicas ejercicios adicionales
Estructuras algebraicas ejercicios adicionales
 
Matemática Discreta - Parte VII estruturas algébricas
Matemática Discreta - Parte VII estruturas algébricasMatemática Discreta - Parte VII estruturas algébricas
Matemática Discreta - Parte VII estruturas algébricas
 
ESTRUCTURAS ALGEBRAICAS
ESTRUCTURAS ALGEBRAICASESTRUCTURAS ALGEBRAICAS
ESTRUCTURAS ALGEBRAICAS
 
Propiedades De Los NúMeros Reales
Propiedades De Los NúMeros RealesPropiedades De Los NúMeros Reales
Propiedades De Los NúMeros Reales
 
Tema 4: Propiedades de los Números Reales
Tema 4: Propiedades de los Números RealesTema 4: Propiedades de los Números Reales
Tema 4: Propiedades de los Números Reales
 
Paso a Paso para construir un marco teórico
 Paso a Paso para construir un marco teórico Paso a Paso para construir un marco teórico
Paso a Paso para construir un marco teórico
 

Ähnlich wie Anillos

Estructuras algebraicas
Estructuras algebraicasEstructuras algebraicas
Estructuras algebraicasEddy Alvarado
 
LIBRO DE ÁLGEBRA PARA ESTUDIANTES DE MATEMÁTICAS Y EDUCACIÓN CORTADO oooo.pdf
LIBRO DE ÁLGEBRA PARA ESTUDIANTES DE MATEMÁTICAS Y EDUCACIÓN CORTADO oooo.pdfLIBRO DE ÁLGEBRA PARA ESTUDIANTES DE MATEMÁTICAS Y EDUCACIÓN CORTADO oooo.pdf
LIBRO DE ÁLGEBRA PARA ESTUDIANTES DE MATEMÁTICAS Y EDUCACIÓN CORTADO oooo.pdfValentinMamaniArroyo3
 
Diapositivas algebra grupo#1
Diapositivas algebra grupo#1Diapositivas algebra grupo#1
Diapositivas algebra grupo#1juankms
 
Algebra tema1teoria(10 11)
Algebra tema1teoria(10 11)Algebra tema1teoria(10 11)
Algebra tema1teoria(10 11)Manu Medi
 
Cap1 sistemas numericos
Cap1 sistemas numericosCap1 sistemas numericos
Cap1 sistemas numericosDiana Ordonez
 
Analisis libro gerardo____5toao
Analisis libro gerardo____5toaoAnalisis libro gerardo____5toao
Analisis libro gerardo____5toaoOmar Hernandez
 
Matematica discreta
Matematica discretaMatematica discreta
Matematica discretaJunior Peña
 
Estructuras algebraicas 1
Estructuras algebraicas 1Estructuras algebraicas 1
Estructuras algebraicas 1rosibel_mejia
 
Matrices algebra-lineal
Matrices algebra-linealMatrices algebra-lineal
Matrices algebra-linealAlex Torres
 
ARITMETICA_ENTERA.pdf
ARITMETICA_ENTERA.pdfARITMETICA_ENTERA.pdf
ARITMETICA_ENTERA.pdfBietka Satin
 

Ähnlich wie Anillos (20)

Polinomios
PolinomiosPolinomios
Polinomios
 
T1
T1T1
T1
 
Estructuras algebraicas
Estructuras algebraicasEstructuras algebraicas
Estructuras algebraicas
 
LIBRO DE ÁLGEBRA PARA ESTUDIANTES DE MATEMÁTICAS Y EDUCACIÓN CORTADO oooo.pdf
LIBRO DE ÁLGEBRA PARA ESTUDIANTES DE MATEMÁTICAS Y EDUCACIÓN CORTADO oooo.pdfLIBRO DE ÁLGEBRA PARA ESTUDIANTES DE MATEMÁTICAS Y EDUCACIÓN CORTADO oooo.pdf
LIBRO DE ÁLGEBRA PARA ESTUDIANTES DE MATEMÁTICAS Y EDUCACIÓN CORTADO oooo.pdf
 
Diapositivas algebra grupo#1
Diapositivas algebra grupo#1Diapositivas algebra grupo#1
Diapositivas algebra grupo#1
 
Alg boole
Alg booleAlg boole
Alg boole
 
Algebra tema1teoria(10 11)
Algebra tema1teoria(10 11)Algebra tema1teoria(10 11)
Algebra tema1teoria(10 11)
 
Cap1 sistemas numericos
Cap1 sistemas numericosCap1 sistemas numericos
Cap1 sistemas numericos
 
Analisis libro gerardo____5toao
Analisis libro gerardo____5toaoAnalisis libro gerardo____5toao
Analisis libro gerardo____5toao
 
Matematica discreta
Matematica discretaMatematica discreta
Matematica discreta
 
Numeros reales
Numeros reales Numeros reales
Numeros reales
 
Polinomios
PolinomiosPolinomios
Polinomios
 
Estructuras
EstructurasEstructuras
Estructuras
 
Estructuras algebraicas 1
Estructuras algebraicas 1Estructuras algebraicas 1
Estructuras algebraicas 1
 
FMMA010_apunte_s8.pdf
FMMA010_apunte_s8.pdfFMMA010_apunte_s8.pdf
FMMA010_apunte_s8.pdf
 
1 3 teoriadegrupos
1 3 teoriadegrupos1 3 teoriadegrupos
1 3 teoriadegrupos
 
Estructuras conceptos
Estructuras conceptosEstructuras conceptos
Estructuras conceptos
 
5 estructuras-algebraicas
5 estructuras-algebraicas5 estructuras-algebraicas
5 estructuras-algebraicas
 
Matrices algebra-lineal
Matrices algebra-linealMatrices algebra-lineal
Matrices algebra-lineal
 
ARITMETICA_ENTERA.pdf
ARITMETICA_ENTERA.pdfARITMETICA_ENTERA.pdf
ARITMETICA_ENTERA.pdf
 

Anillos

  • 1. Cap´ ıtulo 7 Anillos 7.1 Definiciones B´sicas a El concepto de Anillo se obtiene como una generalizaci´n de los o n´meros enteros, en donde est´n definidas un par de operaciones, la u a suma y el producto, relacionadas entre si por una ley de distributividad. Los anillos pues son estructuras algebraicas m´s completas que los a grupos, pero sin embargo en el estudio de sus propiedades m´s im- a portantes, nos apoyamos a lo largo de toda la exposici´n en nuestra o experiencia con los grupos. La razon para esto es muy simple, pues todo anillo es un grupo en si mismo.! Definici´n 7.1.1 Un anillo R es un conjunto no vac´ en donde est´n o ıo a definidas un par de operaciones llamadas suma y producto, las cuales denotamos por + y · respectivamente. Estas operaciones satisfacen cada una de las propiedades siguientes: 1) Para todo a, b ∈ R, se tiene que a + b y a · b est´n en R. a 2) Para todo a, b, ∈ R se tiene que a + (b + c) = (a + b) + c 3) Existe un elemento 0 en R, el cual llamaremos cero, tal que a + 0 = 0 + a = a para todo a en R. 4) Para todo a en R, existe otro elemento en R, denotado por −a, el cual llamamos el opuesto de a y que verifica a + (−a) = −a + a = 0 5) Para todo a, b en R se tiene 145
  • 2. 146 Cap´ ıtulo 7. Anillos a+b=b+a 6) Para todo a, b y c en R se satisface a · (b · c) = (a · b) · c 7) Para todo a, b y c en R se satisface a · (b + c) = a · b + a · c (a + b) · c = a · c + b · c Observaci´n: De acuerdo a las propiedades 1-5 de la definici´n, se o o tiene que todo anillo es un grupo abeliano bajo la suma. Definici´n 7.1.2 Sea R un anillo y supongamos que existe un ele- o mento 1 ∈ R tal que a·1=1·a=a para todo a en R. Entonces el anillo R se dice anillo unitario o anillo con unidad. Definici´n 7.1.3 Sea R un anillo. Si para todos a y b en R se tiene o ab = ba entonces diremos que R es un anillo conmutativo. Definici´n 7.1.4 Sea R un anillo, un elemento a ∈ R se dice inver- o tible, si existe otro elemento a−1 ∈ R tal que a · a−1 = a−1 · a = 1.
  • 3. 7.1. Definiciones B´sicas a 147 Definici´n 7.1.5 Un anillo de divisi´n es un anillo con unidad, en o o donde todos los elementos distintos de cero son invertibles. Definici´n 7.1.6 Un cuerpo es un anillo conmutativo con unidad, en o donde todos los elementos distintos de cero son invertibles. Observaci´n: Existen anillos de divisi´n no conmutativos y por ende o o no cuerpos. Ver problema 13. Veamos a continuaci´n una serie de ejemplos de anillos o Ejemplo 1: El conjunto Z de los n´meros enteros, con las opera- Z u ciones de suma y producto es un anillo conmutativo con unidad. Ejemplo 2: El conjunto Z m de enteros m´dulo m, con la suma y Z o producto m´dulo m es un ejemplo de anillo conmutativo con unidad, el o cual es finito. La suma y el producto m´dulo m se definen de la forma o siguiente: Para [a], [b] en Z m se tiene Z [a] + [b] = [a + b] [a][b] = [ab] Ejemplo 3: Si p es un n´mero primo, entonces los enteros m´dulo u o p, denotado por Z p , es un cuerpo. Para verificar esto, basta observar Z que si [a] = [0] en Z p , entonces p | a y por lo tanto p y a son primos Z relativos. Luego existen enteros x e y tales que a·x+p·y =1 Luego a · x ≡ 1 mod p. Por lo tanto en Z p se tiene que Z
  • 4. 148 Cap´ ıtulo 7. Anillos [a] · [x] = [1] de esto se sigue que el elemento [a] es invertible. Ejemplo 4: Sea I = [0, 1] el intervalo cerrado de n´meros reales y u sea R el conjunto de funciones de I en los n´meros reales. u Si f y g son dos funciones, la suma y el producto de ellas se define por: (f + g)(x) = f (x) + g(x) (f · g)(x) = f (x) · g(x) Entonces es f´cil verificar que R es un anillo con este par de opera- a ciones. Adem´s R posee unidad y R es un anillo conmutativo. a Ejemplo 5: Sea R el conjunto de matrices cuadradas de orden 2 × 2 con coeficientes reales. Los elementos de R son de la forma:   a11 a12 A=  a21 a22 donde aij ∈ R, 1 ≤ i ≤ 2, 1 ≤ j ≤ 2. Si A y B son dos elementos de R, entonces la suma y el producto est´n dadas por: a     a11 a12 b11 b12 A+B =  +  a21 a22 b21 b22   a11 + b11 a12 + b12 =   a21 + b21 a22 + b22     a11 a12 b11 b12 A·B =  ·  a21 a22 b21 b22   c11 c12 =   c21 c22
  • 5. 7.1. Definiciones B´sicas a 149 donde cij = ai1 b1j + ai2 b2j para todo 1 ≤ i ≤ 2, 1 ≤ j ≤ 2. Se puede demostrar que R con estas dos operaciones as´ definidas ı es un anillo con unidad. Sin embargo R no es conmutativo. Para demostrar esto consideremos el siguiente ejemplo: Sean     0 1 1 0 A=  y B=  0 0 1 0 Entonces   1 0 AB =   0 0 Mientras que   0 1 BA =   0 1 Luego AB = BA. Definici´n 7.1.7 Sea R un anillo y A un subconjunto de R, el cual o es un anillo con las operaciones del anillo R, entonces A se llama un subanillo de R. Ejemplo: El conjunto de los enteros pares 2Z , es un subanillo del Z anillo Z de los n´meros enteros. Z u
  • 6. 150 Cap´ ıtulo 7. Anillos Ejercicios 1) Demuestre que en cualquier anillo R, el conjunto de los elementos invertibles forma un grupo bajo el producto. 2) Pruebe que en un anillo conmutativo con identidad, el elemento unidad es unico. ´ 3) Probar que si R es un anillo conmutativo con identidad y a es in- vertible, entonces a = (a−1 )−1 . 4) Sea R el conjunto de parejas ordenadas de n´meros reales. Establecer u cuales de las operaciones siguientes determinan una estructura de a) Anillo. b) Anillo conmutativo. c) Anillo conmutativo con unidad. i) (a, b) + (c, d) = (a + c, b + d) (a, b) · (c, d) = (ac, bd) ii) (a, b) + (c, d) = (a + c, b + d) (a, b) · (c, d) = (ac + bd, ad + bd) iii) (a, b) + (c, d) = (a, c) (a, b) · (c, d) = (ac, bd) iv) (a, b) + (c, d) = (a + c + 1, b + d) (a, b) · (c, d) = (ad + bc, ac + bd) 5) Sea R un anillo y a, b ∈ R. Probar la f´rmula o (a + b)2 = a2 + ab + ba + b2 6) Sea R un anillo conmutativo con identidad y n un entero positivo y a, b ∈ R. Probar la f´rmula o n n n−k k (a + b)n = a b , k=0 k donde n n! = k (n − k)!k!
  • 7. 7.1. Definiciones B´sicas a 151 7) N´ meros Complejos: Sea R el conjuntos de s´ u ımbolos de la forma a + bi, con a y b n´meros reales, e i la ra´ cuadrada de -1, esto es u ız i2 = −1. Convenimos en que dos s´ ımbolos a + bi y c + di son iguales si y s´lo si a = c y b = d. Definimos un par de operaciones en R, mediante o (a + bi) + (c + di) = (a + c) + (b + d)i (a + bi) · (c + di) = (ac − bd) + (ad + bc)i Probar que este conjunto R con las operaciones as´ definidas es un ı anillo conmutativo con unidad. Este anillo se llama Anillo de los Complejos, y lo denotamos por C I. 8) Cuaternios Reales: Sea R el conjunto de s´ ımbolos de la forma a + bi + cj + dk, con a, b, c y d n´meros reales, y los s´ u ımbolos i, j, k definidas por las relaciones: i) i2 = j 2 = k 2 = −1 ii) ij = k, jk = i, ki = j. iii) ji = −k, kj = −i, ik = −j. Convenimos en que dos elementos a+bi+cj +dk y a +b i+c j +d k son iguales si y s´lo si o a=a, b=b c=c, y d=d. Definimos la suma de elmentos en R componente por componente, esto es (a+bi+cj+dk)+(a +b i+c j+d k) = (a+a )+(b+b )i+(c+c )k+(d+d )k La multiplicaci´n de elementos de R se define mediante las leyes o de distributividad para expresiones polin´micas y las relaciones 1, 2, 3. o Por ejemplo (5 + 3i)(2 + 4k) = 2 · 5 + 5 · 4k + 3 · 2i + 3 · 4ik = 10 + 6i − 12j + 20k.
  • 8. 152 Cap´ ıtulo 7. Anillos Demostrar que en R, estas operaciones es un anillo de divisi´n. Este o anillo se denomina anillo de cuaternios reales y se denotan por Q. 9) Sea (G, ∗) un grupo abeliano y consideremos el conjunto de homo- morfismos de G sobre si mismo, denotado por Hom(G). Definimos dos operaciones en este conjunto (f + g)(a) = f (a) ∗ g(a), (f ◦ g)(a) = g(f (a)), para todo f, g ∈ Hom(G), y a ∈ G. Demuestre que (Hom(G), +, ◦)) es un anillo. 7.2 Propiedades Elementales de los Ani- llos Iniciamos con esta secci´n el estudio de las propiedades b´sicas de los o a anillos. En el transcurso de la misma se daran una serie de definiciones importantes, como lo son: divisor de cero, dominio de integridad y la caracter´ıstica de un anillo. Las mismas ser´n de utilidad para el resto a de este cap´ ıtulo. Proposici´n 7.2.1 Sea R un anillo, entonces para todos a, b ∈ R, se o tiene i) a · 0 = 0 · a = 0 ii) a(−b) = (−a)b = −(ab) Demostraci´n: o i) Usando la propiedad distributiva (7 de la definici´n) para R, obte- o nemos a · 0 = a(0 + 0) = a · 0 + a · 0 Podemos usar a continuaci´n la propiedad de cancelaci´n en el o o grupo aditivo de R, para concluir
  • 9. 7.2. Propiedades Elementales de los Anillos 153 a·0=0 Similarmente se demuestra que 0·a=0 ii) De acuerdo a i) se tiene 0 = a·0 = a(b − b) = ab + a(−b) Por lo tanto el inverso de ab bajo la adici´n en R (el cual es unico) o ´ es igual a a(−b) y luego se tiene −(ab) = a(−b) De la misma forma se demuestra que −(ab) = (−a)b y con esto termina la demostraci´n. o ♠ Corolario 7.2.1 Sea R anillo con identidad. Entonces i) (−1)a = −a para todo a ∈ R ii) (−1)(−1) = 1. Demostraci´n:o i) Sea a ∈ R, luego podemos usar la proposici´n anterior para obtener o (−1)a = −(1a) = −a
  • 10. 154 Cap´ ıtulo 7. Anillos ii) Aplicamos la proposici´n dos veces o (−1)(−1) = −(1(−1)) = −(−(1 · 1) = 1 N´tese que se hizo uso de la f´rmula o o −(−a) = a, a∈R la cual es cierta en R, por ser un grupo bajo la adici´n. o ♠ Observaci´n: Un anillo R siempre contiene al elemento 0. Si este es o el unico elemento de R entonces R se llama el anillo nulo o el anillo ´ cero. Si R no es el anillo nulo, y adem´s R contiene una unidad 1, entonces a 1 = 0. En efecto, sea a ∈ R, a = 0 y sup´ngase que 1=0, luego o a = a1 = a0 = 0 lo cual es una contradicci´n. o Definici´n 7.2.1 Sea R un anillo. Un elemento a ∈ R distinto de o cero, se dice divisor de cero si existe un b en R, distinto de cero, tal que ab = 0
  • 11. 7.2. Propiedades Elementales de los Anillos 155 Ejemplo 1: Sea R = Z 6 el anillo de los enteros m´dulo 6. Luego Z o [2] = [0] y [3] = [0], pero [2][3] = [2 · 3] = [6] = [0] por lo tanto [2] y [3] son divisores de cero en este anillo. Ejemplo 2: Sea R = Z el anillo de los enteros. Entonces se sabe Z de las propiedades que definen a los enteros, que Z no tiene divisores Z de cero. Para probar esta afirmaci´n, basta usar la ley de cancelaci´n o o para el producto en Z . Z Si a = 0 y b = 0 son enteros y adem´s ab = 0, se tendr´ entonces a a a0 = 0 = ab de donde b = 0, lo cual es una contradicci´n. o Definici´n 7.2.2 Un anillo conmutativo con identidad que no posee o divisores de cero se llama un Dominio de Integridad. Ejemplo: El anillo Z de los enteros es un dominio de integridad. Z Proposici´n 7.2.2 Un anillo conmutativo R, sin divisores de cero, o finito es un cuerpo.
  • 12. 156 Cap´ ıtulo 7. Anillos Demostraci´n: Al ser R un dominio de integridad, R es un anillo o conmutativo con unidad. S´lo falta probar que todos los elementos de o R diferentes de 0 son inversibles. Consideremos a = 0 en R, y supongamos R = {a1 , . . . , an } Entonces los elementos aa1 , aa2 , . . . , aan son n elementos distintos en R. En efecto, si suponemos que aai = aaj para algunos i = j, 1 ≤ i ≤ n, 1 ≤ j ≤ n, entonces se tendr´: a aai − aaj = 0 a(ai − aj ) = 0 Como R no admite divisores de cero, se debe tener ai − aj = 0 lo cual implica que ai = aj , lo cual es una contradicci´n. o Una vez probado este hecho, el elemento a antes considerado, debe estar entre los aai , digamos a = aak , para alg´n 1 ≤ k ≤ n. u Afirmamos que ak = 1. En efecto, si ai ∈ R, se tiene que existe un j, 1 ≤ j ≤ n, tal que ai = aaj Luego ai ak = (aaj )ak = (aak )aj = aaj = ai
  • 13. 7.2. Propiedades Elementales de los Anillos 157 Por lo tanto hemos probado que ak es el elemento unidad de R. Para concluir, probaremos que el elemento a, elegido al principio es invertible. Siendo a un elemento cualquiera de R distinto de cero, se deduce entonces que todos los elementos de R no nulos son invertibles, y con esto se demuestra que R es un cuerpo. En efecto, el elemento ak debe estar entre los elementos aa1 , . . . , aan , luego existe j, tal que aaj = ak Luego aj = a−1 y a es invertible. ♠ Corolario 7.2.2 Un Dominio de Integridad finito es un cuerpo. Si R es un anillo cualquiera y n es un entero positivo, entonces na es igual a la suma de a n−veces. Por otro lado an indica el producto de a consigo mismo n−veces. Definici´n 7.2.3 Sea R un dominio de integridad. Entonces, el menor o entero positivo n (si existe) tal que na = 0 para todo a ∈ R se llama la caracter´ıstica del anillo. Si no existe dicho entero, entonces se dice que R es de caracter´stica 0. ı Ejemplo 1: El anillo Q de los n´meros racionales con la suma y el u producto habituales, es un anillo de caracter´ ıstica 0. Ejemplo 2: El anillo Z 7 de los enteros m´dulo 7 es de caracter´ Z o ıstica 7, pues si [a] ∈ Z 7 , se tiene que Z 7[a] = [7a] = [0] Adem´s no existe un entero positivo menor con dicha propiedad a (Verificarlo!). Teorema 7.2.1 Si el dominio R es de caracter´ ıstica p > 0, entonces p debe ser un n´mero primo. u
  • 14. 158 Cap´ ıtulo 7. Anillos Demostraci´n: Es claro que p · 1 = 0, pues pa = 0 para todo a en R. o Por otro lado, si p no es primo, entonces p = mn con 1 < m < p, 1 < n < p. Luego p1 = (mn)1 = (m1)(n1) = 0 Como R es un dominio de integridad, se debe tener m1 = 0, o bien n1 = 0. Si suponemos m1 = 0, entonces para todo a ∈ R se tendr´ a ma = m(1a) = (m1)a = 0a = 0 Luego la caracter´ ıstica de R debe ser menor o igual m, lo cual es un absurdo pues m < p. Ejercicios 6) Demuestre que el anillo de matrices cuadradas reales de orden 2 × 2 no es un dominio de integridad. 8) Si R es un dominio de caracter´ ıstica p, probar (a + b)p = ap + bp para todo a, b ∈ R. 9) Probar que el anillo de funciones f : [0, 1] −→ R con la suma y pro- ducto definidas como en el ejemplo 4, no es un dominio de integridad.
  • 15. 7.3. Homomorfismos 159 10) Un elemento a en un anillo R se dice nilpotente si an = 0, para alg´n n entero positivo. Probar que en un dominio de integridad no u hay elementos nilpotentes. 11) Demuestre que un anillo conmutativo D es un dominio de integridad si y s´lo si para todos a, b y c en R con a = 0, la relaci´n ab = ac, o o implica b = c. 7.3 Homomorfismos Los homomorfismos de anillos son aplicaciones entre ellos que preser- van las operaciones. Todo homorfismo de anillos es al mismo tiempo un homomorfismo de grupo y esto establece un paralelo entre la teor´ ıa de anillos y la teor´ de grupos. ıa Muchas de las definiciones y resultados de esta secci´n ya han sido o estudiadas en los grupos y por lo tanto omitimos algunas demostra- ciones. En esta secci´n se introduce el concepto de ideal, el cual juega el o mismo papel que los grupos normales dentro de la teor´ de grupos. ıa Mediente el uso de ideales es posible definir los anillos cocientes de forma similar como se hizo para los grupos. Definici´n 7.3.1 Sean R y S dos anillos, un homomorfismo de o anillos entre R y S es una aplicaci´n o φ : R −→ S tal que i) φ(r1 + r2 ) = φ(r1 ) + φ(r2 ) ii) φ(r1 r2 ) = φ(r1 )φ(r2 ) para todo r1 , r2 en R. Observaci´n 1: En primer lugar debe tenerse en cuenta que la suma o r1 + r2 en i) se efectua dentro de R, mientras que la suma φ(r1 ) + φ(r2 )
  • 16. 160 Cap´ ıtulo 7. Anillos tiene lugar dentro del anillo S. La misma observaci´n es v´lida para el o a producto en ii) Observaci´n 2: Obs´rvese que de acuerdo a la condici´n i) todo o e o homomorfismo de anillos es un homomorfismo de grupos y por lo tanto valen todos los resultados sobre homomorfismos, estudiados en el cap´ ıtulo de grupo. Ejemplo 1: Sea φ : Z −→ Z m , la aplicaci´n dada por φ(x) = [x]. Z Z o Entonces φ es un homomorfismo de anillos, pues φ(n + m) = [n + m] = [n] + [m] = φ(n) + φ(m) φ(nm) = [nm] = [n][m] = φ(n)φ(m) para todo m, n en Z . Z Ejemplo 2: Sea R cualquier anillo y definamos φ : R −→ R φ(x) = x Entonces es f´cil verificar que φ es un homomorfismo, el cual se a llama homomorfismo identidad. Definici´n 7.3.2 Sea R y R dos anillos. Un homomorfismo o φ : R −→ R , el cual es biyectivo, se dice que es un isomorfismo de anillo.
  • 17. 7.3. Homomorfismos 161 En tal caso diremos, que los anillos R y R son isomorfos y lo simbolizamos por R ≈ R . Al igual que en los homomorfismos de grupos, se tiene la siguiente propiedad para anillos. Proposici´n 7.3.1 Si φ : R −→ S es un homomorfismo de anillos, o entonces i) φ(0) = 0 ii) φ(−a) = −φ(a) para todo a ∈ R Demostraci´n: (Ver el cap´ o ıtulo de grupos). ♠ Tambi´n se define el Kernel o n´ cleo del homomorfismo, exacta- e u mente como se hizo en el caso de grupos. Definici´n 7.3.3 Sea φ : R −→ S un homomorfismo de anillos, en- o tonces el Kernel del homomorfismo φ se define por ker φ = {x ∈ R | φ(x) = 0}. Observaci´n: Si a y b son dos elementos en el ker φ, entonces ser´ o a cierto, de acuerdo a la definici´n de homomorfismo, que a + b y ab o est´n en ker φ. Pero adem´s de esta propiedad, el Kernel posee otra a a muy interesante y es que al multiplicar un elemento cualquiera del anillo por un elemento en el Kernel, entonces el producto de ambos esta de nuevo en el Kernel. Esta propiedad de “absorber” todos los elementos del anillo por multiplicaci´n, motiva la siguiente: o Definici´n 7.3.4 Sea R un anillo. Un subconjunto I de R se dice o ideal a la derecha, si se tiene: i) a + b ∈ I , para todo a, b ∈ I ii) γa ∈ I, para todo γ ∈ R y a ∈ I.
  • 18. 162 Cap´ ıtulo 7. Anillos Definici´n 7.3.5 Sea R un anillo. Un subconjunto I de R se dice o ideal a la izquierda, si satisface i) a + b ∈ I , para todo a, b ∈ I ii) aγ ∈ I, para todo γ ∈ R y a ∈ I. Combinando ambas definiciones tenemos Definici´n 7.3.6 Sea R un anillo. Un subconjunto I de R se dice o ideal de R, si I es un ideal a la derecha y a la izquierda. Observaci´n: Cuando se estudian anillos conmutativos (como es el o caso de la mayor´ de los anillos), entonces todo ideal lateral, a la ıa derecha o a la izquierda, es un ideal del anillo. Por lo tanto no se hace necesario verificar las dos condiciones simult´neamente. a Ejemplo 1: Sea Z el anillo de enteros y consideremos I = 2Z , el Z Z conjunto de los enteros pares. Entonces se puede verificar que I es un ideal de Z . Z Ejemplo 2: Sea R el anillo de funciones de [0, 1] en R y S el conjunto de funciones en R, tales que f ( 1 ) = 0. Luego se prueba f´cilmente que 2 a S es un ideal del anillo R. Ejemplo 3: Sea φ : R −→ R un homomorfismo de anillos. Entonces el Kernel de φ es un ideal de R. Si I es cualquier ideal en un anillo R, entonces I es un subgrupo normal del grupo aditivo de R. Luego se puede considerar el conjunto cociente R/I de clases laterales derechas. Este conjunto se le puede dotar de una estructura de anillo, con las operaciones de suma y pro- ducto de clases definidas de la forma siguiente (a + I) + (b + I) = a + b + I (7.1) (a + I)(b + I) = ab + I (7.2) En estas condiciones se tiene:
  • 19. 7.3. Homomorfismos 163 Teorema 7.3.1 Sea R un anillo e I un ideal de R. Entonces el con- junto cociente formado por las clases laterales R/I = {a + I | a ∈ R} es un anillo Este anillo se denomina anillo cociente. Demostraci´n: Debemos verificar en primer lugar que la suma y el o producto de clases est´n bien definidas. a Sean a, b, a , c elementos en R y supongamos que a+I = a +I (7.3) b+I = b +I (7.4) Debemos verificar entonces que 1) a + b + I = a + b + I 2) ab + I = a b + I En efecto, para la primera parte usamos las ecuaciones (??) y (??) para obtener a−a ∈I y b − b ∈ I. Como I es un ideal, la suma de dos elementos cualesquiera en I estar´ de nuevo en I. Por lo tanto a (a − a ) + (b − b ) ∈ I, luego (a + b) − (a + b ) ∈ I, de donde, a + b + I = a + b + I.
  • 20. 164 Cap´ ıtulo 7. Anillos Para la segunda parte, tomamos s1 y s2 en I, tales que a = a + s1 y b = b + s2 Multiplicando estos dos elementos se obtiene ab = (a + s1 )(b + s2 ) = a b + s1 b + bs2 + s1 s2 Como I es un ideal, los elementos s1 b , bs2 y s1 s2 est´n todos en I. a Luego ab = a b + s donde s = s1 b + bs2 + s1 s2 ∈ I Por lo tanto se concluye ab + I = a b + I La verificaci´n de que R/I es un anillo con las dos operaciones dadas o en (??) y (??), se deja como un ejercicio para el lector. Sin embargo haremos algunas acotaciones importantes es este sentido. Por ejemplo, el elemento cero R/I, viene dado por 0 = 0 + I, donde 0 es el cero en R. Si R posee identidad 1, entonces el anillo cociente posee identidad, dada por 1 = 1 + I. Si R es conmutativo, entonces el anillo cociente tambi´n es conmu- e tativo.
  • 21. 7.3. Homomorfismos 165 Teorema 7.3.2 Sea R un anillo e I un ideal de R. Entonces la apli- caci´n o φ : R −→ R/I, γ −→ γ + I es un homomorfismo de anillos sobreyectivo, con ker φ = I, llamado la proyecci´n de R sobre I. o Demostraci´n: La demostraci´n de la condici´n de homomorfismo φ, o o o se deriva de las ecuaciones (??) y (??). En efecto, si γ1 , γ2 est´n en R, a se tiene φ(γ1 + γ2 ) = (γ1 + γ2 ) + I = (γ1 + I) + (γ2 + I) = φ(γ1 ) + φ(γ2 ) φ(γ1 γ2 ) = γ1 γ2 + I = (γ1 + I)(γ2 + I) = φ(γ1 )φ(γ2 ) Evidentemente, el homomorfismo es sobreyectivo. Veamos a con- tinuaci´n la determinaci´n del ker φ. o o Sea γ ∈ R, tal que φ(γ) = γ + I = I Luego γ ∈ I. Por otro lado, si γ ∈ I es claro que φ(γ) = I = 0 ∈ R/I. Luego I = ker φ
  • 22. 166 Cap´ ıtulo 7. Anillos ♠ Bas´ndonos en los teoremas de isomorfismos para los grupos, damos a a continuaci´n dos teoremas sobre homomorfismos de anillos. Las de- o mostraciones se omiten pues son muy semejantes a las demostraciones dadas en el caso de los grupos. Teorema 7.3.3 Sea φ : R −→ S un homomorfismo de anillos sobre- yectivo. Entonces i) Si I es un ideal de R que contiene a ker φ, entonces el conjunto I = {φ(x) | x ∈ I} es un ideal de S. ii) Si L es un ideal de S, entonces el conjunto φ−1 (L) = {x ∈ R | φ(x) ∈ L} es un ideal de R que contiene a ker φ. Teorema 7.3.4 Sea φ : R −→ S un homomorfismo de anillos so- breyectivo con K = ker φ, y supongamos que I es un ideal de R que contiene a K. Sea L el ideal de S, dado por L = φ(I). Entonces R/K ≈ S/L Ejercicios 1) Sea U un ideal de anillo R y supongamos que el elemento unidad de R est´ en U . Probar entonces que U = R. a 2) Probar que si R es un cuerpo, entonces los unicos ideales son (0) y ´ R. 3) Probar que cualquier homomorfismo de anillos φ : R −→ S, con R cuerpo, satisface φ = 0 o φ =identidad.
  • 23. 7.3. Homomorfismos 167 4) Sean I y J ideales de un anillo R. Entonces la suma de I con J se define I + J = {x + y | x ∈ I, y ∈ J} El producto de I con J se define por n IJ = xi yi | donde xi ∈ I, yi ∈ J, 1 ≤ i ≤ n, n ≥ 1 i=1 Entonces probar que tanto I + J como IJ son ideales de R. 5) Probar que si φ : R −→ S es un homomorfismo de anillos, sobre y 1 ∈ R, entonces φ(1) es la identidad en S. Dar un ejemplo en donde esto no se cumple si se remueve la condici´n de sobreyectividad. o 6) Sea φ : R −→ S un homomorfismo de anillos sobre. Probar que si I es un ideal de R, entonces φ(I) es un ideal de S. 7) Sea R un anillo, U un ideal de R y γ(U ) = {x ∈ R | xu = 0, ∀u ∈ U } Probar que γ(U ) es un ideal de R. Este ideal se llama el radical de U . 8) Demuestre que si φ : Z −→ Z es un homomorfismo de anillos Z Z sobreyectivo, entonces φ = identidad. 9) Sea R el anillo de matrices cuadradas reales 2 × 2 y consideremos el subconjunto S, de R de todas aquellas matrices de la forma   a 0   0 b i) Probar que S es un sub-anillo de R. ii) ¿Es S un ideal de R?. 10) Sea S el anillo de matrices definido arriba y C el anillo de los I complejos. Probar que S es isomorfo a C I.
  • 24. 168 Cap´ ıtulo 7. Anillos 11) Sea C el anillo de los complejos, probar que la aplicaci´n I o φ : C I −→ C I a + bi −→ a − bi es un homomorfismo de anillos. 12) Sea R un anillo conmutativo y a ∈ R. Definamos el conjunto Ra = {ra | r ∈ R} Probar que Ra es un ideal de R. Este ideal se denomina el ideal generado por a. 13) Sea R un anillo conmutativo con 1. Probar que a ∈ R es invertible si y s´lo si Ra = R. o 14) Probar que si I y J son ideales de un anillo R, entonces I ∩ J es tambi´n un ideal. e