In abstract algebra, a discrete valuation ring (DVR) is a principal ideal domain (PID) with exactly one non-zero maximal ideal.
This means a DVR is an integral domain R that satisfies any one of the following equivalent conditions:
R is a local principal ideal domain, and not a field.
R is a valuation ring with a value group isomorphic to the integers under addition.
R is a local Dedekind domain and not a field.
R is a Noetherian local domain whose maximal ideal is principal, and not a field.[1]
R is an integrally closed Noetherian local ring with Krull dimension one.
R is a principal ideal domain with a unique non-zero prime ideal.
R is a principal ideal domain with a unique irreducible element (up to multiplication by units).
R is a unique factorization domain with a unique irreducible element (up to multiplication by units).
R is Noetherian, not a field, and every nonzero fractional ideal of R is irreducible in the sense that it cannot be written as a finite intersection of fractional ideals properly containing it.
There is some discrete valuation ν on the field of fractions K of R such that R = {0} {xK : ν(x) ≥ 0}.
^"ac.commutative algebra - Condition for a local ring whose maximal ideal is principal to be Noetherian". MathOverflow.
and 25 Related for: Discrete valuation ring information
In abstract algebra, a discretevaluationring (DVR) is a principal ideal domain (PID) with exactly one non-zero maximal ideal. This means a DVR is an...
a discretevaluationring. Conversely, the valuation ν : A → Z ∪ { ∞ } {\displaystyle \nu :A\rightarrow \mathbb {Z} \cup \{\infty \}} on a discrete valuation...
terminology, a field K {\displaystyle K} with valuation v {\displaystyle v} is said to be Henselian if its valuationring is Henselian. That is the case if and...
local ring. These have (Krull) dimension 0. In fact, the fields are exactly the regular local rings of dimension 0. Any discretevaluationring is a regular...
even a discretevaluationring is not necessarily Japanese. Any quasi-excellent ring is a Nagata ring, so in particular almost all Noetherian rings that...
ring over k. Broadly speaking, regular local rings are somewhat similar to polynomial rings. Regular local rings are UFD's. Discretevaluationrings are...
local field if it is complete with respect to a topology induced by a discretevaluation v and if its residue field k is finite. Equivalently, a local field...
maximal ideal of A is principal. A is a discretevaluationring (equivalently A is Dedekind.) A is a regular local ring. Let A be a noetherian integral domain...
nonzero ring in which every element is either a unit or nilpotent is a local ring. An important class of local rings are discretevaluationrings, which...
{\displaystyle R_{M}} is a Dedekind ring. But a local domain is a Dedekind ring iff it is a PID iff it is a discretevaluationring (DVR), so the same local characterization...
a Cohen ring with the same residue field as the local ring. A Cohen ring is a field or a complete characteristic zero discretevaluationring whose maximal...
x -1 ∈ O. Each such valuationring is a discretevaluationring and its maximal ideal is called a place of K/k. A discretevaluation of K/k is a surjective...
Voting Right, a kind of equity share Digital video recorder DiscretevaluationringDiscrete variable representation Distance-vector routing Direct volume...
its injective hull. The injective hull of the residue field of a discretevaluationring ( R , m , k ) {\displaystyle (R,{\mathfrak {m}},k)} where m = x...
Then A {\displaystyle A} is a Krull ring if A p {\displaystyle A_{\mathfrak {p}}} is a discretevaluationring for all p ∈ P {\displaystyle {\mathfrak...
series P and Q, f (P) ≤ f (Q) if and only if P divides Q. Any discretevaluationring. Define f (x) to be the highest power of the maximal ideal M containing...
{\displaystyle K[[X]]} is a discretevaluationring. The metric space ( R [ [ X ] ] , d ) {\displaystyle (R[[X]],d)} is complete. The ring R [ [ X ] ] {\displaystyle...
matters. (For a discretevaluationring the topological space in question is the Sierpinski space of topologists. Other local rings have unique generic...
the original paper by Faltings, V was the integral closure of a discretevaluationring in the algebraic closure of its quotient field, and m its maximal...
elements. Zp is an example of a complete discretevaluationring of mixed characteristic. The integers, the ring of integers of any number field, and any...
example is the discrete two-point space. On the other hand, a finite set might be connected. For example, the spectrum of a discretevaluationring consists...