Modular representation theory of symmetric group:S3 at 2
This article gives specific information, namely, modular representation theory, about a particular group, namely: symmetric group:S3.
View modular representation theory of particular groups | View other specific information about symmetric group:S3
This article describes the modular representation theory of symmetric group:S3 at the prime two, i.e., for fields of characteristic two, specifically field:F2 and its extensions.
For information on the linear representation theory in characteristic three (the other modular case) see modular representation theory of symmetric group:S3 at 3.
For information on the linear representation theory in other characteristics, see linear representation theory of symmetric group:S3.
Summary
Item | Value |
---|---|
degrees of irreducible representations (or equivalently, degrees of irreducible Brauer characters) | 1,2 maximum: 2, lcm: 2, number: 2 |
smallest field of realization of irreducible representations in characteristic 2 | field:F2, i.e., the field of two elements |
Family contexts
Family name | Parameter values | General description of modular representation theory of family |
---|---|---|
symmetric group | degree | modular representation theory of symmetric groups at 2 |
special linear group of degree two over a finite field | field:F2 | modular representation theory of special linear group of degree two over a finite field in its defining characteristic |
Irreducible representations
There are two irreducible representations, both of them arising from irreducible representations in characteristic zero, namely:
Name of representation type | Number of representations of this type | Field of realization | Kernel | Degree | Liftable to ordinary representation (characteristic zero)? | How does the behavior differ from the non-modular case? |
---|---|---|---|---|---|---|
trivial | 1 | field:F2 | whole group | 1 | Yes | In the non-modular case, there are two one-dimensional representations, the trivial representation and the sign representation. Both of these reduce to the trivial representation in characteristic two. |
standard (two-dimensional irreducible) | 1 | field:F2 | trivial subgroup, i.e., it is faithful | 2 | Yes | All the matrices now have determinant one, and in fact, the representation surjects to , yielding . |
Trivial representation
The trivial or principal representation is a one-dimensional representation sending every element of the symmetric group to the identity matrix of order one.
Standard representation
Further information: Standard representation of symmetric group:S3
This is obtained by computing the standard representation and then reducing modulo 2.Here is the description: consider a three-dimensional vector space with basis . Let the symmetric group permute the basis vectors, and consider the induced action of the symmetric group on the vector space. This is a three-dimensional representation. Consider the two-dimensional subspace of all vectors of the form where . When the characteristic of the field is not two or three, this is a faithful, irreducible, two-dimensional representation. Note that and can be taken as a basis for this, with being the negative of the sum of these.
The table below gives the matrices for the characteristic two case. Here, we convert all s to s, because we are in characteristic two. Note that the map surjects to .
Element | Matrix for standard representation with basis , | Matrix for standard representation viewed as quotient with basis | Characteristic polynomial | Minimal polynomial | Trace, character value |
---|---|---|---|---|---|
Identity element | 0 | ||||
1 | |||||
1 | |||||
0 | |||||
0 | |||||
0 |
Character table
The character table (taking values in field:F2) is as follows:
Rep/Conj class | (-regular) | (-regular) | (not -regular) |
---|---|---|---|
trivial | 1 | 1 | 1 |
standard | 0 | 1 | 0 |
Brauer characters
Symmetric group:S3 is a rational representation group, in the sense that all its representations in characteristic zero can be realized using matrices with integer entries, and hence over the rational numbers. On the other side, all irreducible representations in characteristic two are realized over field:F2.
However, the eigenvalues of these representations do not live over field:F2, i.e., the matrices are not diagonalizable over this field. In order to diagonalize, we need to adjoin cube roots of unity on both sides. In other words, we need to fix a bijection between cube roots of unity in a quadratic extension of field:F2 and cube roots of unity in a quadratic extension of the rational numbers. Since the actual matrix entries and character values all live in the base fields, the Brauer characters ultimately will turn out not to depend on this choice of bijection.
Brauer character table
There are two 2-regular conjugacy classes: the identity element and the 3-cycles. There are two Brauer characters: the character of the trivial representation and the character of the standard representation.
Irreducible representation in characteristic two whose Brauer character we are computing | Irreducible representation in characteristic zero whose character equals the Brauer character | Value of Brauer character on identity element | Value of Brauer character on conjugacy class of and |
---|---|---|---|
trivial representation | trivial representation or sign representation | 1 | 1 |
standard representation | standard representation | 2 | -1 |
Group ring interpretation
The group ring is not a semisimple module, and in particular, it does not break up as a direct product of matrix rings. In fact, the group ring does not split up as a direct product of matrix rings even if we take to be the algebraic closure of .
GAP implementation
The character degrees can be computed using GAP's CharacterDegrees function:
gap> CharacterDegrees(SymmetricGroup(3),2); [ [ 1, 1 ], [ 2, 1 ] ]
The Brauer character table can be computed as follows:
gap> Irr(CharacterTable(SymmetricGroup(3),2)); [ Character( BrauerTable( Sym( [ 1 .. 3 ] ), 2 ), [ 1, 1 ] ), Character( BrauerTable( Sym( [ 1 .. 3 ] ), 2 ), [ 2, -1 ] ) ]