Lemma 60.12.2. Let $(T, \mathcal{J}, \delta )$ be a divided power scheme. Let $T \to S$ be a morphism of schemes. The quotient $\Omega _{T/S} \to \Omega _{T/S, \delta }$ described above is a quasi-coherent $\mathcal{O}_ T$-module. For $W \subset T$ affine open mapping into $V \subset S$ affine open we have

where the right hand side is as constructed in Section 60.6.

## Comments (0)

There are also: