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

$R \to R'$ is flat, or

$R \to A$ is flat, or

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

## Comments (0)