Para dos polinomios f y g con términos líderes lt(f) y lt(g), el S-polinomio es la combinación S(f,g) = (lcm(lt(f),lt(g))/lt(f))·f - (lcm(lt(f),lt(g))/lt(g))·g que cancela los términos líderes; mide la compatibilidad de los términos líderes en cálculos de bases de Gröbner.

Principio

Construir una combinación lineal que elimine los términos líderes de modo que cualquier resto no nulo tras la reducción revele un nuevo polinomio necesario para generar el ideal de términos líderes.

Demostración

Si f = x^2y + términos de menor grado y g = xy^2 + términos de menor grado, entonces lcm(lt(f),lt(g)) = x^2y^2 y S(f,g) = y·f - x·g; reducir ese polinomio respecto de la base actual muestra si los términos líderes eran ya compatibles.

Aplicación incorrecta

Formar S-polinomios ignorando coeficientes, el orden monomial o realizando reducciones en un anillo que no es un cuerpo puede producir restos incorrectos o perder extensiones necesarias de la base.

Consecuencia

Los S-polinomios son los objetos de prueba básicos en el algoritmo de Buchberger y en el criterio de Buchberger: su anulación tras la reducción indica cierre bajo generación de términos líderes, mientras que un resto no nulo identifica elementos que deben añadirse.

Inversión

Cuando los términos líderes de dos polinomios son coprimos (su lcm es el producto), el S-polinomio correspondiente suele reducirse trivialmente a cero; en cambio, un S-polinomio no nulo indica solapamiento en la estructura de términos líderes que debe resolverse.

Límite

Se define en el contexto de anillos de polinomios conmutativos con un orden monomial; para módulos o entornos no conmutativos existen objetos análogos (syzígias o S-polinomios izquierdos/derechos) con fórmulas modificadas.

Tensión semántica

Hay tensión entre ver los S-polinomios como meras combinaciones algebraicas y considerarlos como generadores explícitos del módulo de syzígias; los algoritmos modernos explotan la perspectiva de syzígias para evitar trabajo redundante con pares S.

Síntesis

Un S-polinomio es la combinación canónica que anula los términos líderes de dos polinomios; reduciendo S-polinomios se revela si el conjunto generador controla ya las interacciones de términos líderes o necesita ampliarse.