An injective R-module is the dual property to the module being a projective R-module.
Definition
Let be a left R-module.
is called injective if for all injective module homomorphsims and homomorphims there exists a unique homomorphism such that the following diagram commutes.