Les idéaux de l'anneau K[X]/ < P > sont les < Q >/< P > tels que QP.
Ainsi, si P est irréductible, K[X]/ < P > n'a donc pour idéaux que {0} et lui-même, c'est donc un corps.
Réciproquement, si K[X]/ < P > est un corps, P est irréductible.
En algèbre, un anneau est un ensemble muni de deux lois de composition interne appelées addition et multiplication, qui vérifient des propriétés analogues à celles de ces opérations sur les entiers relatifs.
Si un anneau est un corps commutatif, alors il est intègre.
La réciproque est, en général, fausse (l'anneau des entiers relatifs est un contre-exemple) mais est vraie dans le cas des anneaux finis (voir infra).
L'ensemble des nombres décimaux est un anneau intègre qui n'est pas un corps.