A classification of bisymmetric polynomial functions over integral domains of characteristic zero (Q1759595)

The authors prove the following theorem: A polynomial function \(P:\mathcal{R}^n\rightarrow\mathcal{R}\) is bisymmetric if and only if it is (i) univariate, or (ii) of degree \(\leq 1,\) that is, of the form \[ P(x)=a_0+\sum^n_{i=1}a_ix_i, \] where \(a_i\in\mathcal{R}\) for \(i=0,\dots,n,\) or (iii) of the form \[ P(x)=a\prod^n_{i=1}(x_i+b)^{\alpha_i}-b, \] where \(a\in\mathcal{R}\), \(b\in\text{Frac}(\mathcal{R})\), and \(\alpha\in\mathbb{N}^n\) satisfies \(ab^k\in\mathcal{R}\) for \(k=1,\dots,|\alpha|-1\) and \(ab^{|\alpha|}-b\in\mathcal{R}\).