對稱多項式
數學中的對稱多項式（）是一种特殊的多元多项式。假设一个元多項式，當其中的個不定元任意交換後，多項式仍維持不變，就称其为对称多项式。严格的说法是，如果对任意的元置换，都有 = ，就说是对称多项式。
对称多项式最早是在出现在对一元多项式方程求根的研究中。一元多项式方程的系数可以用它的根的多项式来表达。而多项式的任何一个根的地位理当与余者都相同，所以这类多项式中，不定元进行置换不应当改变多项式。从这个角度来说，将多项式方程的根构成的系数多项式称为基本对称多项式是合理的。有定理说明，任意的对称多项式都可以表达为基本对称多项式的多项式。
以下是兩個變數的對稱多項式的例子：以下是三個變數的對稱多項式的例子：並不是所有多項式都是對稱的，例如 formula_4就不對稱，因為把formula_5和formula_6對換後，會得到formula_7，不等於原來的多項式。
有很多方法可以構造特殊的 n 個變數的多項式，下面舉一個例子
因為將 formula_9 做置換只是在改變相乘的順序以及在括弧乘以 ±1，不會影響 D 的函數值，因此 D 是對稱多項式。此外，如果 formula_9是 n 次 f 的 n 個根，則 D 是 f 的判別式。
對稱多項式出現在單變數首一多項式的研究中。考慮一個體上的 n 次多項式，並且有 n 個根，從另一個方面來說，這 n 個根決定了這個多項式，若將 n 個根視為 n 個獨立的變數，則原多項式的各項係數是由 n 個根所形成的對稱多項式。這些由 n 個根生成係數的對稱多項式被稱為初等對稱多項式。
上述觀念可以衍伸出一個解多項式的方法，定義一個映射，將多項式的各項係數送到多項式的所有根，換言之，要解出基本對稱多項式方程組。因此，本映射可以被視為是在「破壞對稱性」。這使我們可以藉由研究根的置換群來求解多項式，這個觀念是的原型，之後在伽羅瓦理論中會有進一步的發展。
更具體的來說，假設 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。
對稱多項式基本定理說，體 K 上 n 個變數的多項式 f 是一些 n 個變數的初等對稱多項式的代數組合 (經由相加、乘上 K 中的常數、相乘所得到的元素)，若且唯若 f 是對稱多項式。
例如當 n=2 時，兩個初等對稱多項式是 formula_28和 formula_29。對稱多項式 formula_30可以被表示成
本定理有一個關於直接推論，將首一多項式的 n 個根帶入一個對稱多項式，等於將原多項式的各項係數帶入某個多項式。因此，就算 n 個根只落在代數閉包 formula_13 中，將它們帶入一個對稱多項式後所得到的數值必定會落在 K 之中。例如牛頓恆等式是關於如何用原係數表示 n 個根的等冪次之和。
以下是一些用初等的方法就可以構造出來的對稱多項式，而它們都是以 X, X, …, X 為變數。
將對稱多項式做相乘或取次方會使表達式變得複雜。有一個相對簡單的構造方式是考慮一個單項式，並且任意交換它的變數，將取得的所有可能的變體通通加起來得到一個對稱多項式，稱為單項對稱多項式。因此單項對稱多項式是對稱多項式的基底，適當地將它做相加可得到所有對稱多項式。更準確地的定義如下：一個以 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）。
對於正整數 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。因為這個緣故，前述的結論只在任何包含有理數的環中成立，在有限特徵的環中不成立。
對於非負整數 "k"，完全齊次對稱多項式 "h"("X", …, "X") 定義為所有以 "X", …, "X" 為變數的相異 "k" 次單項式的和，例如 由定義可以直接看出， "h"("X", …, "X") 也是所有變數為 "X", …, "X" 的相異 "k" 次對稱多項式之和。延續上面的例子，有
與次方和對稱多項式相同的，所有擁有 n 個變數的對稱多項式都可以藉由一些次方和對稱多項式做相加、相乘及乘以有理數係數的運算而得到，而且可以使其中所使用到的次方和對稱多項式的次方數最高不超過 n。更精確的來說， 舉例來說，設 n = 2，會使用到的兩個完全齊次對稱多項式是 以及 。則原本例子中的 X + X - 7 可以被表示成 與次方和多項式相同的，隨著變數的增加，同一型的對稱多項式會有不同的表達式。此外，值得注意的是，當變數個數為 n 時，高於 n+1 次的完全齊次對稱多項式可以被前 n 次的完全齊次對稱多項式表示。
完全齊次對稱多項式有一個非常重要的性質，是一個和基本對稱多項式之間的關係式，寫成如下的恆等式：對所有正整數 k 由於 "e"("X", …, "X") 和 "h"("X", …, "X") 恆等於 1，因此可以將求和式的首項或末項獨立出來，寫在等號右側，二這兩種不同的處理法會得到不同的資訊。 提出首項的話，可以得到一個完全齊次對稱多項式的遞歸式，其係數牽涉到基本對稱多項式；而若是提出末項，也可以得到遞歸式，但兩類對稱多項式的角色對調。上述性質提供了本節第三段對稱多項式基本定理的完全對稱多項式版本的證明：先將給定的對稱多項式用基本對稱多項式表達，然後再將那些基本對稱多項式通過遞歸式用完全對稱多項式表達，最後就可以得出結論。
舒爾多項式是一類特殊的對稱多項式，它在對稱多項式的表示理論中有基石般的重要性，然而它不容易以其他類型的對稱多項式來表示。
在線性代數、表示理論和伽羅瓦理論中，對稱多項式都扮演著重要的角色，此外，在組合學中，為了省去書寫變數個數的麻煩，經常就直接在對稱函數環上做研究。
交錯多項式的定義與對稱多項式大致雷同，唯獨若將交錯多項式做變數置換之後，不見得與原多項式相同，而是差一個該置換的正負號。
事實上，所有交錯多項式都可以寫成一個和對稱多項式的乘積，其中范德蒙多項式是將變數兩兩取差做相乘。