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

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

Any submodule of a finite $R$-module is finite.

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 submodule of a finite $R$-module is finite.

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

Let $N \subset M$ be a submodule. As $M$ is finite, the quotient $M/N$ is finite. Thus $M/N$ is of finite presentation by part (1). Thus we see that $N$ is finite by Lemma 10.5.3 part (5). This proves part (2).

To see (3) 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)