2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/114297Let G be a permutation group acting on {1,...,n}, and < be any admissible term order on the polynomial ring K[x_1,...,x_n]. We prove that the invariant ring K[x_1,...,x_n]^G of G has a finite SAGBI basis if, and only if, G is generated by reflections.4 pagesCommutative AlgebraCombinatorics13A50 (Primary) 13P10 (Secondary)text