The GAP4 package SymbCompCC 1.2


Dörte Feichtenschlager

Postal address of University:
AG Algebra und Diskrete Mathematik
Institut Computational Mathematics
Technische Universität Braunschweig
Pockelsstr.14
38106 Braunschweig
Germany
E-Mail:
D.Feichtenschlager@tu-bs.de

Symbolic Computation for p-groups of fixed coclass

The package is based on my PhD thesis under the supervision of Bettina Eick and is about symbolic computation for p-groups of fixed coclass. There exist so-called infinite coclass sequences of p-groups of fixed coclass. These infinite coclass sequences can be described by parametrised presentations. The package provides algorithms to work with these parametrised presentations. The main algorithm computes the Schur multiplicators of almost all groups in an infinite coclass sequence.


Description

Abilities:

The package provides parametrised presentations for the infinite coclass sequences of 2-groups of coclass 1 and 2 and 3-groups of coclass 1. Note that almost all 2-groups of a fixed coclass and almost all 3-groups of coclass 1 are contained in infinite coclass sequences, and thus can be described by finitely many parametrised presentations for each coclass. For almost all groups in these infinite coclass sequences the algorithms can compute the Schur multiplicators.

Requirements:

The package is written for GAP version 4.4 or 4.5. It requires the package polycyclic which is loaded automatically when loading SymbCompCC.

Installation:

The installation follows standard GAP rules. So the normal way to install is to unpack the archive in the `pkg' directory, which will create a subdirectory `SymbCompCC-1.2'.


Downloads


Documentation


[team] [institute] [department] [university]