I want to prove this problem:
For an $R$-module $M$ and an ideal $J⊆R$, let $A=\{m∈M∶mJ=0\}$. If $M$ is an injective $R$-module, show that $A$ is an injective $R/J$-module.
We can view $A$ as an $R/J$-module, and letting $E=E(A_{R/J})$ (the injective hull of $A_{R/J}$) we write $A⊆_eE$ (meaning $A$ is essential in $E$) as $R/J$-module, and hence as $R$-modules. Now, it suffices to prove that $A=E$. Thanks for any cooperation.
Notice that $A \cong \hom_R(R/J,M)$. Now we have the following fact:
In fact, $\hom_S(-,\hom_R(S,M)) \cong \hom_R((-)|_R,M)$ is exact.