nLab discrete valuation ring




A discrete valuation ring is a principal ideal domain which has exactly one non-zero maximal ideal. This means that it is a local principal ideal domain, or equivalently, a local integral domain with a Dedekind-Hasse norm.


Every discrete valuation ring is a local integral domain.

The ring of formal power series of a field is a discrete valuation ring.

See also


See also:

Last revised on January 12, 2023 at 17:44:54. See the history of this page for a list of all contributions to it.