Noetherian modules are Hopfian
ID: noetherian-modules-are-hopfian
For a surjective module endomorphism of a Noetherian module, the chain stabilizes at some . If , choose with . Then , giving . Thus the endomorphism is also injective and is an isomorphism.
New to topics? Read the docs here!