Eine endliche Erzeugendensystem eines Polynomideals in einem Polynomring, so gewählt, dass bezüglich einer festen Monomordnung jedes Polynom des Ideals eine eindeutige Normalform modulo dieses Systems besitzt; praktisch macht eine Gröbner-Basis Idealmitgliedschaft, Elimination und Berechnung algebraischer Invarianten algorithmisch erreichbar.

Prinzip

Beliebige Erzeuger durch solche ersetzen, deren Leitmonome das Leitmonomideal erzeugen, sodass Reduktionen terminieren und Normalformen bezüglich der Monomordnung eindeutig sind.

Demonstration

Für das Ideal I = ⟨x^2 - y, xy - 1⟩ in k[x,y] mit lexicographischer Ordnung x > y lässt sich eine Gröbner-Basis berechnen, die ein univariates Polynom in y enthält und damit die Elimination von x und die Lösung des Systems durch Rücksubstitution ermöglicht.

Fehlanwendung

Eine berechnete Gröbner-Basis als unabhängig von der gewählten Monomordnung behandeln oder davon ausgehen, die Basis sei minimal bzw. reduziert, ohne die explizite Reduktion und Normalisierung unter dieser Ordnung durchzuführen.

Konsequenz

Ist die Gröbner-Basis korrekt berechnet und reduziert, so liefert sie ein Entscheidungsverfahren für Idealmitgliedschaft, kanonische Normalformen, unterstützt Variablenelimination und ermöglicht die Berechnung von Dimension und Hilbert-Serie.

Umkehrung

Ein allgemeines Erzeugendensystem, das keine Gröbner-Basis ist, erzeugt keine eindeutigen Normalformen: Verschiedene Reduktionsfolgen können zu unterschiedlichen Resten führen, und Idealtests bleiben unzuverlässig.

Abgrenzung

Gilt für Ideale in kommutativen Polynomringen (und lässt sich mit Anpassungen auf Modulvarianten übertragen); sie setzt eine wohlfundierte Monomordnung voraus und lässt sich nicht unmittelbar auf beliebige nichtkommutative Ringe oder formale Potenzreihen übertragen.

Semantische Spannung

Wird oft mit einem linearen Algebra-Basis-Begriff verwechselt: Eine Gröbner-Basis erzeugt ein Ideal, nicht den Vektorraum. Zudem besteht Spannung zwischen 'reduzierter Gröbner-Basis' (kanonisch) und einem bloßen endlichen Erzeugendensystem.

Synthese

Eine Gröbner-Basis ist ein speziell ausgewähltes endliches Erzeugendensystem eines Polynomideals, fixiert durch eine Monomordnung, sodass Leitmonome die Reduktion steuern; dadurch werden viele Idealfragen algorithmisch lösbar, wobei das Ergebnis stark von der Ordnungswahl abhängt.