Lemma 15.56.3. Let $A \to B$ be a ring map. If $I^\bullet$ is a K-injective complex of $A$-modules, then $\mathop{\mathrm{Hom}}\nolimits _ A(B, I^\bullet )$ is a K-injective complex of $B$-modules.

Proof. This is true because $\mathop{\mathrm{Hom}}\nolimits _{K(B)}(N^\bullet , \mathop{\mathrm{Hom}}\nolimits _ A(B, I^\bullet )) = \mathop{\mathrm{Hom}}\nolimits _{K(A)}(N^\bullet , I^\bullet )$ by Algebra, Lemma 10.14.4. $\square$

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).