Lemma 33.36.3 (0CC8)—The Stacks project

Processing math: 100%

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$

Comments (0)

There are also:

6 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).

Comments (0)

Post a comment