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

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

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

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

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

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.31.1.
$\square$

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (0)