Dominio di Dedekind

In algebra astratta, un anello di Dedekind (o dominio di Dedekind) è una struttura algebrica che estende il concetto di fattorizzazione in numeri primi proprio dei numeri interi, e più in generale degli anelli: in un anello di Dedekind è possibile fattorizzare ciascun ideale nel prodotto di ideali primi. Il nome di questi anelli deriva da quello del matematico Richard Dedekind, che per primo utilizzò la definizione, anche se queste proprietà furono utilizzate già da Ernst Kummer nello studio del teorema di Fermat.