Zusammenhängendes Schema/Geometrischer Punkt/Faserfunktor/Etale Erweiterungen und stetige pi-Mengen/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein zusammenhängendes Schema und ein geometrischer Punkt von mit der étalen Fundamentalgruppe .

Dann induziert der Faserfunktor

eine Äquivalenz zwischen der Kategorie der endlichen étalen Schemata über und der Kategorie der endlichen Mengen, auf denen eine stetige Operation von gegeben ist.

Einen Beweis erstellen