The Mechanical Computation of First and Second Cohomology Groups

We describe the theory and implementation of computer algorithms designed to compute the dimensions of the first and second cohomology groups of a finite group G, acting on a finite module M defined over a field K of prime order. Presentations of extensions of M by G can also be computed. The method is to find a Sylow p-subgroup P of G, where p [email protected][email protected]?, to compute H^x (P, M) first, using variants of the Nilpotent Quotient Algorithm, and then to compute H^x (G, M) as the subgroup of stable elements of H^x (P, M).