Solution

ID: past-exam-of-the-algebra-analysis-and-differential-equations-1-course-of-the-university-of-oxford/2012/3/b/solution

If the quotient ring is an integral domain, then , because an integral domain has . For ,
There are no nonzero zero divisors in an integral domain, so or . Thus or , proving is a prime ideal.
If is a field, again is proper. Let be an ideal properly containing , and choose . The nonzero element has a multiplicative inverse , so . Since , subtraction gives , hence . Therefore is a maximal ideal. These arguments establish the relevant prime ideal quotient criterion and maximal ideal quotient criterion.

New to topics? Read the docs here!