Difference between revisions of "Faithful irreducible representation of dihedral group:D16"
(→Summary) |
|||
Line 24: | Line 24: | ||
| Rings of realization || The representations can be realized precisely rings containing a square root of 2. | | Rings of realization || The representations can be realized precisely rings containing a square root of 2. | ||
|- | |- | ||
− | | Fields of realization || The representations can be realized precisely fields containing a square root of 2.<br>For a finite field with <math>q</ | + | | Fields of realization || The representations can be realized precisely fields containing a square root of 2.<br>For a finite field with <math>q</math> elements, <math>q</math>, this is equivalent to <math>q \equiv 1 \pmod 8</math> |
|- | |- | ||
| Minimal field of realization || In characteristic zero: <math>\mathbb{Q}(\sqrt{2}) = \mathbb{Q}[t]/(t^2 - 2)</math><br>In characteristic <math>p \equiv \pm 1 \pmod 8</math>: prime field <math>\mathbb{F}_p</math><br>In characteristic <math>p \equiv \pm 3 \pmod 8</math>: field <math>\mathbb{F}_{p^2}</math>, quadratic extension of <math>\mathbb{F}_p</math> | | Minimal field of realization || In characteristic zero: <math>\mathbb{Q}(\sqrt{2}) = \mathbb{Q}[t]/(t^2 - 2)</math><br>In characteristic <math>p \equiv \pm 1 \pmod 8</math>: prime field <math>\mathbb{F}_p</math><br>In characteristic <math>p \equiv \pm 3 \pmod 8</math>: field <math>\mathbb{F}_{p^2}</math>, quadratic extension of <math>\mathbb{F}_p</math> |
Revision as of 15:35, 4 July 2011
This article describes a particular irreducible linear representation for the following group: dihedral group:D16. 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 dihedral group:D16.
Here, is the dihedral group:D16, the dihedral group of degree 8and order 16, given by the presentation:
Summary
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).
Item | Value |
---|---|
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 | dihedral group:D16 |
Set of character values | (interpreted/reduced over the ring/field -- is a square root of 2 Characteristic zero: Ring generated -- , Ideal within ring generated -- Principal ideal generated by , Field generated -- |
Rings of realization | The representations can be realized precisely rings containing a square root of 2. |
Fields of realization | The representations can be realized precisely fields containing a square root of 2. For a finite field with elements, , this is equivalent to |
Minimal field of realization | In characteristic zero: In characteristic : prime field In characteristic : field , quadratic extension of |
Representation table
There are two such representations, and they are related by the group automorphism , and also by the Galois automorphism for the extension over .
We give each of these representations in three forms. One is a representation as orthogonal matrices (with the generator mapping to rotation by an odd multiple of and mapping to a reflection), and this representation is realized over the ring . The second is as complex unitary matrices. The third epresentation is realized over the smaller subring but the matrices are no longer orthogonal matrices.
Here is the first representation in all three forms:
The table below is incomplete, it has only 11 of the 16 elements, more will be added later
Element | Matrix as real orthogonal | Matrix as complex unitary | Matrix as real, non-orthogonal, in | Characteristic polynomial | Minimal polynomial | Trace, character value | Determinant |
---|---|---|---|---|---|---|---|
2 | 1 | ||||||
1 | |||||||
0 | 1 | ||||||
1 | |||||||
-2 | 1 | ||||||
1 | |||||||
0 | 1 | ||||||
1 | |||||||
0 | -1 | ||||||
0 | -1 | ||||||
0 | -1 |