§ III.3.4

Характеры линейных представлений

[7/71%]
Показать
LaTeX
Задача III.3.4.1

Пусть Φ,Ψ\Phi , \Psi — неприводимые комплексные представления конечной группы GG. Получить обобщение теоремы 2

∣G∣−1∑gχΨ(hg)χΦ(g)‾=δΦ,ΨχΦ(h)χΦ(e) |G|^{-1} \sum _{g} \chi _{\Psi }(h g) \overline{\chi _{\Phi }(g)}=\delta _{\Phi , \Psi } \frac{\chi _{\Phi }(h)}{\chi _{\Phi }(e)}

Здесь hh — произвольный элемент группы G;δΦ,Ψ=1G ; \delta_{\Phi , \Psi }=1 или δΦ,Ψ=0\delta_{\Phi , \Psi }=0 в зависимости от эквивалентности или неэквивалентности Φ\Phi и Ψ\Psi.

?
Задача III.3.4.2

Применить критерий неприводимости, основанный на характерах, к представлению Φ(3)\Phi^{(3)} группы S3S_{3} из примера 1 п. 1§21 \S 2.

?
Задача III.3.4.3

Доказать при помощи леммы Шура, что все неприводимые представления над C\mathbb {C} абелевой группы GG одномерны.

?
Задача III.3.4.4

Если группа GG обладает автоморфизмом τ\tau, то с каждым линейным представлением (Φ,V)(\Phi , V) этой группы ассоциируется ещё одно представление (Φτ,V)\left(\Phi^{\tau }, V\right), определённое по правилу Φτ(g)=Φ(τ(g))\Phi^{\tau }(g)=\Phi (\tau (g)). Проверить, что это действительно так, и показать, что неприводимость Φ\Phi влечёт неприводимость Φτ\Phi^{\tau }. Как правило, Φτ≈Φ\Phi^{\tau } \approx \Phi, но бывают случаи, когда получается новое представление. Что следует ожидать в случае внутреннего автоморфизма?

Пусть G=A5G=A_{5} и Φ\Phi — представление, рассмотренное в примере 2. Отображение τ:π↦(12)π(12)−1\tau : \pi \mapsto (12) \pi (12)^{-1} является (внешним) автоморфизмом группы A5A_{5}, переставляющим классы с представителями (12345) и (12354). Множества значений характеров χ\chi и χτ\chi^{\tau } получаются друг из друга перестановкой местами (1+5)/2(1+\sqrt{5}) / 2 и (1−5)/2(1-\sqrt{5}) / 2. Показать, что характеры χτ\chi^{\tau } и χ\chi неэквивалентны.

?
Задача III.3.4.5

Пусть Φ:G⟶U(n),Ψ:G⟶U(n)\Phi : G \longrightarrow U(n), \Psi : G \longrightarrow \mathrm{U}(n) — эквивалентные унитарные неприводимые представления конечной группы GG. Доказать, что найдётся унитарная матрица CC, для которой CΦgC−1=Ψg∀g∈GC \Phi_{g} C^{-1}=\Psi_{g} \quad \forall g \in G.

?
Задача III.3.4.6

Доказать, что центр Z(G)Z(G) конечной группы GG, обладающей точным неприводимым представлением над C\mathbb {C}, всегда тривиальный или циклический.

?
Задача III.3.4.7

Пусть g↦Φg,g↦Ψgg \mapsto \Phi_{g}, g \mapsto \Psi_{g} — два матричных комплексных представления конечной группы GG. Предположим, что для каждого g∈Gg \in G найдётся невырожденная матрица CgC_{g} такая, что CgΦgCg−1=ΨgC_{g} \Phi_{g} C_{g}^{-1}=\Psi_{g}. Доказать, что существует невырожденная матрица CC, не зависящая от gg, для которой CΦgC−1=ΨgC \Phi_{g} C^{-1}=\Psi_{g}.

?