对称多项式

title: 例子.
content: 以下是两个变量的对称多项式的例子:  以下是三个变量的对称多项式的例子:  并不是所有多项式都是对称的,例如 formula_4就不对称,因为把formula_5和formula_6对换后,会得到formula_7,不等于原来的多项式。  有很多方法可以构造特殊的 n 个变量的多项式,下面举一个例子  因为将 formula_9 做置换只是在改变相乘的顺序以及在括号乘以 ±1,不会影响 D 的函数值,因此 D 是对称多项式。此外,如果 formula_9是 n 次 f 的 n 个根,则 D 是 f 的判别式。
title: 伽罗瓦理论.
content: 对称多项式出现在单变量首一多项式的研究中。考虑一个体上的 n 次多项式,并且有 n 个根,从另一个方便来说,这 n 个根决定了这个多项式,若将 n 个根视为 n 个独立的变量,则原多项式的各项系数是由 n 个根所形成的对称多项式。这些由 n 个根生成系数的对称多项式被称为初等对称多项式。  上述观念可以衍伸出一个解多项式的方法,定义一个映射,将多项式的各项系数送到多项式的所有根,换言之,要解出基本对称多项式方程组。因此,本映射可以被视为是在「破坏对称性」。这使我们可以借由研究根的置换群来求解多项式,这个观念是的原型,之后在伽罗瓦理论中会有进一步的发展。
title: 单变量首一多项式的根.
content: 更具体的来说,假设 f(t) 是一个以 t 为变量的 n 次首一多项式,即  其中系数 formula_12是体 K 中的元素。f(t) 在 K 中不见得会有根,但是如果考虑 K 的代数闭包 formula_13,f(t) 在 formula_13 中一定会有 n 个根 formula_15。举个特殊的例子,如果 K 是实数体 formula_16,则 formula_13 是复数体 formula_18。注意到 n 个根会有重复,但下述恒等式一定会成立  比较各项系数可以得到根与系数的关系  这显示了多项式的系数 formula_21 可以被写成根的对称多项式,而且不论根如何分布,是否落在原本的体 K 中,是否有重根,皆可以使用相同的对称多项式表示出原本的系数。  从另一方面来说,如果把 n 个根视为独立变量,记做 formula_9,原多项式的系数就变成了对称多项式,这些对称多项式,忽略前面的系数 formula_23,被定义成初等对称多项式。换句话说,初等对称多项式是以 t 为变量的多项式  的展开式中的各项系数。  例如当 n = 3 时,初等对称多项式为 formula_25、formula_26和 formula_27。
title: 对称多项式基本定理.
content: 对称多项式基本定理说,体 K 上 n 个变量的多项式 f 是一些 n 个变量的初等对称多项式的代数组合 (经由相加、乘上 K 中的常数、相乘所得到的元素),当且仅当 f 是对称多项式。  例如当 n=2 时,两个初等对称多项式是 formula_28和 formula_29。对称多项式 formula_30可以被表示成  本定理有一个关于直接推论,将首一多项式的 n 个根带入一个对称多项式,等于将原多项式的各项系数带入某个多项式,因此,就算 n 个根只落在代数闭包 formula_13 中,将它们带入一个对称多项式后所得到的数值必定会落在 K 之中。例如牛顿恒等式是关于如何用原系数表示 n 个根的等幂次之和。
title: 一些常见的对称多项式.
content: 以下是一些用初等的方法就可以构造出来的对称多项式,而它们都是以 X, X,..., X 为变量。
title: 单项对称多项式.
content: 将对称多项式做相乘或取次方会使表达式变得复杂。有一个相对简单的构造方式是考虑一个单项式,并且任意交换它的变量,将取得的所有可能的变体通通加起来得到一个对称多项式,称为单项对称多项式。因此单项对称多项式是对称多项式的基底,适当地将它做相加可得到所有对称多项式。更准确地的定义如下:一个以 X,..., X 为变量的单项式可以写作 X...X,其中次方 α 可以是正整数或 0。为了表达方便,定义 α = (α,...,α) 则以上的单项式可以被缩写成 X。而单项对称多项式m(X,..., X) 定义为所有 x 的总和,其中 β 跑遍所有 α = (α,...,α) 的「相异」置换。 举例来说  显然如果 β 是 α 的一个置换,则 m = m,因此一般而言只需考虑 m 满足 α ≥ α ≥... ≥ α,换言之,只需考虑 α 是整数分拆的情况。给定任何对称多项式 P,都可以将其中不同类型的单项式分离归类,因而将 P 写成单项对称多项式的线性组合,是故,单项对称多项式形成包含所有对称多项式的空间的一个基底。特别的,如果 P 中的系数都是正整数,则线性组合中的系数也都会是正整数。  基本对称多项式是单项对称多项式的特例,因为对任何 0 ≤ k ≤ n 有  其中 α 将正整数 k 分拆成 k 个 1(后面接着 n − k 个 0)。
title: 次方和对称多项式.
content: 对于正整数 k,单项对称多项式 m(X,..., X) 是具有特殊意义的,它被称做次方和对称多项式。更具体的来说,定义  事实上,所有拥有 n 个变量的对称多项式都可以借由一些次方和对称多项式做相加、相乘及乘以有理数系数的运算而得到,而且可以使其中所使用到的次方和对称多项式的次方数最高不超过 n。更精确的来说,  特别的,其他次数 k > n 的次方和多项式 "p"("X",..., "X") 也可以用前 n 个对称多项式表示,例如  与单项对称多项式以及完全齐次对称多项式不同的是,一个"整" 系数的对称多项式可能无法被表示成 n 个变量的"整" 系数多项式,其中各变量代入次方和多项式 p(X,..., X),..., p(X,..., X)。例如对 n = 2,对称多项式  只能被表达成  然而,如果有 3 个变量的话,情况又变得不同  如果将上式的 X 代入 0,也可以得到一个 2 个变量情况的表示式,然而该表示式中包含多项式 p,因此不适用于 2 变量的叙述条件。从上述例子可以看出,不同的变量个数可能会影响到同一个单项对称多项式是否能被次方和对称多项式以整系数的代数组合表达。然而,对于 n ≥ 2,基本对称多项式 e 都不能表达成次方和对称多项式的整系数代数组合表达(注意到 n = 1 时 e = p)。借由牛顿恒等式可以很容易推得上述结论,并且会有其中若干个系数的分母是 n。因为这个缘故,前述的结论只在任何包含有理数的环中成立,在有限特征的环中不成立。
title: 初等对称多项式.
title: 与等幂和的性质.
content: 以下用a表示对称多项式,s表示等幂和:  formula_41
title: 牛顿公式.
content: formula_42  证明如下:  formula_43  formula_44  formula_45
title: 组合公式.
content: 两项时使等幂和分解为积与和的组合,如formula_46:  用数学归纳法可证明高维的形式:  取formula_52  也可以把对称多项式表达成等幂和:  取formula_52

Summary: 数学中的对称多项式是一种特殊的多元多项式。假设一个元多项式,当其中的个不定元任意交换后,多项式仍维持不变,就称其为对称多项式。严格的说法是,如果对任意的元置换,都有 =,就说是对称多项式。

Symmetric polynomial: In mathematics, a symmetric polynomial is a polynomial in variables, such that if any of the variables are interchanged, one obtains the same polynomial. Formally, is a "symmetric polynomial" if for any permutation of the subscripts one has.