Ideal (teoría de anillos)

Ideal (teoría de anillos)

En matemáticas, un ideal es una estructura algebraica definida en un anillo. Los ideales generalizan de manera fecunda el estudio de la divisibilidad en los números enteros. De este modo, es posible enunciar versiones muy generales de teoremas aritméticos 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 distinguido para la estructura algebraica de grupo en el sentido de que permite definir la noción de anillo cociente como una extensión lógica de la noción de grupo cociente.

Contenido

Aspecto histórico

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

La cuestión consiste en saber si los enteros algebraicos se comportan como los enteros relativos, en particular por 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 6 se puede descomponer en el anillo \mathbb Z[i\sqrt{5}] en la forma 2 \times 3 o en la forma (1 + i\sqrt{5})(1- i\sqrt{5})

Ernst Kummer dice entonces que lo anterior va a depender de los números en cuestión e inventa 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 i2 = − 1 con el fin de disponer números para los cuadrados negativos). En el ejemplo de más arriba, se va a "inventar" cuatro números "ideales" a, b, c y d tales que:

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

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

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

Un subconjunto I de un anillo A es un ideal por la izquierda de A si:

  • I es un subgrupo aditivo de A.
  • \forall (a,x) \in A \times I : a \times x \in I
    El producto por la izquierda de un elemento de I por un elemento de A pertenece a I.

y es un ideal por la derecha de A si:

  • I es un subgrupo aditivo de A.
  • \forall (x,a) \in I \times A : x \times a \in I
    El producto por la derecha de un elemento de I por un elemento de A pertenece a 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:

  • Para todo entero relativo k, k \mathbb{Z} es un ideal de \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 es un ideal que contiene a 1 entonces I = A. De modo más general, si, I contiene un elemento inversible, entonces I = A
  • Los únicos ideales en un cuerpo K son los ideales triviales.

Homomorfismo de anillos

Un ideal desempeña, para los anillos, el mismo papel que los subgrupos normales para los grupos.

  • Sean A y B dos anillos y φ un homomorfismo de A en B, entonces el núcleo de φ es un ideal bilátero.
  • Sea A un anillo e I un ideal bilátero de A, entonces la aplicación canónica de A en el anillo cociente A/I es un homomorfismo suprayectivo.
  • Sean A y B dos anillos, y φ un homomorfismo de anillos de A en B. Usemos la notación s para la aplicación canónica de A en el anillo cociente A/I e i para el homomorfismo de φ(A) en B que a b asocia b. Entonces, i es un homomorfismo inyectivo, s es suprayectivo y existe una biyección b tal que:
\phi = i\circ b\circ s


  • Sean A y B dos anillos y φ un homomorfismo de anillos de A en B. Entonces:
  • si I es un ideal bilátero de A, φ(I) es un ideal bilátero de B;
  • si J es un ideal bilátero de B, φ − 1(J) es un ideal bilátero de A. Si, además, J es un ideal primo de B, entonces φ − 1(J) es un ideal primo de A.

Operaciones con ideales

  • Suma : si I y J son dos ideales de un anillo A, entonces se puede comprobar que el conjunto 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, + ), y en segundo lugar tendremos que comprobar que xa\in(I+J),~\forall x\in A,\forall a\in (I+J).
  • En primer lugar, sea 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). Como I,J son ideales, entonces son subgrupos de A y por ende, (x_1-x_2,y_1-y_2)\in I\times J, de manera que z1 + ( − z2) = (x1 − x2) + (y1 − y2) es un elemento del conjunto I + J. Ergo, \forall z_1,z_2\in I+J,~(z_1-z_2)\in I+J, por lo tanto I + J es subgrupo de (A, + ).
  • En segundo lugar, sea z=(x+y)\in I+J. Por ser I,J ideales de A se tiene que (a\cdot x, b\cdot y)\in I\times J, ~\forall a,b\in A. De este modo, a\cdot z=a\cdot(x+y)=a\cdot x+a\cdot y=(a\cdot x)+(a\cdot y). Dado que a\cdot x\in I,~\forall a\in A y lo análogo para a\cdot y, se tiene que a\cdot z\in I+J.
Con esto queda demostrado que era correcta la afirmación enunciada.
  • Intersección : toda intersección de ideales es un ideal.
Demostración: sea una familia de ideales {Ik}, queremos comprobar que I=\bigcap_k I_k es ideal:
  • Comprobemos que es subgrupo del grupo aditivo (A, + ). Sean x,y\in \bigcap_k I_k, entonces se tiene que x,y\in I_k,\forall k. Como los Ik son ideales, entonces x-y\in I_k,\forall k, por lo que a su vez se tiene que x-y\in\bigcap_k I_k=I. Por consiguiente I es subgrupo de (A, + ).
  • Comprobemos ahora que a\cdot x\in I, \forall a\in A,x\in I. Supongamos que x\in I\Rightarrow x\in\bigcap_k I_k \Rightarrow x\in I_k, \forall k. Ahora bien, como los Ik son ideales, sabemos que 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\cdot x\in I, \forall a\in A,x\in I.
