Usuario:B0morphism/Ideal primo

Diagrama de Hasse de una parte del retículo de los ideales de los números enteros. Los nodos morados indican ideales primos. Los nodos morados y verdes son ideales semiprimos, y los nodos morados y azules son ideales primarios.
Para generalizar el Teorema Fundamental de la Aritmética de los números enteros (descomposición única en primos) a cualquier anillo de enteros algebraicos, J. W. R. Dedekind introdujo el concepto de ideales.

En álgebra abstracta, un ideal primo es un subconjunto de un anillo que presenta muchas de las propiedades importantes de los números primos en el anillo de los números enteros.[1][2]​ Los ideales primos del anillo de los números enteros son los subconjuntos formados por todos los múltiplos de un número primo dado, junto con el ideal cero.

Todos los ideales primitivos son primos, y los ideales primos son tanto primarios como semiprimos.

Ideales primos en anillos conmutativos

editar

Definición

editar

Un ideal P de un anillo conmutativo   es primo si tiene las siguientes dos propiedades:

  • Para cualquier par de elementos   y   del anillo   tales que su producto   pertenece a  , o bien   está en   o bien   está en   (o ambos lo están).
  •   no es todo el anillo  .

Esto generaliza la siguiente propiedad de los números primos, conocida como lema de Euclides: si   es un número primo que divide al producto   de dos números enteros, entonces   divide   o   divide  . Por lo tanto, se puede decir que

Un entero positivo   es un número primo si y sólo si   es un ideal primo de  .

Ejemplos

editar
  • Ejemplo sencillo: en el anillo  , el subconjunto de los números pares es un ideal primo.
  • Dado un dominio de integridad  , cualquier elemento primo   genera un ideal principal primo  . Por ejemplo, el generado por un polinomio irreducible   en un anillo de polinomios   sobre algún cuerpo   . El criterio de Eisenstein puede usarse para determinar si cierto polinomio es irreducible.
  • Si   denota el anillo   de polinomios en dos variables con coeficientes complejos, entonces el ideal generado por el polinomio   es un ideal primo (véase curva elíptica).
  • En el anillo   de todos los polinomios con coeficientes enteros, el ideal generado por   y   es un ideal primo. Este ideal consiste en todos los polinomios que se pueden expresar como   multiplicado por un elemento de   sumado a   multiplicado por otro polinomio en   (lo cual convierte el coeficiente constante del último polinomio en un coeficiente lineal). Por lo tanto, el ideal resultante consiste en todos aquellos polinomios cuyo coeficiente constante es par.
  • En cualquier anillo  , todo ideal maximal es primo. Un ideal maximal es un ideal   que es maximal en el conjunto de todos los ideales propios de  , es decir,   está contenido en exactamente dos ideales de  : el propio   y el total  . En un dominio de ideales principales, todo ideal primo distinto de cero es maximal, pero esto no es cierto para cualquier anillo. Para el DFU  , el Teorema de los ceros de Hilbert afirma que todo ideal maximal es de la forma  , con  .
  • Si   es una variedad diferenciable,   es el anillo de funciones reales suaves sobre   y   es un punto de  , entonces el conjunto de todas las funciones suaves   tales que   forma un ideal primo (de hecho maximal) de  .

Contraejemplos

editar
 
Aunque los dos primeros anillos son dominios de integridad (de hecho el primero es un DFU), el último no lo es, ya que es isomorfo a
 
por el teorema chino del resto, porque   factoriza como  .
Esto implica la existencia de divisores de cero en el anillo cociente y demuestra que el ideal   no es primo. (Véase la primera propiedad listada a continuación.)
  • Otro contraejemplo es el ideal  , ya que se tiene
 
pero ni   ni   son elementos del ideal, por lo que este no es primo.

Propiedades

