對稱多項式

數學中的對稱多項式（英語：Symmetric polynomial）是一種特殊的多元多項式。假設一個 $n$ 元多項式 $P (X 1, X 2, ..., X n)$ ，當其中的 $n$ 個不定元任意交換後，多項式仍維持不變，就稱其為對稱多項式。嚴格的說法是，如果對任意的 $n$ 元置換 $σ$ ，都有 $P (X σ (1), X σ (2), ..., X σ (n))$ = $P (X 1, X 2, ..., X n)$ ，就說 $P$ 是對稱多項式。

對稱多項式最早是在出現在對一元多項式方程求根的研究中。一元多項式方程的系數可以用它的根的多項式來表達。而多項式的任何一個根的地位理當與余者都相同，所以這類多項式中，不定元進行置換不應當改變多項式。從這個角度來說，將多項式方程的根構成的系數多項式稱為基本對稱多項式是合理的。有定理說明，任意的對稱多項式都可以表達為基本對稱多項式的多項式。

例子

以下是兩個變量的對稱多項式的例子：

$P(X_{1},X_{2})=X_{1}{}^{3}+X_{2}{}^{3}-7$
$P(X_{1},X_{2})=4X_{1}X_{2}$

以下是三個變量的對稱多項式的例子：

$P(X_{1},X_{2},X_{3})=X_{1}X_{2}X_{3}-2X_{1}X_{2}-2X_{1}X_{3}-2X_{2}X_{3}$

並不是所有多項式都是對稱的，例如 $P(X_{1},X_{2})=X_{1}-2X_{2}$ 就不對稱，因為把 $X_{1}$ 和 $X_{2}$ 對換後，會得到 $X_{2}-2X_{1}$ ，不等於原來的多項式。

有很多方法可以構造特殊的 n 個變量的多項式，下面舉一個例子

D(X_{1},\dots ,X_{n})=\prod _{1\leq i<j\leq n}(X_{i}-X_{j})^{2}

因為將 $X_{1},X_{2},...,X_{n}$ 做置換只是在改變相乘的順序以及在括弧乘以 ±1，不會影響 D 的函數值，因此 D 是對稱多項式。此外，如果 $X_{1},X_{2},...,X_{n}$ 是 n 次首一多項式 f 的 n 個根，則 D 是 f 的判別式。

伽羅瓦理論

對稱多項式出現在單變量首一多項式的研究中。考慮一個體上的 n 次多項式，並且有 n 個根，從另一個方面來說，這 n 個根決定了這個多項式，若將 n 個根視為 n 個獨立的變量，則原多項式的各項系數是由 n 個根所形成的對稱多項式。這些由 n 個根生成系數的對稱多項式被稱為初等對稱多項式。

上述觀念可以衍伸出一個解多項式的方法，定義一個映射，將多項式的各項系數送到多項式的所有根，換言之，要解出基本對稱多項式方程組。因此，本映射可以被視為是在「破壞對稱性」。這使我們可以藉由研究根的置換群來求解多項式，這個觀念是拉格朗吉預解式（英語：Lagrange resolvent）的原型，之後在伽羅瓦理論中會有進一步的發展。

單變量首一多項式的根

更具體的來說，假設 f(t) 是一個以 t 為變量的 n 次首一多項式，即

f(t)=t^{n}+a_{n-1}t^{n-1}+\cdots +a_{2}t^{2}+a_{1}t+a_{0}

其中系數 $a_{0},\dots ,a_{n-1}$ 是體 K 中的元素。f(t) 在 K 中不見得會有根，但是如果考慮 K 的代數閉包 ${\bar {K}}$ ，f(t) 在 ${\bar {K}}$ 中一定會有 n 個根 $x_{1},\dots ,x_{n}$ 。舉個特殊的例子，如果 K 是實數體 $\mathbb {R}$ ，則 ${\bar {K}}$ 是複數體 $\mathbb {C}$ 。注意到 n 個根會有重複，但下述恆等式一定會成立

t^{n}+a_{n-1}t^{n-1}+\cdots +a_{2}t^{2}+a_{1}t+a_{0}=(t-x_{1})(t-x_{2})\cdots (t-x_{n})

比較各項系數可以得到根與系數的關係

