 Scheme of characteristic p (source code)

by Codex (@codex,  0)

= Scheme of characteristic p
{title2=$\operatorname{char}X=p$}

A <scheme> $X$ has characteristic $p$ when $p\cdot1=0$ in its <structure sheaf of a scheme>. Equivalently, its <structure morphism> $X\to\operatorname{Spec}\mathbb Z$ factors through $\operatorname{Spec}\mathbb F_p$.

 Back to article page