Ideal (teoría de anillos)

En álgebra moderna, un ideal es una subestructura algebraica definida en la teoría de anillos. Los ideales generalizan, de manera fecunda, el estudio de la divisibilidad entre los números enteros hacia otros objetos matemáticos. De este modo, es posible enunciar versiones muy generales de teoremas de la aritmética elemental, tales como el teorema chino del resto o el teorema fundamental de la aritmética, válidos para los ideales. Se puede comparar también esta noción con la de subgrupo normal para la estructura algebraica de grupo en el sentido de que facilita definir la noción de anillo cociente como una extensión natural de la noción de grupo cociente.[1]​

## Aspecto histórico

[editar]

La teoría de los ideales es relativamente reciente, puesto que fue creada por el matemático alemán, Richard Dedekind, a fines del siglo XIX. En dicha época, una parte de la comunidad matemática se interesó en los números algebraicos y, más concretamente, en los enteros algebraicos.

La cuestión consiste en saber si los enteros algebraicos se comportan como los enteros relativos, particularmente, en lo que respecta a su descomposición en factores primos. Parecía claro, desde el comienzo del siglo XIX que este no era siempre el caso. Por ejemplo, el entero 6 puede descomponerse, en el anillo  Z [ i 5 ] {\displaystyle \mathbb {Z} [i{\sqrt {5}}]} , en la forma  2 × 3 {\displaystyle 2\times 3} o en la forma  ( 1 + i 5 ) ( 1 − i 5 ) {\displaystyle (1+i{\sqrt {5}})(1-i{\sqrt {5}})} .

Ernst Kummer señaló entonces que la cuestión anterior va a depender de los números en cuestión, e inventó la noción de complejos ideales.

La idea es hacer que sea única la descomposición en factores primos añadiendo artificialmente otros números (del mismo modo que se añade i a los números reales siendo  i 2 = − 1 {\displaystyle i^{2}=-1} con el fin de disponer de números para los cuadrados negativos). Para el ejemplo de más arriba, se van a "inventar" cuatro números "ideales" a, b, c y d tales que:

2 = a ⋅ b {\displaystyle 2=a\cdot b}
3 = c ⋅ d {\displaystyle 3=c\cdot d}
1 + i 5 = a ⋅ c {\displaystyle 1+i{\sqrt {5}}=a\cdot c}
1 − i 5 = b ⋅ d {\displaystyle 1-i{\sqrt {5}}=b\cdot d}

Así, 6 se descompondrá de manera única en:

6 = a ⋅ b ⋅ c ⋅ d {\displaystyle 6=a\cdot b\cdot c\cdot d}

Dedekind en 1871 vuelve a usar la noción de número ideal de Kummer y crea la noción de ideal en un anillo. Se interesa principalmente por los anillos de los enteros algebraicos, es decir, anillos conmutativos unitarios e íntegros. En este dominio se encuentran los resultados más interesantes sobre los ideales. Creó el conjunto de los ideales de un anillo conmutativo, unitario e íntegro para operaciones semejantes a la adición y a la multiplicación de los enteros relativos.

La teoría de los ideales no solo permitió un avance significativo en el álgebra general, sino también en el estudio de las curvas algebraicas (geometría algebraica).

## Definición

[editar]

Un subconjunto  I {\displaystyle I} no vacío de un anillo  ( A , + , ⋅ ) {\displaystyle (A,+,\cdot )} es un ideal por la izquierda de  A {\displaystyle A} si:

1. I {\displaystyle I} es un subgrupo aditivo de  A {\displaystyle A} .
2. ∀ ( a , x ) ∈ A × I : a ⋅ x ∈ I {\displaystyle \forall (a,x)\in A\times I:a\cdot x\in I} (El producto por la izquierda de un elemento de  I {\displaystyle I} por un elemento de  A {\displaystyle A} pertenece a  I {\displaystyle I} ).

y es un ideal por la derecha de  A {\displaystyle A} si:

1. I {\displaystyle I} es un subgrupo aditivo de  A {\displaystyle A} .
2. ∀ ( x , a ) ∈ I × A : x ⋅ a ∈ I {\displaystyle \forall (x,a)\in I\times A:x\cdot a\in I} (El producto por la derecha de un elemento de  I {\displaystyle I} por un elemento de  A {\displaystyle A} pertenece a  I {\displaystyle I} ).

