Character of a representation

The class function χ(g)=tr(ρ(g)) attached to a finite-dimensional representation ρ of a finite group.
Character of a representation

Definition

Let GG be a finite group and let ρ:GGL(V)\rho:G\to \mathrm{GL}(V) be a finite-dimensional complex . The character of ρ\rho is the function

χρ:GC,χρ(g)=tr(ρ(g)), \chi_\rho:G\to \mathbb{C},\qquad \chi_\rho(g)=\mathrm{tr}(\rho(g)),

where tr\mathrm{tr} is the of a linear operator on VV.

Basic properties

  1. Class function. For all g,hGg,h\in G,

    χρ(hgh1)=χρ(g). \chi_\rho(hgh^{-1})=\chi_\rho(g).

    Equivalently, χρ\chi_\rho is constant on , i.e. it is a .

  2. Isomorphism invariance. If ρρ\rho\simeq \rho' (isomorphic representations), then χρ=χρ\chi_\rho=\chi_{\rho'}.

  3. Additivity and multiplicativity.

    • For a ρσ\rho\oplus \sigma, χρσ=χρ+χσ. \chi_{\rho\oplus \sigma}=\chi_\rho+\chi_\sigma.
    • For a ρσ\rho\otimes \sigma, χρσ(g)=χρ(g)χσ(g). \chi_{\rho\otimes \sigma}(g)=\chi_\rho(g)\,\chi_\sigma(g).
  4. Dimension. χρ(e)=dimCV\chi_\rho(e)=\dim_\mathbb{C}V.

Characters are central tools because many structural questions about representations reduce to identities among class functions and the .

Examples

Example 1: Trivial representation

If ρ\rho is the trivial representation on VV (every gg acts as idV\mathrm{id}_V), then

χρ(g)=tr(idV)=dimV \chi_\rho(g)=\mathrm{tr}(\mathrm{id}_V)=\dim V

for all gGg\in G.

Example 2: Regular representation

Let C[G]\mathbb{C}[G] be the and let GG act by left multiplication (the ). Its character satisfies

χreg(e)=G,χreg(g)=0 for ge. \chi_{\mathrm{reg}}(e)=|G|,\qquad \chi_{\mathrm{reg}}(g)=0\ \text{for }g\neq e.

(For geg\neq e, left multiplication by gg permutes the basis {δh}\{\delta_h\} without fixed points, so the corresponding permutation matrix has trace 00.)

Example 3: The standard 22-dimensional representation of S3S_3

Let S3S_3 act on C3\mathbb{C}^3 by permuting coordinates, and restrict to the 22-dimensional subspace

W={(x1,x2,x3)C3:x1+x2+x3=0}, W=\{(x_1,x_2,x_3)\in \mathbb{C}^3 : x_1+x_2+x_3=0\},

which is S3S_3-stable. The resulting representation ρstd\rho_{\mathrm{std}} has character values (constant on conjugacy classes):

  • χstd(e)=2\chi_{\mathrm{std}}(e)=2,
  • χstd(a transposition)=0\chi_{\mathrm{std}}(\text{a transposition})=0,
  • χstd(a 3-cycle)=1\chi_{\mathrm{std}}(\text{a 3-cycle})=-1. This is the character of the unique 22-dimensional irreducible representation of S3S_3.