ATLAS: Symplectic group S4(13)

Order = 68518981440 = 26.32.5.72.134.17.
Mult = 2.
Out = 2.

Standard generators

Standard generators of S4(13) are a and b where a is in class 2B, b has order 3, ab has order 85 and ababb has order 14. (This last condition implies that b is in class 3B.)
Standard generators of 2.S4(13) are not yet defined.

Standard generators of S4(13):2 are not yet defined.
Standard generators of 2.S4(13):2 are not yet defined.


Black box algorithms

To find standard generators for S4(13):
  1. Find an element of even order and power it up to give an involution a.
  2. Look for an element z such that [a, z] has order greater than 13. If we find such an element, then a is in class 2B. Otherwise, go back to step 1.
  3. Find an element s of order 84, and let t=s42, c=s28.
  4. Check the order of [t, y] for a few random elements y. If any of these commutators has order greater than 13, then c is in class 3A, so go back to step 3.
  5. Look for a conjugate b of c such that ab has order 85 and ababb has order 14. If no such conjugate can be found, then c is probably in class 3A, so go back to step 3.
  6. The elements a and b are standard generators.

Representations

The representations of S4(13) available are: The representations of 2.S4(13) = Sp4(13) available are:
Main ATLAS page Go to main ATLAS (version 2.0) page.
Classical groups page Go to classical groups page.
ftp access Anonymous ftp access is also available on for.mat.bham.ac.uk.

Version 2.0 created on 17th June 2004.
Last updated 17.06.04 by SJN.