Linear representation theory of unitriangular matrix group of degree three over a finite field
This article gives specific information, namely, linear representation theory, about a family of groups, namely: unitriangular matrix group of degree three.
View linear representation theory of group families | View other specific information about unitriangular matrix group of degree three
This article describes the linear representation theory of the unitriangular matrix group of degree three over a finite field of size , where is a prime power with underlying prime . is the characteristic of the field.
Related information
- Linear representation theory of unitriangular matrix group:UT(3,p)
- Linear representation theory of unitriangular matrix group of degree three over a finite discrete valuation ring
- Linear representation theory of unitriangular matrix group over a finite field
Summary
Item | Value |
---|---|
number of conjugacy classes (equals number of irreducible representations over a splitting field) | . See number of irreducible representations equals number of conjugacy classes, element structure of unitriangular matrix group of degree three over a finite field |
degrees of irreducible representations | 1 (occurs times), (occurs times) |
sum of squares of degrees of irreducible representations | (equals order of the group) see sum of squares of degrees of irreducible representations equals order of group |
lcm of degrees of irreducible representations | |
condition for a field (characteristic not equal to ) to be a splitting field | The polynomial should split completely. For a finite field of size , this is equivalent to . |
field generated by character values, which in this case also coincides with the unique minimal splitting field (characteristic zero) | Field where is a primitive root of unity. This is a degree extension of the rationals. |
unique minimal splitting field (characteristic ) | The field of size where is the order of mod . |
degrees of irreducible representations over the rational numbers | 1 (1 time), ( times), ( times) |
Orbits over a splitting field under the action of the automorphism group | Case : Orbit sizes: 1 (degree 1 representation), (degree 1 representations), (degree 1 representations), (degree representations) Case odd : Orbit sizes: 1 (degree 1 representation), (degree 1 representations), (degree representations) number: 4 (case ), 3 (case odd ) |
Orbits over a splitting field under the multiplicative action of one-dimensional representations | Orbit sizes: (degree 1 representations), and orbits of size 1 (degree representations) |
Irreducible representations
Description of collection of representations | Parameter for describing each representation | How the representation is described | Degree of each representation | Number of representations | Sum of squares of degrees |
---|---|---|---|---|---|
trivial representation | -- | trivial representation, sends everything to | 1 | 1 | 1 |
representation with kernel a maximal subgroup | maximal subgroup and a nontrivial homomorphism from the quotient, identified with the additive group of , to . Equivalently, a linear functional on a -dimensional vector space over | one-dimensional representation with kernel the maximal subgroup and homomorphism as described on the quotient. | 1 | ||
representation induced from a nontrivial one-dimensional representation on the subgroup that is nontrivial on a subgroup of order in the center. | The original representation restricted to the center, which is effectively specifying a nontrivial character of the additive group of | Induce the representation. | |||
Total (3 rows) | -- | -- | -- |
Kirillov orbit method for character computation
Further information: Kirillov orbit method for finite Lazard Lie group
The analysis is pretty similar both for the case and for odd , but there are a few minor differences, so the cases are presented separately.
Case of odd prime: orbit analysis
In this case, the Lazard Lie ring is the niltriangular matrix Lie ring:NT(3,q) of strictly upper triangular matrices over . Explicitly, the bijection is given by matrix exponentiation:
where the addition and multiplication are carried out as matrices. Note that higher powers of do not appear because becomes zero.
The additive group of is a -vector space of dimension three, hence also a -vector space of dimension . Modulo a suitable choice of basis for over , the dual space to as a -vector space is isomorphic to the dual space to as a -vector space (the isomorphism itself is as -vector spaces). The latter in turn can be identified with the group of characters of once we identify with the group of roots of unity. Thus, in order to study the group of characters of , we can instead study the dual vector space to over .
The dual vector space of is a three-dimensional vector space, comprising the linear functionals on . Any nonzero element of this vector space is a linear functional with kernel a subspace of codimension one, which in this case means an additive subgroup of index that is invariant under the -multiplication. Further, for each subspace of codimension one, there are possible linear functionals to .
The action of by conjugation cannot send any linear functional to a different linear functional with the same kernel, because the group is a -group and the set of linear functionals with a given kernel has size . Moreover, there is another action, namely post-multiplication by scalars, that commutes with the -action. Thus, the nature of orbits of all the different linear functionals with the same kernel is the same.
If the kernel is an ideal, then it is also invariant under the conjugation action of the Lazard Lie group, so the orbit size is 1, and we thus get just a one-dimensional character of the group, coinciding with the corresponding character of the additive group. If the kernel is not an ideal, then it is not invariant under the conjugation action of the Lazard Lie group, so the orbit size is bigger than 1, and the corresponding irreducible representation of the group is not one-dimensional.
Further, note that the kernel of a linear functional is a subspace, but it may or may not be a subalgebra. It is a subalgebra if and only if it is an ideal, which in our case happens if and only if it is a subgroup of index that contains the center of .
With this in mind, we can classify the orbits.
Type of linear functional (and hence, type of character of additive group) | Size of orbit | Degree of corresponding irreducible representation (equals square root of size of orbit) | Number of orbits of kernels | Number of orbits of functionals (equals times number of orbits of kernels, except in the zero functional case) | Total number of kernels | Total number of such linear functionals (or characters of the additive group) (equals times number of orbits of kernels, except in the zero functional case) |
---|---|---|---|---|---|---|
zero functional | 1 | 1 | 1 | 1 | 1 | 1 |
nonzero functional whose kernel is a subring (and hence an ideal) in . In our case, this is equivalent to the requirement that the kernel contain the center of , which is a subring of order . | 1 | 1 | ||||
nonzero functional whose kernel is not a subring | 1 | |||||
Total | -- | -- | -- | -- |
Case of odd prime: character computation=
We can use the explicit construction of the induced representation for the Kirillov orbit method, as well as the corresponding character formula, to compute the characters of the irreducible representations of .
Zero functional case
Item | Value |
---|---|
Size of orbit | 1 |
Description of polarizing subring | whole ring is the only polarizing subring. It has index 1. |
Induced representation | Trivial representation of the whole group. |
Nonzero functional whose kernel is an ideal
Item | Value |
---|---|
Size of orbit | 1 |
Description of polarizing subring | whole ring is the only polarizing subring. It has index 1. |
Induced representation | Essentially, the same representation of as the sole one-dimensional character in the coadjoint orbit. |
Degree of irreducible representation obtained = index of polarizing subring = square root of size of orbit | 1 |
Number of such coadjoint orbits |
Nonzero functional whose kernel is not an ideal/subring
Item | Value |
---|---|
Size of orbit | |
Description of polarizing subring | Any -subalgebra of order (which must therefore also be an ideal) is a polarizing subring for any representative of the orbit. Each polarizing subring has index . |
Induced representation | Induce from any -subalgebra of order any one-dimensional character that is nontrivial on the center (an order subring of it). |
Degree of irreducible representation obtained = index of polarizing subring = square root of size of orbit | |
Number of such coadjoint orbits |
Case of the prime two
Further information: Kirillov orbit method for finite inner-Lazard Lie group
The procedure outlined above works for the prime two, with the following caveat: the unitriangular matrix group is not a Lazard Lie group, so the niltriangular matrix Lie ring is not its Lazard Lie ring. However, we can still consider the action and use the variant of the Kirillov orbit method for inner-Lazard Lie groups.