Convex cones and SAGBI bases of permutation invariants

Nicolas M. Thiéry, Stéphan Thomassé

Let 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 h…