nLab discrete valuation ring

Redirected from "discrete-valuation ring".
Contents

Contents

Idea

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.

 Properties

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

References

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.