Solution

ID: past-exam-of-the-commutative-algebra-course-of-the-university-of-oxford/2017/3/a/solution

The Krull dimension of a commutative ring is
The length of a prime chain counts strict inclusions, rather than the number of prime ideals.
Let be a principal ideal domain that is not a field. We first show that every nonzero prime ideal is a maximal ideal. Write such a prime ideal as with , and suppose . Then for some . Since , either , in which case , or . In the second case for some , and gives by multiplicative cancellation in an integral domain. Thus . This proves maximality.
Since is an integral domain, is a prime ideal, and every other prime ideal is maximal. Consequently every prime chain has length at most one. For the opposite inequality, choose a nonzero nonunit , which exists because is not a field. The proper principal ideal is contained in a maximal ideal ; existence follows from Zorn's lemma applied to the proper ideals containing . A maximal ideal is a prime ideal, since its quotient ring is a field. Therefore is a prime chain of length one. Thus the Krull dimension of a principal ideal domain that is not a field is

New to topics? Read the docs here!