Ideal primo

En álxebra, un ideal primo é un subconxunto dun anel que comparte moitas propiedades importantes dun número primo do anel de enteiros. Os ideais primos para os enteiros son os conxuntos que conteñen todos os múltiplos dun número primo dado, xunto co ideal cero.

Os ideais primitivos son primos e os ideais primos son tanto primarios como semiprimos.

 Ideais primos para aneis conmutativos 

 Definición 
Un  ideal  dun anel conmutativo  é primo se ten as dúas propiedades seguintes:

 Se  e  son dous elementos de  tal que o seu produto  é un elemento de , entón  está en  ou  está en  ,
  non é todo o anel  .

Isto xeneraliza a seguinte propiedade dos números primos, coñecida como lema de Euclides: se  é un número primo e se  divide un produto  de dous enteiros, entón  divide  ou  divide . Por iso podemos dicir

 Un enteiro positivo  é un número primo se e só se  é un ideal primo en 

 Exemplos 

 Un exemplo sinxelo: No anel  o subconxunto dos números pares son un ideal primo.
 Dado un dominio de integridade , calquera elemento primo  xera un ideal primo principal . Por exemplo, tomemos un polinomio irredutíbel  nun anel polinómico  sobre algún corpo . O criterio de Eisenstein para dominios de integridade (de aí UFD) pode ser eficaz para determinar se un elemento nun anel polinómico é irredutíbel.
 Se  denota o anel  de polinomios en dúas variables con coeficientes complexos, entón o ideal xerado polo polinomio  é un ideal primo (ver curva elíptica).
 No anel  de todos os polinomios con coeficientes enteiros, o ideal xerado por  e  é un ideal primo. O ideal consiste en todos os polinomios construídos tomando  veces un elemento de  e engadilo a outro polinomio   veces en  (que converte o coeficiente constante no último polinomio nun coeficiente linear). Polo tanto, o ideal resultante consiste en todos aqueles polinomios cuxo coeficiente constante é par.
 En calquera anel , un ideal maximal é un ideal  que é maximal no conxunto de todos os ideais propios de , é dicir,  está contido en dous ideais de , a saber  mesmo e todo o anel .Todos os ideais maximais son primos. En un dominio de ideais principais cada ideal primo diferente de cero é maximal, pero isto non é certo en xeral. Para o UFD (dominio de factorización única)  teorema nullstellensatz de Hilbert afirma que cada ideal maximal é da forma 
 Se  é un variedade suave,  é o anel de funcións reais suaves en  e,  é un punto en , entón o conxunto de todas as funciónssuaves   con  forma un ideal primo (mesmo un ideal maximal) en .

 Non exemplos 

 Considere a composición dos dous cocientes seguintes


 Aínda que os dous primeiros aneis son dominios de integridade (de feito o primeiro é un UFD) o último non é un dominio de integridade xa que é isomorfo a

 posto que  factoriza en , o que implica a existencia de divisores de cero no anel cociente, evitando que sexa isomorfo a  e en cambio ao dominio non de integridade  (polo teorema chinés do resto ).
 Isto demostra que o ideal  non é primo. (Consulte a primeira propiedade que aparece a continuación).

 Outro non exemplo é o ideal  xa que temos


 mais ningún de  e  son elementos do ideal.

 Propiedades 

 Un ideal  no anel  (con unidade) é primo se e só se o anel cociente  é un dominio de integridade. En particular, un anel conmutativo (con unidade) é un dominio de integridade se e só se  é un ideal primo. (Note que o anel cero non ten ideais primos, porque o ideal (0) é todo o anel).
 Un ideal  é primo se e só se o seu conxunto complemento é multiplicativamente pechado.
 Cada anel diferente de cero contén polo menos un ideal primo (de feito contén polo menos un ideal maximal), que é unha consecuencia directa do Teorema de Krull.
 Máis en xeral, se  é calquera conxunto multiplicativamente pechado en , entón un lema esencialmente debido a Krull mostra que existe un ideal de  maximal respecto ao ser disxunto de , e a maiores o ideal debe ser primo. Isto pode ser xeneralizado a aneis non comutativos. No caso  temos o Teorema de Krull, e isto cobre os ideais maximais de . Outro m-sistema prototipo é o conxunto,  de todos as potencias positivas dun elemento  non-nilpotente.
 A preimaxe dun ideal primo baixo un homomorfismo de aneis é un ideal primo. O feito análogo non sempre é certo para ideais maximais, que é unha das razóns polas que os xeómetras alxébricos definen o espectro dun anel como o seu conxunto de ideais primos en vez de maximais; preténdese que un homomorfismo de aneis dea un mapa entre os seus espectros.
 O conxunto de todos os ideais primos (chamado o espectro dun anel) contén elementos minimais (chamados ideais primos minimais). Xeometricamente, estes corresponden a compoñentes irreductíbeis do espectro.
 A suma de dous ideais primos non é necesariamente primo. Por exemplo, considere o anel  con ideais primos  e  (os ideais xerados por  e  respectivamente). A súa suma , porén, non é primo:  pero os seus dous factores non o son. Alternativamente, o anel cociente ten divisores de cero así que non é un dominio de integridade e, polo tanto,  non pode ser primo.
 Non todos os ideais que non poden ser factorizados en dous ideais son un ideal primo; por exemplo,  non se pode factorizar, mais non é primo.
 Nun anel conmutativo  con polo menos dous elementos, se cada ideal propio é primo, entón o anel é un corpo. (Se o ideal  é primo, entón o anel  é un dominio de integridade. Se  é calquera elemento non cero de  e o ideal  é primo, entón contén  e por tanto  é invertíbel).
 Un ideal principal diferente de cero é primo se e só se é xerado por un elemento primo. Nun UFD, cada ideal primo diferente de cero contén un elemento primo.

 Notas 


 Véxase tamén 

 Bibliografía 

 Outros artigos 
Ideal radical
Ideal maximal
Teorema de Dedekind–Kummer
Corpo de residuos
 Ligazóns externas 

categoría: álxebra abstracta