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
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^3;; y:= x * gens;; 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
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
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
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.