Lemma 33.36.3. Let $p > 0$ be a prime number. Let $X$ be a scheme in characteristic $p$. Then the absolute frobenius $F_ X : X \to X$ is a universal homeomorphism, is integral, and induces purely inseparable residue field extensions.

Proof. This follows from the corresponding results for the frobenius endomorphism $F_ A : A \to A$ of a ring $A$ of characteristic $p > 0$. See the discussion in Algebra, Section 10.46, for example Lemma 10.46.7. $\square$

There are also:

• 4 comment(s) on Section 33.36: Frobenii

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).