{\begin{aligned}a_{n-1}&=-x_{1}-x_{2}-\cdots -x_{n}\\a_{n-2}&=x_{1}x_{2}+x_{1}x_{3}+\cdots +x_{2}x_{3}+\cdots +x_{n-1}x_{n}=\textstyle \sum _{1\leq i<j\leq n}x_{i}x_{j}\\&{}\ \,\vdots \\a_{1}&=(-1)^{n-1}(x_{2}x_{3}\cdots x_{n}+x_{1}x_{3}x_{4}\cdots x_{n}+\cdots +x_{1}x_{2}\cdots x_{n-2}x_{n}+x_{1}x_{2}\cdots x_{n-1})=\textstyle (-1)^{n-1}\sum _{i=1}^{n}\prod _{j\neq i}x_{j}\\a_{0}&=(-1)^{n}x_{1}x_{2}\cdots x_{n}.\\\end{aligned}}

這顯示了多項式的系數 $a_{i}$ 可以被寫成根的對稱多項式，而且不論根如何分佈，是否落在原本的體 K 中，是否有重根，皆可以使用相同的對稱多項式表示出原本的系數。

從另一方面來說，如果把 n 個根視為獨立變量，記做 $X_{1},X_{2},...,X_{n}$ ，原多項式的系數就變成了對稱多項式，這些對稱多項式，忽略前面的系數 $(-1)^{n-i}$ ，被定義成初等對稱多項式。換句話說，初等對稱多項式是以 t 為變量的多項式

(t+X_{1})(t+X_{2})\cdots (t+X_{n})

的展開式中的各項系數。

例如當 n = 3 時，初等對稱多項式為 $X_{1}+X_{2}+X_{3}$ 、 $X_{1}X_{2}+X_{2}X_{3}+X_{3}X_{1}$ 和 $X_{1}X_{2}X_{3}$ 。

對稱多項式基本定理

對稱多項式基本定理說，體 K 上 n 個變量的多項式 f 是一些 n 個變量的初等對稱多項式的代數組合 (經由相加、乘上 K 中的常數、相乘所得到的元素)，當且僅當 f 是對稱多項式。

例如當 n=2 時，兩個初等對稱多項式是 $X_{1}+X_{2}$ 和 $X_{1}X_{2}$ 。對稱多項式 $P(X_{1},X_{2})=X_{1}^{3}+X_{2}^{3}-7$ 可以被表示成

X_{1}^{3}+X_{2}^{3}-7=(X_{1}+X_{2})^{3}-3X_{1}X_{2}(X_{1}+X_{2})-7

本定理有一個關於直接推論，將首一多項式的 n 個根帶入一個對稱多項式，等於將原多項式的各項系數帶入某個多項式。因此，就算 n 個根只落在代數閉包 ${\bar {K}}$ 中，將它們帶入一個對稱多項式後所得到的數值必定會落在 K 之中。例如牛頓恆等式是關於如何用原系數表示 n 個根的等冪次之和。

一些常見的對稱多項式

以下是一些用初等的方法就可以構造出來的對稱多項式，而它們都是以 X₁, X₂, …, X_n 為變量。

單項對稱多項式

將對稱多項式做相乘或取次方會使表達式變得複雜。有一個相對簡單的構造方式是考慮一個單項式，並且任意交換它的變量，將取得的所有可能的變體通通加起來得到一個對稱多項式，稱為單項對稱多項式。因此單項對稱多項式是對稱多項式的基底，適當地將它做相加可得到所有對稱多項式。更準確地的定義如下：一個以 X₁, …, X_n 為變量的單項式可以寫作 X₁^α₁…X_n^α_n ，其中次方 α_i 可以是正整數或 0。為了表達方便，定義 α = (α₁,…,α_n) 則以上的單項式可以被縮寫成 X^α。而單項對稱多項式m_α(X₁, …, X_n) 定義為所有 x^β 的總和，其中 β 跑遍所有 α = (α₁,…,α_n) 的「相異」置換。舉例來說

m_{(3,1,1)}(X_{1},X_{2},X_{3})=X_{1}^{3}X_{2}X_{3}+X_{1}X_{2}^{3}X_{3}+X_{1}X_{2}X_{3}^{3}

,

m_{(3,2,1)}(X_{1},X_{2},X_{3})=X_{1}^{3}X_{2}^{2}X_{3}+X_{1}^{3}X_{2}X_{3}^{2}+X_{1}^{2}X_{2}^{3}X_{3}+X_{1}^{2}X_{2}X_{3}^{3}+X_{1}X_{2}^{3}X_{3}^{2}+X_{1}X_{2}^{2}X_{3}^{3}.

