Lemma 49.2.4. The base change map (49.2.3.1) is independent of the choice of the factorization $A \to B' \to B$. Given ring maps $A \to A_1 \to A_2$ the composition of the base change maps for $A \to A_1$ and $A_1 \to A_2$ is the base change map for $A \to A_2$.
Proof. Omitted. Hint: argue in exactly the same way as in Lemma 49.2.2 using Lemma 49.2.1. $\square$
Comments (0)