This chapter describes functions which may be used to construct and investigate the structure of matrix groups defined over finite fields. These functions permit the user to construct certain types of matrix groups and G-modules; to test whether a G-module is irreducible; to decide whether a group has certain decomposition with respect to a normal subgroup; and to select random elements with certain properties.
Descriptions of most of the algorithms used in these functions can be found in HR94, HLOR94a and HLOR94b.
This chapter contains the following sections: