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
Articles by others on the same topic
There are currently no matching articles.