Un ensemble canonique de générateurs d'une sous-algèbre d'un anneau de polynômes par rapport à un ordre de monômes fixé ; SAGBI (analogue pour sous-algèbres des bases de Gröbner pour les idéaux) désigne des générateurs dont les termes dominants génèrent la sous-algèbre des termes dominants.

Principe

Caractériser une sous-algèbre par la clôture des monômes dominants : une base SAGBI finie existe lorsque la sous-algèbre des termes dominants est finiment engendrée, de sorte que les réductions des produits d'éléments de la base restent dans l'espace engendré par ces termes dominants.

Démonstration

Pour la sous-algèbre k[f1,f2,f3] dans k[x,y], calculer les termes dominants pour un ordre choisi et rechercher des générateurs dont les monômes dominants engendrent la sous-algèbre des termes dominants ; lorsqu'elle est finie, cette famille forme une base SAGBI permettant des manipulations algorithmiques.

Mauvaise application

Considérer une base SAGBI comme une base de Gröbner d'un idéal et attendre toutes les propriétés de réduction d'idéal ; supposer que toute sous-algèbre engendrée finiment admet une base SAGBI finie sans vérification.

Conséquence

Une base SAGBI finie fournit des générateurs canoniques, facilite le test d'appartenance à la sous-algèbre et permet des tâches d'élimination et de reconstruction symboliques analogues aux flux de travail basés sur les bases de Gröbner mais adaptés aux sous-algèbres.

Inversion

Travailler uniquement avec une base de Gröbner de l'idéal des relations entre générateurs ou abandonner la structure des termes dominants, perdant ainsi un ensemble direct de générateurs pour la sous-algèbre elle‑même.

Limite

S'applique aux sous-algèbres d'anneaux de polynômes avec un ordre monomial fixé ; une base SAGBI peut être infinie ou inexistante pour certaines sous-algèbres, donc l'existence n'est pas garantie.

Tension sémantique

Il existe une tension entre voir SAGBI comme un analogue direct des bases de Gröbner (générateurs vs relations) et les différences pratiques : les bases de Gröbner contrôlent les idéaux tandis que les bases SAGBI contrôlent des sous-algèbres multiplicatives et n'ont pas forcément les mêmes propriétés de finitude.

Synthèse

Une base SAGBI condense la structure multiplicative d'une sous-algèbre polynomiale en générateurs dont les termes dominants engendrent la sous-algèbre des termes dominants ; lorsqu'elle est finie, elle fournit un outil algorithmique pour la sous-algèbre comparable à une base de Gröbner pour les idéaux.