Ein Algorithmus, der aus einer endlichen Menge multivariater Polynome in einem Polynomring über einem Körper und einer Monomordnung eine Gröbnerbasis des von ihnen erzeugten Ideals berechnet; die Ausgabe ist eine endliche Erzeugendensystem, dessen führenden Terme das Leitideal erzeugen.

Prinzip

Bildung und Reduktion von S-Polynomen zweier Basisglieder: Man bildet S-Polynome, reduziert sie modulo der aktuellen Basis, fügt nichtverschwindende Reste der Basis hinzu und wiederholt den Vorgang, bis alle S-Polynome zu Null reduzieren, wodurch die Basis abgeschlossen ist.

Demonstration

Beginne mit Erzeugern f1,f2 in k[x,y]. Berechne S(f1,f2) zur Eliminierung der führenden Terme; reduziere S(f1,f2) durch f1,f2. Ergibt die Reduktion einen Nichtnullrest r, hänge r an und berechne die S-Polynome mit r neu. Fortfahren, bis keine neuen Reste entstehen; das Endergebnis ist eine Gröbnerbasis, mit der Idealmitgliedschaft und Eliminationsaufgaben gelöst werden können.

Fehlanwendung

Das Verfahren ohne feste Monomordnung ausführen oder annehmen, dass Terminierung in Ringen möglich ist, die keine Polynomringe über einem Körper sind; ebenso fehlanwendbar ist das direkte Annehmen, die erste gefundene Basis sei bereits reduziert oder minimal.

Konsequenz

Ein korrekter Ablauf liefert eine Gröbnerbasis, die Idealmitgliedschaft entscheidet, Eliminationsideale, Dimensionen und Syzygien berechenbar macht; viele algorithmische Probleme in der Idealtheorie werden dadurch mechanisierbar.

Umkehrung

Statt die Basis durch Komplettierung via S-Polynome abzuschließen, könnte man von einer gegebenen Gröbnerbasis versuchen, ursprüngliche Erzeuger zurückzugewinnen; dies ist im Allgemeinen nicht eindeutig und verliert Struktur.

Abgrenzung

Benötigt einen Polynomring über einem Körper (oder einen Koeffizientenbereich, in dem Division durch Leitkoeffizienten möglich ist) und eine wohlgegründete Monomordnung. In nicht-Noetherschen Ringen oder bei nichtfeldartigen Koeffizienten kann Verhalten und Termination versagen oder Anpassungen erfordern.

Semantische Spannung

Wird oft mit der Gröbnerbasis selbst verwechselt: das Buchberger-Verfahren ist ein konstruktiver Prozess, während die Gröbnerbasis ein von der Konstruktion unabhängiges Objekt ist. Außerdem sind Buchbergers Originalalgorithmus und optimierte Implementierungen zu unterscheiden.

Synthese

Buchbergers Algorithmus ist das Abschlussverfahren, das ein Erzeugendensystem eines polynomiellen Ideals in eine algorithmisch nutzbare Gröbnerbasis überführt, indem wiederholt führende Terme mittels S-Polynomen eliminiert und Reduktionen durchgeführt werden.