Dear Forum,
Mario Pineda Ruelas recently asked:
>
>Is there a simple way in GAP to obtain the commutator subgroup of a
>transitive permutations group?
The command 'DerivedSubgroup' will compute the commutator subgroup of a=
group, note that transitivity is not a requirement, in fact=
'DerivedSubgroup' should work for all groups in GAP.=20
=46urther information about this and other functions is available in the GAP=
manual (chapter 7 contains functions available for all types of groups,=
chapter 21 contains information about functions specifically for=
permutation groups).
You can read these chapters with GAP's online help system. Simply type=
'?help' at the GAP prompt for information about the help system,=
'?chapters' for a list of all chapters, or '?groups' and '?permutation=
groups' for chapters 7 and 21, respectively. You may also try, e.g.,=
'??Commutator' or '??CommutatorSubgroup' to look up information about=
commutators and commutator subgroups in the index.
=46inally, the GAP manual is also accessible via the www, you find a link to=
the manual on the GAP home page at URL <http://www-gap.dcs.st-and.ac.uk/~ga=
p>. Note that there are several mirrors of the GAP pages around the world.
Hope this helps.
Burkhard.