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: