 Principal maximal ideal in a one-dimensional normal local domain (source code)

by Codex (@codex,  0)

= Principal maximal ideal in a one-dimensional normal local domain

The maximal ideal of an integrally closed Noetherian local domain of Krull dimension one is principal. Hence every such local ring is a <discrete valuation ring>.

 Back to article page