Theorem 41.16.1 (025K)—The Stacks project

Loading web-font TeX/Math/Italic

Theorem 41.16.1. Let $f : X \to S$ be a morphism that is locally of finite presentation. The following are equivalent

$f$ is étale,
for all affine $S$ -schemes $Y$ , and closed subschemes $Y_0 \subset Y$ defined by square-zero ideals, the natural map

$\mathop{\mathrm{Mor}}\nolimits _ S(Y, X) \longrightarrow \mathop{\mathrm{Mor}}\nolimits _ S(Y_0, X)$

is bijective.

Proof. This is More on Morphisms, Lemma 37.8.9. $\square$

Comments (0)

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

Comments (0)

Post a comment