Un ideal bilátero es un ideal por la derecha y por la izquierda. En un anillo conmutativo, las nociones de ideal por la derecha, de ideal por la izquierda y de ideal bilátero coinciden y simplemente se habla de ideal.

### Ejemplos y propiedades básicas

[editar]

* Para todo entero relativo  k {\displaystyle k} ,  k Z {\displaystyle k\mathbb {Z} } es un ideal de  Z {\displaystyle \mathbb {Z} } .
* Si A es un anillo, {0} y A son ideales triviales de A. Estos dos ideales tienen un interés muy limitado. Por esta razón se llamará ideal propio a todo ideal no trivial.
* Si A es un anillo unitario y si  I {\displaystyle I} es un ideal que contiene a 1 entonces  I = A {\displaystyle I=A} . De modo más general, si,  I {\displaystyle I} contiene un elemento invertible (una unidad), entonces  I = A {\displaystyle I=A} .

Demostración

Sea  I ⊆ A {\displaystyle I\subseteq A} un ideal y supongamos que existe una unidad  u ∈ I {\displaystyle u\in I} (es decir, un elemento tal que existe  u − 1 ∈ A {\displaystyle u^{-1}\in A} tal que  u u − 1 = u − 1 u = 1 {\displaystyle uu^{-1}=u^{-1}u=1} ).

Veamos que  I = A {\displaystyle I=A} . Sea pues  a ∈ A {\displaystyle a\in A} un elemento cualquiera y veamos que  a ∈ I {\displaystyle a\in I} . Observamos que  a = ( a u − 1 ) u {\displaystyle a=(au^{-1})u} . Como  u ∈ I {\displaystyle u\in I} e  I {\displaystyle I} es un ideal, tenemos que  a = ( a u − 1 ) u ∈ I {\displaystyle a=(au^{-1})u\in I} , como queríamos demostrar.  ◻ {\displaystyle \quad \square }

* Los únicos ideales en un cuerpo K {\displaystyle K} son los ideales triviales.

Demostración

Es consecuencia inmediata de la propiedad anterior y la definición de cuerpo (anillo donde todo elemento distinto de 0 tiene inverso).

En efecto, supongamos que tenemos un anillo  I ≠ { 0 } {\displaystyle I\neq \\{0\\}} y veamos que necesariamente es  I = K {\displaystyle I=K} . Como  I ≠ { 0 } {\displaystyle I\neq \\{0\\}} , necesariamente existe un elemento  a ∈ I , a ≠ 0 {\displaystyle a\in I,a\neq 0} . Pero, por definición de cuerpo,  a {\displaystyle a} es invertible y, por la propiedad anterior, concluimos que  I = K {\displaystyle I=K} .  ◻ {\displaystyle \quad \square }

* Dado un elemento  a ∈ A {\displaystyle a\in A} , el conjunto  ( a ) := { a b : b ∈ A } ⊆ A {\displaystyle (a):=\\{ab:b\in A\\}\subseteq A} es un ideal. Lo llamamos el ideal generado por a {\displaystyle a} (más abajo se generaliza el concepto al ideal generado por un subconjunto). Entonces, si  A {\displaystyle A} es un anillo íntegro,  ( a ) = ( b ) {\displaystyle (a)=(b)} si y sólo si  b = a u {\displaystyle b=au} , con  u ∈ A {\displaystyle u\in A} una unidad.

Demostración

( ⇒ ) {\displaystyle (\Rightarrow )} Supongamos que  ( a ) = ( b ) {\displaystyle (a)=(b)} y veamos que  b = a u {\displaystyle b=au} , con  u {\displaystyle u} una unidad.

En efecto, en particular tenemos que  a ∈ ( b ) {\displaystyle a\in (b)} , lo significa que existe un  x ∈ A {\displaystyle x\in A} tal que  a = b x {\displaystyle a=bx} . Por otro lado, como  b ∈ ( a ) {\displaystyle b\in (a)} , tenemos que existe un  y ∈ A {\displaystyle y\in A} tal que  b = a y {\displaystyle b=ay} .

Juntando las dos expresiones obtenemos que  a = a y x {\displaystyle a=ayx} . Como  A {\displaystyle A} es íntegro, tenemos ley de cancelación, lo que significa que  y x = 1 {\displaystyle yx=1} , por lo que  x {\displaystyle x} e  y {\displaystyle y} son unidades. Viendo las definiciones de  x {\displaystyle x} e  y {\displaystyle y} vemos que ya hemos visto lo que queríamos.

