Definition 10.6.1. Let $R \to S$ be a ring map.

1. We say $R \to S$ is of finite type, or that $S$ is a finite type $R$-algebra if there exist an $n \in \mathbf{N}$ and an surjection of $R$-algebras $R[x_1, \ldots , x_ n] \to S$.

2. We say $R \to S$ is of finite presentation if there exist integers $n, m \in \mathbf{N}$ and polynomials $f_1, \ldots , f_ m \in R[x_1, \ldots , x_ n]$ and an isomorphism of $R$-algebras $R[x_1, \ldots , x_ n]/(f_1, \ldots , f_ m) \cong S$.

Comment #6759 by Reginald Anderson on

How does this depend on the map at all? It seems to be completely independent of the map, and only depend on the rings R and S

Comment #6760 by on

@#6759: Why do you say so? For example, suppose that $R = \mathbf{Z}[x_1, x_2, x_3, \ldots]$ and $S = \mathbf{Z}[y_1, y_2, y_3, \ldots]$. Then $R \to S$ is of finite type if $x_i \mapsto y_i$ but $R \to S$ is not of finite type if $x_i \mapsto y_{2i}$. OK?

There are also:

• 2 comment(s) on Section 10.6: Ring maps of finite type and of finite presentation

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