Hilbertscher Nullstellensatz
Der hilbertsche Nullstellensatz stellt in der Mathematik in der klassischen algebraischen Geometrie die zentrale Verbindung zwischen Idealen und affinen algebraischen Varietäten her. Er wurde von David Hilbert bewiesen.<ref>Hilbert, Ueber die vollen Invariantensysteme, Mathematische Annalen, Band 42, 1893, S. 313–337</ref>
Formulierungen des Satzes
Es gibt verschiedene äquivalente Varianten, den Nullstellensatz zu formulieren:
- Man betrachte<ref>Formulierung des Satzes in V. Danilov, Hilbert's Nullstellen Satz, Encyclopedia of Mathematics, Springer</ref> den Polynomring <math>k[X_1, \ldots , X_n]</math> definiert über einem Körper <math>k</math> und sei <math>K</math> der algebraische Abschluss von <math>k</math>. Weiter seien <math>f, f_1, \ldots,f_m</math> Polynome in <math>k[X_1, \ldots, X_n]</math> (wobei die <math>f_i</math> ein Ideal <math>I</math> aufspannen). Eine Nullstelle dieser Polynome ist ein Element aus <math>K^n</math>. Wenn jede gemeinsame Nullstelle der Polynome <math>f_1, \ldots , f_m</math> des Ideals <math>I</math> auch eine Nullstelle von <math>f</math> ist, dann gibt es eine natürliche Zahl <math>r</math>, so dass <math>f^r \in I</math>, das heißt, es gibt Polynome <math>g_1, \ldots , g_m \in k[X_1, \ldots , X_n]</math>, so dass:
- <math>f^r= g_1 \cdot f_1 + \cdot \cdot \cdot + g_m \cdot f_m</math>
- Ist <math>K</math> ein algebraisch abgeschlossener Körper und <math>\mathfrak a\subsetneq K[X_1,\ldots,X_n]</math> ein echtes Ideal, so gibt es ein <math>x\in K^n</math>, so dass
- <math>f(x_1,\ldots,x_n)=0</math> für alle <math>f\in\mathfrak a</math>.
- <math>x</math> ist also eine gemeinsame Nullstelle aller Elemente von <math>\mathfrak a</math>. In dieser Formulierung ist es eine weitreichende Verallgemeinerung des Fundamentalsatzes der Algebra.
- Ist <math>K</math> ein algebraisch abgeschlossener Körper und <math>\mathfrak{a}</math> ein Ideal in <math>K[X_1, \dots, X_n]</math>, dann gilt:
- <math>\sqrt{\mathfrak{a}} = I(V(\mathfrak{a}))</math>
- Hierbei bedeutet
- <math>\sqrt{\mathfrak{a}}</math> das Radikal von <math>\mathfrak{a}</math>,
- <math>V(\mathfrak a)\subseteq K^n</math> die Menge aller gemeinsamen Nullstellen von <math>\mathfrak{a}</math> (wie oben), und
- <math>I(X)</math> das Ideal aller Polynome, die auf <math>X\subseteq K^n</math> verschwinden.
- Die Inklusion <math>\sqrt{\mathfrak{a}} \subset I(V(\mathfrak{a}))</math> ist dabei trivial, denn jede Nullstelle von <math>f(T)^r</math> ist auch Nullstelle von <math>f(T)</math>.
- Es sei <math>K</math> ein Körper und <math>\mathfrak m</math> ein maximales Ideal in <math>A=K[X_1,\ldots,X_n]</math>. Dann ist der Grad der Körpererweiterung <math>[A/\mathfrak m:K]</math> endlich.
- Jedes Primideal aus dem Ring <math>k[X_1, \cdot \cdot \cdot , X_n]</math> (Polynomring über einem Körper <math>k</math>) ist der Schnitt der maximalen Ideale, die es enthalten. Das wurde später als definierende Eigenschaft des Jacobson-Rings genommen.<ref>Jacobson Ring, Encyclopedia of Mathematics, Springer</ref>
- Es sei <math>K</math> ein algebraisch abgeschlossener Körper und <math>\mathfrak m</math> ein maximales Ideal in <math>K[X_1,\ldots,X_n]</math>. Dann ist <math>\mathfrak m=(X_1-a_1,\ldots,X_n-a_n)</math> für einen Punkt <math>(a_1,\ldots,a_n)\in K^n</math>. Umgekehrt ist jedes Ideal dieser Form maximal.
- Es sei <math>K</math> ein Körper und <math>L/K</math> eine Körpererweiterung, die als <math>K</math>-Algebra endlich erzeugt ist. Dann ist <math>[L:K]</math> endlich; insbesondere ist die Erweiterung algebraisch.
Bedeutung
Aus dem hilbertschen Nullstellensatz folgt, dass die Abbildungen <math>V</math> und <math>I</math> für einen algebraisch abgeschlossenen Körper eine bijektive Beziehung zwischen affinen algebraischen Mengen in <math>K^n</math> und Radikalidealen in <math>K[X_1,\ldots,X_n]</math> definieren. Diese lässt sich einschränken auf bijektive Beziehungen zwischen irreduziblen algebraischen Mengen und Primidealen sowie zwischen Punkten in <math>K^n</math> und maximalen Idealen.
Affine Varietäten <math>V</math> werden durch die Ideale <math> I</math> definiert und die Nullstellen von <math> I</math> definieren zugehörige (irreduzible affine) algebraische Mengen <math>V</math>. Der Nullstellensatz besagt dann, dass jede nichtleere affine Varietät <math>V</math> einen algebraischen Punkt hat.
Eine effektive Version wurde von W. Dale Brownawell 1987 für Körper der Charakteristik Null und von János Kollár 1988 für beliebige Charakteristik bewiesen. Brownawell gab eine obere Schranke für die Grade der Polynome <math>g_i</math> (vergleiche die erste Version oben), wobei diese exponentiell von der Anzahl der Variablen <math>n</math> abhängt.
Weblinks
|1|= – Kursmaterialien |0|-= |#default= –
}}{{#if:| {{#ifeq: {{{lang}}} | de | {{#ifeq: 0 | 0 | }} | ({{#invoke:Multilingual|format|{{{lang}}}|slang=!|shift=m}}) }}}}{{#invoke:TemplatePar|check
|opt= 1= 2= lang= suffix= |template=Vorlage:Wikiversity |cat=Wikipedia:Vorlagenfehler/Schwesterprojekt }}
Einzelnachweise
<references />