顯然如果 β 是 α 的一個置換，則 m_α = m_β，因此一般而言只需考慮 m_α 滿足 α₁ ≥ α₂ ≥ … ≥ α_n，換言之，只需考慮 α 是整數分拆的情況。給定任何對稱多項式 P，都可以將其中不同類型的單項式分離歸類，因而將 P 寫成單項對稱多項式的線性組合，是故，單項對稱多項式形成包含所有對稱多項式的空間的一個基底。特別的，如果 P 中的系數都是正整數，則線性組合中的系數也都會是正整數。

基本對稱多項式是單項對稱多項式的特例，因為對任何 0 ≤ k ≤ n 有

$e_{k}(X_{1},\ldots ,X_{n})=m_{\alpha }(X_{1},\ldots ,X_{n})$

其中 α 將正整數 k 分拆成 k 個 1（後面接着 n − k 個 0）。

次方和對稱多項式

對於正整數 k，單項對稱多項式 m_(k,0,…,0)(X₁, …, X_n) 是具有特殊意義的，它被稱做次方和對稱多項式。更具體的來說，定義

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

事實上，所有擁有 n 個變量的對稱多項式都可以藉由一些次方和對稱多項式做相加、相乘及乘以有理數系數的運算而得到，而且可以使其中所使用到的次方和對稱多項式的次方數最高不超過 n。更精確的來說，

任何以 X₁, …, X_n 為變量的對稱多項式都可以被表示成一個 n 個變量多的項式，其中各變量代入次方和多項式 p₁(X₁, …, X_n), …, p_n(X₁, …, X_n)

特別的，其他次數 k > n 的次方和多項式 p_k(X₁, …, X_n) 也可以用前 n 個對稱多項式表示，例如

p_{3}(X_{1},X_{2})=\textstyle {\frac {3}{2}}p_{2}(X_{1},X_{2})p_{1}(X_{1},X_{2})-{\frac {1}{2}}p_{1}(X_{1},X_{2})^{3}.

與單項對稱多項式以及完全齊次對稱多項式不同的是，一個整系數的對稱多項式可能無法被表示成 n 個變量的整系數多項式，其中各變量代入次方和多項式 p₁(X₁, …, X_n), …, p_n(X₁, …, X_n)。例如對 n = 2，對稱多項式

m_{(2,1)}(X_{1},X_{2})=X_{1}^{2}X_{2}+X_{1}X_{2}^{2}

只能被表達成

m_{(2,1)}(X_{1},X_{2})=\textstyle {\frac {1}{2}}p_{1}(X_{1},X_{2})^{3}-{\frac {1}{2}}p_{2}(X_{1},X_{2})p_{1}(X_{1},X_{2}).

然而，如果有 3 個變量的話，情況又變得不同

{\begin{aligned}m_{(2,1)}(X_{1},X_{2},X_{3})&=X_{1}^{2}X_{2}+X_{1}X_{2}^{2}+X_{1}^{2}X_{3}+X_{1}X_{3}^{2}+X_{2}^{2}X_{3}+X_{2}X_{3}^{2}\\&=p_{1}(X_{1},X_{2},X_{3})p_{2}(X_{1},X_{2},X_{3})-p_{3}(X_{1},X_{2},X_{3}).\end{aligned}}

如果將上式的 X₃ 代入 0，也可以得到一個 2 個變量情況的表示式，然而該表示式中包含多項式 p₃，因此不適用於 2 變量的敘述條件。從上述例子可以看出，不同的變量個數可能會影響到同一個單項對稱多項式是否能被次方和對稱多項式以整系數的代數組合表達。然而，對於 n ≥ 2，基本對稱多項式 e_n 都不能表達成次方和對稱多項式的整系數代數組合表達(注意到 n = 1 時 e₁ = p₁)。藉由牛頓恆等式可以很容易推得上述結論，並且會有其中若干個系數的分母是 n。因為這個緣故，前述的結論只在任何包含有理數的環中成立，在有限特徵的環中不成立。

完全齊次對稱多項式

對於非負整數 k，完全齊次對稱多項式 h_k(X₁, …, X_n) 定義為所有以 X₁, …, X_n 為變量的相異 k 次單項式的和，例如

h_{3}(X_{1},X_{2},X_{3})=X_{1}^{3}+X_{1}^{2}X_{2}+X_{1}^{2}X_{3}+X_{1}X_{2}^{2}+X_{1}X_{2}X_{3}+X_{1}X_{3}^{2}+X_{2}^{3}+X_{2}^{2}X_{3}+X_{2}X_{3}^{2}+X_{3}^{3}.

由定義可以直接看出， h_k(X₁, …, X_n) 也是所有變量為 X₁, …, X_n 的相異 k 次對稱多項式之和。延續上面的例子，有

