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

Aus Wikiversity

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.