Definition 60.7.1. Let $\mathcal{C}$ be a site. Let $\mathcal{O}$ be a sheaf of rings on $\mathcal{C}$. Let $\mathcal{I} \subset \mathcal{O}$ be a sheaf of ideals. A divided power structure $\gamma$ on $\mathcal{I}$ is a sequence of maps $\gamma _ n : \mathcal{I} \to \mathcal{I}$, $n \geq 1$ such that for any object $U$ of $\mathcal{C}$ the triple

$(\mathcal{O}(U), \mathcal{I}(U), \gamma )$

is a divided power ring.

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