[Top] [Up] [Next] [Index]

1 Overview

Let n be a positive integer and q a prime power satisfying qn leq 216-1. The package IRREDSOL constitutes a library of irreducible solvable subgroups of GL(n, q), such that each irreducible solvable subgroup of GL(n, q) is conjugate to precisely one group in the library.

This data base is intended to replace and extend the data base of irreducible matrix groups over prime fields created by Mark Short Sho which is also part of GAP. There are functions available to translate from Mark Short's numbering of groups to the numbering used in IRREDSOL and back; see Compatibility with other data libraries.

It is possible to construct groups in this list one at a time (see low level access functions), by supplying four integer parameters identifying the group in question. In addition, there are functions which facilitate searching the library for groups with given properties (see Finding matrix groups with given properties).

Given an irreducible solvable matrix group G, it is possible to find the group in the library to which G is conjugate, see identification of irreducible groups and identification of absolutely irreducible groups.

Moreover,, the IRREDSOL package provides additional functionality for matrix groups, such as the computation of imprimitivity systems.

Finally, the library of irreducible solvable matrix groups over prime fields translates into a library of isomorphism types of primitive solvable groups. There are functions avalable which faciliate this translation; see Primitive solvable groups.

The methods used to construct the data base are slight modifications of those described by Bettina Eick and the author in EH.

[Top] [Up] [Next] [Index]

IRREDSOL manual
April 2004