The package permits the computation of formation-theoretic subgroups not only for a number of classical formations, such as nilpotent, supersolvable or p-length 1 groups, but for other formations that the user may define. It also allows computation with classes of finite solvable groups defined by normal subgroup functions (see DH, page 395 ff). Attention may be restricted to the subgroups of a single group, a feature that has applications in the computation of complements to elementary abelian normal subgroups in finite solvable groups (see EW). An example of such an application is given in Section Other Applications.
This documentation contains only a brief account of the main formation-theoretic ideas. For a much more complete treatment we refer the reader to DH. Fundamental ideas of formation theory are described in G and CH.
In the following sections we first describe the GAP definition of a formation and the examples of standard formations that are included in the package. We also present some functions that obtain new formations from ones already defined or that modify defined formations slightly. (See Section Formations in GAP.)
Then we describe functions that compute formation-theoretic subgroups of finite solvable groups (see Sections Residual Functions, FNormalizers and Covering Subgroups).
Finally we provide examples from a GAP session (see Sections Formation Examples and Other Applications) to illustrate the functions in the package.