Добрый вечер! Будьте добры, подскажите, как действовать в такой задаче:
Пусть

-- представление алгебры Ли

.

,

-- подпространство, порожденное векторами

. Нужно доказать, что если

вполне приводимо, то

явлеятеся изоморфизмом (

-- пространство

-инвариантов в

).
Заранее благодарен за помощь!