Faithful irreducible representation of M16
This article describes a particular irreducible linear representation for the following group: M16. The representation is unique up to equivalence of linear representations and is irreducible, at least over its original field of definition in characteristic zero. The representation may also be definable over other characteristics by reducing the matrices modulo that characteristic, though it may behave somewhat differently in these characteristics.
For more on the linear representation theory of the group, see linear representation theory of M16.
We use the group with presentation (here denotes the identity element):
This is actually a collection of two faithful irreducible two-dimensional representations of the group , which form a single orbit under the action of the automorphism group, and also form a single orbit under the action of Galois automorphisms in the field of realization (at least in characteristic zero).
|degree of representation (dimension of space on which it is realized, or order of matrices)||2|
|Schur index value of representation||1|
|Kernel of representation||trivial subgroup, i.e., it is a faithful linear representation|
|Quotient on which it descends to a faithful linear representation||M16|
|Set of character values|| where is a square root of |
Characteristic zero: Ring generated -- , Ideal within ring generated -- , Field generated --
|Rings of realization||The representation can be realized precisely over those rings that contain a square root of .|
|Fields of realization|| The representation can be realized precisely over those fields that contain a square root of .|
For a finite field with elements ( odd), this is equivalent to requiring that divide .
|Minimal field of realization|| In characteristic zero: |
In characteristic :
In characteristic :
|Size of equivalence class under automorphisms||2. An automorphism that flips the two representations is .|
|Size of equivalence class under Galois automorphisms|| characteristic zero or : 2. The automorphism interchanging the square roots of -1 over the prime subfield interchanges the two representations.|
characteristic : 1. The two representations cannot be interchanged, because the two square roots of -1 cannot be interchanged as they live in the prime subfield.
|Smallest size field of realization (characteristic not two)||field:F5|
Below are the matrices for concrete realizations of these two representation. Here denotes a square root of . The same representations can be realized over any field containing a square root of -1, if is replaced by that square root. Note that the two representations can be obtained from each other by sending to . This automorphism makes sense in characteristic zero, and more generally when the square root of does not live in the prime field.
|Element||Matrix for monomial representation -- entries in||Matrix with entries in||Characteristic polynomial||Minimal polynomial||Trace, character value||Determinant|
|Set of values used||--||--|
|Ring generated by values (characteristic zero)||-- ring of Gaussian integers||--||--||-- ring of Gaussian integers|