Base SAGBI

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.