Epis and monos which must be isos (Q1065133)

A surjective (or injective) linear transformation of a finite dimensional vector space to itself is an isomorphism. This result has been generalized in various ways to certain modules over rings by W. V. Vasconcelos, M. Orzech and K. Varadarajan. There are some further observations and generalizations collected in this note. For example: An injective endomorphism, with large image, of a module with d.c.c. on large submodules is an isomorphism. The author also points out that these results come in pairs, one being the dual of the other.