Logo image
A constructive proof of Orzech's theorem
Preprint   Open access

A constructive proof of Orzech's theorem

Darij Grinberg
ArXiv.org
15 Apr 2026
url
https://doi.org/10.48550/arxiv.2604.13911View
Preprint (Author's original) Open arXiv.org - Non-exclusive license to distribute

Abstract

Mathematics - Commutative Algebra Mathematics - Rings and Algebras
LetAbe a commutative ring with unity, andMa finitely generatedA -module. In 1971, Morris Orzech showed that anyA -module homomorphism from a submodule ofMtoMmust be an isomorphism. We give a constructive proof of this fact using the Cayley–Hamilton theorem.

Metrics

1 Record Views

Details

Logo image