Double Covers of the Alternating and Symmetric Groups

These functions construct representations of the groups 2An and 2Sn as matrix groups over a field GF(p) or (usually) GF(p2) for an odd prime p. Their dimension is 2d with d = (n - 1)/2, (n - 2)/2, or (n - 3)/2 depending on n mod 6. The method used is described in [Maa09].

DoubleCoverSymmetricGroup(n: parameters) : RngIntElt -> GrpMat
    Type: MonStgElt                     Default: "+"
    Characteristic: RngIntElt           Default: 3
n ≥4 represented as a matrix group over the field GF(p) or (usually) GF(p2), where p, which defaults to 3, can be specified as Characteristic.

There are two isomorphism classes of groups with this structure, which are distinguished by the optional parameter Type, which can be positive, (Type = "+" or "plus"), or negative (Type = "-" or "minus").

DoubleCoverAlternatingGroup(n: parameters) : RngIntElt -> GrpMat
    Characteristic: RngIntElt           Default: 3
n ≥4 represented as a matrix group over the field GF(p) or (usually) GF(p2), where p, which defaults to 3, can be specified as Characteristic.
V2.28, 28 February 2025