![]() | ||
In the mathematical area of group theory, the covering groups of the alternating and symmetric groups are groups that are used to understand the projective representations of the alternating and symmetric groups. The covering groups were classified in (Schur 1911): for n≥4 the covering groups are 2-fold covers except for the alternating groups of degree 6 and 7 where the covers are 6-fold.
Contents
- Definition and classification
- Finite presentations
- Projective representations
- Integral homology
- Construction of double covers
- Construction of triple cover for n6 7
- Exceptional isomorphisms
- Properties
- References
For example the binary icosahedral group covers the icosahedral group, an alternating group of degree 5, and the binary tetrahedral group covers the tetrahedral group, an alternating group of degree 4.
Definition and classification
A group homomorphism from D to G is said to be a Schur cover of the finite group G if:
- the kernel is contained both in the center and the derived subgroup of D, and
- amongst all such homomorphisms, this D has maximal size.
The Schur multiplier of G is the kernel of any Schur cover and has many interpretations. When the homomorphism is understood, the group D is often called the Schur cover or Darstellungsgruppe.
The Schur covers of the symmetric and alternating groups were classified in (Schur 1911). The symmetric group of degree n ≥ 4 has two isomorphism classes of Schur covers, both of order 2⋅n!, and the alternating group of degree n has one isomorphism class of Schur cover, which has order n! except when n is 6 or 7, in which case the Schur cover has order 3⋅n!.
Finite presentations
Schur covers can be described using finite presentations. The symmetric group Sn has a presentation on n−1 generators ti for i = 1, 2, ..., n−1 and relations
titi = 1, for 1 ≤ i ≤ n−1ti+1titi+1 = titi+1ti, for 1 ≤ i ≤ n−2tjti = titj, for 1 ≤ i < i+2 ≤ j ≤ n−1.These relations can be used to describe two non-isomorphic covers of the symmetric group. One covering group
The same group
The other covering group
The same group
Sometimes all of the relations of the symmetric group are expressed as (titj)mij = 1, where mij are non-negative integers, namely mii = 1, mi,i+1 = 3, and mij = 2, for 1 ≤ i < i+2 ≤ j ≤ n−1. The presentation of
Projective representations
Covering groups were introduced by Issai Schur to classify projective representations of groups. A (complex) linear representation of a group G is a group homomorphism G → GL(n,C) from the group G to a general linear group, while a projective representation is a homomorphism G → PGL(n,C) from G to a projective linear group. Projective representations of G correspond naturally to linear representations of the covering group of G.
The projective representations of alternating and symmetric groups are the subject of the book (Hoffman & Humphreys 1992).
Integral homology
Covering groups correspond to the second group homology group, H2(G,Z), also known as the Schur multiplier. The Schur multipliers of the alternating groups An (in the case where n is at least 4) are the cyclic groups of order 2, except in the case where n is either 6 or 7, in which case there is also a triple cover. In these cases, then, the Schur multiplier is the cyclic group of order 6, and the covering group is a 6-fold cover.
H2(An,Z) = 0 for n ≤ 3H2(An,Z) = Z/2Z for n = 4, 5H2(An,Z) = Z/6Z for n = 6, 7H2(An,Z) = Z/2Z for n ≥ 8For the symmetric group, the Schur multiplier vanishes for n ≤ 3, and is the cyclic group of order 2 for n ≥ 4:
H2(Sn,Z) = 0 for n ≤ 3H2(Sn,Z) = Z/2Z for n ≥ 4Construction of double covers
The double covers can be constructed as spin (respectively, pin) covers of faithful, irreducible, linear representations of An and Sn. These spin representations exist for all n, but are the covering groups only for n≥4 (n≠6,7 for An). For n≤3, Sn and An are their own Schur covers.
Explicitly, Sn acts on the n-dimensional space Rn by permuting coordinates (in matrices, as permutation matrices). This has a 1-dimensional trivial subrepresentation corresponding to vectors with all coordinates equal, and the complementary (n−1)-dimensional subrepresentation (of vectors whose coordinates sum to 0) is irreducible for n≥4. Geometrically, this is the symmetries of the (n−1)-simplex, and algebraically, it yields maps
Construction of triple cover for n = 6, 7
The triple covering of
This construction is important in the study of the sporadic groups, and in much of the exceptional behavior of small classical and exceptional groups, including: construction of the Mathieu group M24, the exceptional covers of the projective unitary group
Exceptional isomorphisms
For low dimensions there are exceptional isomorphisms with the map from a special linear group over a finite field to the projective special linear group.
For n = 3, the symmetric group is SL(2,2) ≅ PSL(2,2) and is its own Schur cover.
For n = 4, the Schur cover of the alternating group is given by SL(2,3) → PSL(2,3) ≅ A4, which can also be thought of as the binary tetrahedral group covering the tetrahedral group. Similarly, GL(2,3) → PGL(2,3) ≅ S4 is a Schur cover, but there is a second non-isomorphic Schur cover of S4 contained in GL(2,9) – note that 9=32 so this is extension of scalars of GL(2,3). In terms of the above presentations, GL(2,3) ≅ Ŝ4.
For n = 5, the Schur cover of the alternating group is given by SL(2,5) → PSL(2,5) ≅ A5, which can also be thought of as the binary icosahedral group covering the icosahedral group. Though PGL(2,5) ≅ S5, GL(2,5) → PGL(2,5) is not a Schur cover as the kernel is not contained in the derived subgroup of GL(2,5). The Schur cover of PGL(2,5) is contained in GL(2,25) – as before, 25=52, so this extends the scalars.
For n = 6, the double cover of the alternating group is given by SL(2,9) → PSL(2,9) ≅ A6. While PGL(2,9) is contained in the automorphism group PΓL(2,9) of PSL(2,9) ≅ A6, PGL(2,9) is not isomorphic to S6, and its Schur covers (which are double covers) are not contained in nor a quotient of GL(2,9). Note that in almost all cases,
For n = 8, the alternating group A8 is isomorphic to SL(4,2) = PSL(4,2), and so SL(4,2) → PSL(4,2), which is 1-to-1, not 2-to-1, is not a Schur cover.
Properties
Schur covers of finite perfect groups are superperfect, that is both their first and second integral homology vanish. In particular, the double covers of An for n ≥ 4 are superperfect, except for n = 6, 7, and the six-fold covers of An are superperfect for n = 6, 7.
As stem extensions of a simple group, the covering groups of An are quasisimple groups for n ≥ 5.