> < ^ From:

> < ^ Subject:

Dear GAP Forum,

Scott Moser asked

I am trying to represent and view the projectivve specail linear group

(for example, L_2(13) ). One can easily construct the group using GAP's

SL(2,13) special linear group command in conjunction with the FactorGroup

command.However... when i ask GAP to list the generators of the group, it produces

two group elements: one of order 6 and one of order 3. I wish to express

the group with two generators, one of order 2 and one of order 7. I am

certain this can be done ('the atlas of finite groups' asserts the

gereators existance, buuut not their form), but am unable to get GAP to

help me to this end - any suggestions??

In this particular case, the easiest solution may be the following.

gap> # Construct the group. gap> sl:= SL(2,13);; g:= sl / Centre( sl ); Group([ ( 3, 4, 5, 6, 8,12)( 7,10, 9,14,11,13), ( 1, 2, 3)( 5, 7,11)( 6, 9,10)( 8,13,14) ]) gap> gens:= GeneratorsOfGroup( g );; gap> List( gens, Order ); [ 6, 3 ] gap> # Form the new generators. gap> x:= gens[1]^3;; y:= x * gens[2];; Order( x ); Order( y ); 2 7 gap> # They do in fact generate the whole group. gap> Group( x, y ) = g; true

(Two small improvements:

The group can also be constructed directly using the function `PSL',

and the check whether `x' and `y' generate the group can be omitted

if one knows --for example from the ATLAS of Finite Groups)-- that all

proper subgroups of PSL(2,13) are solvable and thus any pair of elements

of orders 2 and 3 in PSL(2,13) with product of order 7 generates the

whole group.)

More general, if the problem is to find, for a given group,

generators of prescribed order or in prescribed conjugacy classes,

then one may use (pseudo) random searches until the desired generators

are found.

In the example above, elements of order 2, 3, and 6 can be derived from

the known generators, and elements of order 7 and 13 could be found as

random products of the generators (use the function `PseudoRandom').

Sometimes it may be useful to reduce the search to a small subgroup that

is known to contain elements in the conjugacy classes in question,

for example Sylow subgroups or centralizers of elements one has already

at hand.

Once one has representatives of the interesting conjugacy classes,

one can again use `PseudoRandom' to conjugate them until one finds

the required generating n-tuple.

I hope this helps.

Thomas Breuer

> < [top]