##  [Buchberger-Kriterium](/de/node/63507) 

 Definition

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

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

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

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

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

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

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

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

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.