 Scheme of characteristic p

A scheme $X$ has characteristic $p$ when $p\cdot 1=0$ in its structure sheaf of a scheme. Equivalently, its structure morphism $X\to \mathrm{Spec}\mathbb{Z}$ factors through $\mathrm{Spec}{\mathbb{F}}_p$.