Solution

ID: past-exam-of-the-commutative-algebra-course-of-the-university-of-oxford/2017/1/c/solution

No. Write in the quotient ring . Its defining relations are
Consequently , using the permitted assumption, while . Thus every is a nonzero nilpotent element.
The principal ideals satisfy
Every inclusion is strict. Otherwise for some , and hence
The fact that one minus a nilpotent element is a unit applies: if , then . Here is nilpotent, so multiplication by this inverse would give , a contradiction. The strictly ascending chain of ideals violates the ascending chain condition. Therefore

New to topics? Read the docs here!