Für zwei Polynome f und g mit Leitmonomen lt(f) und lt(g) ist das S-Polynom die Kombination S(f,g) = (lcm(lt(f),lt(g))/lt(f))·f - (lcm(lt(f),lt(g))/lt(g))·g, die die Leitmonome aufhebt; es misst die Verträglichkeit der Leitmonome bei Gröbner-Berechnungen.

Prinzip

Eine Linearkombination konstruieren, die Leitmonome eliminiert, so dass ein nichtverschwindender Rest nach Reduktion ein neues Polynom anzeigt, das zur Erzeugung des Leitmonomideals nötig ist.

Demonstration

Ist f = x^2y + niedrigere Terme und g = xy^2 + niedrigere Terme, so ist lcm(lt(f),lt(g)) = x^2y^2 und S(f,g) = y·f - x·g; die Reduktion dieses Polynoms modulo der aktuellen Basis zeigt, ob die Leitmonome bereits kompatibel sind.

Fehlanwendung

S-Polynome zu bilden und dabei Koeffizienten, Monomordnung zu ignorieren oder Reduktionen in einem Ring durchzuführen, der kein Körper ist, kann zu falschen Resten führen oder notwendige Basisergänzungen übersehen.

Konsequenz

S-Polynome sind die grundlegenden Testobjekte in Buchbergers Algorithmus und dem Buchberger-Kriterium: ihr Verschwinden nach Reduktion signalisiert die Abschließung bezüglich Leitmonom-Erzeugung, ein nichtverschwindender Rest zeigt zu ergänzende Elemente an.

Umkehrung

Sind die Leitmonome zweier Polynome teilerfremd (ihr lcm ist das Produkt), reduziert sich das entsprechende S-Polynom oft trival auf 0; ein nichtverschwindendes S-Polynom hingegen markiert eine Überlappung der Leitmonomstruktur, die aufgelöst werden muss.

Abgrenzung

Definiert im Kontext kommutativer Polynomringe mit Monomordnung; für Moduln oder nichtkommutative Umgebungen gibt es analoge Objekte (Syzygien oder links/rechts S-Polynome) mit geänderten Formeln.

Semantische Spannung

Es besteht Spannung zwischen der Betrachtung von S-Polynomen als einfachen algebraischen Kombinationen und ihrer Rolle als explizite Erzeuger des Syzgiemoduls; moderne Algorithmen nutzen die Syzygiesicht zur Vermeidung redundanter S-Paar-Bearbeitung.

Synthese

Ein S-Polynom ist die kanonische Kombination zur Aufhebung der Leitmonome zweier Polynome; durch die Reduktion von S-Polynomen erkennt man, ob das aktuelle Erzeugersystem die Leitmonom-Interaktionen bereits beherrscht oder erweitert werden muss.