Queda con esto demostrado el aserto anterior, i.e., \bigcap_k I_k es ideal, siendo {Ik} una familia arbitraria de ideales de A.
Nota: El conjunto de los ideales de A con estas dos operaciones forma una cadena.
Ideal engendrado : la segunda ley permite poner en juego esta noción. Si P es un subconjunto de un anillo A, se llama ideal engendrado por P a la intersección de todos los ideales de A que contienen a P, notado usualmente como < P > . Se puede comprobar que:
  • P = \{a_1x_1+\dots a_nx_n:a_1,\dots,a_n\in P,~x_1,\dots,x_n\in A\}
  • I+J=<I\cup J> =\bigcap_k\{G_k:G_k \textrm{~es~ideal~en~}A\textrm{~y~} (I\cup J)\subseteq G_k\}
Ejemplos:
  • Para un anillo A, a∈A engendra el ideal aA (por ejemplo n engendra n\mathbb Z, ideal de \mathbb Z)
  • Si I y J son dos ideales de A, el ideal I + J está engendrado por el subconjunto I \cup J de A.


  • Producto : si I y J son dos ideales de un anillo, se llama producto de I y J al ideal \textstyle IJ engendrado por todos los elementos de la forma xy donde x pertenece a I e y pertenece a J. Y se tiene IJ\subset I\cap J
Ejemplo: en el anillo \mathbb Z , el producto de los ideales n\mathbb Z y p\mathbb Z es el ideal np\mathbb Z y este último está incluido en n\mathbb Z \cap p\mathbb Z.
  • Anillo cociente : si I es un ideal bilátero, la relación x \mathcal R y \Leftrightarrow x - y \in I es une relación de equivalencia compatible con las dos leyes del anillo. Se puede crear entonces, sobre el conjunto de las clases \dot x = x + I una estructura de anillo denominada anillo cociente.

Radical de un ideal de un anillo conmutativo

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

Ejemplo: 30\mathbb Z es el radical de 360\mathbb Z

Si A es un anillo conmutativo, entonces tiene las propiedades siguientes:

  • \sqrt{I} \supset I
  • \sqrt{\sqrt{I}}=\sqrt{I}
  • \sqrt{IJ} = \sqrt{I \cap J} = \sqrt{I} \cap \sqrt{J}
  • Si, además, A es unitario, \sqrt{I}=A \Leftrightarrow I = A

Casos particulares

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 ab\in I , si a \notin I entonces existe un entero natural n tal que b^n \in I

Ideal primo: en un anillo comunutativo unitario, I es un ideal primo si y solo si I es distinto de A y, para todos a y b de A tales que ab\in I, si a \notin I entonces b \in I.

P es un ideal primo de A \Leftrightarrow A / P es dominio de integridad.

Ideal irreducible : en un anillo comunutativo 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 es maximal \Leftrightarrow existen exactamente dos ideales que contienen a M, a saber, A y el mismo M.

En un anillo conmutativo unitario, un ideal maximal es necesariamente primo.
el ideal M es un ideal maximal de A si y solo si A / M es un cuerpo.

Véase también


Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Ideal primo — En la teoría de los anillos, una rama del Álgebra abstracta, el concepto de ideal primo es una generalización importante del concepto de número primo. Un ideal primo es un Ideal de un anillo conmutativo o no conmutativo. Los ideales primos tienen …   Wikipedia Español

  • Ideal principal — Este artículo está huérfano, pues pocos o ningún artículo enlazan aquí. Por favor, introduce enlaces hacia esta página desde otros artículos relacionados …   Wikipedia Español

  • Ideal de un anillo — En teoría de anillos, una rama del Álgebra abstracta, un ideal de un anillo R es un subconjunto I de R que es cerrado bajo combinaciones R lineales, de una forma que luego precisaremos. El concepto de un Ideal de un orden que es definido en… …   Enciclopedia Universal

  • Teoría de cantidad de movimiento — Uno o varios wikipedistas están trabajando actualmente en este artículo o sección. Es posible que a causa de ello haya lagunas de contenido o deficiencias de formato. Si quieres, puedes ayudar y editar, pero por favor: antes de realizar… …   Wikipedia Español

  • Teoría del orden — La teoría del orden es una rama de la matemática que estudia varias clases de relaciones binarias que capturan la noción intuitiva del orden matemático. Este artículo da una introducción detallada a este campo e incluye algunas de las… …   Wikipedia Español

  • Ideal primo — En la teoría de los anillos, una rama del Álgebra abstracta, el concepto de ideal primo es una generalización importante del concepto de número primo. Un ideal primo es un Ideal de un anillo conmutativo o no conmutativo. Los ideales primos tienen …   Enciclopedia Universal

  • Homomorfismo de anillos — Un homomorfismo de anillos es una aplicación entre anillos que conserva las estructuras de ambos como anillos. En todo el artículo y son anillos. Contenido 1 Definiciones. 1.1 Caso general …   Wikipedia Español

  • Radical de un ideal — Saltar a navegación, búsqueda En teoría de anillos, una rama de las matemáticas, el radical de un anillo nos muestra ciertas propiedades malas del anillo. Hay diferentes tipos de radicales, como el nilradical o el radical de Jacobson, así como… …   Wikipedia Español

  • Radical de un ideal — En teoría de anillos, una rama de las matemáticas, el radical de un anillo nos muestra ciertas propiedades malas del anillo. Hay diferentes tipos de radicales, como el nilradical o el radical de Jacobson, así como una teoría de propiedades… …   Enciclopedia Universal

  • Emmy Noether — Amalie Emmy Noether Nacimiento 23 de marzo de 1882 Erlangen, Baviera, Alemania Fallecimiento …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”