Eine kanonische Erzeugermenge für eine Unteralgebra eines Polynomrings bezogen auf eine feste Monomordnung; SAGBI (Subalgebra Analogue to Gröbner Bases for Ideals) beschreibt Erzeuger, deren Leitmonome die Leitmonom-Unteralgebra erzeugen.

Prinzip

Charakterisierung einer Unteralgebra durch den Abschluss der Leitmonome: Eine endliche SAGBI-Basis existiert, wenn die Unteralgebra der Leitmonome endlich erzeugt ist, sodass Reduktionen von Produkten von Basiselementen in der von Leitmonomen erzeugten Menge bleiben.

Demonstration

Für die Unteralgebra k[f1,f2,f3] in k[x,y] berechne man die Leitmonome in einer gewählten Ordnung und suche Erzeuger, deren Leitmonome die Leitmonom-Unteralgebra erzeugen; ist diese endlich, bilden die Erzeuger eine SAGBI-Basis, die algorithmische Manipulationen erlaubt.

Fehlanwendung

Eine SAGBI-Basis als Gröbner-Basis eines Ideals zu behandeln und alle Eigenschaften der Idealreduktion zu erwarten; davon auszugehen, dass jede endlich erzeugte Unteralgebra eine endliche SAGBI-Basis besitzt, ohne dies zu prüfen.

Konsequenz

Eine endliche SAGBI-Basis liefert kanonische Erzeuger, vereinfacht Membership-Tests in der Unteralgebra und ermöglicht symbolische Eliminations- und Rekonstruktionsaufgaben analog zu Gröbner-Basis-Workflows, jedoch angepasst an Unteralgebren.

Umkehrung

Ausschließlich mit einer Gröbner-Basis des Relationenideals der Erzeuger zu arbeiten oder die Leitmonom-Struktur zu vernachlässigen und damit eine direkte Erzeugermenge der Unteralgebra aufzugeben.

Abgrenzung

Gilt für Unteralgebren von Polynomringen mit fester Monomordnung; eine SAGBI-Basis kann für manche Unteralgebren unendlich oder nicht existent sein, die Existenz ist daher keine Selbstverständlichkeit.

Semantische Spannung

Spannung besteht zwischen der Auffassung von SAGBI als direktem Analogen zu Gröbner-Basen (Erzeuger vs. Relationen) und den praktischen Unterschieden: Gröbner-Basen kontrollieren Ideale, SAGBI-Basen kontrollieren multiplicative Unteralgebren und besitzen nicht notwendigerweise dieselben Finitheitseigenschaften.

Synthese

Eine SAGBI-Basis fasst die multiplikative Struktur einer polynomiellen Unteralgebra in Erzeugern zusammen, deren Leitmonome die Leitmonom-Unteralgebra erzeugen; ist sie endlich, bietet sie einen algorithmischen Zugriff auf die Unteralgebra vergleichbar mit einer Gröbner-Basis für Ideale.