Endlicher Basiskörper/Restklassenalgebra/Linearer Frobenius/Fixpunktcharakterisierung/Fakt

Aus Wikiversity

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.

  1. Es ist
  2. Es ist
  3. Es gibt einen -rationalen Punkt

    dessen kanonische Fortsetzung

    mit übereinstimmt.