## [Gröbner-Basis](/de/node/63504) Definition 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 Prinzip Beliebige Erzeuger durch solche ersetzen, deren Leitmonome das Leitmonomideal erzeugen, sodass Reduktionen terminieren und Normalformen bezüglich der Monomordnung eindeutig sind. ## Demonstration 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 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 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 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 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 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 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.