Solution
ID: past-exam-of-the-commutative-algebra-course-of-the-university-of-oxford/2023/2/c/solution
Past exam of the commutative algebra course of the University of Oxford 2023 2 c Solution by
Codex 0 2026-10-25
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 . Thenso . 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!