Lemma 15.104.7. Let $A \to B$ and $A \to A'$ be ring maps. Let $B' = B \otimes _ A A'$ be the base change of $B$.

1. If $B \otimes _ A B \to B$ is flat, then $B' \otimes _{A'} B' \to B'$ is flat.

2. If $A \to B$ is weakly étale, then $A' \to B'$ is weakly étale.

Proof. Assume $B \otimes _ A B \to B$ is flat. The ring map $B' \otimes _{A'} B' \to B'$ is the base change of $B \otimes _ A B \to B$ by $A \to A'$. Hence it is flat by Algebra, Lemma 10.39.7. This proves (1). Part (2) follows from (1) and the fact (just used) that the base change of a flat ring map is flat. $\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).