Симетричний многочлен

Степеневими симетричними многочленами називаються суми k — их степенів змінних, тобто:

${\displaystyle p_{k}(x_{1},\ldots ,x_{n})=x_{1}^{k}+x_{2}^{k}+\cdots +x_{n}^{k}.}$

Елементарні симетричні многочлени мають вигляд:

${\displaystyle {\begin{aligned}e_{0}(x_{1},x_{2},\dots ,x_{n})&=1,\\e_{1}(x_{1},x_{2},\dots ,x_{n})&=\textstyle \sum _{1\leq j\leq n}x_{j},\\e_{2}(x_{1},x_{2},\dots ,x_{n})&=\textstyle \sum _{1\leq j<k\leq n}x_{j}x_{k},\\e_{3}(x_{1},x_{2},\dots ,x_{n})&=\textstyle \sum _{1\leq j<k<l\leq n}x_{j}x_{k}x_{l},\\\end{aligned}}}$

і так далі до

${\displaystyle e_{n}(x_{1},x_{2},\dots ,x_{n})=x_{1}x_{2}\cdots x_{n}.}$

Для довільного многочлена можна записати:

${\displaystyle e_{k}(x_{1},\ldots ,x_{n})=\sum _{1\leq j_{1}<j_{2}<\cdots <j_{k}\leq n}x_{j_{1}}\cdots x_{j_{k}}.}$

Елементарні симетричні многочлени є алгебраїчно незалежними, тобто для будь-якого n > 0 не існує такого ненульового многочлена P від n змінних, що ${\displaystyle P(e_{1},\ldots ,e_{n})=0.}$

Між степеневими і елементарними функціями існує залежність:

${\displaystyle ke_{k}(x_{1},\ldots ,x_{n})=\sum _{i=1}^{k}(-1)^{i-1}e_{k-i}(x_{1},\ldots ,x_{n})p_{i}(x_{1},\ldots ,x_{n}),}$

Для перших кільком многочленів рівності мають вигляд:

${\displaystyle {\begin{aligned}e_{1}&=p_{1},\\2e_{2}&=e_{1}p_{1}-p_{2},\\3e_{3}&=e_{2}p_{1}-e_{1}p_{2}+p_{3},\\4e_{4}&=e_{3}p_{1}-e_{2}p_{2}+e_{1}p_{3}-p_{4},\\\end{aligned}}}$

Звідси також можна навпаки визначити степеневі симетричні функції через елементарні:

${\displaystyle {\begin{aligned}p_{1}&=e_{1},\\p_{2}&=e_{1}p_{1}-2e_{2},\\p_{3}&=e_{1}p_{2}-e_{2}p_{1}+3e_{3},\\p_{4}&=e_{1}p_{3}-e_{2}p_{2}+e_{3}p_{1}-4e_{4},\\&{}\ \ \vdots \end{aligned}}}$

Для симетричного многочлена ${\displaystyle h(x_{1},\ldots ,x_{n})\in R[x_{1},\dots ,x_{n}],}$ визначимо T = T_h як множину усіх наборів чисел ${\displaystyle (l_{1},\ldots ,l_{n})}$ для яких коефіцієнт ${\displaystyle x_{1}^{l_{1}},\dots ,x_{n}^{l_{n}}}$ в ${\displaystyle h(x_{1},\ldots ,x_{n})}$ не рівний нулю. Визначимо розмір h, як ${\displaystyle (k_{1},\ldots ,k_{n})}$ де ${\displaystyle (k_{1},\ldots ,k_{n})}$ є елементом T для якого ${\displaystyle k_{1}}$ є найбільшим з можливих, ${\displaystyle k_{2}}$ — найбільше з можливих при даному ${\displaystyle k_{1}}$ і т. д. Оскільки ${\displaystyle h(x_{1},\ldots ,x_{n})}$ є симетричним, то ${\displaystyle (l_{1},\ldots ,l_{n})\in T}$ якщо і тільки якщо кожна перестановка ${\displaystyle (l_{1},\ldots ,l_{n})}$ належить T. Звідси випливає, що ${\displaystyle (k_{1}\geq k_{2}\geq \ldots \geq k_{n})}$. З використанням введеного поняття розміру всі елементи ${\displaystyle R[x_{1},\dots ,x_{n}]}$ можна впорядкувати: якщо h₁ має розмір ${\displaystyle (k_{1},\ldots ,k_{n})}$ і h₂ має розмір ${\displaystyle (k_{1}',\ldots ,k_{n}')}$ тоді h₁ > h₂ якщо для деякого ${\displaystyle i\in \{1,\ldots ,n-1\}}$ виконується ${\displaystyle k_{1}=k_{1}',\ldots ,k_{i}=k_{i}'}$ і ${\displaystyle k_{i+1}>k_{i+1}.\,}$ Елементи ${\displaystyle R[x_{1},\dots ,x_{n}],}$ що мають розмір (0, 0, …, 0) є константами, тобто елементами R.

Припустимо що ${\displaystyle (k_{1},\ldots ,k_{n})}$ є розміром деякого симетричного многочлена ${\displaystyle g\in R[x_{1},\dots ,x_{n}],}$ і ${\displaystyle g\ni R}$. Для невід'ємних цілих чисел d₁, …, d_n, розмір ${\displaystyle h=e_{1}^{d_{1}}e_{2}^{d_{2}}\dots e_{n}^{d_{n}}}$ рівний ${\displaystyle (d_{1}+d_{2}+\dots +d_{n},d_{2}+\dots +d_{n},\ldots ,d_{n-1}+d_{n},d_{n})}$. Взявши ${\displaystyle d_{1}=k_{1}-k_{2};d_{2}=k_{2}-k_{3};\ldots ;d_{n-1}=k_{n-1}-k_{n},d_{n}=k_{n},}$ одержуємо, що розмір h рівний ${\displaystyle (k_{1},\ldots ,k_{n})}$. Коефіцієнт при ${\displaystyle x_{1}^{k_{1}},\dots ,x_{n}^{k_{n}}}$ в h рівний одиниці. Звідси випливає, що існує елемент ${\displaystyle a\in R,}$ такий, що g − ah має менший розмір ніж g.

Як наслідок для довільного симетричного ${\displaystyle f\in R[x_{1},\dots ,x_{n}],}$ існують ${\displaystyle a_{1},\ldots ,a_{m}\in R}$ і ${\displaystyle h_{1},\ldots ,h_{m}\in R[x_{1},\dots ,x_{n}]}$ такі, що ${\displaystyle f-a_{1}h_{1}-\dots -a_{m}h_{m}}$ має розмір (0, 0, …, 0). Це завершує доведення теореми.