An equivalence criterion for the generalized injectivity of modules with respect to algebraic classes of homomorphisms

Abstract

Departing from a general definition of injectivity of modules with respect to suitable algebraic classes of morphisms, we establish conditions under which two modules are isomorphic when they are isomorphic to submodules of each other. The main result of this work extends both Bumby’s criterion for the isomorphism of injective modules and the well-known Cantor–Bernstein–Schröder’s theorem on the cardinality of sets. In the way, various properties on essential extensions, injective modules and injective hulls are generalized. The applicability of our main theorem embraces the cases of [Formula: see text]-injective and pure-injective modules as particular scenarios. Many of the propositions which lead to the proof of the main result of this paper are valid for arbitrary categories.