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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.

Zum Beweis, Alternativen Beweis erstellen