Base SAGBI
Definición
Un conjunto canónico de generadores para una subálgebra de un anillo de polinomios respecto a un orden de términos fijo; SAGBI (análogo para subálgebras de las bases de Gröbner para ideales) describe generadores cuyos términos líderes generan la subálgebra de términos líderes.