Lemma 47.16.2. Let $(A, \mathfrak m, \kappa )$ be a Noetherian local ring with normalized dualizing complex $\omega _ A^\bullet$. Let $A \to B$ be surjective. Then $\omega _ B^\bullet = R\mathop{\mathrm{Hom}}\nolimits _ A(B, \omega _ A^\bullet )$ is a normalized dualizing complex for $B$.

Proof. Special case of Lemma 47.16.1. $\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).