Nullstellenmenge von Polynomen. Im folgenden sei k ein algebraisch abgeschlossener Körper. Ein n-dimensionaler affiner Raum wird durch Wahl eines affinen Koordinaten-systems mit dem Raum 𝔸ⁿ(k) = kⁿ aller n-Tupel mit Koeffizienten aus k identifiziert, und die Algebra der ganz-rationalen Funktionen wird dabei mit der Polynomalgebra k[X₁, ···, X_n] identifziert. Eine affine algebraische Menge V = V(F) in 𝔸ⁿ(k) ist eine Teilmenge, die aus der Menge aller gemeinsamen Nullstellen einer Menge F ⊂ k [X₁, ···, X_n] von Polynomen besteht.

Ist I das von F erzeugte Ideal, so ist F ⊆ I und V(F) = V(I). Nach Hilberts Basissatz besitzt das Ideal I ein endliches Erzeugendensystem, daher ist jede algebraische Menge durch ein endliches Polynomgleichungssystem definiert. Ein grundlegender Fakt ist Hilberts Nullstellensatz (schwache Form):

Ist I ⊆ k [X₁, ···, X_n] ein Ideal und V(I) = ∅, so ist I = k [X₁, ···, X_n].

Hieraus folgt die äquivalente, scheinbar aber stärkere Formulierung:

Ist I ein Ideal in k [X₁, ···, X_n], f ∈ k [X₁, ···, X_n] und f | V(I) ≡ 0, so gibt es eine natürliche Zahl N mit f^N ∈ I.

Um diese Form aus der schwachen Form herzuleiten, betrachtet man k[X₁, ···, X_n] ⊂ k[X₁, ···, X_n+1]. Das von I und dem Polynom X_n+1f − 1 erzeugte Polynomideal hat keine Nullstelle, also gibt es nach der schwachen Form des Nullstellensatzes eine Relation \begin{eqnarray}1={g}_{0}({X}_{n+1}f-1)+\displaystyle \sum _{j}{g}_{j}{f}_{j}\end{eqnarray}

mit \begin{eqnarray}{f}_{1},\cdots, {f}_{r}\in I,{g}_{0},\cdots, {g}_{r}\in k[{X}_{1},\cdots, {X}_{n+1}].\end{eqnarray}

Substituiert man \begin{eqnarray}({X}_{1},\cdots, {X}_{n},\frac{1}{f})\in k({X}_{1},\ldots, {X}_{n})\end{eqnarray}

in diese Relation, erhält man \begin{eqnarray}1=\displaystyle \sum _{j=1}^{r}{g}_{j}({X}_{1},\cdots, {X}_{n},\frac{1}{f}){f}_{j},\end{eqnarray}

und nach Multiplikation mit f^N für eine hinreichend große Zahl N folgt f^N ∈ I.

Ein n-dimensionaler projektiver Raum wird durch Wahl von homogenen Koordinaten mit ℙⁿ(k) = kⁿ⁺¹\{0}/k∗ identifiziert. Homogene Koordinaten sind allerdings keine Funktionen auf ℙⁿ(k), nur für homogene Polynome f(X₀, ···, X_n) ∈ k[X₀, ···, X_n] hat die Aussage „a ∈ ℙⁿ(k) ist Nullstelle von f“ einen Sinn. Daher macht es auch Sinn, Nullstellenmengen homogener Polynomideale I in ℙⁿ(k) zu definieren, solche Mengen V = V₊(I) heißen projektive algebraische Mengen. Es gilt Hilberts Nullstellensatz (projektive Variante):

Sei I ⊂ k [X₀, ···, X_n] ein homogenes Ideal und f ∈ k [X₀, ···, X_n] ein homogenes Polynom.

Wenn f | V₊(I) ≡ 0, so gibt es eine natürliche Zahl ℕ mit f^N ∈ I.

Eine algebraische Menge V heißt irreduzibel, wenn sie nicht Vereinigung von zwei echten, nichtleeren algebraischen Teilmengen ist. Für das größte Ideal I = I_V = {f; f|V = 0} mit V(I) = V (bzw. V₊(I) = V) bedeutet dies: I ist ein Primideal. Jede algebraische Menge V besitzt eine eindeutige Darstellung als Vereinigung endlich vieler irreduzibler algebraischer Mengen, genannt die irreduziblen Komponenten von V.

Bezüglich der Standardeinbettung 𝔸ⁿ(k) ⊂ ℙⁿ(k) besteht eine bijektive Korrespondenz zwischen algebraischen Teilmengen von 𝔸ⁿ(k) und solchen algebraischen Teilmengen von ℙⁿ(k), die keine Komponente in der „unendlich fernen“ Hyperebene V₊(X₀) = ℙⁿ(k) \ 𝔸ⁿ(k) haben. Diese Korrespondenz wird in der einen Richtung durch Schneiden mit 𝔸ⁿ(k), und in der anderen Richtung durch topologische Abschließung in der Zariski-Topologie gegeben.