|
PROGRAM
|
(MAGMA) // Definition of group:
F<al> := CyclotomicField(24); i := al^6; eta := al^3; s2 := (1+i)/eta; om := al^8; s3 := (2*om+1)/i; s6 := s2*s3; M := GeneralLinearGroup(4, F);
A1 := M![s3/s6, 1/s6, 1/s6, 1/s6, -1/s6, s3/s6, -1/s6, 1/s6, -1/s6, 1/s6, s3/s6, -1/s6, -1/s6, -1/s6, 1/s6, s3/s6 ]; A2 := M![0, 1/s3, 1/s3, 1/s3, -1/s3, 0, -1/s3, 1/s3, -1/s3, 1/s3, 0, -1/s3, -1/s3, -1/s3, 1/s3, 0 ];
B1 := M![ -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1 ]; C1 := M![1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 1, 0, 0 ];
C2 := M![0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, -1, 1, 0, 0, 0 ]; G := sub<M | A1, A2, B1, C1, C2 >;
|