Definition 18.34.4. Let $\mathcal{C}$ be a site. Let $\mathcal{O}_1 \to \mathcal{O}_2$ be a map of sheaves of rings. Let $\mathcal{F}$ be a sheaf of $\mathcal{O}_2$-modules. The module $\mathcal{P}^ k_{\mathcal{O}_2/\mathcal{O}_1}(\mathcal{F})$ constructed in Lemma 18.34.3 is called the module of principal parts of order $k$ of $\mathcal{F}$.
Comments (0)