Cohomology groups of finite groups on finite modules
Description
This package may be used to perform certain cohomological calculations on a
finite permutation group G. The following properties of G can be computed:
1. The p-part Mul_p of the Schur multiplier Mul of G, and a presentation of a
covering extension of Mul_p by G, for a specified prime p;
2. The dimensions of the first and second cohomology groups of G acting on a
finite dimensional KG-module M, where K is a field of prime order; and
3. Presentations of split and nonsplit extensions of M by G.