Intereting Posts

Product of $SU(2)$ representations
Theory $T$ that is consistent, such that $ T + \mathop{Con}(T)$ is inconsistent
If $\sum a_n$ converges then $\sum (-1)^n \frac {a_n}{1+a_n^2}$ converges?
Are there path-connected but not polygonal-connected sets?
Anti-derivative of continuous function $\frac{1}{2+\sin x}$
Can a collection of points be recovered from its multiset of distances?
Identify the universal property of kernels
How to find the sum of $i(i+1)\cdots(i+k)$ for fixed $k$ between $i = 1$ and $n$?
Is $\{(m+ka,n+kb) : m,n,k\in\mathbb Z\}$ dense in $\mathbb R^2$ if $a,b\notin\mathbb Q$?
Extreme points of unit ball in $C(X)$
Bounded inverse operator
$f>0$ on $$ implies $\int_0^1 f >0$
Canonical divisor on algebraic curve
How do you parameterize a sphere so that there are “6 faces”?
What methods are known to visualize patterns in the set of real roots of quadratic equations?

Suppose that $k$ is an algebraically closed field. Then what do the prime ideals in the polynomial ring $k[x,y]$ look like?

As far as I know, the maximal ideals of $k[x,y]$ are of the form $(x-a,y-b)$ where $a,b\in k$. What can we say about the prime ideals? Are there similar results? And what about $k[x,y,z], k[x,y,z,w]$ and so on. Would someone be kind enough to give me some hints or referrence on this topic? Thank you very much!

- How to study abstract algebra
- Show that number of solutions satisfying $x^5=e$ is a multiple of 4?
- Compute the following Galois group : $G(\mathbb{Q}(\sqrt{2}, \sqrt{2}, i) / \mathbb{Q})$.
- On the Factor group $\Bbb Q/\Bbb Z$
- Express $x^8-x$ as a product of irreducibles in $\Bbb Z_2$
- Find all subgroups of $\mathbb{Z}\times\mathbb{Z}$.

- Symmetric polynomials and the Newton identities
- A proof that BS(1,2) is not polycyclic
- In a ring homomorphism we always have $f(1)=1$?
- Noetherian property for exact sequence
- Intuition behind $k$-algebra, $k$-algebra morphisms?
- Is there an easy way to see associativity or non-associativity from an operation's table?
- Minimal polynomial over an extension field divides the minimal polynomial over the base field
- If a subring of a ring R has identity, does R also have the identity?
- How to prove that the sum and product of two algebraic numbers is algebraic?
- What are the conditions for integers $D_1$ and $D_2$ so that $\mathbb{Q} \simeq \mathbb{Q}$ as fields.

For $k[x, y]$ this is not as bad as it sounds! The saving grace here is that $k[x]$ is a PID.

**Proposition:** Let $R$ be a PID. The prime ideals of $R[y]$ are precisely the ideals of the following form:

- $(0)$,
- $(f(y))$ where $f$ is an irreducible polynomial (recall that Gauss’ lemma is valid over a UFD, so irreducibility over $R$ is equivalent to irreducibility over $\text{Frac}(R)$),
- $(p, f(y))$ where $p \in R$ is prime and $f(y)$ is irreducible in $(R/p)[y]$.

This is a nice exercise. If you get stuck, I prove it in in this blog post. The primes of the third type are maximal, so when $R = k[x]$ you’ve already listed them (by the weak Nullstellensatz). The only new prime ideals are those of the second type; they correspond to irreducible subvarieties of dimension $1$.

In general I’m not even sure what would count as a reasonable description, and I don’t know enough algebraic geometry to comment.

The prime ideals of $k[x,y]$ are $0$, the maximal ones, and $(P)$ where $P$ is any irreducible polynomial. This is because $k[x,y]$ has dimension two, and is a UFD.

For higher-dimensional rings things are more complicated, and there is no explicit answer. However, many things can be said, for example about the minimal number of generators for prime ideals.

Good references are Introduction to Commutative Algebra (Atiyah-Macdonald), Commutative algebra (Matsumura), Commutative algebra with a view toward algebraic geometry (Eisenbud). The last one is more complete and self-contained.

For $k[x,y]$ there are already good answers here; however, if one still wonders what happens in $k[x_1,\ldots,x_n]$, $n>2$ (as was commented),

then it is worth to mention Theorem 2.6 of

Miguel Ferrero’s paper,

which deals with prime ideals in polynomial rings in several variables, $n \geq 2$.

- An almost Fresnel integral
- Proof by induction for golden ratio and Fibonacci sequence
- Is the set of closed points of a $k$-scheme of finite type dense?
- Can someone explain me this summation?
- How to show that $f$ is constant by using Liouville's theorem?
- What is the meaning of the double turnstile symbol ($\models$)?
- Calculate Point Coordinates
- Gosper's Identity $\sum_{k=0}^n{n+k\choose k}=1 $
- $x^2+y^2=z^n$: Find solutions without Pythagoras!
- Counterexample for the Open Mapping Theorem
- Given a Pattern, find the fractal
- Elementary proof that $2x^2+xy+3y^2$ represents infinitely many primes?
- How to prove if log is rational/irrational
- Intuition behind the scaling property of Fourier Transforms
- Two sums with Fibonacci numbers