In algebra, un anello di valutazione discreta (spesso indicato con la sigla DVR, dall'inglese discrete valuation ring) è un anello commutativo unitario molto semplice. Può essere definito in molti modi equivalenti:
- A è un anello locale e un dominio ad ideali principali che non è un campo;
- A è un anello di valutazione con valutazione sul gruppo dei numeri interi (da cui il nome);
- A è un anello di valutazione noetheriano;
- A è un anello locale e un dominio di Dedekind;
- A è un anello locale noetheriano di dimensione 1, il cui ideale massimale è principale;
- A è un anello locale noetheriano integralmente chiuso di dimensione 1;
- A è un dominio ad ideali principali con un unico ideale primo non nullo;
- A è un dominio ad ideali principali con un unico elemento irriducibile (a meno di moltiplicazioni per un'unità dell'anello);
- A è un dominio a fattorizzazione unica con un unico elemento irriducibile (a meno di moltiplicazioni per un'unità dell'anello);
- A è un anello locale, non è un campo e ogni ideale frazionario non nullo è irriducibile.
Così come i domini di Prüfer sono la versione "globale" degli anelli di valutazione, i domini di Dedekind sono una versione "globale" degli anelli di valutazione discreta: più precisamente, questi ultimi sono quegli anelli noetheriani in cui, per ogni ideale primo P, la localizzazione AP è un anello di valutazione discreta.
Esempi di anelli a valutazione discreta sono gli anelli
dove p è un numero primo; oppure l'anello delle serie formali K[[X]] su un campo K.
A volte, l'espressione anello di valutazione discreta è usata in senso più generale per indicare gli anelli di valutazione il cui gruppo dei valori è .
Proprietà
[modifica | modifica wikitesto]Il generatore π dell'ideale massimale di A è, a meno di moltiplicazioni per elementi invertibili, l'unico elemento irriducibile dell'anello. Ogni altro ideale è generato da una sua potenza; di conseguenza, ogni elemento dell'anello può essere espresso - in maniera unica - come , dove u è invertibile in A e r è un numero naturale. Poiché inoltre A è un anello di valutazione, ogni elemento del suo campo dei quozienti che non è in A ha l'inverso in A; dunque ogni elemento di K può essere espresso - di nuovo in modo unico - come , dove questa volta r può essere un qualsiasi numero intero.
Bibliografia
[modifica | modifica wikitesto]- (EN) Michael Atiyah e Ian G. Macdonald, Introduction to Commutative Algebra, Westview Press, 1969, ISBN 0-201-40751-5.
Collegamenti esterni
[modifica | modifica wikitesto]- (EN) V.I. Danilov, Discretely-normed ring, in Encyclopaedia of Mathematics, Springer e European Mathematical Society, 2002.