Сіметрычны мнагачлен

Сіметры́чны мнагачле́н — мнагачлен ад n зменных ${\displaystyle F(x_{1},x_{2},...,x_{n})}$, які не мяняе выгляду пры любых перастаноўках сваіх зменных. Інакш кажучы, калі адвольным чынам перанумараваць зменныя, сіметрычны мнагачлен застанецца тым жа.

Элементарныя сіметрычныя мнагачлены — мнагачлены віду

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

вызначаныя для ${\displaystyle k=1,2\ldots n}$, г.зн. такія:

${\displaystyle {\begin{array}{lcr}\sigma _{1}(x_{1},x_{2},\ldots ,x_{n})&=&x_{1}+x_{2}+\cdots +x_{n}\\\sigma _{2}(x_{1},x_{2},\ldots ,x_{n})&=&{x_{1}{x_{2}+{x_{1}{x_{3}+\cdots +{x_{n-1}{x_{n}\\&\cdots &\\\sigma _{n-1}(x_{1},x_{2},\ldots ,x_{n})&=&{x_{1}{x_{2}\ldots {x_{n-1}+{x_{1}{x_{2}\ldots {x_{n-2}{x_{n}+\cdots +{x_{2}{x_{3}\ldots {x_{n}\\\sigma _{n}(x_{1},x_{2},\ldots ,x_{n})&=&{x_{1}{x_{2}\ldots {x_{n}\\\end{array}$

• Дыскрымінант — мнагачлен віду

  ${\displaystyle D(p)=a_{n}^{2n-2}\prod _{i<j}(\alpha _{i}-\alpha _{j})^{2},}$

  дзе ${\displaystyle \alpha _{1},\alpha _{2},\ldots ,\alpha _{n}$ — карані нейкага мнагачлена ад аднае зменнай:

  ${\displaystyle p(x)=a_{0}+a_{1}x+...+a_{n}x^{n}.}$

• Ступенныя сумы — сумы аднолькавых ступеней зменных, г.зн.

  ${\displaystyle F(x_{1},x_{2},\ldots ,x_{n})=\sum _{i=1}^{n}x_{i}^{\alpha }$

Асноўная тэарэма тэорыі сіметрычных мнагачленаў сцвярджае:

• Дыскрымінант
• Сіметрычная група

• Э. Б. Винберг. Курс алгебры.. — 3-е изд. — М.: Факториал Пресс, 2002. — С. 127--134.
• З. Б. Райхштейн Тождества Ньютона и математическая индукция // Математическое просвещение. — 2000. — В. 4. — С. 204–205.