
Lemma 10.30.4. Let $R$ be a Noetherian ring.

1. Any finite $R$-module is of finite presentation.

2. Any finite type $R$-algebra is of finite presentation over $R$.

Proof. Let $M$ be a finite $R$-module. By Lemma 10.5.4 we can find a finite filtration of $M$ whose successive quotients are of the form $R/I$. Since any ideal is finitely generated, each of the quotients $R/I$ is finitely presented. Hence $M$ is finitely presented by Lemma 10.5.3. This proves (1). To see (2) note that any ideal of $R[x_1, \ldots , x_ n]$ is finitely generated by Lemma 10.30.1. $\square$

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).