任何對稱多項式(分別是,對稱有理函式)可以表示為關於這些變數的初等對稱多項式的多項式(分別是,有理函式)。
這個定理可以推廣到置換群 的多項式不變數,它指出任何多項式不變數
可以表示為特殊的
-不變軌道多項式的有限線性組合,其係數為對稱函式,即:
其中 ,
並且 , ...,
是初等對稱函式,並且
, ...,
是特殊項。此外,任何特殊項
的總次數
,並且最大變數次數
。
任何對稱多項式(分別是,對稱有理函式)可以表示為關於這些變數的初等對稱多項式的多項式(分別是,有理函式)。
這個定理可以推廣到置換群 的多項式不變數,它指出任何多項式不變數
可以表示為特殊的
-不變軌道多項式的有限線性組合,其係數為對稱函式,即:
其中 ,
並且 , ...,
是初等對稱函式,並且
, ...,
是特殊項。此外,任何特殊項
的總次數
,並且最大變數次數
。
此條目由 Manfred Goebel 貢獻
戈貝爾,曼弗雷德. "對稱函式基本定理。" 來自 --沃爾夫勒姆網路資源,由 埃裡克·W·韋斯坦因 建立。 https://mathworld.tw/FundamentalTheoremofSymmetricFunctions.html