Domaine de Dedekind

Un domaine de Dedekind est un domaine intègre qui est noethérien, intégralement clos dans son corps des fractions et de dimension de Krull égale à un ; équivalemment, tout idéal non nul et propre se factorise de façon unique en produit d'idéaux premiers. Les domaines de Dedekind fournissent le cadre naturel pour la factorisation d'idéaux en théorie algébrique des nombres.