Definition 15.55.1. Let $R$ be a ring. An $R$-module $J$ is injective if and only if the functor $\mathop{\mathrm{Hom}}\nolimits _ R(-, J) : \text{Mod}_ R \to \text{Mod}_ R$ is an exact functor.

There are also:

• 4 comment(s) on Section 15.55: Injective modules

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).