|
|
PROG
|
(MAGMA) // Definition of group: F<al> := CyclotomicField(12); w := al^4; i := al^3; s3 := (1+2*w)/i; M := GeneralLinearGroup(4, F);
g1 := M![ 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 1, 0, 0 ]; g2 := M![ -1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0 ]; g3 := M![ 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, -1 ];
H := 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 ]; G := sub<M| g1, g2, g3, H>;
|