A constructive description of SAGBI bases for polynomial invariants of permutation groups (Q1267065)

\textit{M. Göbel} [J. Symb. Comput. 19, No. 4, 285-291 (1995; Zbl 0832.13006)] investigated the computation of bases for rings \(R[X_1,\dots,X_n]^G\) of polynomial invariants of permutation groups \(G\). The aim of this note is to study the properties of canonical or SAGBI bases \(B\) of \(R[X_1,\dots,X_n]^G\). These are such that -- with respect to a given term order -- every head term in \(R[X_1,\dots,X_n]^G\) can be expressed as a product of head terms in \(B\). We investigate the general reduction technique for SAGBI bases and two variants thereof. We also present degree bounds to decide finiteness and a constructive description of SAGBI bases of \(R[X_1,\dots,X_n]^G\) by a combinatorial approach. Our main result will be to show that only permutation groups \(G\) generated by direct products of symmetric groups lead to corresponding invariant rings \(R[X_1,\dots,X_n]^G\), which have finite SAGBI bases, independent of the given ground ring \(R\). Moreover, any finite SAGBI basis consists only of multilinear polynomials.