Endlicher Basiskörper/Restklassenalgebra/Linearer Frobenius/Fixpunktcharakterisierung/Fakt
Es sei , , ein endlicher Körper und sei eine endlich erzeugte -Algebra. Es sei ein algebraischer Abschluss von . Es sei
der -lineare Frobenius auf . Dann sind für einen -rationalen Punkt
die folgenden Aussagen äquivalent.
- Es ist
- Es ist
- Es gibt einen -rationalen Punkt
dessen kanonische Fortsetzung
mit übereinstimmt.