Lemma 20.55.1. Let (X, \mathcal{O}_ X) be a ringed space. Let \mathcal{I} \subset \mathcal{O}_ X be a sheaf of ideals. Consider the following two conditions
for every x \in X there exists an open neighbourhood U \subset X of x and f \in \mathcal{I}(U) such that \mathcal{I}|_ U = \mathcal{O}_ U \cdot f and f : \mathcal{O}_ U \to \mathcal{O}_ U is injective, and
\mathcal{I} is invertible as an \mathcal{O}_ X-module.
Then (1) implies (2) and the converse is true if all stalks \mathcal{O}_{X, x} of the structure sheaf are local rings.
Comments (0)