Lemma 10.131.4. Suppose that $R \to S$ is surjective. Then $\Omega _{S/R} = 0$.

Proof. You can see this either because all $R$-derivations clearly have to be zero, or because the map in the presentation of $\Omega _{S/R}$ is surjective. $\square$

There are also:

• 12 comment(s) on Section 10.131: 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).