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\notin {\mathfrak {m}}$.  Nach Fakt ist  ${}K[X_{1},\ldots ,X_{n}]/{\mathfrak {m}}=K$  und somit

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

für gewisse  ${}a_{1},\ldots ,a_{n}\in K$.  Die Eigenschaft  ${}F\notin {\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

Es 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

Es 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 Fakt 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}=V(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.