任何对称多项式(分别是,对称有理函数)可以表示为关于这些变量的初等对称多项式的多项式(分别是,有理函数)。
这个定理可以推广到置换群 的多项式不变量,它指出任何多项式不变量 可以表示为特殊的 -不变轨道多项式的有限线性组合,其系数为对称函数,即:
其中 ,
并且 , ..., 是初等对称函数,并且 , ..., 是特殊项。此外,任何特殊项 的总次数 ,并且最大变量次数 。
任何对称多项式(分别是,对称有理函数)可以表示为关于这些变量的初等对称多项式的多项式(分别是,有理函数)。
这个定理可以推广到置换群 的多项式不变量,它指出任何多项式不变量 可以表示为特殊的 -不变轨道多项式的有限线性组合,其系数为对称函数,即:
其中 ,
并且 , ..., 是初等对称函数,并且 , ..., 是特殊项。此外,任何特殊项 的总次数 ,并且最大变量次数 。
此条目由 Manfred Goebel 贡献
戈贝尔,曼弗雷德. "对称函数基本定理。" 来自 MathWorld--沃尔夫勒姆网络资源,由 埃里克·W·韦斯坦因 创建。 https://mathworld.net.cn/FundamentalTheoremofSymmetricFunctions.html