Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/ib/paper-3/10e/a/i/solution

Suppose is prime. If
then , so or . Thus one factor is zero and is an integral domain.
Conversely, if is an integral domain and , then
so or . Therefore or , and is prime. This proves the prime ideal quotient criterion.

New to topics? Read the docs here!