Let $k$ be an algebraically closed field. We know that $k[x_1,\cdots,x_n]$, with $x_i$ algebraically independent over $k$, is a graded commutative $k$-algebra. Is it true that any graded commutative $k$-algebra can be identified as $k[x_1,\cdots,x_n]/ \mathcal{I}$, where $\mathcal{I}$ is some ideal of $k[x_1,\cdots,x_n]$?
Identifying commutative graded $k$-algebras
-
1For example $k[x_1,x_2,\ldots]$ has a natural grading by degree. – 2012-10-05
2 Answers
The claim is not true. For example, $k[x_1,x_2,\ldots]$ has a natural grading by degree, however there is no $n$ such that $k[x_1,x_2,\ldots]\cong k[x_1,\ldots,x_n]/I$ for an ideal $I.$
You are almost correct though : Any finitely generated commutative $k$-algebra is isomorphic to a quotient of the form $k[x_1,\ldots, x_n] / I$.
If $a_1, \ldots, a_n$ are generators for your $k$-algebra $A$, use the 1st isomorphism theorem on $k[x_1, \ldots, x_n] \to A$ which sends $1 \mapsto 1$ and $x_i \mapsto a_i$. Moreover, the grading of the quotient $k[x_1, \ldots, x_n]$ will induce a grading on $A$, which however, may not coincide with the initial grading of $A$, if there was one on $A$.
It would be interesting to see what happens, if someone can tell more about this, i.e., if every fin.gen. graded $k$-algebra is isomorphic to such a quotient.