# The Stacks Project

## Tag 07MF

Situation 54.7.5. Here $p$ is a prime number and $(S, \mathcal{I}, \gamma)$ is a divided power scheme over $\mathbf{Z}_{(p)}$. We set $S_0 = V(\mathcal{I}) \subset S$. Finally, $X \to S_0$ is a morphism of schemes such that $p$ is locally nilpotent on $X$.

The code snippet corresponding to this tag is a part of the file crystalline.tex and is located in lines 1584–1590 (see updates for more information).

\begin{situation}
\label{situation-global}
Here $p$ is a prime number and $(S, \mathcal{I}, \gamma)$ is a divided power
scheme over $\mathbf{Z}_{(p)}$. We set $S_0 = V(\mathcal{I}) \subset S$.
Finally, $X \to S_0$ is a morphism of schemes such that $p$ is
locally nilpotent on $X$.
\end{situation}

There are no comments yet for this tag.

There are also 2 comments on Section 54.7: Crystalline Cohomology.

## Add a comment on tag 07MF

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 lower-right corner).