## Software package to manipulate representations

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

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

-

The CHEVIE package for GAP3 or MAPLE can be useful.  math.rwth-aachen.de/~CHEVIE Unfortunately, the GAP4 version is still pending.   – Leandro Vendramin Jan 18 2012 at 19:29

## 1 Answer

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.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 4, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.6758967638015747, "perplexity_flag": "middle"}