Hilbertscher Nullstellensatz/Geometrische Version/Textabschnitt

Satz

Es sei ${}K$ ein algebraisch abgeschlossener Körper und sei ${}V=V({\mathfrak {a}})\subseteq {{\mathbb {A} }_{K}^{n}}$ eine affin-algebraische Menge, die durch das Ideal ${}{\mathfrak {a}}$ beschrieben werde. Es sei ${}F\in K[X_{1},\ldots ,X_{n}]$ ein Polynom, das auf ${}V$ verschwindet.

Dann gehört ${}F$ zum Radikal von ${}{\mathfrak {a}}$, d.h. es gibt ein ${}r\in \mathbb {N}$ mit ${}F^{r}\in {\mathfrak {a}}$.

Beweis

Angenommen, ${}F$ gehöre nicht zum Radikal von ${}{\mathfrak {a}}$. Dann gibt es nach Fakt auch ein maximales Ideal ${}{\mathfrak {m}}\subset K[X_{1},\ldots ,X_{n}]$ mit ${}{\mathfrak {a}}\subseteq {\mathfrak {m}}$ und mit ${}F\not \in {\mathfrak {m}}$. Nach Fakt ist

${}{\mathfrak {m}}=(X_{1}-a_{1},\ldots ,X_{n}-a_{n})\,$

für gewisse ${}a_{1},\ldots ,a_{n}\in K$. Die Eigenschaft ${}F\not \in {\mathfrak {m}}$ bedeutet, dass ${}F$ im zugehörigen Restekörper nicht ${}0$ ist, und das bedeutet ${}F(a_{1},\ldots ,a_{n})\neq 0$. Wegen ${}{\mathfrak {a}}\subseteq {\mathfrak {m}}$ ist aber ${}(a_{1},\ldots ,a_{n})$ ein Punkt von ${}V$, sodass dort nach Voraussetzung ${}F$ verschwindet. Das ist also ein Widerspruch.

$\Box$

Satz

Es sei ${}K$ ein algebraisch abgeschlossener Körper mit dem Polynomring ${}K[X_{1},\ldots ,X_{n}]$ und dem affinen Raum ${}{{\mathbb {A} }_{K}^{n}}$.

Dann gibt es eine natürliche Korrespondenz zwischen affin-algebraischen Mengen in ${}{{\mathbb {A} }_{K}^{n}}$ und Radikalidealen in ${}K[X_{1},\ldots ,X_{n}]$.

Dabei gehen Radikale auf ihre Nullstellengebilde und affin-algebraische Mengen auf ihre Verschwindungsideale.

Beweis

Sei ${}V\subseteq {{\mathbb {A} }_{K}^{n}}$ affin-algebraisch. Dann gilt ${}V=V(\operatorname {Id} \,(V))$ nach Fakt  (3). Für ein Radikal ${}I\subseteq K[X_{1},\ldots ,X_{n}]$ gilt die Inklusion ${}I\subseteq \operatorname {Id} \,(V(I))$ ebenfalls nach Fakt  (2). Die umgekehrte Inklusion, also ${}\operatorname {Id} \,(V(I))\subseteq I$, ist der Inhalt des Hilbertschen Nullstellensatzes.

$\Box$

Korollar

Es sei ${}K$ ein algebraisch abgeschlossener Körper und seien ${}F_{i}\in K[X_{1},\ldots ,X_{n}]$, ${}i\in I$, Polynome mit

${}{{\mathbb {A} }_{K}^{n}}=\bigcup _{i\in I}D(F_{i})\,.$

Dann erzeugen die ${}F_{i}$ das Einheitsideal in ${}K[X_{1},\ldots ,X_{n}]$.

Beweis

Es sei ${}{\mathfrak {b}}$ das von den ${}F_{i}$ erzeugte Ideal. Die Voraussetzung besagt, dass

${}\bigcap _{i\in I}V(F_{i})=V({\mathfrak {b}})\,$

leer ist. Dann ist ${}V({\mathfrak {b}})\subseteq V(1)$. Aus dem Hilbertschen Nullstellensatz folgt, dass eine Potenz von ${}1$, also ${}1$ selbst, zu ${}{\mathfrak {b}}$ in ${}K[X_{1},\ldots ,X_{n}]$ gehört. D.h. dass ${}{\mathfrak {b}}$ das Einheitsideal ist.

$\Box$

Korollar

Es sei ${}K$ ein algebraisch abgeschlossener Körper und seien ${}V_{1}$ und ${}V_{2}$ zwei affin-algebraische Mengen in ${}{{\mathbb {A} }_{K}^{n}}$.

Dann gilt

${}\operatorname {Id} \,(V_{1}\cap V_{2})=\operatorname {rad} \,(\operatorname {Id} \,(V_{1})+\operatorname {Id} \,(V_{2}))\,.$

Beweis

Sei ${}{{\mathfrak {a}}_{1}}=\operatorname {Id} \,(V_{1})$ und ${}{{\mathfrak {a}}_{2}}=\operatorname {Id} \,(V_{2})$. Die Aussage ergibt sich aus

${}\operatorname {rad} \,({{\mathfrak {a}}_{1}}+{{\mathfrak {a}}_{2}})=\operatorname {Id} \,(V(\operatorname {rad} \,({{\mathfrak {a}}_{1}}+{{\mathfrak {a}}_{2}})))=\operatorname {Id} \,(V({{\mathfrak {a}}_{1}}+{{\mathfrak {a}}_{2}}))=\operatorname {Id} \,(V({{\mathfrak {a}}_{1}})\cap V({{\mathfrak {a}}_{2}}))\,,$

wobei die erste Gleichung auf dem Hilbertschen Nullstellensatz beruht.

$\Box$

Auch diese Eigenschaften gelten nicht ohne die Voraussetzung algebraisch abgeschlossen, wie das folgende Beispiel zeigt.

Beispiel

Wir betrachten die beiden algebraischen Kurven

$V_{1}=V(X^{2}+Y^{2}-2)\,\,{\text{ und }}\,\,V_{2}=(X^{2}+2Y^{2}-1)\subseteq {\mathbb {A} }_{K}^{2}.$

Bei ${}K=\mathbb {R}$ sind das beides irreduzible Quadriken. Der Durchschnitt wird beschrieben durch das Ideal

${}(X^{2}+Y^{2}-2,X^{2}+2Y^{2}-1)=(Y^{2}+1,X^{2}-3)\,.$

Da das Polynom ${}Y^{2}+1$ im Reellen keine Nullstelle hat, ist der Durchschnitt ${}V_{1}\cap V_{2}=\emptyset$ leer. Das Verschwindungsideal des (leeren) Durchschnittes ist natürlich das Einheitsideal, die Summe der beiden Verschwindungsideale ist aber nicht das Einheitsideal.