Eine Charakterisierung, die besagt, dass eine endliche Menge von Polynomen genau dann eine Gröbner-Basis (für eine feste Monomordnung) ist, wenn jedes S-Polynom jeder Paarung von Elementen der Menge bezüglich dieser Menge auf Null reduziert werden kann.

Prinzip

Die Verträglichkeit der Leitmonome ist äquivalent zum Verschwinden der Reste der S-Polynome: Wenn alle paarweisen Kürzungen keine neuen Reste liefern, ist das Leitmonomideal erzeugt und die Menge ist eine Gröbner-Basis.

Demonstration

Für G = {g1, g2, g3} berechne S(g1,g2), S(g1,g3), S(g2,g3) und reduziere jeweils modulo G; sind alle Reste 0, so besagt das Buchberger-Kriterium, dass G eine Gröbner-Basis des Ideals ⟨G⟩ ist.

Fehlanwendung

Nur eine Teilmenge der Paare ohne Rechtfertigung prüfen oder das Kriterium mit Reduktionen unter einer anderen Monomordnung anwenden kann zu falschen Schlüssen über den Gröbner-Status führen.

Konsequenz

Bietet einen endlichen Test für Beendigung und Korrektheit in Algorithmen: Wenn das Kriterium erfüllt ist, müssen keine weiteren Polynome hinzugefügt werden und Normalformen sind eindeutig, was algorithmische Idealoperationen ermöglicht.

Umkehrung

Reduziert sich ein S-Polynom auf einen nichtverschwindenden Rest, so ist die Menge keine Gröbner-Basis und muss um diesen Rest (oder ein äquivalentes Element) erweitert werden.

Abgrenzung

Voraussetzung ist eine feste zulässige Monomordnung und der Kontext kommutativer Polynomringe; für Moduln, nichtkommutative Umgebungen oder spezialisierte Kriterien (Ketten-, Produkt-, Signaturkriterien) gibt es Verfeinerungen oder Alternativen.

Semantische Spannung

Verwandt, aber verschieden von ergänzenden Kriterien (Ketten-/Produkt-/Signaturkriterien), die die Zahl zu prüfender S-Paare reduzieren; die Spannung entsteht zwischen der Vollständigkeit des Buchberger-Kriteriums und praktischen Auswahlheuristiken.

Synthese

Das Buchberger-Kriterium reduziert die globale Eigenschaft 'Gröbner-Basis sein' auf eine endliche Menge lokaler Prüfungen: Jedes paarweise S-Polynom muss unter Reduktion verschwinden; ein Fehlschlag zeigt genau die fehlenden Erzeuger an.