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

χρ:G→C,χρ(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.

Properties
  1. Class function. For all g,h∈Gg,h\in G,
χρ(hgh−1)=χρ(g).\chi_\rho(hgh^{-1})=\chi_\rho(g).

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

  1. Isomorphism invariance. If ρ≃ρ′\rho\simeq \rho' (isomorphic representations), then χρ=χρ′\chi_\rho=\chi_{\rho'}.
  1. 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).
  1. Dimension. χρ(e)=dim⁡CV\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)=dim⁡V\chi_\rho(g)=\mathrm{tr}(\mathrm{id}_V)=\dim V

for all g∈Gg\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 g≠e.\chi_{\mathrm{reg}}(e)=|G|,\qquad \chi_{\mathrm{reg}}(g)=0\ \text{for }g\neq e.

(For g≠eg\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.