■ヤング図形とフック長公式（その７）
【３】対称式とヤング図形
対称式の計算は，ヤング図形を用いて見通しよく行うことができる．この節の目的はヤング図形を用いて対称式のかけ算を見通しよく行うことであるが，その計算法はヤング図形のテンソル積で定義される．
とはいっても，具体的な方法については割愛せざるを得ないのだが，
［参］硲文夫「代数学」森北出版
に非常にわかりやすい解説があるので，それをご覧頂きたい．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
さて，対称式の基本定理より，ｎ変数のどんな対称式も基本対称式を用いて表すことができる．たとえば，２変数の場合，
α1^2＋α2^2＝（α1＋α2）^2−２α1α2
α1^3＋α2^3＝（α1＋α2）^3−３（α1＋α2）α1α2
α1^2α2＋α1α2^2＝（α1＋α2）α1α2
など．
２変数の場合，α1＋α2やα1α2が基本対称式であるが，ｎ変数の場合の基本対称式は
σ1＝ｘ1＋・・・＋ｘn （項数nＣ1）
σ2＝ｘ1ｘ2＋・・・＋ｘn-1ｘn （項数nＣ2）
σ3＝ｘ1ｘ2ｘ3＋・・・＋ｘn-2ｘn-1ｘn （項数nＣ3）
・・・・・・・・・・・・・・・・・・・
σn＝ｘ1ｘ2ｘ3・・・ｘn （項数nＣn）
となる．
単項式
ｘ1^a1ｘ2^a2・・・ｘn^an （a1≧a2≧･･･≧an≧0）
において，ｘ1，ｘ2，・・・，ｘnを置換して加えて得られる多項式を
(a1a2･･･an)
と表すことにする．
この記号を用いると
σ1＝ｘ1＋・・・＋ｘn＝[1,0,0,･･･,0]＝(1)
σ2＝ｘ1ｘ2＋・・・＋ｘn-1ｘn＝[1,1,0,･･･,0]＝(11)＝(1^2)
・・・・・・・・・・・・・・・・・・・
σn＝ｘ1ｘ2ｘ3・・・ｘn＝[1,1,1,･･･,1]＝(111･･･1)=(1^n)
のように表すことができる．０はあってもなくても同じものを表している．
また，この記号の表す式は変数の個数ｎが決まれば一意に定まる．しかし，逆にいうとｎが変わると異なり，たとえば，(41)は，ｎ＝２のとき
(41)＝ｘ1^4ｘ2＋ｘ1ｘ2^4
であるが，ｎ＝３のときは
(41)＝ｘ1^4ｘ2＋ｘ1^4ｘ3＋ｘ2^4ｘ1＋ｘ2^4ｘ3＋ｘ3^4ｘ1＋ｘ3^4ｘ2
となる．
(41)のヤング図形は
□□□□
□
で表されるのだが，任意の対称式は基本対称式を用いて表すことができるという「対称式の基本定理」は，任意のヤング図形を
(1),(1^2),(1^3),(1^4),･･･
すなわち
□，□，□，□，・・・
□ □ □
□ □
□
で表せるということと同値である．
(41)，すなわち
□□□□
□
の場合は
□｜□｜□｜□
□｜
のように縦に切り分けて，分けたもの同士のかけ算を行うことになる．
そこで（ほとんど説明なしにではあるが）
［参］硲文夫「代数学」森北出版
に掲載されているヤング図形とテンソル積の計算例を紹介しておきたい．
たとえば，ヤング図形のテンソル積を用いると
□×□＝□□＋３□
□ □ □
□
すなわち，
(1^2)×(1)＝(21)+3(1^3)
となるのだが，これはｎ＝２のとき
ｘ1ｘ2（ｘ1＋ｘ2）＝ｘ1^2ｘ2＋ｘ1ｘ2^2
ｎ＝３のとき
（ｘ1ｘ2＋ｘ1ｘ3＋ｘ2ｘ3）（ｘ1＋ｘ2＋ｘ3）＝ｘ1^2ｘ2＋ｘ1^2ｘ3＋ｘ2^2ｘ1＋ｘ2^2ｘ3＋ｘ3^2ｘ1＋ｘ3^2ｘ2）＋３ｘ1ｘ2ｘ3
ｎ＝４のとき
（ｘ1ｘ2＋ｘ1ｘ3＋ｘ1ｘ4＋ｘ2ｘ3＋ｘ2ｘ4＋ｘ3ｘ4）（ｘ1＋ｘ2＋ｘ3＋ｘ4）＝ｘ1^2ｘ2＋ｘ1^2ｘ3＋ｘ1^2ｘ4＋ｘ2^2ｘ1＋ｘ2^2ｘ3＋ｘ2^2ｘ4＋ｘ3^2ｘ1＋ｘ3^2ｘ2＋ｘ3^2ｘ4＋ｘ4^2ｘ1＋ｘ4^2ｘ2＋ｘ4^2ｘ3＋３（ｘ1ｘ2ｘ3＋ｘ1ｘ2ｘ4＋ｘ1ｘ3ｘ4＋ｘ2ｘ3ｘ4）
を意味していて，
(1^2)×(1)＝(21)+3(1^3)
が変数の数によらず常に成り立つことを示している．
このテンソル積は一般化することができて
(1^3)×(1)＝(21^2)+4(1^4)
(1^n)×(1)＝(21^(n-1))+(n+1)(1^(n+1))
また，ここで得られた
(21)=(1^2)×(1)-3(1^3)
はヤング図形を基本対称式を用いて表したものと考えることができるが，一般の場合に拡大していくことができる．ヤング図形は対称式の基本定理の証明にも用いられるというわけである．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
