Question on finitely presented algebra

167 Views Asked by At

Suppose $S$ is a finitely presented $R$-algebra. If $g:R[x_1, \ldots, x_n] \to S$ is surjective, then $\ker(g)$ is finitely generated.

We can write $S$ as $R[y_1, \ldots, y_m]/(f_1,\ldots,f_t)$ and write $g$ as $g:R[x_1,\ldots,x_n] \to R[y_1, \ldots, y_m]/(f_1,\ldots,f_t)$, but I don't know how to find the kernel.

1

There are 1 best solutions below

3
On BEST ANSWER

This is stated and proved at http://stacks.math.columbia.edu/tag/00R2.