## Using Orthogonality Relations to Compute Convolutions of Characters and Matrix Entry Functions

**Point of post: **In this post we will use our past results about the pairwise inner product of characters and matrix entry functions to compute their convolutions.

*Motivation*

In past posts we obainted certain relations between the pairwise inner product (as elements of the group algebra) of matrix entry functions and irreudcible characters. We shall use these relations to compute the convolution of matrix entry functions with eachother and likewise for characters.

## Matrix Functions Form an (almost) Orthonormal Basis (Pt. II)

**Point of post: **This is a continuation of this post.

## Matrix Entry Functions Form an (almost) Orthonormal Basis

**Point of post: **In this post we derive the result that the matrix entry functions form an orthonormal basis for the group algebra, thus deriving the fundamental result that .

*Motivation*

In our last post we showed how fixing, for each , some representative and some orthonormal ordered basis enabled us to form ‘matrix entry functions’ which were elements of the group algebra . We further derived some important properties about the span of these matrix entry functions (that it is closed under pointwise product and that it separates points). In this post we take this further and show, using a simple case of the Stone-Weierstrass theorem, that . Moreover, we show that in the usual inner product on we have that the set of matrix entry functions is almost (up to a scalar factor) orthonormal. Thus, it will follow that the set of matrix entry functions is an orthonormal basis for and thus we will derive the fundamental result that and much sharper that .

## Matrix Entry Functions

**Point of post: **In this post we discuss the concept of how representations give rise naturally to a wide variety of elements of the group algebra. Namely, we discuss the matrix entries of the matrix realizations of an irrep.

*Motivation*

We’ve seen that every finite group gives rise naturally to a set of equivalence classes of irreps . Suppose for a second though that for each equivalence class we picked some representative and fixed a basis for ‘s representation space . Then, we canonically have defined a mapping by where when it’s clear which and we’re discussing we simply write . From this we then have defined elements of the group algebra . Namely, if we denote to be the entry of then the mapping is a mapping and thus an element of the group algebra as stated. In this post we discuss some of the important properties of these *matrix entry functions *as they shall prove absolutely crucial in all of the theory to come.