Assume is Noetherian.
- By Krull's principal ideal theorem , we have that given a principal ideal , all minimal prime ideals above has height at most 1.
- Recall that a minimal prime ideal lying over an ideal is the minimal among all prime ideals containing . That is, if , then or .
- In our case, we have that is a PID. We are trying to show that all prime ideals are maximal. Consider a prime ideal . It is a principal ideal since is a PID. It is also a minimal prime ideal since it contains itself. Thus by Krull's PID theorem, has height at most one.
- If the prime ideal is the zero ideal ( ), then it has height zero.
- If it is any other prime ideal , then it has height at least 1, since there is the chain . Thus by Krull's PID theorem, it has height exactly one.
- So all the prime ideals other than the zero ideal, that is, all the points of have height 1.
- Thus, every point of is maximal, as there are no "higher points" that cover them.
- Hence, in a PID, every prime ideal is maximal.
In a drawing, it would look like this:
NO IDEALS ABOVE : height 2(p0) (p1) (p2) : height 1 (0) : height 0So each pi is maximal.
This is a geometric way of noting that in a principal ideal domain, prime ideals are maximal.