1 Ideal

Em teoria dos aneis, um ramo da algebra abstrata, um ideal e um subconjunto especial de

um anel. O conceito generaliza de uma maneira apropriada algumas importantes proprie-
dades dos inteiros como numero pare multiplo de 3. Por exemplo, em aneis estuda-se
ideais primos ao inves de numeros primos, define-se ideais coprimos como generalizacoes
dos numeros coprimos e pode-se provar um teorema do resto chines para ideais. Nos
domnios de Dedekind, importante classe de aneis para a teoria dos numeros, pode-se
inclusive imitar-se uma versao do teorema fundamental da aritmetica. Nesses aneis, todo
ideal nao-zero pode ser escrito como um produto unico de ideais primos. Um ideal pode
ser usado para a construcao de um anel quociente da mesma forma que um subgrupo
normal pode ser usado para a construcao de um grupo quociente.

Definicao: Seja J Z, dizemos que J e um ideal de Z se:

1. 0 J

2. x, y J = x + y J

3. x J = x J

4. r Z, x J = rx J