Conjugacy class hypergroup
Let be a FC-group (i.e., every conjugacy class is finite) and a ring. The conjugacy class hypoergroup or convolution algebra on conjugacy classes for over the ring is defined as follows:
- As a module, it is a -module freely generated by the conjugacy classes in .
- The structure constants for the multiplication are as follows: the coefficient of conjugacy class in the product of conjugacy classes and is the number of solutions to where is a fixed element of and are arbitrary elements of respectively. (Note that we fix as a single element, and try to find all that work).
The convolution algebra on conjugacy classes is a subalgebra of the group algebra comprising those elements of the group algebra where the coefficients of conjugate elements of the group are equal.
Note that if is not a FC-group, a given element may be expressible as a product of elements of two conjugacy classes in infinitely many ways (the problem of coefficients being infinite) and a product of two conjugacy classes may involve infinitely many conjugacy classes (the problem of infinitely many nonzero coefficients in the expression for an element).
We shall denote the convolution algebra as .
Image under a representation
The image of the convolution algebra on conjugacy classes under any irreducible linear representation over an algebraically closed field gives an algebra of scalar matrices. The matrices are scalar due to Schur's lemma. This yields that the scalar entries of these matrices are algebraic integers. Further information: Size-degree-weighted characters are algebraic integers
This fact is critical to the proof that the degree of any irreducible representation divides the order of the group.