Representative function

From Groupprops

This term makes sense in the context of a linear representation of a group, viz an action of the group as linear automorphisms of a vector space

Definition

Let be a group, a field, a representation of over such that every element of preserves an inner product over . A representative function for is defined as a function that can be described as one of the matrix entry functions (relative to an orthonormal basis) corresponding to .

Equivalently, a representative function is a function defined as the inner product of and where and are either orthogonal or equal unit vectors.

The dimension of the space of representative functions equals the square of the degree of the representation. More specifically, we claim that the matrix entries for any particular choice of orthonormal basis form a basis for the space of representative functions for the representations.