11.1

Инвариантные подпространства

[4/0%]
LaTeX
Задача 11.1.1

Рассмотрим линейное представление Ad\mathrm{Ad} группы GLn(K)\mathrm{GL}_n(K) в пространстве Ln(K)L_n(K), задаваемое формулой

Ad(A)X=AXA−1. \mathrm{Ad}(A)X = AXA^{-1}.

Доказать, что если char⁡K=0\operatorname {char} K = 0, то ⟨E⟩\langle E\rangle и {X∈Ln(K):tr⁡X=0}\{ X \in L_n(K): \operatorname {tr} X=0\} --- минимальные инвариантные подпространства, и вывести отсюда, что представление Ad\mathrm{Ad} вполне приводимо.

?
Задача 11.1.2

Доказать, что если поле KK алгебраически замкнуто, то всякий эндоморфизм представления

R:X→L(U⊗Z),R(x)(u⊗z)=(S(x)u)⊗z R: X \to L(U \otimes Z), \qquad R(x)(u \otimes z) = (S(x)u) \otimes z

(где S:X→L(U)S: X \to L(U) --- неприводимое представление, а ZZ --- некоторое векторное пространство) имеет вид u⊗z↦u⊗Czu \otimes z \mapsto u \otimes \mathscr {C}z, где C\mathscr {C} --- некоторый линейный оператор в пространстве ZZ.

?
Задача 11.1.3

Тензорным произведением представлений R:G→GL(V)R: G \to \mathrm{GL}(V) и S:H→GL(W)S: H \to \mathrm{GL}(W) называется представление

R⊗S:G×H→GL(V⊗W),(R⊗S)(g,h)=R(g)⊗S(h). R \otimes S: G \times H \to \mathrm{GL}(V \otimes W), \qquad (R \otimes S)(g,h) = R(g) \otimes S(h).

Доказать, что тензорное произведение неприводимых представлений групп GG и HH над алгебраически замкнутым полем неприводимо.

?
Задача 11.1.4

Доказать, что если R:G→GL(V)R: G \to \mathrm{GL}(V) --- неприводимое представление группы GG над алгебраически замкнутым полем, то

?
(1)

любая ненулевая инвариантная билинейная функция в пространстве VV невырожденна;

(2)

любые две такие функции пропорциональны;

(3)

любая такая функция либо симметрична, либо кососимметрична.