CRISP

A GAP 4 package for
Computing with Radicals, Injectors
Schunck classes and Projectors
of finite solvable groups

Author:
Burkhard Höfling, e-mail: b.hoefling@tu-bs.de
Language:
GAP 4.4
Operating System:
any
Current version:
1.2.1
Home page:
http://www.tu-bs.de/~bhoeflin/crisp/index.html

Description

The GAP package CRISP provides algorithms for computing subgroups of finite solvable groups related to a group class C. In particular, it allows to compute C-radicals and C-injectors for Fitting classes (and Fitting sets) C, C-residuals for formations C, and C-projectors for Schunck classes C. In order to carry out these computations, the group class C must be represented by an algorithm which can decide membership in the group class.

Moreover, CRISP contains algorithms for the computation of normal subgroups invariant under a prescribed set of automorphisms and belonging to a given group class.

This includes an improved method to compute the set of all normal subgroups of a finite solvable group, its characteristic subgroups, and the socle and p-socles for given primes p.

CRISP manual

Author: Burkhard Höfling
Last modified: 2003/04/26