1: \begin{definition}[Cartier operator]

2:   Assume that $X/S$ is smooth. Then the morphism $C_{X/S}:Z_1\Omega^\bullet_{X/S}

3:   \To \Omega^\bullet_{X^{(p)}/S}$ induced by Theorem~\ref{thm:cartieroperator}

4:   \begin{equation}

5:     \label{cartierseq}

6:     0\To B_1\Omega_{X/S}^\bullet \To Z_1\Omega^\bullet_{X/S}

7:     \overset{C_{X/S}}{\To} \Omega_{X^{(p)}/S}^\bullet

8:     \To 0

9:     \end{equation}

10:   is called the {\em Cartier operator}.

11:   \end{definition}

12: