A module is an injective module if it satisfies the following equivalent conditions:
(a) Every short exact sequence of the form is split;
(b) The functor is exact;
(c) If is a monomorphism and there exists a homomorphism , then there exists a homomorphism such that .