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.