##  [Critère de Buchberger](/fr/node/63507) 

 Définition

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

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

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

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

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

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

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

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

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.