Irreducible complex representation of abelian group is one dimensional

From Groupprops
Revision as of 20:46, 30 October 2023 by R-a-jones (talk | contribs) (→‎Proof)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

This fact is related to: linear representation theory
View other facts related to linear representation theory | View terms related to linear representation theory

This article describes a fact or result that is not basic but it still well-established and standard. The fact may involve terms that are themselves non-basic
View other semi-basic facts in group theory
VIEW FACTS USING THIS: directly | directly or indirectly, upto two steps | directly or indirectly, upto three steps|
VIEW: Survey articles about this

Statement

Every irreducible complex representation of an abelian group G is one-dimensional.

Proof

Let (ρ,V) be an irreducible complex representation of an abelian group G.

Schur's lemma states that for an irreducible representation ρ:G→GL(V) over an algebraically closed field, the only elements of GL(V) that commute with everything in ρ(G) are the scalar multiples of the identity.

G is abelian and C is algebraically closed, so, each ρ(g) is a scalar multiple of the identity map on V. Then, for v∈V non-zero, ⟨v⟩ is a subrepresentation of V. But V is irreducible. So V=⟨v⟩. So V is one dimensional.

Warning

This is certainly not true over other fields, since this is a corollary of Schur's lemma, in particular the part that requires the field be algebraically closed, which C is. For example, there exist irreducible two-dimensional representations of abelian groups over R. A similar fact, that an irreducible representation of an abelian group over the real numbers is one or two dimensional, can however be shown.