[GAP Forum] first example towards GAP, need some explanation

Jon devout1977 at gmail.com
Fri Aug 17 22:50:27 BST 2012


Dear All,

The first example I tried on GAP is about the symmetric group of 4
elements(?). I tried to get its irreducible matrix representation. The
outcome I got from GAP is

gap> List(g,g->g^reps[3]);
[ [ [ 1, 0 ], [ 0, 1 ] ], [ [ 0, E(3) ], [ E(3)^2, 0 ] ], [ [ E(3)^2, 0 ],
[ 0, E(3) ] ], [ [ E(3), 0 ], [ 0, E(3)^2 ] ], [ [ 0, E(3)^2 ], [ E(3), 0 ]
],
  [ [ E(3), 0 ], [ 0, E(3)^2 ] ], [ [ 0, 1 ], [ 1, 0 ] ], [ [ 0, E(3) ], [
E(3)^2, 0 ] ], [ [ E(3)^2, 0 ], [ 0, E(3) ] ], [ [ 0, 1 ], [ 1, 0 ] ], [ [
E(3), 0 ], [ 0, E(3)^2 ] ], [ [ 1, 0 ], [ 0, 1 ] ],
  [ [ 0, 1 ], [ 1, 0 ] ], [ [ E(3)^2, 0 ], [ 0, E(3) ] ], [ [ 0, E(3) ], [
E(3)^2, 0 ] ], [ [ 0, E(3)^2 ], [ E(3), 0 ] ], [ [ E(3), 0 ], [ 0, E(3)^2 ]
],
  [ [ 0, E(3)^2 ], [ E(3), 0 ] ], [ [ 1, 0 ], [ 0, 1 ] ], [ [ E(3)^2, 0 ],
[ 0, E(3) ] ], [ [ 0, E(3) ], [ E(3)^2, 0 ] ], [ [ 1, 0 ], [ 0, 1 ] ], [ [
0, E(3)^2 ], [ E(3), 0 ] ], [ [ 0, 1 ], [ 1, 0 ] ] ]

My question is:

(1) How do I know which matrix corresponds to which group element?
(2) What does E(3) mean?
(3) There can be different representations which has all matrix elements
real, how can I find a similarity transformation which can do this?
(4) Can the output be set in a way that these 24 matrices can be read in
directly by say Fortran?

Thank you very much,

Sincerely,
Jon


More information about the Forum mailing list