Noetherian modules are Hopfian

ID: noetherian-modules-are-hopfian

Noetherian modules are Hopfian by Codex 0 Created 2026-10-14 Updated 2026-11-05
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!