editar
  • Un ideal   en el anillo   (con unidad) es primo si y sólo si el anillo cociente   es un dominio de integridad. En particular, un anillo conmutativo (con unidad) es un dominio de integridad si y sólo si el ideal   es primo. (Nótese que el anillo trivial no tiene ideales primos, porque el ideal   es el anillo completo).
  • Un ideal   es primo si y sólo si su conjunto complementario es multiplicativamente cerrado.[3]
  • Todo anillo no trivial contiene al menos un ideal primo (de hecho, contiene al menos un ideal maximal), como consecuencia directa del teorema de Krull.
  • La preimagen de un ideal primo bajo un homomorfismo de anillos es un ideal primo. El análogo no siempre es cierto para ideales maximales, lo cual es una de las razones por las que en geometría algebraica se define el espectro de un anillo como su conjunto de ideales primos en lugar de ideales maximales; se desea que un homomorfismo de anillos induzca una función entre sus espectros.
  • El conjunto de todos los ideales primos (llamado el espectro del anillo) contiene elementos mínimos (llamados ideales primos minimales). Geométricamente, estos corresponden a componentes irreducibles del espectro.
  • El ideal que resulta de la suma de dos ideales primos no es necesariamente primo. Por ejemplo, considérese el anillo   con los ideales primos   y   (los ideales generados por   y   respectivamente). Sin embargo, su suma   no es un ideal primo:  , pero ninguno de los dos factores está en la suma. Alternativamente, el anillo cociente tiene divisores de cero, por lo que no es un dominio de integridad y por tanto   no puede ser primo.
  • No todo ideal que no pueda factorizarse en dos ideales es un ideal primo; por ejemplo   no se puede factorizar pero no es primo.
  • En un anillo conmutativo   no trivial, si todo ideal propio es primo, entonces el anillo es un cuerpo. (Si el ideal   es primo, entonces el anillo   es un dominio de integridad. Si   es un elemento de   distinto de cero y el ideal   es primo, entonces contiene a   y por tanto   es invertible.)
  • Un ideal principal distinto de cero es primo si y sólo si está generado por un elemento primo. En un DFU, todo ideal primo distinto de cero contiene un elemento primo.

Uno de los usos de los ideales primos se da en geometría algebraica, donde una variedad algebraica se define como el conjunto de puntos donde se anulan todos los polinomios de un ideal de un anillo de polinomios. Resulta que las variedades irreducibles corresponden a ideales primos. En el enfoque abstracto moderno, se parte de un anillo conmutativo arbitrario y se convierte el conjunto de sus ideales primos, también llamado su espectro, en un espacio topológico, y así se pueden definir generalizaciones de las variedades llamadas esquemas, que tienen aplicaciones no sólo en geometría, sino también en teoría de números.

La introducción de los ideales primos en la teoría algebraica de números fue un gran paso adelante. La importante propiedad de factorización única de los enteros en factores primos, expresada en el teorema fundamental de la aritmética, no se cumple en todos los anillos de enteros algebraicos. Sin embargo, se encontró un sustituto general a este resultado cuando Richard Dedekind reemplazó los elementos por ideales y los elementos primos por ideales primos; véase dominio de Dedekind.

Ideales primos en anillos no conmutativos

editar

La noción de ideal primo se puede generalizar a anillos no conmutativos utilizando una definición análoga a la conmutativa, reemplazando elementos por ideales. Wolfgang Krull propuso esta idea en 1928.[4]​ La siguiente definición puede encontrarse en textos como Goodearl[5]​ y Lam.[6]​ Si   es un anillo (posiblemente no conmutativo) y   es un ideal propio de  , se dice que   es primo si para cualesquiera dos ideales   y   de  :

  • Si el producto de dos ideales   está contenido en  , o bien   está contenido en   o bien   está contenido en   (o ambos lo están).

Se puede demostrar que esta definición es equivalente a la dada por elementos para el caso de anillos conmutativos. Se puede comprobar que si un ideal de un anillo no conmutativo satisface la definición conmutativa de primo, entonces también satisface la versión no conmutativa. Un ideal que satisface la definición conmutativa de primo se denomina a veces ideal completamente primo, para distinguirlo de los otros ideales meramente primos del anillo. Los ideales completamente primos son ideales primos, pero el recíproco no siempre es cierto. Por ejemplo, el ideal cero   del anillo de matrices   sobre un cuerpo es un ideal primo, pero no es completamente primo.

Esto se aproxima más al punto de vista histórico de los ideales como números ideales, puesto que para el anillo  , "  está contenido en  " es otra forma de decir “  divide a  ”, y el ideal total   representa la unidad.

Las siguientes propiedades también son equivalentes a que el ideal   sea primo:

  • Para todo par de elementos   y   de  , la inclusión   implica   o  .
  • Para todo par de ideales por la derecha   y   de  , la inclusión   implica   o  .
  • Para todo par de ideales por la izquierda   y   de  , la inclusión   implica   o  .
  • Para todo par de elementos   y   de  , la inclusión   implica   o  .

