Lemma 41.20.1. If $f : X \to S$ is surjective, then the functor (41.20.0.1) is faithful.
Proof. Let $a, b : U_1 \to U_2$ be two morphisms between schemes étale over $S$. Assume the base changes of $a$ and $b$ to $X$ agree. We have to show that $a = b$. By Proposition 41.6.3 it suffices to show that $a$ and $b$ agree on points and residue fields. This is clear because for every $u \in U_1$ we can find a point $v \in X \times _ S U_1$ mapping to $u$. $\square$
Comments (0)