Situation 60.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$.

There are also:

• 2 comment(s) on Section 60.7: Divided power schemes

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