Etale und separiert/Zusammenhängende Basis/Schnitt/Punkt bestimmt/Fakt

Es sei ${}X$ ein zusammenhängendes Schema und sei

$\varphi \colon Y\longrightarrow X$

ein separierter und étaler Schemamorphismus. Es sei ${}x\in X$ ein Punkt und es seien

$s_{1},s_{2}\colon X\longrightarrow Y$

Schnitte zu ${}\varphi$ mit ${}s_{1}(x)=s_{2}(x)$.

Dann ist ${}s_{1}=s_{2}$.

Einen Beweis erstellen