Pour deux polynômes f et g de termes dominants lt(f) et lt(g), le S-polynôme est la combinaison S(f,g) = (lcm(lt(f),lt(g))/lt(f))·f - (lcm(lt(f),lt(g))/lt(g))·g qui annule les termes dominants ; il mesure la compatibilité des termes dominants dans le calcul des bases de Gröbner.

Principe

Construire une combinaison linéaire qui élimine les termes dominants afin que tout reste non nul après réduction révèle un nouveau polynôme nécessaire pour engendrer l'idéal des termes dominants.

Démonstration

Si f = x^2y + termes de plus bas degré et g = xy^2 + termes de plus bas degré, alors lcm(lt(f),lt(g)) = x^2y^2 et S(f,g) = y·f - x·g ; la réduction de ce polynôme modulo la base courante montre si les termes dominants étaient déjà compatibles.

Mauvaise application

Former des S-polynômes en ignorant les coefficients, l'ordre monomial, ou en faisant des réductions dans un anneau qui n'est pas un corps peut donner des restes incorrects ou faire manquer l'extension nécessaire de la base.

Conséquence

Les S-polynômes sont les objets-tests fondamentaux de l'algorithme de Buchberger et du critère de Buchberger : leur annulation après réduction signale la clôture sous génération des termes dominants, tandis qu'un reste non nul identifie des éléments à ajouter.

Inversion

Lorsque les termes dominants de deux polynômes sont premiers entre eux (leur lcm est le produit), le S-polynôme correspondant se réduit souvent trivialement à zéro ; inversement, un S-polynôme non nul indique un chevauchement de structure de termes dominants à résoudre.

Limite

Défini dans le contexte des anneaux de polynômes commutatifs munis d'un ordre monomial ; pour les modules ou cadres non commutatifs, les objets analogues sont des syzygies ou des S-polynômes gauche/droite avec formules modifiées.

Tension sémantique

Tension entre la vue des S-polynômes comme combinaisons algébriques simples et leur interprétation comme générateurs explicites de modules de syzygies ; les algorithmes modernes exploitent le point de vue des syzygies pour éviter des travaux redondants sur les paires S.

Synthèse

Un S-polynôme est la combinaison canonique qui annule les termes dominants de deux polynômes ; en réduisant des S-polynômes on découvre si l'ensemble de générateurs contrôle déjà les interactions de termes dominants ou s'il faut l'étendre.