Projective representation theory of Klein four-group
This article gives specific information, namely, projective representation theory, about a particular group, namely: Klein four-group.
View projective representation theory of particular groups | View other specific information about Klein four-group
This article describes the projective representation theory of the Klein four-group in characteristic zero, which we call .
Summary description in terms of linear representations of a Schur covering group
We can take dihedral group:D8 as a Schur covering group for the Klein four-group (we could also alternatively take the quaternion group). Thus, all projective representations of the Klein four-group arise from ordinary representations of dihedral group:D8. Below is a complete description of the list of irreducible projective representations and the corresponding ordinary representations of dihedral group:D8.
|Representation||Degree||Corresponding element of Schur multiplier (i.e., corresponding cohomology class)||Number of linear representations of dihedral group:D8 that descend to this (see linear representation theory of dihedral group:D8)||List of these linear representations|
|trivial||1||trivial||4||all the one-dimensional representations|
|nontrivial||2||nontrivial||1||faithful irreducible representation of dihedral group:D8|
Projective representations for trivial cohomology class
For the trivial cohomology class, there is a unique irreducible projective representation, namely the one-dimensional projective representation induced by the trivial representation. All one-dimensional representations are projectively equivalent to the trivial representation, and they all induce this projective representation.
In addition to the four irreducible representations of the Klein four-group, any one-dimensional representation of any group admitting the Klein four-group as a quotient also induces the trivial projective representation on the Klein four-group.
Projective representations for nontrivial cohomology class
There is a unique irreducible projective representation up to equivalence. This has degree two, and is described below. We denote by , , , the four non-identity elements. Note that the values used for each of the elements may differ from one another.
|Element||Arbitrary representative for projective equivalence class||Generic element of projective equivalence class||Nature of characteristic polynomial||Nature of minimal polynomial||Is the trace zero or nonzero?|
This projective representation can be realized by choosing a two-dimensional faithful irreducible linear representations of a group of the form with a central subgroup such that . To see how, note that by a corollary of Schur's lemma, all elements of must map to scalar matrices. so the map induces a map and hence a map . Here are some examples of choices of and (it also turns out that for the two-dimensional faithful irreducible representation to exist, must be precisely the center, because if the center were any bigger, then the whole group would be abelian and hence all irreducible representations would be one-dimensional):
|Group||Central subgroup as subgroup||Isomorphism class of||Cohomology group for trivial group action||Faithful irreducible two-dimensional representation of that works|
|dihedral group:D8||center of dihedral group:D8||cyclic group:Z2||second cohomology group for trivial group action of V4 on Z2||faithful irreducible representation of dihedral group:D8|
|quaternion group||center of quaternion group||cyclic group:Z2||second cohomology group for trivial group action of V4 on Z2||faithful irreducible representation of quaternion group|
|M16||center of M16||cyclic group:Z4||second cohomology group for trivial group action of V4 on Z4||faithful irreducible representation of M16|
|central product of D8 and Z4||center of central product of D8 and Z4||cyclic group:Z4||second cohomology group for trivial group action of V4 on Z4||faithful irreducible representation of central product of D8 and Z4|