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!