1: \begin{abstract}

2:   Let $G$ be a permutation group acting on $\{1,\dots,n\}$, and $<$ be

3:   any admissible term order on the polynomial ring

4:   $\K[x_1,\dots,x_n]$. We prove that the invariant ring

5:   $\K[x_1,\dots,x_n]^G$ of $G$ has a finite SAGBI basis if, and only

6:   if, $G$ is generated by reflections.

7: \end{abstract}

8: