Ein Satz, der besagt, dass wenn R ein noetherscher kommutativer Ring ist, dann auch der Polynomring R[x1,…,xn] in endlich vielen Unbestimmten über R noethersch ist; das heißt, jedes Ideal in R[x1,…,xn] ist endlich erzeugt, sofern R die aufsteigende Kettenbedingung für Ideale erfüllt.

Prinzip

Die noethersche Eigenschaft bleibt beim Adjunktieren endlich vieler Polynomvariablen erhalten: die Endlichkeit der Idealerzeugung im Grundring erzwingt Endlichkeit in der entsprechenden endlichen Polynomverlängerung.

Demonstration

Für einen Körper k (noethersch) bildet man k[x1,…,xn]; der Satz sichert, dass jedes Ideal in k[x1,…,xn] endlich erzeugt ist. Konkret ist etwa das Ideal, das von den partiellen Ableitungen eines Polynoms f in k[x,y] erzeugt wird, endlich erzeugt, was Berechnungen ermöglicht.

Fehlanwendung

Die Annahme, dieselbe Endlichkeit gelte für Polynomringe in unendlich vielen Variablen, oder dass ein nicht-noetherscher Ring durch Adjungieren von Variablen noethersch werde, ist im Allgemeinen falsch.

Konsequenz

Legt die Grundlage für Finitheitsargumente in der algebraischen Geometrie und kommutativen Algebra: Idealgeneratoren existieren, Algorithmen terminieren im endlichen Variablenfall, und viele strukturelle Resultate beruhen auf dieser Endlichkeit.

Umkehrung

Die Umkehrung folgt durch Quotientenbildung: Ist R[x1,…,xn] noethersch, so ist sein Quotient R ≅ R[x1,…,xn]/(x1,…,xn) ebenfalls noethersch; für endlich viele Variablen sind die Eigenschaften somit äquivalent, doch betont die übliche Formulierung die Richtung vom Grundring zur Polynomverlängerung.

Abgrenzung

Voraussetzung ist ein kommutativer Ring mit Einselement und eine endliche Anzahl von Polynomvariablen. Der Satz gilt nicht für Polynomringe mit unendlich vielen Variablen, für viele nichtkommutative Polynomkonstruktionen oder in Kontexten ohne noethersche Struktur (ACC für Ideale).

Semantische Spannung

Noethersch (ACC für Ideale) darf nicht mit endlich erzeugt als Algebra verwechselt werden; der Satz betrifft idealtheoretische Endlichkeit und nicht die Algebraerzeugung über einem Unterring.

Synthese

Der Hilbertsche Basissatz verbindet die lokale Endlichkeitsbedingung für Ideale im Grundring mit einer globalen Endlichkeitsaussage für seine polynomiellen Erweiterungen in endlich vielen Variablen und ermöglicht so endliche Präsentationen und algorithmische Kontrolle.