Открыл один интересный оператор.
Пусть
- произвольное натуральное число,
- произвольный симметрический многочлен от
переменных. Рассмотрим оператор
, действующий на функцию комплексной переменной
по закону
где
- все корни
-й степени из переменной
.
Тогда действие этого оператора на любой многочлен также представляет из себя многочлен, и, вдобавок к этому, если коэффициенты исходного многочлена и многочлена
действительные (рациональные, целые), то и действие оператора представляет из себя многочлен с действительными (рациональными, целыми) коэффициентами.
К примеру, если
, а
- приведённый многочлен степени
, то
есть (однозначно определяемый) приведённый многочлен той же степени, что и
, корни которого являются
-ми степенями корней
. Как следует из определения, оператор применим не только к многочленам
, но и к произвольным функциям, определённых как минимум в некотором кольце с центром в нуле и при таком многочлене
"возводит" в
-ю степень нули и, по идее, полюса этой функции.
Обобщение. В определении оператора можно брать не корни
-й степени из переменной, т.е. решения уравнения
, а корни произвольного уравнения вида
где
- любые многочлены (с коэффициентами из соответствующего кольца) от переменной
.
Сталкивался ли кто-нибудь с подобным оператором? Имеет ли он какое-либо применение?