GAP

Main Branches

Download   Overview   Data Libraries   Packages   Documentation   Contacts   FAQ   GAP 3  

GAP package CRISP

Computing with Radicals, Injectors, Schunck classes and Projectors

Author

Burkhard Höfling

Short 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, minimal normal subgroups and the socle and p-socles for given primes p.

Version

Current version number 1.3.4   (Released 26/05/2011)

Status

accepted    (communicated by Joachim Neubüser (Aachen), accepted 12/2000)

Dependencies

GAP version: >=4.4.12

Online documentation

CRISP: [ HTML] version   [ PDF] version  

Download

[README]    crisp-1r3n4[.zoo  (356K)]   [.tar.gz  (312K)]   [-win.zip  (356K)]   [.tar.bz2  (292K)]  

Contact

Burkhard Höfling
WWW: http://www-public.tu-bs.de:8080/~bhoeflin
E-mail: b.hoefling@tu-bs.de