Is there any bound for the number of generators of prime ideals in $K[x_1,x_2,...,x_n]$? (For example in $K[x,y]$.)
We know that maximal ideals of $K[x_1,x_2,...,x_n]$ have $n$ generators.
Is there any bound for the number of generators of prime ideals in $K[x_1,x_2,...,x_n]$? (For example in $K[x,y]$.)
We know that maximal ideals of $K[x_1,x_2,...,x_n]$ have $n$ generators.
Copyright © 2021 JogjaFile Inc.
For $K[X,Y]$ the prime ideals are well known, and they have at most two generators.
There is a famous example of Macaulay which shows that there are prime ideals in $\mathbb C[X_1,X_2,X_3]$ having at least $n$ generators for any $n\ge 1$. For more details and a proof see this paper.
In Macaulay's words, the example is constructed as follows:
Maybe it's worthwhile to mention another famous result which says the following:
If $\mathfrak p$ is a prime ideal in $K[X_1,\dots,X_n]$ such that $K[X_1,\dots,X_n]/\mathfrak p$ is regular, then $\mathfrak p$ is generated by (at most) $n$ elements. (Forster)