Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-101/4/d/i/solution

Let be a principal ideal domain that is not a field. A PID is Noetherian and is a unique factorization domain. Every nonzero prime ideal is generated by a prime element. If
then , so primality of makes a unit or an associate of . The proper alternative is , and every nonzero prime is therefore maximal. Since has a nonzero prime ideal, its Krull dimension is exactly one.

New to topics? Read the docs here!