anello di valutazione

In algebra, un anello di valutazione (o dominio di valutazione) è un anello commutativo unitario integro A tale che, per ogni x nel suo campo dei quozienti, almeno uno tra e è in A; equivalentemente, è un anello commutativo integro i cui ideali sono totalmente ordinati. Esempi di anelli di valutazione sono le localizzazioni di e di (dove K è un campo) su un loro ideale primo, oppure l'anello degli interi p-adici per un numero primo p, o ancora l'anello delle serie formali su un campo. Una versione "globale" degli anelli di valutazione sono i domini di Prüfer, che sono quegli anelli in cui, per ogni ideale primo P, la localizzazione AP è un anello di valutazione.