Körper/Charakteristik p/Algebraisch abgeschlossen/Frobeniuspotenz/Fixkörper/Fakt
Es sei ein algebraisch abgeschlossener Körper der Charakteristik . Es sei und .
Dann ist der Fixkörper des -ten Frobeniushomomorphismus
ein endlicher Körper mit Elementen.