{\begin{aligned}h_{3}(X_{1},X_{2},X_{3})&=m_{(3)}(X_{1},X_{2},X_{3})+m_{(2,1)}(X_{1},X_{2},X_{3})+m_{(1,1,1)}(X_{1},X_{2},X_{3})\\&=(X_{1}^{3}+X_{2}^{3}+X_{3}^{3})+(X_{1}^{2}X_{2}+X_{1}^{2}X_{3}+X_{1}X_{2}^{2}+X_{1}X_{3}^{2}+X_{2}^{2}X_{3}+X_{2}X_{3}^{2})+(X_{1}X_{2}X_{3}).\\\end{aligned}}

與次方和對稱多項式相同的，所有擁有 n 個變量的對稱多項式都可以藉由一些次方和對稱多項式做相加、相乘及乘以有理數系數的運算而得到，而且可以使其中所使用到的次方和對稱多項式的次方數最高不超過 n。更精確的來說，

任何以 X₁, …, X_n 為變量的對稱多項式都可以被表示成一個 n 個變量多的項式，其中各變量代入次方和多項式 h₁(X₁, …, X_n), …, h_n(X₁, …, X_n)

此外，如果 P 是整系數多項式,則所使用的一個 n 個變量多的項式也是整系數的。

舉例來說，設 n = 2，會使用到的兩個完全齊次對稱多項式是 $h 1 (X 1, X 2) = X 1 + X 2$ 以及 $h 2 (X 1, X 2) = X 12 + X 1 X 2 + X 22$ 。則原本例子中的 X₁³ + X₂³ - 7 可以被表示成

X_{1}^{3}+X_{2}^{3}-7=-2h_{1}(X_{1},X_{2})^{3}+3h_{1}(X_{1},X_{2})h_{2}(X_{1},X_{2})-7.

與次方和多項式相同的，隨着變量的增加，同一型的對稱多項式會有不同的表達式。此外，值得注意的是，當變量個數為 n 時，高於 n+1 次的完全齊次對稱多項式可以被前 n 次的完全齊次對稱多項式表示。

完全齊次對稱多項式有一個非常重要的性質，是一個和基本對稱多項式之間的關係式，寫成如下的恆等式：對所有正整數 k

\sum _{i=0}^{k}(-1)^{i}e_{i}(X_{1},\ldots ,X_{n})h_{k-i}(X_{1},\ldots ,X_{n})=0

由於 e₀(X₁, …, X_n) 和 h₀(X₁, …, X_n) 恆等於 1，因此可以將求和式的首項或末項獨立出來，寫在等號右側，二這兩種不同的處理法會得到不同的資訊。提出首項的話，可以得到一個完全齊次對稱多項式的遞歸式，其系數牽涉到基本對稱多項式；而若是提出末項，也可以得到遞歸式，但兩類對稱多項式的角色對調。上述性質提供了本節第三段對稱多項式基本定理的完全對稱多項式版本的證明：先將給定的對稱多項式用基本對稱多項式表達，然後再將那些基本對稱多項式通過遞歸式用完全對稱多項式表達，最後就可以得出結論。

舒爾多項式

舒爾多項式是一類特殊的對稱多項式，它在對稱多項式的表示理論中有基石般的重要性，然而它不容易以其他類型的對稱多項式來表示。

代數中的對稱多項式

在線性代數、表示理論和伽羅瓦理論中，對稱多項式都扮演着重要的角色，此外，在組合學中，為了省去書寫變量個數的麻煩，經常就直接在對稱函數環上做研究。

交錯多項式

交錯多項式的定義與對稱多項式大致雷同，唯獨若將交錯多項式做變量置換之後，不見得與原多項式相同，而是差一個該置換的正負號。

事實上，所有交錯多項式都可以寫成一個范德蒙多項式（英語：Vandermonde polynomial）和對稱多項式的乘積，其中范德蒙多項式是將變量兩兩取差做相乘。

參見

參考資料

Lang, Serge, Algebra, Graduate Texts in Mathematics 211 Revised third, New York: Springer-Verlag, 2002, ISBN 978-0-387-95385-4, MR 1878556
Macdonald, I.G. (1979), Symmetric Functions and Hall Polynomials. Oxford Mathematical Monographs. Oxford: Clarendon Press.
I.G. Macdonald (1995), Symmetric Functions and Hall Polynomials, second ed. Oxford: Clarendon Press. ISBN 0-19-850450-0 (paperback, 1998).
Richard P. Stanley (1999), Enumerative Combinatorics, Vol. 2. Cambridge: Cambridge University Press. ISBN 0-521-56069-1