Lexikon der Mathematik: Frobenius-Endomorphismus
spezieller Endomorphismus auf einem Schema.
Es sei X ein Schema, so daß die lokalen Ringe \(\mathcal{O}_{X,x}\) den Primkörper \(\mathcal{F}_{p}\) der Charakteristik p > 0 enthalten. Die Abbildung F, die auf dem zugrundeliegenden Raum X die Identität induziert und auf den lokalen Ringen \(\mathcal{O}_{X,x}\rightarrow \mathcal{O}_{X,x}\) durch a ↦ ap definiert ist, heißt Frobenius-Endomorphismus.
Insbesondere für \(\mathbb{F}_{p}\)–Algebren A ist der Frobenius-Endomorphismus F : A → A definiert durch F(a) = ap.
Copyright Springer Verlag GmbH Deutschland 2017
Schreiben Sie uns!