Covering groups of the alternating and symmetric groups

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. 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. 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. A group homomorphism from D to G is said to be a Schur cover of the finite group G if: 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!. 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 These relations can be used to describe two non-isomorphic covers of the symmetric group. One covering group 2 ⋅ S n − {displaystyle 2cdot S_{n}^{-}} has generators z, t1, ..., tn−1 and relations: The same group 2 ⋅ S n − {displaystyle 2cdot S_{n}^{-}} can be given the following presentation using the generators z and si given by ti or tiz according as i is odd or even: The other covering group 2 ⋅ S n + {displaystyle 2cdot S_{n}^{+}} has generators z, t1, ..., tn−1 and relations: