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$
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$
Comments (0)
There are also: