Lemma 17.27.7. Let $X$ be a topological space. Let $\mathcal{O}_1 \to \mathcal{O}_2$ be a homomorphism of sheaves of rings on $X$. Let $x \in X$. Then we have $\Omega _{\mathcal{O}_2/\mathcal{O}_1, x} = \Omega _{\mathcal{O}_{2, x}/\mathcal{O}_{1, x}}$.

Proof. This is a special case of Lemma 17.27.6 for the inclusion map $\{ x\} \to X$. An alternative proof is to use Lemma 17.27.4, Sheaves, Lemma 6.17.2, and Algebra, Lemma 10.131.5 $\square$

Comment #3610 by Herman Rohrbach on

Typo in the second sentence of the proof: "An alternative proof is to (instead of the) use Lemma..."

There are also:

• 2 comment(s) on Section 17.27: Modules of differentials

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).