Finitely generated groups and their subgroups are important
domains in GAP. They are represented as permutation groups,
matrix groups, ag groups or even more complicated constructs as
for instance automorphism groups, direct products or semi-direct
products where the group elements are represented by records.
Groups are created using Group (see Group), they are represented
by records that contain important information about the groups.
Subgroups are created as subgroups of a given group using
Subgroup, and are also represented by records. See More about
Groups and Subgroups for details about the distinction between
groups and subgroups. Because this chapter is very large it is
split into several parts. Each part consists of several
sections. Note that some functions will only work if the
elements of a group are represented in an unique way. This is
not true in finitely presented groups, see Group Functions for
Finitely Presented Groups for a list of functions applicable to
finitely presented groups. The first