の行列と同じです。Gの作用に関してはintertwinerとして
Hom_G(V×W)はisomorphicで 1次元（or 0)、(V×W)＾Gは
(V×W)のGの元gの作用全てに
対する不変元ですから任意の元にgを作用させた和でこれも
1次元ということです。