Galoiserweiterung/Etale und endlich/Zusammenhängend/Über transitiv/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Galoisscher Morphismus

Es sei

ein endlicher étaler Morphismus zwischen zwei zusammenhängenden Schemata. Man nennt galoissch, wenn es zu jedem Morphismus

( ein separabel abgeschlossener Körper) und zwei Liftungen

einen -Automorphismus

gibt mit .