Los ideales primos en anillos conmutativos se caracterizan por tener complementos multiplicativamente cerrados en   y, con ligeras modificaciones, se puede formular una caracterización similar para ideales primos en anillos no conmutativos. Un subconjunto no vacío   se llama un m-sistema si para cualesquiera   y   en  , existe   en   tal que   está en S.[7]​ La siguiente propiedad se puede añadir a la lista de condiciones equivalentes anterior:

  • El complemento   es un m-sistema.

Ejemplos

editar
  • Todo ideal primitivo es primo.
  • Al igual que en los anillos conmutativos, los ideales maximales son primos, y el conjunto de ideales primos también contiene ideales primos minimales.
  • Un anillo es un anillo primo si y sólo si el ideal cero es un ideal primo, y un anillo es un dominio si y sólo si el ideal cero es un ideal completamente primo.
  • Si   es un  -módulo distinto de cero y   es un elemento maximal en el conjunto parcialmente ordenado de ideales aniquiladores de submódulos de  , entonces   es primo.

Propiedades importantes

editar
  • Lema de evitación de primos. Si   es un anillo conmutativo, y   es un subanillo (posiblemente sin unidad) e   es una colección de ideales de   con a lo sumo dos de ellos no primos, entonces si   no está contenido en ningún  , tampoco está contenido en la unión   de todos ellos.[8]​En particular,   puede ser un ideal de  .
  • Si   es un subconjunto multiplicativamente cerrado de  , entonces un lema debido a Krull afirma que existe un ideal de   tal que es maximal con respecto a ser disjunto de  , y además dicho ideal es primo. En el caso  , se tiene el teorema de Krull, que recupera los ideales maximales de  . Otro sistema multiplicativamente cerrado típico es el conjunto   de todas las potencias positivas de un elemento no nilpotente.[9]
  • Para un ideal primo  , el complemento   tiene otra propiedad además de ser un sistema multiplicativamente cerrado: si   está en  , entonces tanto   como   deben estar en  , ya que   es un ideal. Un conjunto que contiene los divisores de todos sus elementos se llama saturado. Si el anillo   es conmutativo, el recíproco de la afirmación anterior también es cierto: si   es un subconjunto saturado no vacío y multiplicativamente cerrado de  , el complemento   es una unión de ideales primos de  .[10]
  • La intersección de todos los miembros de una cadena descendente de ideales primos es un ideal primo, y en un anillo conmutativo la unión de todos los miembros de una cadena ascendente de ideales primos es un ideal primo. Por el lema de Zorn, estas observaciones implican que el conjunto de ideales primos de un anillo conmutativo (parcialmente ordenado por inclusión) tiene elementos maximales y minimales.

Relación con la maximalidad

editar

Los ideales primos pueden construirse como elementos maximales de ciertas colecciones de ideales. Por ejemplo:

  • Un ideal tal que es maximal entre aquellos que tienen intersección vacía con un conjunto multiplicativamente cerrado fijo es primo.
  • Un ideal tal que es maximal entre los ideales aniquiladores de submódulos de un  -módulo fijo   es primo.
  • En un anillo conmutativo, un ideal tal que es maximal entre los no principal (es decir, un ideal maximal) es primo.[11]
  • En un anillo conmutativo, un ideal tal que es maximal entre los que no son contablemente generados es primo.[12]

Véase también

editar

Referencias

editar
  1. Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (3rd edición). John Wiley & Sons. ISBN 0-471-43334-9. 
  2. Lang, Serge (2002). Algebra. Graduate Texts in Mathematics. Springer. ISBN 0-387-95385-X. 
  3. Reid, Miles (1996). Undergraduate Commutative Algebra. Cambridge University Press. ISBN 0-521-45889-7. 
  4. Krull, Wolfgang, Primidealketten in allgemeinen Ringbereichen, Sitzungsberichte Heidelberg. Akad. Wissenschaft (1928), 7. Abhandl.,3-14.
  5. Goodearl, An Introduction to Noncommutative Noetherian Rings
  6. Lam, First Course in Noncommutative Rings
  7. Obviamente, los conjuntos multiplicativamente cerrados son m-sistemas.
  8. Jacobson Basic Algebra II, p. 390
  9. Lam First Course in Noncommutative Rings, p. 156
  10. Kaplansky Commutative rings, p. 2
  11. Kaplansky Commutative rings, p. 10, Ex 10.
  12. Kaplansky Commutative rings, p. 10, Ex 11.

Enlaces externos

editar