Lemma 10.134.8 (Flat base change). Let $R \to S$ be a ring map. Let $\alpha : P \to S$ be a presentation. Let $R \to R'$ be a flat ring map. Let $\alpha ' : P \otimes _ R R' \to S' = S \otimes _ R R'$ be the induced presentation. Then $\mathop{N\! L}\nolimits (\alpha ) \otimes _ R R' = \mathop{N\! L}\nolimits (\alpha ) \otimes _ S S' = \mathop{N\! L}\nolimits (\alpha ')$. In particular, the canonical map

is a homotopy equivalence if $R \to R'$ is flat.

## Comments (0)

There are also: