Solution

ID: past-exam-of-the-commutative-algebra-course-of-the-university-of-oxford/2023/2/c/solution

For , let , where the power denotes repeated composition of the ring endomorphism. These ideals form an ascending chain:
The ascending chain condition for a Noetherian ring gives for some . Take . Since is surjective, its iterate is surjective, so choose with . Then
so . Therefore .
Thus the kernel of a ring homomorphism is zero. This proves that a surjective endomorphism of a Noetherian ring is an automorphism, and in particular

New to topics? Read the docs here!