Commutatif,
tout idéal est de type fini,
toute suite croissante d'idéaux
est ultimement stationnaire,
tout quotient est noethérien,
noethérien.
Intègre
Commutatif,
est un idéal premier,
associé à ,
le quotient par la relation d'association
est isomorphe pour l'ordre à l'ensemble
des idéaux,
est intègre
avec ouvert connexe,
quotient d'un anneau par un idéal premier
Factoriel
Intègre,
irréductible premier,
lemme d'Euclide,
th. de Gauss
Principal
Factoriel, noethérien,
les idéaux sont et les avec
irréductible
avec
corps
Euclidien
Principal
,
,
,
Corps
Seuls idéaux : et
avec premier,
,
,
,
,
avec corps,
corps des fractions d'un
anneau intègre