# 48.25 MatRepresentationsPGroup

`MatRepresentationsPGroup( G )`
`MatRepresentationsPGroup( G [, int ] )`

`MatRepresentationsPGroup( G )` returns a list of homomorphisms from the finite polycyclic group G to irreducible complex matrix groups. These matrix groups form a system of representatives of the complex irreducible representations of G.

`MatRepresentationsPGroup( G, int )` returns only the int-th representation.

Let G be a finite polycyclic group with an abelian normal subgroup N such that the factorgroup <G> / <N> is supersolvable. `MatRepresentationsPGroup` uses the algorithm described in Bau91. Note that for such groups all such representations are equivalent to monomial ones, and in fact `MatRepresentationsPGroup` only returns monomial representations.

If G has not the property stated above, a system of representatives of irreducible representations and characters only for the factor group <G> / <M> can be computed using this algorithm, where M is the derived subgroup of the supersolvable residuum of G. In this case first a warning is printed. `MatRepresentationsPGroup` returns the irreducible representations of G with kernel containing M then.

```    gap> g:= SolvableGroup( 6, 2 );
S3
gap> MatRepresentationsPGroup( g );
[ GroupHomomorphismByImages( S3, Group( [ [ 1 ] ] ), [ a, b ],
[ [ [ 1 ] ], [ [ 1 ] ] ] ), GroupHomomorphismByImages( S3, Group(
[ [ -1 ] ] ), [ a, b ], [ [ [ -1 ] ], [ [ 1 ] ] ] ),
GroupHomomorphismByImages( S3, Group( [ [ 0, 1 ], [ 1, 0 ] ],
[ [ E(3), 0 ], [ 0, E(3)^2 ] ] ), [ a, b ],
[ [ [ 0, 1 ], [ 1, 0 ] ], [ [ E(3), 0 ], [ 0, E(3)^2 ] ] ] ) ]```

`CharTablePGroup` can be used to compute the character table of a group with the above properties (see CharTablePGroup).

GAP 3.4.4
April 1997