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

Articles by others on the same topic (0)

There are currently no matching articles.