Umdomínio de integridade (ouanel de integridade)é umanel
com as seguintes propriedades adicionais:
(elemento neutro)
(comutatividade)
(não existemdivisores de zero)
- O conjunto dosnúmeros inteiros

- Todocorpo é um domínio de integridade
- Analogamente, todo domínio de integridade finito é um corpo: sejaa um elemento não-nulo de um domínio de integridade finitoD. Então a função
éinjetiva (caso contrário,f(x) = f(y),a x = a y logoa (x - y) = 0 eD teria divisores de zero), logo sobrejetiva, portanto existeb tal que f(b) = 1. - Para qualquercorpo ou domínio de integridade D, o anel dospolinômios D[x] é um domínio de integridade.
- Os anéis finitos
não são domínios de integridade quandon for umnúmero composto, porque sendo
então em
Quandon for umnúmero primo,
é um corpo (logo, é um domínio de integridade).
Para todo domínio de integridadeD existe um corpoK,
tal que todo elemento deK pode ser escrito da formaa/b, sendo
Este é ocorpo de frações deD, e éúnico no seguinte sentido algébrico: se
é outro corpo
em que todo elemento de
pode ser escrito comoa/b com
entãoK e
sãoisomorfos.