Lemma 10.131.16. Suppose $R \to S$ is of finite type. Then $\Omega _{S/R}$ is finitely generated $S$-module.

Proof. This is very similar to, but easier than the proof of Lemma 10.131.15. $\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).