Открыл один интересный оператор.
Пусть

- произвольное натуральное число,

- произвольный симметрический многочлен от

переменных. Рассмотрим оператор

, действующий на функцию комплексной переменной

по закону
![$$\mathcal S(f) \; (z)= S \Big(f\left(\langle \! \sqrt[n] z \rangle _1\right), f\left(\langle \! \sqrt[n] z \rangle _2\right),\dots,f\left(\langle \! \sqrt[n] z \rangle _n\right)\Big),$$ $$\mathcal S(f) \; (z)= S \Big(f\left(\langle \! \sqrt[n] z \rangle _1\right), f\left(\langle \! \sqrt[n] z \rangle _2\right),\dots,f\left(\langle \! \sqrt[n] z \rangle _n\right)\Big),$$](https://dxdy-02.korotkov.co.uk/f/5/8/7/58705b447d3eb61a218bcc64c8596df282.png)
где
![$\langle \! \sqrt[n] z \rangle _1,\langle \! \sqrt[n] z \rangle _2,\dots,\langle \! \sqrt[n] z \rangle _n$ $\langle \! \sqrt[n] z \rangle _1,\langle \! \sqrt[n] z \rangle _2,\dots,\langle \! \sqrt[n] z \rangle _n$](https://dxdy-02.korotkov.co.uk/f/d/8/1/d81a79cb6db151267c0f5787df6794b682.png)
- все корни

-й степени из переменной

.
Тогда действие этого оператора на любой многочлен также представляет из себя многочлен, и, вдобавок к этому, если коэффициенты исходного многочлена и многочлена

действительные (рациональные, целые), то и действие оператора представляет из себя многочлен с действительными (рациональными, целыми) коэффициентами.
К примеру, если

, а

- приведённый многочлен степени

, то
![$\mathcal S(f)=(-1)^{(n-1)m} \prod\limits_{i=1}^n {f\big(\langle \! \sqrt[n] z \rangle _i\big)}$ $\mathcal S(f)=(-1)^{(n-1)m} \prod\limits_{i=1}^n {f\big(\langle \! \sqrt[n] z \rangle _i\big)}$](https://dxdy-01.korotkov.co.uk/f/4/1/6/416a48c3c166879c91cf7318fe86007f82.png)
есть (однозначно определяемый) приведённый многочлен той же степени, что и

, корни которого являются

-ми степенями корней

. Как следует из определения, оператор применим не только к многочленам

, но и к произвольным функциям, определённых как минимум в некотором кольце с центром в нуле и при таком многочлене

"возводит" в

-ю степень нули и, по идее, полюса этой функции.
Обобщение. В определении оператора можно брать не корни

-й степени из переменной, т.е. решения уравнения

, а корни произвольного уравнения вида

где

- любые многочлены (с коэффициентами из соответствующего кольца) от переменной

.
Сталкивался ли кто-нибудь с подобным оператором? Имеет ли он какое-либо применение?