Satz, der besagt: Ist R ein noetherscher Ring (typischerweise kommutativ mit Eins), so ist auch der Polynomring R[x] noethersch; induktiv gilt dies für R[x1,...,xn] für jedes endliche n. Äquivalent: Ideale in solchen Polynomringen sind endlich erzeugt.

Prinzip

Erhaltung der Endlichkeit unter Polynomverlängerung: Die noethersche Eigenschaft (Fehlen unendlicher aufsteigender Ketten von Idealen) ist stabil, wenn endlich viele Polynomvariablen adjungiert werden; so wird die Eigenschaft der endlichen Erzeugung vom Grundring auf die Polynomalgebra übertragen.

Demonstration

Ist R noethersch, betrachte ein Ideal I in R[x]. Man analysiert Leitkoeffizienten und konstruieren eine endliche Erzeugendensystem, indem man Erzeuger der Koeffizientenideale anhebt; induktiv zeigt dies, dass R[x] keine unendlichen aufsteigenden Ketten von Idealen besitzt. Konkret ist für ein Körper k der Polynomring k[x1,...,xn] noethersch und jedes Ideal besitzt eine endliche Basis.

Fehlanwendung

Zu behaupten, der Satz gelte für Polynomringe in unendlich vielen Variablen oder für beliebige nichtkommutative Ringe ohne Prüfung. Ein weiterer Fehlgebrauch ist, aus dem Satz effektive Schranken für Erzeuger oder Grade abzuleiten; Hilbert garantiert endliche Erzeugbarkeit, aber meist keine kleinen expliziten Schranken.

Konsequenz

Viele strukturelle Resultate in Algebra und algebraischer Geometrie folgen: Endlichkeit der Ideal-Erzeuger, Existenz primärer Zerlegungen in Polynomringen und algorithmische Grundlagen für Eliminationsverfahren. Er bildet die Grundlage der Vorstellung, dass Varietäten durch endlich viele Gleichungen über noetherschen Basen beschrieben werden.

Umkehrung

Der Gegenfall tritt ein, wenn der Grundring nicht noethersch ist oder wenn unendlich viele Variablen adjungiert werden: Polynomringe in unendlich vielen Unbestimmten sind typischerweise nicht noethersch und besitzen unendliche aufsteigende Ketten von Idealen. In nichtkommutativen Kontexten kann die Noetherscheigenschaft ebenfalls versagen.

Abgrenzung

Die Hypothesen sind entscheidend: Der Grundring muss noethersch sein (Kommutativität und Eins werden für klassische Beweise meist vorausgesetzt), und der Satz behandelt endlich viele Polynomvariablen. Er garantiert keine effektiven Grad- oder Erzeugergrenzen und gilt nicht automatisch für unendlich viele Variablen oder beliebige Ringerweiterungen.

Semantische Spannung

Spannung zwischen Existenz endlicher Erzeuger und Effektivität: Hilbert sichert eine endliche Basis, jedoch oft nicht konstruktiv oder ohne brauchbare Gradgrenzen. Spannung besteht auch mit pathologischen Ringen, in denen Noetherscheigenschaft fehlt, oder mit unendlichvariablen Algebren, wo aufsteigende Ketten wieder auftreten.

Synthese

Der Hilbertsche Basissatz formalisiert, dass Noethersches Eigenschaft beim Adjungieren endlich vieler Polynomvariablen erhalten bleibt: Aus einem noetherschen Grundring entstehen Polynomalgebren, in denen Ideale endlich erzeugt sind, und dies liefert die finiten Grundlagen der kommutativen Algebra und algebraischen Geometrie.