Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/iii/paper-101/2/d/solution

Pass to . It is enough to prove that the zero ideal of is primary. The zero ideal of is primary, so every zero divisor of is nilpotent element.
Suppose in with . By McCoy theorem, some nonzero satisfies . Hence every coefficient of is a zero divisor and therefore nilpotent. There are only finitely many coefficients, so the ideal they generate is nilpotent; consequently some power of is zero. This proves that is primary in , and the coefficientwise quotient of a polynomial ring
shows that is primary.
Solved by gpt-5.6-sol high.

New to topics? Read the docs here!