【４】モノミアル対称多項式（基本対称式の一般化）

　分割λに対応する単項対称多項式（モノミアル対称多項式）を

　　ｍλ（ｘ）＝Σｘ1^α1ｘ2^α2・・・ｘn^αn

により定義する．ただし，この和はλ＝（λ1，λ2，・・・，λn）の入れ替えで生じる単項式すべてを動くものとする．すなわち，単項対称多項式は単項式ｘ1^α1・・・ｘn^αnの線形結合をとって得られる対称化多項式である．

　｜λ｜＝３，ｎ＝３とすれば

　　ｍ(3)（ｘ）＝ｘ1^3＋ｘ2^3＋ｘ3^3

　　ｍ(21)（ｘ）＝ｘ1^2ｘ2＋ｘ1^2ｘ3＋ｘ2^2ｘ1＋ｘ2^2ｘ3＋ｘ3^2ｘ1＋ｘ3^2ｘ2

　　ｍ(1^3)（ｘ）＝ｘ1ｘ2ｘ3

　また，ベキ和対称関数をｒ次のベキ和

　　ｐr＝Σｘ^r＝ｍ(r)（ｘ）

と分割λ＝（λ1，λ2，・・・）に対して

　　ｐλ＝ｐλ1ｐλ2・・・＝Πｐλi

と定義すると，ｎ＝３の場合，

　　ｐ(3)（ｘ）＝ｘ1^3＋ｘ2^3＋ｘ3^3

　　ｐ(21)（ｘ）＝（ｘ1^2＋ｘ2^2＋ｘ3^2）（ｘ1＋ｘ2＋ｘ3）

　　ｐ(1^3)（ｘ）＝（ｘ1＋ｘ2＋ｘ3）^3

のようになる．

　さらに，ヤング図形の縦１列に対応する場合がｒ次の基本対称式

　　ｅr（ｘ）＝σr＝ｍ(1^r)

ヤング図形の横１列に対応する場合がｒ次の完全（同次）対称多項式

　　ｈr（ｘ）＝Σｍλ（ｘ）　　　｜λ｜＝ｒ

であるが，ｅλ（ｘ），ｈλ（ｘ）についてもベキ和対称多項式の場合と同様に定義する．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