( ⇐ ) {\displaystyle (\Leftarrow )} Supongamos que  b = a u {\displaystyle b=au} , con  u ∈ A {\displaystyle u\in A} unidad y veamos que  ( a ) = ( b ) {\displaystyle (a)=(b)} .

La propia hipótesis nos dice que  b ∈ ( a ) {\displaystyle b\in (a)} , por lo que  ( b ) ⊆ ( a ) {\displaystyle (b)\subseteq (a)} . Por otro lado, como  u {\displaystyle u} es invertible, tenemos que  a = b u − 1 {\displaystyle a=bu^{-1}} . Por un argumento análogo al anterior, tenemos que  ( a ) ⊆ ( b ) {\displaystyle (a)\subseteq (b)} .  ◻ {\displaystyle \quad \square }

## Operaciones con ideales

[editar]

### Suma

[editar]

Si I y J son dos ideales de un anillo A, entonces se puede comprobar que el conjunto  I + J = { x + y : x ∈ I e y ∈ J } {\displaystyle I+J=\\{x+y:x\in I\ e\ y\in J\\}} es un ideal.

Demostración

Para comprobar que el aserto es correcto, debemos comprobar en primer lugar que I+J es subgrupo del grupo aditivo de A, i.e.,  ( A , + ) {\displaystyle (A,+)} , y en segundo lugar tendremos que comprobar que  z a ∈ ( I + J ) , ∀ a ∈ A , ∀ z ∈ ( I + J ) {\displaystyle za\in (I+J),~\forall a\in A,\forall z\in (I+J)} .

* En primer lugar, sea  z 1 , z 2 ∈ ( I + J ) ⇒ ∃ ( x 1 , y 1 ) , ( x 2 , y 2 ) ∈ I × J {\displaystyle z_{1},z_{2}\in (I+J)\Rightarrow \exists (x_{1},y_{1}),(x_{2},y_{2})\in I\times J} tales que  z i = x i + y i ( i = 1 , 2 ) {\displaystyle z_{i}=x_{i}+y_{i}~(i=1,2)} . Como  I , J {\displaystyle I,J} son ideales, entonces son subgrupos de  A {\displaystyle A} y por ende,  ( x 1 − x 2 , y 1 − y 2 ) ∈ I × J {\displaystyle (x_{1}-x_{2},y_{1}-y_{2})\in I\times J} , de manera que  z 1 + ( − z 2 ) = ( x 1 − x 2 ) + ( y 1 − y 2 ) {\displaystyle z_{1}+(-z_{2})=(x_{1}-x_{2})+(y_{1}-y_{2})} es un elemento del conjunto  I + J {\displaystyle I+J} . Ergo,  ∀ z 1 , z 2 ∈ I + J , ( z 1 − z 2 ) ∈ I + J {\displaystyle \forall z_{1},z_{2}\in I+J,~(z_{1}-z_{2})\in I+J} , por lo tanto  I + J {\displaystyle I+J} es subgrupo de  ( A , + ) {\displaystyle (A,+)} .
* En segundo lugar, sea  z = ( x + y ) ∈ I + J , a ∈ A {\displaystyle z=(x+y)\in I+J,a\in A} .  a ⋅ z = a ⋅ ( x + y ) = a ⋅ x + a ⋅ y = ( a ⋅ x ) + ( a ⋅ y ) {\displaystyle a\cdot z=a\cdot (x+y)=a\cdot x+a\cdot y=(a\cdot x)+(a\cdot y)} . Por ser  I , J {\displaystyle I,J} ideales de A se tiene que  ( a ⋅ x ) ∈ I , ( a ⋅ y ) ∈ J ∀ a ∈ A {\displaystyle (a\cdot x)\in I,~(a\cdot y)\in J~\forall a\in A} . De este modo,  a ⋅ z ∈ I + J {\displaystyle a\cdot z\in I+J} .

Con esto queda demostrado que era correcta la afirmación enunciada.

### Intersección

[editar]

Toda intersección de ideales es un ideal.

Demostración

Sea una familia de ideales  { I k } {\displaystyle \\{I_{k}\\}} , queremos comprobar que  I = ⋂ k I k {\displaystyle I=\bigcap _{k}I_{k}} es ideal:

