Dear Gap Forum,

Jurgen Muller wrote:
>
> Dear Gap Forum, dear Edgar,
>
> > I am interested in finding the irreducible representations of GL(2,n) -
> > the group of 2-by-2 invertible matrices with integer entries modulo n.
> > Here, n is not necessarily a power of a prime number. How can I use Gap
> > to find these irreducible representations?
>
> As far as I know, up to now there is no built-in automatic mechanism
> in GAP to compute the irreducible representations of an arbitrary
> finite group. (The situation is different for special classes of
> groups, which unfortunately the GL_2(Z/nZ)'s do not belong to.) But
> there are so-called `MeatAxe' techniques available to find irreducible
> representations rather comfortably by hand. There is a GAP share
> package which works over finite fields, and I have (private, still)
> programs which (are supposed to) do the job over the rationals and
> finite extension fields thereof.
>
> These programs might be useful for the examples you have, Edgar; if
> you are interested, please do not hesitate to contact me. Possibly I
> can then give you more specific advice.
>
> Best, J"urgen M"uller.
If the group is solvable, then a full set of irreducible
representations can be computed using the package AREP:
List(Irr(g), chi -> ARepWithCharacter(chi));
Unfortunately, AREP is currently only for GAP 3.4.4 available.

Best, Markus
-- 
Markus Pueschel
Carnegie Mellon University
5000 Forbes Ave 
Pittsburgh, PA 15213
phone: (412) 268 3804
fax (412) 268 3890
http://avalon.ira.uka.de/home/pueschel/