Linear representation theory of alternating group:A4
This article gives specific information, namely, linear representation theory, about a particular group, namely: alternating group:A4.
View linear representation theory of particular groups | View other specific information about alternating group:A4
This article discusses the linear representation theory of the alternating group of degree four, a group of order 12. For convenience, the underlying set is , and permutations are written using the cycle decomposition notation.
|Degrees of irreducible representations over a splitting field|| 1,1,1,3|
maximum: 3, lcm: 3, number: 4
|Schur index values of irreducible representations||1,1,1,1|
|Smallest ring of realization of all representations (characteristic zero)|
|Smallest field of realization of all representations (characteristic zero)|
|Criterion for a field to be a splitting field|| Any field of characteristic not 2 or 3 that contains a primitive cube root of unity, i.e., the polynomial splits.|
For a finite field, this is equivalent to saying that the size the field is odd and congruent to 1 modulo 3 (or equivalently, congruent to 1 modulo 6).
|Degrees of irreducible representations over a non-splitting field|| 1,2,3|
maximum: 3, lcm: 6, number: 3
|Smallest size splitting field||Field:F7, the field with 7 elements.|
|Family name||Parameter values||General discussion of linear representation theory of family|
|alternating group||degree||linear representation theory of alternating groups|
|projective special linear group of degree two over a finite field||field:F3, i.e., the group is||linear representation theory of projective special linear group of degree two over a finite field|
COMPARE AND CONTRAST: View linear representation theory of groups of order 12 to compare and contrast the linear representation theory with other groups of order 12.
Below is summary information on irreducible representations that are absolutely irreducible, i.e., they remain irreducible in any bigger field, and in particular are irreducible in a splitting field. We assume that the characteristic of the field is not 2 or 3, except in the last two columns, where we consider what happens in characteristic 2 and characteristic 3.
|Name of representation type||Number of representations of this type||Degree||Schur index||Criterion for field||Kernel||Quotient by kernel (on which it descends to a faithful representation)||Characteristic 2||Characteristic 3|
|trivial||1||1||1||any||whole group||trivial group||works||works|
|one-dimensional nontrivial||2||1||1||contains a primitive cube root of unity||V4 in A4||cyclic group:Z3||works||works, same as trivial|
|three-dimensional irreducible||1||3||1||any||trivial subgroup, i.e., the representation is faithful||alternating group:A4||indecomposable but not irreducible||works|
Below are representations that are irreducible over a non-splitting field but split up over a splitting field.
|Name of representation type||Number of representations of this type||Degree||Criterion for field||What happens over a splitting field?||Kernel||Quotient by kernel (on which it descends to a faithful representation)|
|two-dimensional, kernel of order four||1||2||does not contain a primitive cube root of unity||splits into the two one-dimensional nontrivial representations||V4 in A4||cyclic group:Z3|
The trivial representation works over all fields. It is a one-dimensional representation that sends every element of the group to the identity matrix .
Two one-dimensional representations with kernel of order four
The alternating group of degree four has a unique proper nontrivial normal subgroup, namely V4 in A4. This is a subgroup of order four isomorphic to the Klein four-group, and equals the derived subgroup. It is explicitly given by:
There are two one-dimensional representations with kernel over any field that has characteristic not equal to and has primitive cuberoots of unity.. These correspond to the two one-dimensional representations of the quotient group, which is cyclic of order three (see linear representation theory of cyclic group:Z3 for details).
If we denote by a primitive cube root of unity, the two representations are explicitly as follows (note that since the representations are one-dimensional, we simply write them as numbers rather than as matrices):
|Coset of (V4 in A4)||Image of every element of this coset under the first one-dimensional representation||Image of this coset under the second one-dimensional representation|
In the case of characteristic zero, where is a square root of .
Three-dimensional irreducible representation
There is a three-dimensional representation that works over any field. Here is one way of describing this representation. Consider the action of the alternating group on a four-dimensional vector space, by permuting the basis vectors through its action on a set of size four. This action has an invariant subspace of codimension one: the subspace comprising vectors whose coordinates add to zero. This gives a three-dimensional vector space on which the alternating group acts, and this is an irreducible representation.
Here is a description of the values of this representation at each element:PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]
Here is what happens with various characteristics of fields:
|Case for the field||What happens in this case|
|characteristic not equal to 2||The representation is irreducible|
|characteristic equal to 2||The representation is indecomposable but not irreducible. In fact, it induces an injective homomorphism from to GL(3,2) and, with a change of basis, the image of this mapping lies completely inside a parabolic subgroup which is isomorphic to symmetric group:S4.|
Two-dimensional representation: irreducible in the non-splitting case
For any field , there is a two-dimensional representation over with kernel V4 in A4, given as follows:
|Coset of V4 in A4||Matrix that all elements in this coset go to||Trace||Minimal polynomial|
Here are the three cases for the field , and what happens in each case:
|Case for the field||What happens in this case|
|does not have characteristic does not contain a primitive cube root of unity||The representation is irreducible. However, it is not absolutely irreducible, it decomposes as a direct sum in a quadratic extension containing a primitive cube root of unity (See next point).|
|does not have characteristic and contains a primitive cube root of unity||The representation decomposes as a direct sum of the two one-dimensional nontrivial representations with kernel V4 in A4|
|Characteristic of is||The representation is indecomposable but not irreducible, because there is an invariant one-dimensional subspace.|
Degrees of irreducible representations
FACTS TO CHECK AGAINST FOR DEGREES OF IRREDUCIBLE REPRESENTATIONS OVER SPLITTING FIELD:
Divisibility facts: degree of irreducible representation divides group order | degree of irreducible representation divides index of abelian normal subgroup
Size bounds: order of inner automorphism group bounds square of degree of irreducible representation| degree of irreducible representation is bounded by index of abelian subgroup| maximum degree of irreducible representation of group is less than or equal to product of maximum degree of irreducible representation of subgroup and index of subgroup
Cumulative facts: sum of squares of degrees of irreducible representations equals order of group | number of irreducible representations equals number of conjugacy classes | number of one-dimensional representations equals order of abelianization
Described below for a field of characteristic not or (i.e., the non-modular case):
|Type of field||Splitting field?||Condition on polynomial||Condition on for finite field of size||Example values of (size of field)||Degrees of irreducible representations|
|Contains a primitive cube root of unity||Yes||splits||divides||7 (field:F7), 13, 19, 25, 31, 37, 43, 49, 61||1,1,1,3|
|Does not contain a primitive cube root of unity||No||does not split||does not divide||5, 11, 17, 23, 29, 41, 47, 53, 59||1,2,3|
Character table over a splitting field
FACTS TO CHECK AGAINST (for characters of irreducible linear representations over a splitting field):
Orthogonality relations: Character orthogonality theorem | Column orthogonality theorem
Separation results (basically says rows independent, columns independent): Splitting implies characters form a basis for space of class functions|Character determines representation in characteristic zero
Numerical facts: Characters are cyclotomic integers | Size-degree-weighted characters are algebraic integers
Character value facts: Irreducible character of degree greater than one takes value zero on some conjugacy class| Conjugacy class of more than average size has character value zero for some irreducible character | Zero-or-scalar lemma
Let be a primitive cube root of unity. The character table over a splitting field is as follows:
|Representation/conjugacy class representative||(size 1)||(size 3)||(size 4)||(size 4)|
|first nontrivial one-dimensional representation||1||1|
|second nontrivial one-dimensional representation||1||1|
|three-dimensional irreducible representation||3||-1||0||0|
Note that this character table is interpreted differently depending on what the splitting field is and which of the primitive cube roots we choose to be . Switching the roles of and in the above table simply permutes the two nontrivial one-dimensional representations and has no effect on the overall character table.
In characteristic zero (for instance, over ), can be taken as or , which is . is the other primitive cube root of unity, and is given as or or . Here are the characters multiplied by conjugacy class size and divided by the degree of the representation. Note that size-degree-weighted characters are algebraic integers:
|Representation/conjugacy class representative|
|first nontrivial one-dimensional representation||1||3|
|second nontrivial one-dimensional representation||1||3|
|three-dimensional irreducible representation||1||-1||0||0|
Character table over a non-splitting field
For a field that is not a splitting field for the group, there are only three equivalence classes of irreducible representations. But also, the number of Galois conjugacy classes is three. Specifically, the two conjugacy classes of 3-cycles become a single conjugacy class. Here is the character table:
|Representation/conjugacy class representative|
|irreducible two-dimensional representation||2||2||-1|
|irreducible three-dimensional representation||3||-1||0|
Over a finite field, the character values are interpreted as integers modulo the field characteristic; over an infinite field, they are interpreted as rational numbers and hence field elements.
If doing character theory over the real numbers, we know that the number of irreducible representations over reals equals number of equivalence classes under real conjugacy and for the rational numbers, we know that the . The above is the character table both over the rationals and over the reals.
Smallest ring of realization
|Representation||Smallest ring of realization||Smallest set of elements that can be used as matrix entries for the ring|
|trivial representation||-- ring of integers|
|first nontrivial irreducible representation|
|second nontrivial irreducible representation|
|irreducible three-dimensional representation|
|irreducible two-dimensional representation over fields not containing a primitive cuberoot of unity|