Представления

[Oleg Konkov]

Скажите, пожалуйста, почему $(V\otimes W^*)^G=\operatorname{Hom}_G(W,V) $? $V, W$ -- неприводимые представления группы $G$.

[alcoholist]

Для начала нужен изоморфизм $V\otimes W^*\simeq Hom(W,V)$, остальное -- тривально