# Degrees of irreducible representations of unitriangular matrix group of fixed degree over a finite field are all powers of field size and number of occurrences of each is polynomial function of field size

From Groupprops

## Contents

## Statement

Denote by the unitriangular matrix group of degree over a finite field of size , where is a prime power.

Then, the following is true about the degrees of irreducible representations of over a splitting field (such as or ):

- All the degrees of irreducible representations are powers of , hence the group is a q-power degree group.
- For any nonnegative integer , there exists a univariate polynomial with integer coefficients (dependent on and but
*independent*of ) such that the number of irreducible representations of of degree equals . Further, we have, based on the fact that sum of squares of degrees of irreducible representations equals order of group, that the following is true*as a polynomial identity in*:

Note that the summation is actually finite, because all but finitely many of the are zero polynomials. It seems to be the case that is nonzero for , where:

## Related facts

### More information on linear representation theory

Full information on the linear representation theory of these groups, along with explicit polynomial formulas for the degrees, is available at linear representation theory of unitriangular matrix group over a finite field.

### Similar facts

- Conjugacy class sizes of unitriangular matrix group of fixed degree over a finite field are all powers of field size and number of occurrences of each is polynomial function of field size
- Number of conjugacy classes in unitriangular matrix group of fixed degree over a finite field is polynomial function of field size

### Opposite facts

- The analogous statement is
*not*completely true for other maximal unipotent subgroups in the finite groups of Lie type. For instance, a look at the linear representation theory of maximal unipotent subgroup of symplectic group of degree four over a finite field shows that in the characteristic two case, there exist irreducible representations of degree which is not a power of for . For odd characteristics, however, the statement still continues to hold.