Une caractérisation affirmant qu'un ensemble fini de polynômes est une base de Gröbner (pour un ordre monomial fixé) si et seulement si chaque S-polynôme de chaque paire d'éléments de l'ensemble se réduit à zéro modulo cet ensemble.

Principe

La compatibilité des termes dominants est équivalente à la nullité des restes des S-polynômes : si toutes les annulations par paires ne produisent aucun nouveau reste, l'idéal des termes dominants est engendré et l'ensemble est une base de Gröbner.

Démonstration

Pour G = {g1, g2, g3}, calculer S(g1,g2), S(g1,g3), S(g2,g3) et réduire chacun modulo G ; si chaque reste est 0, le critère de Buchberger affirme que G est une base de Gröbner de l'idéal ⟨G⟩.

Mauvaise application

Ne vérifier qu'un sous-ensemble de paires sans justification, ou appliquer le critère avec des réductions effectuées sous un ordre monomial différent, peut conduire à des conclusions erronées quant au statut de base de Gröbner.

Conséquence

Fournit un test fini de terminaison et de correction pour les algorithmes : lorsque le critère est vérifié, aucun polynôme supplémentaire n'est nécessaire et les formes normales sont uniques, rendant l'opération sur l'idéal algorithmique.

Inversion

Si un S-polynôme se réduit en un reste non nul, l'ensemble n'est pas une base de Gröbner et il faut l'étendre par ce reste (ou un élément équivalent) pour résoudre la divergence.

Limite

Dépend d'un ordre monomial admissible fixé et du contexte des anneaux de polynômes commutatifs ; pour les modules, contextes non commutatifs ou critères spécialisés (chaîne, produit, signature) des raffinements ou alternatives existent.

Tension sémantique

Lié mais distinct des critères supplémentaires (chaîne/produit/signature) qui réduisent le nombre de paires S à vérifier ; la tension vient de l'opposition entre l'exhaustivité du critère de Buchberger et les heuristiques pratiques de sélection de paires.

Synthèse

Le critère de Buchberger ramène la propriété globale 'être une base de Gröbner' à un ensemble fini de vérifications locales : chaque S-polynôme par paire doit disparaître sous réduction, et l'échec indique précisément les générateurs manquants.