Etale/Zusammenhängende Basis/Schnitt ist offene Einbettung/Fakt

Aus Wikiversity

Es sei ein zusammenhängendes Schema und sei

eine étaler Schemamorphismus. Es sei

ein Schnitt zu .

Dann ist eine offene Einbettung. Wenn zusätzlich separiert ist, so ist eine abgeschlossene Einbettung.