Etale/Zusammenhängende Basis/Schnitt ist offene Einbettung/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
Beweis
Zum Beweis der abgeschlossenen Einbettung betrachten wir das kommutative Diagramm
was wegen ein Diagramm über ist. Nach Voraussetzung ist eine abgeschlossene Einbettung, so dass dies auch für gilt. Der Isomorphismus
zeigt, dass ebenfalls eine abgeschlossene Einbettung ist.