Let GG be a and let AA be a set. A class function on GG with values in AA is a f ⁣:G→Af\colon G\to A such that for all x,g∈Gx,g\in G,

f(xgx−1)=f(g).f(xgx^{-1})=f(g).
Equivalent characterizations

Equivalently, ff is constant on each of GG.

Remarks

Class functions are precisely the functions invariant under the of GG on itself. In representation theory, the of a finite-dimensional complex representation is a fundamental example of a class function.

Examples
  • Any constant function f(g)=af(g)=a is a class function.
  • Fix a conjugacy class C⊆GC\subseteq G. The indicator function 1C ⁣:G→{0,1}1_C\colon G\to\{0,1\} defined by 1C(g)=11_C(g)=1 if g∈Cg\in C and 00 otherwise is a class function.
  • In SnS_n, the sign map sgn ⁣:Sn→{±1}\mathrm{sgn}\colon S_n\to\{\pm1\} is a class function (it depends only on the cycle type, hence is constant on conjugacy classes).