Principal maximal ideal in a one-dimensional normal local domain

ID: 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.

New to topics? Read the docs here!