Hilbert's Nullstellensatz

Theorem
Let $$k$$ be an algebraically closed field.

Then we have for every ideal $$J \subseteq k \left[{x_1,\ldots, x_n}\right]$$ that:
 * $$I \left({Z \left({J}\right)}\right) = \sqrt{J}$$

where:
 * $$I$$ is the ideal associated with a subset of $$k^n$$ defined by:
 * $$I \left({Z}\right) = \left\{{f \in k \left[{x_1, \ldots, x_n}\right]}\right\}$$


 * $$Z \left({J}\right)$$ is the zero-locus of the ideal $$J$$, defined by:
 * $$Z \left({J}\right) = \left\{{\left({z_1,\ldots, z_n}\right) \in k^n : \forall g \in I: g \left({z_1,\ldots, z_n}\right)}\right\}$$

Proof
Note first that the operations $$I(\cdot)$$ and $$Z(\cdot)$$ are order reversing.

We will need some extra notation in this proof:

Notation
Let $$\mathfrak{m}_a$$ be the ideal $$\left({x_1 - a_1, \ldots, x_n - a_n}\right)$$ with $$a \in k^n$$.

Claim
$$\mathfrak{m}_a$$ are the only maximal ideals.

Proof
Let $$a \in k^n$$.

Define now:
 * $$\pi_a : k \left[{x_1,\ldots, x_n}\right] \to k : f \mapsto f \left({a_1, \ldots, a_n}\right)$$

and note that is a surjective morphism of $$k$$-algebras with kernel:
 * $$I \left({\left\{{a}\right\}}\right) = \mathfrak{m}_a$$

Let now $$\mathfrak{m}$$ be a maximal ideal of $$k \left[{x_1,\ldots, x_n}\right]$$.

Now $$\frac{k \left[{x_1,\ldots, x_n}\right]} {\mathfrak{m}}$$ is a field extension of $$k$$, which is finitely generated as a $$k$$-algebra.

Hence by a corollary of Noether normalization, we find that $$\frac{k \left[{x_1,\ldots, x_n}\right]}{\mathfrak{m}}$$ is a finite field extension of $$k$$.

Since $$k$$ is algebraically closed, there is an isomorphism of $$k$$-algebras:
 * $$\frac {k \left[{x_1,\ldots, x_n}\right]} {\mathfrak{m}} \to k$$

Let $$a_i$$ denote the image $$x_i$$. Hence we find that $$\mathfrak{m}_a \subseteq \mathfrak{m}$$, which implies an equality since the first one is a maximal ideal.

Claim
The radical of an ideal $$J$$ in a finitely generated $$k$$-algebra $$A$$ is equal to the intersection of the maximal ideals that contain $$J$$.

Proof
TODO

Step three
Note now that a point $$a \in k^n$$ belongs to $$Z \left({J}\right)$$ if and only if $$J\subseteq \mathfrak{m}_a$$.

Hence we obtain that the maximal ideals containing $$J$$ are just the maximal ideals $$\mathfrak{m}_a$$ with $$a \in Z(J) $$.

Hence we find:
 * $$I(Z(J)) = \bigcap_{a \in Z \left({J}\right)} \mathfrak{m}_a = \sqrt{J}$$

Nullstellensatz is German for zero locus theorem.