 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