In a principal ideal domain, every nonzero prime ideal is maximal. Indeed, write it as with . If , then . Primality gives , hence , or , say , in which case cancellation gives and .
Thus every prime chain has length at most one. If the principal ideal domain is not a field, choose a nonzero nonunit and a maximal ideal . Then is a prime chain of length one, so the Krull dimension is one. A field instead has Krull dimension zero.
Articles by others on the same topic
There are currently no matching articles.