>>959
ありがとうございます。
>>Hom(V,W) と (V^*×W) の同型対応を陽に書き下し、
>>両辺に入る G 作用を比較するだけでこの同型は分かるものだよ。
ちょっと示していただけると助かるのですが。
多分、 (V^*×W)^Gをどう決定するのか分かっていないと思うのです。