高等代数(一)-多项式11：对称多项式

§ 11 对称多项式
对称多项式是多元多项式中常见的一种,
本节就来介绍关于对称多项式的基本事实.
对称多项式的来源之一以及它应用的一个重要方面, 是一元多项式根的研究.
因此我们从一元多项式的根与系数的关系开始.
设
$$f(x)=x^n+a_1{x}^{n-1}+\cdots +a_n$$
是 $P[x]$ 中的一个多项式. 如果 $f(x)$ 在数域 $P$ 中有 $n$ 个根
${\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n$, 那么 $f(x)$ 就可以分解成
$$f(x)=\left(x-{\alpha }_1\right)\left(x-{\alpha }_2\right)\cdots \left(x-{\alpha }_n\right).$$
把 (2) 展开, 与 (1) 比较, 即得根与系数的关系如下:
$$\{\begin{array}{rl}-a_1& ={\alpha }_1+{\alpha }_2+\cdots +{\alpha }_n,\\ a_2& ={\alpha }_1{\alpha }_2+{\alpha }_1{\alpha }_3+\cdots +{\alpha }_{n-1}{\alpha }_n,\\ & \cdots \cdots \cdots \cdots \cdots \\ (-1{)}^{\prime }{a}_i& =\sum {\alpha }_{k_1}{\alpha }_{k_2}\cdots {\alpha }_{i,}\text{ (所有可能的 }i\text{ 个不同的 }{\alpha }_{k,}\text{ 的乘积之和) , }\\ & \cdots \cdots \cdots \cdots \\ (-1{)}^n{a}_n& ={\alpha }_1{\alpha }_2\cdots {\alpha }_n.\end{array}$$
由此看出, 系数是对称地依赖于方程的根的. 换句话说, 以下 $n$ 个 $n$
元多项式
$$\{\begin{array}{rl}{\sigma }_1=& x_1+x_2+\cdots +x_n,\\ {\sigma }_2=& x_1{x}_2+x_1{x}_3+\cdots +x_{n-1}{x}_n,\\ & \cdots \cdots \cdots \cdots \\ {\sigma }_n=& x_1{x}_2\cdots x_n\end{array}$$
是对称地依赖于文字 $x_1,x_2,\cdots ,x_n$ 的.
为了一般地引人对称多项式的概念,我们需要把"对称"的意义弄清楚.
定义 $11n$ 元多项式 $f\left(x_1,x_2,\cdots ,x_n\right)$,
如果对于任意的 $i,j,1⩽i<j⩽n$, 都有
$$\dot{f}\left({\dot{x}}_1,\cdots ,x_i,\cdots ,x_j,\cdots ,x_n\right)=\dot{f}\left(x_1,\cdots ,x_j,\cdots ,x_i,\cdots ,x_n\right),$$
那么这个多项式称为对称多项式.
这就是说, 如果任意对换两个文字的地位,
$f\left(x_1,x_2,\cdots ,x_n\right)$ 恒不变,
它就是一个对称多项式.
例如
$$f\left(x_1,x_2,x_3\right)=x_1^2{x}_2+x_2^2{x}_1+x_1^2{x}_3+x_3^2{x}_1+x_2^2{x}_3+x_3^2{x}_2$$
就是一个三元对称多项式.
当然, (4) 中的 ${\sigma }_1,{\sigma }_2,\cdots ,{\sigma }_n$ 都是 $n$
元对称多项式,它们称为初等对称多项式.
由对称多项式的定义可知,
对称多项式的和、积以及对称多项式的多项式还是对称多项式.后一论断是说,
如果
$f_1\left(x_1,x_2,\cdots ,x_n\right),f_2\left(x_1,x_2,\cdots ,x_n\right),\cdots ,f_m\left(x_1,x_2,\cdots ,x_n\right)$是
$n$ 元对称多项式,而 $g\left(y_1,y_2,\cdots ,y_m\right)$
是任一多项式,那么
$$g\left(f_1,f_2,\cdots ,f_m\right)=h\left(x_1,x_2,\cdots ,x_n\right)$$
是 $n$ 元对称多项式.
特别地,初等对称多项式的多项式还是对称多项式.
关于对称多项式的基本事实就是,任一对称多项式都能表成初等对称多项式的多项式,即
定理 15 对于任意一个 $n$ 元对称多项式
$f\left(x_1,x_2,\cdots ,x_n\right)$ 都有一个 $n$ 元多项式
$\phi \left(y_1,y_2,\cdots ,y_n\right)$, 使得
$$f\left(x_1,x_2,\cdots ,x_n\right)=\phi \left({\sigma }_1,{\sigma }_2,\cdots ,{\sigma }_n\right).$$
证明 设对称多项式 $f\left(x_1,x_2,\cdots ,x_n\right)$ 的首项
(按字典排列法) 为
$$a{x}_1^{l_1}{x}_2^{l_2}\cdots x_n^{l_n},a\ne 0.$$
我们指出, (5) 作为对称多项式的首项, 必有
$$l_1⩾l_2⩾\cdots ⩾l_n⩾0\text{. }$$
否则, 设有
$$l_i<l_{i+1},$$
由于 $f\left(x_1,x_2,\cdots ,x_n\right)$ 是对称的, 所以
$f\left(x_1,x_2,\cdots ,x_n\right)$ 在包含 (5) 的同时必包含
$$a{x}_1^{t_1}\cdots x_i^{t_{i+1}}{x}_{i+1}^{l_1}\cdots x_n^{l_n},$$
这一项就应该先于 (5), 与首项的要求不符.
作对称多项式
$${\phi }_1=a{\sigma }_1^{l_1-l_2}{\sigma }_2^{l_2-l_3}\cdots {\sigma }_n^{l_n}.$$
因为 ${\sigma }_1,{\sigma }_2,\cdots ,{\sigma }_n$ 的首项分别是
$x_1,x_1{x}_2,\cdots ,x_1{x}_2\cdots x_n$,于是 (6)
在展开之后, 首项为
$$a{x}_1^{t_1-t_{}}$$