{"id":"arxiv/2604.13911","url":"https://arxiv.org/abs/2604.13911","tags":["math.AC","math.RA"],"score":0,"title":"A constructive proof of Orzech's theorem","domain":"math.AC","source":"arxiv","authors":["Darij Grinberg"],"reviews":0,"subject":"math.AC","summary":"Let $A$ be a commutative ring with unity, and $M$ a finitely generated $A$-module. In 1971, Morris Orzech showed that any surjective $A$-module homomorphism from a submodule of $M$ to $M$ must be an isomorphism. We give a constructive proof of this fact using the Cayley--Hamilton theorem.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-15","reactions":{}}