> < ^ From:

^ Subject:

It is a pleasure to announce the acceptance of the GrpConst share

package by Hans Ulrich Besche and Bettina Eick.

The package contains programs that implement three different approaches to

constructing up to isomorphism all groups of a given order.

FrattiniExtensionMethod constructs all soluble groups of a given order.

On request it gives only those that are (or are not) nilpotent or

supersolvable or that do (or do not) have normal Sylow subgroups for

some given set of primes. The program's output may be expressed in a

compact coded form, if desired. In the (unlikely) case in which

the program is unable to observe quickly whether certain groups are

isomorphic, the user is provided with a separate program that may be

able to distinguish between groups on which simpler tests fail.

CyclicSplitExtensionMethod constructs all (necessarily soluble) groups

whose given orders are of the form p^n*q for different primes p and q and

which have at least one normal Sylow subgroup. The method, which relies

upon having available a list of all groups of order p^n, is often faster

than the Frattini extension method for the groups to which it applies.

UpwardsExtensions takes as its input a permutation group G and positive

integer s and returns a list of permutation groups, one for each

extension of G by a soluble group of order a divisor of s. Usually it is

used for nonsoluble G only, since for soluble groups the above methods

are more efficient.

The programs in this package have been used to construct a large part

of the Small Groups library. The algorithms upon which they are based

are original work of the package authors and are described fully in

[1] H. U. Besche and B. Eick. Construction of finite groups, J. Symb. Comput. {\bf 27} (1999), 387 -- 404. [2] H. U. Besche and B. Eick. The groups of order at most 1000 except 512 and 768, J. Symb. Comput. {\bf 27} (1999), 405 -- 413.

[3] H. U. Besche and B. Eick.

The groups of order $q^n \cdot p$,

In preparation.

The package will be available via the GAP 4 share packages web page:

http://www-gap.dcs.st-and.ac.uk/~gap/Info4/share.html

and in the GAP 4 share packages ftp directory:

ftp://ftp-gap.dcs.st-and.ac.uk/pub/gap/gap4/share

as well as from the respective mirrors.

Charles R.B. Wright, Chairman

The GAP Council

22 July, 1999

> < [top]