Инвариантные подпространства
[4/0%]Рассмотрим линейное представление группы в пространстве , задаваемое формулой
Доказать, что если , то и --- минимальные инвариантные подпространства, и вывести отсюда, что представление вполне приводимо.
Доказать, что если поле алгебраически замкнуто, то всякий эндоморфизм представления
(где --- неприводимое представление, а --- некоторое векторное пространство) имеет вид , где --- некоторый линейный оператор в пространстве .
Тензорным произведением представлений и называется представление
Доказать, что тензорное произведение неприводимых представлений групп и над алгебраически замкнутым полем неприводимо.
Доказать, что если --- неприводимое представление группы над алгебраически замкнутым полем, то
любая ненулевая инвариантная билинейная функция в пространстве невырожденна;
любые две такие функции пропорциональны;
любая такая функция либо симметрична, либо кососимметрична.