8
$\begingroup$

Hi,

I am looking for a software package that will allow me to experiment with the irreducible representations of lie groups (for example, $SL(2,p)$) over the complex field and over finite fields. That is, I would like to get the corresponding matrices for group elements. Thanks, Shachar

$\endgroup$
10
$\begingroup$

For representations over the complex field, I know that GAP does a good job. (I'm not sure if it can do modular representations as well, but I wouldn't be surprised.)

Here is some example code to get you started:

G:=SL(2,3);;
reps:=IrreducibleRepresentations(G);;
Elements(G);
List(G,g->g^reps[5]);

This prints the elements of the group $SL(2,3)$:

[ [ [ 0*Z(3), Z(3)^0 ], [ Z(3), 0*Z(3) ] ], 
  [ [ 0*Z(3), Z(3)^0 ], [ Z(3), Z(3)^0 ] ], 
  [ [ 0*Z(3), Z(3)^0 ], [ Z(3), Z(3) ] ], 
  [ [ 0*Z(3), Z(3) ], [ Z(3)^0, 0*Z(3) ] ], 
  [ [ 0*Z(3), Z(3) ], [ Z(3)^0, Z(3)^0 ] ], 
  [ [ 0*Z(3), Z(3) ], [ Z(3)^0, Z(3) ] ], 
  [ [ Z(3)^0, 0*Z(3) ], [ 0*Z(3), Z(3)^0 ] ], 
  [ [ Z(3)^0, 0*Z(3) ], [ Z(3)^0, Z(3)^0 ] ], 
  [ [ Z(3)^0, 0*Z(3) ], [ Z(3), Z(3)^0 ] ], 
  [ [ Z(3)^0, Z(3)^0 ], [ 0*Z(3), Z(3)^0 ] ], 
  [ [ Z(3)^0, Z(3)^0 ], [ Z(3)^0, Z(3) ] ], 
  [ [ Z(3)^0, Z(3)^0 ], [ Z(3), 0*Z(3) ] ], 
  [ [ Z(3)^0, Z(3) ], [ 0*Z(3), Z(3)^0 ] ], 
  [ [ Z(3)^0, Z(3) ], [ Z(3)^0, 0*Z(3) ] ], 
  [ [ Z(3)^0, Z(3) ], [ Z(3), Z(3) ] ], 
  [ [ Z(3), 0*Z(3) ], [ 0*Z(3), Z(3) ] ],
  [ [ Z(3), 0*Z(3) ], [ Z(3)^0, Z(3) ] ], 
  [ [ Z(3), 0*Z(3) ], [ Z(3), Z(3) ] ], 
  [ [ Z(3), Z(3)^0 ], [ 0*Z(3), Z(3) ] ],
  [ [ Z(3), Z(3)^0 ], [ Z(3)^0, Z(3)^0 ] ], 
  [ [ Z(3), Z(3)^0 ], [ Z(3), 0*Z(3) ] ], 
  [ [ Z(3), Z(3) ], [ 0*Z(3), Z(3) ] ],
  [ [ Z(3), Z(3) ], [ Z(3)^0, 0*Z(3) ] ], 
  [ [ Z(3), Z(3) ], [ Z(3), Z(3)^0 ] ] 
 ]

followed by complex matrices representing each element:

[ [ [ 0, -1 ], [ 1, 0 ] ],
  [ [ E(3)^2, -E(3) ], [ 1, 0 ] ], 
  [ [ -E(3), -E(3)^2 ], [ 1, 0 ] ], 
  [ [ 0, 1 ], [ -1, 0 ] ], 
  [ [ E(3), E(3)^2 ], [ -1, 0 ] ], 
  [ [ -E(3)^2, E(3) ], [ -1, 0 ] ], 
  [ [ 1, 0 ], [ 0, 1 ] ],
  [ [ E(3), E(3)^2 ], [ 0, 1 ] ], 
  [ [ E(3)^2, -E(3) ], [ 0, 1 ] ], 
  [ [ 1, 0 ], [ E(3), E(3)^2 ] ], 
  [ [ -E(3)^2, E(3) ], [ E(3), E(3)^2 ] ], 
  [ [ 0, -1 ], [ E(3), E(3)^2 ] ], 
  [ [ 1, 0 ], [ -E(3)^2, E(3) ] ], 
  [ [ 0, 1 ], [ -E(3)^2, E(3) ] ], 
  [ [ -E(3), -E(3)^2 ], [ -E(3)^2, E(3) ] ], 
  [ [ -1, 0 ], [ 0, -1 ] ], 
  [ [ -E(3)^2, E(3) ], [ 0, -1 ] ], 
  [ [ -E(3), -E(3)^2 ], [ 0, -1 ] ], 
  [ [ -1, 0 ], [ E(3)^2, -E(3) ] ], 
  [ [ E(3), E(3)^2 ], [ E(3)^2, -E(3) ] ], 
  [ [ 0, -1 ], [ E(3)^2, -E(3) ] ], 
  [ [ -1, 0 ], [ -E(3), -E(3)^2 ] ], 
  [ [ 0, 1 ], [ -E(3), -E(3)^2 ] ], 
  [ [ E(3)^2, -E(3) ], [ -E(3), -E(3)^2 ] ] 
]

Change "5" to other numbers to see different representations. Also, note that the GAP symbol

Z(p)

denotes a generator of the multiplicative group of the finite field $\mathbb{F}_p$. Similarly,

E(k)

denotes a primitive $k^{\mbox{th}}$ root of unity.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.