Definition 17.28.1. Let X be a topological space. Let \varphi : \mathcal{O}_1 \to \mathcal{O}_2 be a homomorphism of sheaves of rings. Let \mathcal{F} be an \mathcal{O}_2-module. An \mathcal{O}_1-derivation or more precisely a \varphi -derivation into \mathcal{F} is a map D : \mathcal{O}_2 \to \mathcal{F} which is additive, annihilates the image of \mathcal{O}_1 \to \mathcal{O}_2, and satisfies the Leibniz rule
for all a, b local sections of \mathcal{O}_2 (wherever they are both defined). We denote \text{Der}_{\mathcal{O}_1}(\mathcal{O}_2, \mathcal{F}) the set of \varphi -derivations into \mathcal{F}.
Comments (2)
Comment #1814 by Keenan Kidwell on
Comment #1831 by Johan on
There are also: