Lecture 4

Problem 29. Let (π,V)(\pi,V) be a finite-dimensional representation of a group GG. Show that there is an irreducible subrepresentation (π,W)(\pi,W) of (π,V)(\pi,V).

Solution: If (π,V)(\pi,V) is irreducible, we are done. If not, then by definition (π,V)(\pi,V) has a subrepresentation (π,W)(\pi,W) with 0<dimW<dimV0<\operatorname{dim}W<\operatorname{dim}V. If (π,W)(\pi,W) is irreducible, then we are done. If not, repeat the process. This will produce a chain of subrepresentations with strictly decreasing dimension. Since the positive integers are bounded from below by 11, this process must stop after finitely many steps, giving the desired irreducible subrepresentation.

Problem 30. Let (π,V)(\pi,V) be an irreducible finite-dimensional representation of a group GG. Denoting the centre of GG by Z(G)Z(G) (i.e. Z(G)={gG|gh=hghG}Z(G)=\{g\in G\,|\,gh=hg\quad\forall h\in G\}), show that there exists a homomorphism ψ:Z(G)×\psi:Z(G)\rightarrow{\mathbb{C}}^{\times} such that

π(g)=ψ(g)Id\pi(g)=\psi(g)\,\mathrm{Id}

for all gZ(G)g\in Z(G). Hint: adapt the proof of Theorem 4.3.

Solution: Let hZ(G)h\in Z(G). Then by definition, π(h)GL(V)Hom(V)\pi(h)\in\operatorname{GL}(V)\subset\operatorname{Hom}(V). We claim that in fact π(h)HomG(V)\pi(h)\in\operatorname{Hom}_{G}(V): for any gGg\in G, we have

π(h)π(g)=π(hg)=π(gh)=π(g)π(h),\pi(h)\pi(g)=\pi(hg)=\pi(gh)=\pi(g)\pi(h),

hence π(h)HomG(V)\pi(h)\in\operatorname{Hom}_{G}(V). By Schur’s lemma, we then have π(h)=λhId\pi(h)=\lambda_{h}{\,\mathrm{Id}} for some λh\lambda_{h}\in{\mathbb{C}}. Since π(h)GL(V)\pi(h)\in\operatorname{GL}(V), π(h)\pi(h) is invertible, hence λh0\lambda_{h}\neq 0, i.e. λh×\lambda_{h}\in{\mathbb{C}}^{\times}. Define ψ:H×\psi:H\rightarrow{\mathbb{C}}^{\times} by ψ(h)=λh\psi(h)=\lambda_{h}. It remains to verify that ψ\psi is a homomorphism: let h1,h2Z(G)h_{1},h_{2}\in Z(G). Then

ψ(h1h2)Id=λh1h2Id=π(h1h2)=π(h1)π(h2)=λh1Idλh2Id=ψ(h1)ψ(h2)Id,\psi(h_{1}h_{2}){\,\mathrm{Id}}=\lambda_{h_{1}h_{2}}{\,\mathrm{Id}}=\pi(h_{1}h% _{2})=\pi(h_{1})\pi(h_{2})=\lambda_{h_{1}}{\,\mathrm{Id}}\lambda_{h_{2}}{\,% \mathrm{Id}}=\psi(h_{1})\psi(h_{2}){\,\mathrm{Id}},

giving ψ(h1h2)=ψ(h1)ψ(h2)\psi(h_{1}h_{2})=\psi(h_{1})\psi(h_{2}).