18/06/16 21:37:05.28 GifX1Q8D.net
対称テンソル空間のある基底に関して、とりあえず次が言えれば正規直交だということまではわかったのですが、肝心の↓が示せないので教えてください
n,pを自然数、1≦p≦nとする。p個の自然数の組(i1,i2,…,ip)で1≦i1≦…≦ip≦nを満たすものを考える。各k=1,…,nについてkと等しいijの個数をa(k)と書くことにする。Spをp次対称群とするとき
Σ[σ∈Sp]<e[σ(i1)],e[i1]>…<e[σ(ip)],e[ip]>
=a(1)!…a(n)!
が成り立つ。ただしi,j=1,…,nに対して<e[i],e[j]>=δ[i,j](クロネッカーのデルタ)とする