Let $k$ be a field and $R$ a finitely generated domain over $k$. Then there are $y_1, \ldots, y_n$ such that $$R=k[y_1, \ldots, y_n]/P,$$ where $P$ is some prime ideal of $k[y_1, \ldots, y_n]$. My question is the following: is $R$ a finitely generated $k$-algebra? It seems that every finitely generated $k$-algebra has the form $k[x_1, \ldots, x_m]$. But $R$ does not have this form. Thank you very much.
[Math] Finitely generated integral domain and finitely generated $k$-algebra.
abstract-algebracommutative-algebrafield-theoryring-theory
Best Answer
A ring $R$ is a $k$-algebra if there is a homomorphism $k \to R$ and it is finitely generated (as a $k$-algebra) if there are elements finitely many $\{x_i\} \subset R$ such that each $r \in R$ can be written as a polynomial of the $x_i$'s with coefficients in $k$.
This is certainly true for a polynomial ring $k[x_1,\cdots, x_n]$, and it is therefore also true for any quotient $R=k[x_1, \cdots,x_n]/I$, since the classes of the $x_i$ generate $R$ as a $k$-algebra.