Schur's lemma

Irreducible representations of abelian groups are 1-dimensional

Let 𝐺 be an Abelian group. As a corollary of Schur's lemma, if Γ :𝐺 GL(𝑉) is a (complex) Irrep then it is a 1-dimensional irrep. #m/thm/rep Moreover, any abelian irrep is 1-dimensional.

Proof

If 𝐺 is abelian, then so are all its irreps. Let Γ be an abelian irrep of 𝐺 on 𝑉, so Γ()Γ(𝑔) =Γ(𝑔)Γ() for every 𝑔, 𝐺, and therefore Γ() is a multiple of the identity for all 𝐺, so every subspace of 𝑉 is invariant under 𝐺. Thus 𝑉 must be 1-dimensional in order for Γ to be an irrep.

See also Main theorem.


#state/tidy | #lang/en | #SemBr