Lemma 47.25.1. Let $R \to R'$ be a homomorphism of Noetherian rings. Let $R \to A$ be of finite type. Set $A' = A \otimes _ R R'$. If

1. $R \to R'$ is flat, or

2. $R \to A$ is flat, or

3. $R \to A$ is perfect and $R'$ and $A$ are tor independent over $R$,

then there is an isomorphism $\omega _{A/R}^\bullet \otimes _ A^\mathbf {L} A' \to \omega ^\bullet _{A'/R'}$ in $D(A')$.

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