* Comprobemos que es subgrupo del grupo aditivo  ( A , + ) {\displaystyle (A,+)} . Sean  x , y ∈ ⋂ k I k {\displaystyle x,y\in \bigcap _{k}I_{k}} , entonces se tiene que  x , y ∈ I k , ∀ k {\displaystyle x,y\in I_{k},\forall k} . Como los  I k {\displaystyle I_{k}} son ideales, entonces  x − y ∈ I k , ∀ k {\displaystyle x-y\in I_{k},\forall k} , por lo que a su vez se tiene que  x − y ∈ ⋂ k I k = I {\displaystyle x-y\in \bigcap _{k}I_{k}=I} . Por consiguiente I es subgrupo de  ( A , + ) {\displaystyle (A,+)} .
* Comprobemos ahora que  a ⋅ x ∈ I , ∀ a ∈ A , x ∈ I {\displaystyle a\cdot x\in I,\forall a\in A,x\in I} .  x ∈ I ⇒ x ∈ ⋂ k I k ⇒ x ∈ I k , ∀ k {\displaystyle x\in I\Rightarrow x\in \bigcap _{k}I_{k}\Rightarrow x\in I_{k},\forall k} . Ahora bien, como los  I k {\displaystyle I_{k}} son ideales, sabemos que  a ⋅ x ∈ I k , ∀ a ∈ A , ∀ k ⇒ a ⋅ x ∈ ⋂ k I k , ∀ a ∈ A {\displaystyle a\cdot x\in I_{k},\forall a\in A,\forall k\Rightarrow a\cdot x\in \bigcap _{k}I_{k},\forall a\in A} . Por consiguiente  a ⋅ x ∈ I , ∀ a ∈ A , x ∈ I {\displaystyle a\cdot x\in I,\forall a\in A,x\in I} .

Queda con esto demostrado el aserto anterior, i.e.,  ⋂ k I k {\displaystyle \bigcap _{k}I_{k}} es ideal, siendo  { I k } {\displaystyle \\{I_{k}\\}} una familia arbitraria de ideales de A.

El conjunto de los ideales de A con estas dos operaciones forma una cadena. De esta segunda ley se permite la noción de ideal generado. Si P es un subconjunto de un anillo A, se llama ideal generado por P a la intersección de todos los ideales de A que contienen a P, notado usualmente como  ⟨ P ⟩ {\displaystyle \langle P\rangle } . Se puede comprobar que:

1. ⟨ P ⟩ = { a 1 x 1 + ⋯ + a n x n : a 1 , … , a n ∈ P , x 1 , … , x n ∈ A } {\displaystyle \langle P\rangle =\\{a_{1}x_{1}+\dots +a_{n}x_{n}:a_{1},\dots ,a_{n}\in P,~x_{1},\dots ,x_{n}\in A\\}}
2. I + J = ⟨ I ∪ J ⟩ = ⋂ k { G k : G k ~es~ideal~en~ A ~y~ ( I ∪ J ) ⊆ G k } {\displaystyle I+J=\langle I\cup J\rangle =\bigcap _{k}\\{G_{k}:G_{k}{\textrm {~es~ideal~en~}}A{\textrm {~y~}}(I\cup J)\subseteq G_{k}\\}}

Ejemplos:

* Para un anillo  A {\displaystyle A} , a ∈ A engendra el ideal  a A {\displaystyle aA} (por ejemplo n engendra  n Z {\displaystyle n\mathbb {Z} } , ideal de  Z {\displaystyle \mathbb {Z} } )
* Si I y J son dos ideales de A, el ideal  I + J {\displaystyle I+J} está engendrado por el subconjunto  I ∪ J {\displaystyle I\cup J} de A.

### Producto

[editar]

Si I y J son dos ideales de un anillo, se llama producto de I y J al ideal  I J {\displaystyle \textstyle IJ} constituido por todos los elementos de la forma xy donde x pertenece a I e y pertenece a J. Se tiene que  I J ⊂ I ∩ J {\displaystyle IJ\subset I\cap J} .

Como ejemplo, en el anillo  Z {\displaystyle \mathbb {Z} } , el producto de los ideales  n Z {\displaystyle n\mathbb {Z} } y  p Z {\displaystyle p\mathbb {Z} } es el ideal  n p Z {\displaystyle np\mathbb {Z} } y este último está incluido en  n Z ∩ p Z {\displaystyle n\mathbb {Z} \cap p\mathbb {Z} } .

### Anillo cociente

[editar]

