Proposition 41.6.3. Let S is be a scheme. Let \pi : X \to S be unramified and separated. Let Y be an S-scheme and y \in Y a point. Let f, g : Y \to X be two S-morphisms. Assume
Y is connected
x = f(y) = g(y), and
the induced maps f^\sharp , g^\sharp : \kappa (x) \to \kappa (y) on residue fields are equal.
Then f = g.
Comments (0)