Situation 60.26.1. In Situation 60.7.5 assume the following

1. $S = \mathop{\mathrm{Spec}}(A)$ for some divided power ring $(A, I, \gamma )$ with $p \in I$,

2. there is given a homomorphism of divided power rings $\sigma : A \to A$ such that $\sigma (x) = x^ p \bmod pA$ for all $x \in A$.

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