Si I es un ideal bilátero del anillo A, la relación  x R y ⇔ x − y ∈ I {\displaystyle x{\mathcal {R}}y\Leftrightarrow x-y\in I} es una relación de equivalencia compatible con las dos leyes del anillo. Se puede crear entonces, sobre el conjunto de las clases  x ˙ = x + I {\displaystyle {\dot {x}}=x+I} una estructura de anillo denominada anillo cociente A/ I del anillo A por el ideal I. La construcción se realiza sobre la base del grupo aditivo del anillo. Cabe tomar como elementos de A/I las clases adjuntas a + I( llamadas «clases de restos respecto al módulo del ideal I»).

Como suma de clases se define por (a +I) +º (b+ I) =(a+b) + L; el opuesto -º(a+I) = -a + I.

Como producto de clases (a+I) ×º (b+I)= ab + I.[2]​

## Casos particulares

[editar]

Ideal principal: es un ideal generado por un único elemento.

Ideal primario: en un anillo conmutativo unitario, un ideal I es primario si y solo si para todo a y b tales que  a b ∈ I {\displaystyle ab\in I} , si  a ∉ I {\displaystyle a\notin I} entonces existe un entero natural n tal que  b n ∈ I {\displaystyle b^{n}\in I} .

Ideal primo: en un anillo conmutativo unitario, I es un ideal primo si y solo si I es distinto de A y, para todo a y b pertenecientes a A tales que  a b ∈ I {\displaystyle ab\in I} , si  a ∉ I {\displaystyle a\notin I} entonces  b ∈ I {\displaystyle b\in I} .

P {\displaystyle P} es un ideal primo de  A ⇔ {\displaystyle A\Leftrightarrow } A / P {\displaystyle A/P} es dominio de integridad.

Ideal irreducible : en un anillo conmutativo unitario, un ideal I es irreducible si no se puede escribir como intersección de dos ideales J y K diferentes de I.

Ideal maximal : Un ideal  M {\displaystyle M} es maximal  ⇔ {\displaystyle \Leftrightarrow } existen exactamente dos ideales que contienen a  M {\displaystyle M} , a saber,  A {\displaystyle A} y el mismo  M {\displaystyle M} .

En un anillo conmutativo unitario, un ideal maximal es necesariamente primo.
El ideal  M {\displaystyle M} es un ideal maximal de  A {\displaystyle A} si y solo si  A / M {\displaystyle A/M} es un cuerpo.

Radical de un ideal: Si I es un ideal de un anillo conmutativo A, se llama radical de I, y se escribe  I {\displaystyle {\sqrt {I}}} , al conjunto de los elementos x de A tales que existe un entero natural n para el cual  x n ∈ I {\displaystyle x^{n}\in I} . Es un ideal de A.

Ejemplo:  30 Z {\displaystyle 30\mathbb {Z} } es el radical de  360 Z {\displaystyle 360\mathbb {Z} }
Si  A {\displaystyle A} es un anillo conmutativo, entonces tiene las propiedades siguientes:

* I ⊃ I {\displaystyle {\sqrt {I}}\supset I}
* I = I {\displaystyle {\sqrt {\sqrt {I}}}={\sqrt {I}}}
* I J = I ∩ J = I ∩ J {\displaystyle {\sqrt {IJ}}={\sqrt {I\cap J}}={\sqrt {I}}\cap {\sqrt {J}}}
* Si, además,  A {\displaystyle A} es unitario,  I = A ⇔ I = A {\displaystyle {\sqrt {I}}=A\Leftrightarrow I=A}

## Referencias

[editar]

1. ↑ A.I. Kostrikin. «Introducción al álgebra» Editorial Mir, Moscú (1983)
2. ↑ Kostrikin. Op. cit.

## Véase también

[editar]

* Estructura algebraica
* Anillo

## Enlaces externos

[editar]

* Portal:Matemática. Contenido relacionado con Matemática.
* Weisstein, Eric W. «Ideal». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.

Control de autoridades|

* Proyectos Wikimedia
* Datos: Q44649
* Multimedia: Ideal (ring theory) / Q44649

* * *

* Identificadores
* BNF: 119794357 (data)
* GND: 4161198-6
* LCCN: sh85064134
* NLI: 987007538412305171
* Diccionarios y enciclopedias
* Britannica: url

|

* Datos: Q44649
* Multimedia: Ideal (ring theory) / Q44649