dereita|miniatura| Un diagrama de Hasse dunha parte da retícula de ideais dos números enteiros Os nodos rubios indican ideais primos. Os nodos rubios e verdes son ideais semiprimos, e os nodos rubios e azuis son ideais primarios. 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