direita|miniaturadaimagem|320x320px|Um diagrama de Hasse de uma parte do reticulado de ideais dos inteiros . Os nós roxos indicam ideais primos. Os nós roxos e os nós verdes são ideais semiprimos, e os nós roxos e os nós azuis são ideais primários. Em álgebra, um ideal primo é um subconjunto de um anel que tem várias propriedades em comum com as de um número primo do anel dos inteiros. Os ideais primos para os inteiros são os conjuntos que contém todos os múltiplos de um número primo dado, juntamente com o ideal nulo.
Ideais primitivos são primos, e ideais primos são tanto primários quanto semiprimos.
Ideais primos para anéis comutativos Um ideal P de um anel comutativo é primo se ele possui as duas propriedades a seguir: Se e são elementos de tais que o seu produto é um elemento de , então está em P ou b está em P, P é diferente de todo o anel R. Isto generaliza a seguinte propriedade dos números primos: se é um número primo e se divide um produto de dois inteiros, então divide ou divide . Pode-se então dizer que Um inteiro positivo n é um número primo se e somente se o ideal é um ideal primo de .
Exemplos Se R denota o anel dos polinômios em duas variáveis com coeficientes complexos, então o ideal gerado pelo polinômio é um ideal primo (ver curva elíptica). No anel de todos os polinômios com coeficientes inteiros, o ideal gerado por e X é um ideal primo. Ele consiste de todos os polinômios cujo termo constante é par. Em qualquer anel R, um ideal maximal é um ideal M que é maximal no conjunto de todos os ideais próprios de R, isto é, M está contido em exatamente dois ideais de R, a saber, o próprio M e o anel todo R. Na verdade todo ideal maximal é primo. Em um domínio de ideais principais todo ideal primo não nulo é maximal, mas isso não é verdade em geral. Se M é uma variedade suave, R é o anel de funções reais suaves sobre M, e x é um ponto de M, então o conjunto de todas as funções suaves f com formam um ideal primo (e também um ideal maximal) em R.
Propriedades Um ideal do anel (com unidade) R é primo se e somente se o anel quociente é um domínio de integridade. Em particular, um anel comutativo é um domínio de integridade se e somente se é um ideal primo. Um ideal é primo se e somente se seu complemento é fechado para a multiplicação. Todo anel não nulo contém no mínimo um ideal primo (de fato ele contém pelo menos um ideal maximal), o que é uma consequência direta do teorema de Krull. O conjunto de todos os ideais primos (o espectro de um anel) contém elementos minimais (chamados de primos minimais). Geometricamente, eles correspondem às componentes irredutíveis do espectro. A preimagem de um ideal primo por um homomorfismo de anéis é um ideal primo. A soma de dois ideais primos não é necessariamente um ideal primo. Por exemplo, considere o anel com ideais primos e (os ideais gerados por e x respectivamente). Sua soma no entanto não é um ideal primo: mas seus dois fatores não estão. Alternativamente, note que o anel quociente tem divisores de zero e consequentemente não é um domínio de integridade e assim não pode ser primo. Em um anel comutativo R com pelo menos dois elementos, se todo ideal próprio é primo, então o anel é um corpo. (se o ideal é primo, então o anel R é um domínio de integridade. Se q é qualquer elemento não nulo de R e o ideal é primo, então ele contém q e então q é invertível.) Um ideal principal não nulo é primo se e somente se ele é gerado por um elemento primo. Em um domínio de fatoração única, todo ideal primo não nulo contém um elemento primo.
Usos Um dos uso dos ideais primos é na geometria algébrica, onde variedades são definidas como o conjunto zero de ideais em anéis de polinômios. Acontece que as variedades irredutíveis correspondem a ideais primos. Na abordagem abstrata moderna, começa-se com um anel comutativo arbitrário e transforma-se o conjunto de seus ideais primos, também chamado de seu espectro, em um espaço topológico e pode-se, então, definir generalizações de variedades chamadas de esquemas, que encontram aplicações não só na geometria, mas também na teoria dos números.
A introdução dos ideais primos na teoria algébrica dos números foi um grande avanço: percebeu-se que a importante propriedade da fatoração única expressa no teorema fundamental da aritmética não vale em todo anel de inteiros algébricos, mas foi encontrado um substituto quando Richard Dedekind substituiu elementos por ideais e elementos primos por ideais primos; ver domínio de Dedekind.
Ideais primos para anéis não comutativos A noção de ideal primo pode ser generalizada para anéis não comutativos usando a definição comutativa "por-ideais". Wolfgang Krull avançou esta ideia em 1928.Krull, Wolfgang, Primidealketten in allgemeinen Ringbereichen, Sitzungsberichte Heidelberg. O conteúdo a seguir pode ser encontrada em textos como (Goodearl 2004) e (Lam, 2001). Se R é um anel (possivelmente comutativo) e P é um ideal em R diferente do próprio R, dizemos que P é primo se para quaisquer dois ideais A e B de R: Se o produto de ideais está contido em , então pelo menos um dos ideais A e B está contido em P. Pode ser mostrado que esta definição é equivalente à comutativa no caso de anéis comutativos. É facilmente verificado que, se um ideal de um anel não comutativo R satisfaz a definição comutativa de primo, então ele também satisfaz a versão não comutativa. Um ideal P satisfazendo a definição comutativa de primo é às vezes chamado de ideal completamente primo para distingui-lo de outros ideais meramente primos no anel. Ideais completamente primos são ideais primos, mas a recíproca não é verdadeira. Por exemplo, o ideal zero no anel das matrizes sobre um corpo é um ideal primo, mas não é completamente prime.
Isto é próximo do ponto de vista histórico de ideais como números ideais, já que para o anel " está contido em " é outra maneira de dizer " divide ", e o ideal unidade representa a unidade.
Formulações equivalentes do ideal ser primo incluem as seguintes propriedades: Para quaisquer a e b em R, implica ou . Para quaisquer dois ideais à direita de R, implica ou . Para quaisquer dois ideais à esquerda de R, implica ou . Para quaisquer elementos a e b de R, se , então ou . Ideais primos em anéis comutativos são caracterizados por ter complementos fechados multiplicativamente em R, e com ligeira modificação, pode ser formulada uma caracterização semelhante para ideais primos em anéis não comutativos. Um subconjunto não vazio é chamado de m-sistema se para quaisquer a e b em S, existe r em R tal que arb está em S.Obviamente conjuntos fechados multiplicativamente são m-sistemas. Pode-se então acrescentar o item a seguir à lista de condições equivalentes acima: O complemento é um m-sistema.
Exemplos Qualquer ideal primitivo é primo. Tal como no caso de anéis comutativos, os ideais maximais são primos, e ideais primos também contém ideais primos minimais. Um anel é um anel primo se, e somente se, o ideal zero é um ideal primo, e além disso um anel é um domínio se, e somente se, o ideal zero é um ideal completamente primo. Outro fato da teoria comutativa que se repete na teoria não comutativa é que se é um módulo diferente de zero, e é um elemento maximal no poset de ideais anuladores de submódulos de , então é primo.
Fatos importantes Lema da evitação dos ideais primos. Se é um anel comutativo, e é um subanel (possivelmente sem unidade), e é uma coleção de ideais de R com, no máximo, dois membros não primos, então se Um não está contido em qualquer , ele também não está contido na união de .Jacobson Basic Algebra II, p. 390 Em particular, Um poderia ser um ideal de R. Se S é qualquer m-sistema em R, então um lema essencialmente devido a Krull mostra que existe um ideal de maximal em relação a ser disjunto de , e que além disso deve ser um ideal primo.Lam First Course in Noncommutative Rings, p. 156 No caso em que tem-se o teorema de Krull, e este recupera os ideais maximais de R. Outro protótipo de m-sistema é o conjunto de todas as potências positivas de elemento não-nilpotente. Para um ideal primo P, o complemento tem outra propriedade além de ser um m-sistema. Se xy está em , então tanto x quanto y devem estar em , pois P é um ideal. Um conjunto que contém os divisores de seus elementos é chamado de saturado. Para um anel comutativo R, existe uma espécie de recíproca para a afirmação anterior: Se S é qualquer conjunto não vazio de R saturado e fechado multiplicativamente, o complemento é uma união de ideais primos de R.Kaplansky Commutative rings, p. 2 A intersecção dos membros de uma cadeia descendente de ideais primos é um ideal primo, e em um anel comutativo a união dos membros de uma cadeia ascendente de ideais primos é um ideal primo. Com o Lema de Zorn, estas observações implicam que o poset de ideais primos de um anel comutativo (ordenado parcialmente por inclusão) tem elementos maximal e minimal.
Conexão com a maximalidade Ideais primos frequentemente podem ser produzidos como elementos maximais de determinadas coleções de ideais. Por exemplo: Um ideal maximal com respeito a ter intersecção vazia com um m-sistema fixo é primo. Um ideal maximal entre os anuladores de submódulos de um R módulo fixo M é primo. Em um anel comutativo, um ideal maximal com respeito a não ser principal é primo.Kaplansky Commutative rings, p. 10, Ex 10. Em um anel comutativo, um ideal maximal com respeito a não ser contavelmente gerado é primo.Kaplansky Commutative rings, p. 10, Ex 11.
Leitura complementar
Categoria:Ideais