Lemma 10.147.5. Let $R \to S$ and $R \to B$ be ring maps. Let $A \subset B$ be the integral closure of $R$ in $B$. Let $A' \subset S \otimes _ R B$ be the integral closure of $S$ in $S \otimes _ R B$. If $S$ is a filtered colimit of smooth $R$-algebras, then the canonical map $S \otimes _ R A \to A'$ is an isomorphism.

Proof. This follows from the straightforward fact that taking tensor products and taking integral closures commutes with filtered colimits and Lemma 10.147.4. $\square$

There are also:

• 2 comment(s) on Section 10.147: Integral closure and smooth base change

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