Lemma 17.27.2. Let $X$ be a topological space. Let $\mathcal{O}_ X$ be a presheaf of rings. Let $\mathcal{S} \subset \mathcal{O}_ X$ be a pre-sheaf of sets contained in $\mathcal{O}_ X$. Suppose that for every open $U \subset X$ the set $\mathcal{S}(U) \subset \mathcal{O}_ X(U)$ is a multiplicative subset. For any presheaf of $\mathcal{O}_ X$-modules $\mathcal{F}$ we have

(see Sheaves, Section 6.6 for notation) and if $\mathcal{F}$ and $\mathcal{O}_ X$ are sheaves then

(see Sheaves, Section 6.20 for notation).

## Comments (0)