Previous
About HAP: Some Definitions next
 
The cohomology of a group G can be defined in terms of resolutions. Let Z be the group of integers considered as a trivial ZG-module. A free ZG-resolution of Z is a sequence of ZG-module homomorphisms

... → Mn → Mn-1 → ... → M1 → M0

satisfying:
  • (Freeness) Each Mn is a free ZG-module.
  • (Exactness) The image of Mn+1 → Mn equals the kernel of Mn → Mn-1 for all n>0.
  • (Augmentation) The cokernel of M1 → M0 is isomorphic to the trivial ZG-module Z.
The maps Mn → Mn-1 are referred to as boundary homomorphisms. Setting TMn equal to the abelian group Mn/G obtained from Mn by killing the G-action, we get an induced sequence of abelian group homomorphisms

... → TMn → TMn-1 → ... → TM1 → TM0 .

This sequence will generally not satisfy the above exactness condition, and one defines the integral homology of G to be


Hn(G,Z) = Kernel(TMn → TMn-1) / Image(TMn+1 → TMn)


for all n>0. By changing the definition of TMn one arrives at the definition of homology Hn(G,A) and cohomology Hn(G,A) with coefficients in a ZG-module A. Needless to say, homology and cohomology are invariants of G, and do not depend on the particular choice of free ZG-resolution.
There are two steps to computing group homology:
  • Construct a free ZG-resolution R = {Mn}.
  • Calculate the homology from TR = {TMn} using some version of the Smith Normal Form algorithm.
For example, the 25th integral homology of the Dihedral group D512 of order 1024 can be calculated using the following commands.
gap> F:=FreeGroup(2);;x:=F.1;;y:=F.2;;
gap> G:=F/[x^2,y^512,(x*y)^2];;  D_512:=Image(IsomorphismPermGroup(G));;

gap> R:=ResolutionFiniteGroup(D_512,26);;

gap> TR:=TensorWithIntegers(R);;

gap> Homology(TR,25);
[ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2 ]
We see that H25(D256,Z) = (Z2)14.

Homology with other coefficients can also be calculated from R. For instance, the following additional command shows that the 25th homology of D256 with coefficients in the trivial module Z2 is the vector space H25(D256,Z2) = (Z2)26.
gap> T2R:=TensorWithIntegersModP(R,2);;

gap> Homology(T2R,25);
26
(At this point we should note that there exist more efficient methods for computing the homology of a finite group G over the finite field Zp with trivial action.

One approach, which has been used very succesfully by Jon Carlson on small p-groups, is to regard the group ring ZpG as a vector space of rank |G|. Each term in a ZpG-resolution R is then also a vector space, and one can use linear algebra techniques to construct R. Details can be found here. The approach will not work so well on large groups G since one ends up having to compute null-spaces of large matrices. Consider for instance our computation for G=D256. Any resolution is going to have at least 26 Z2G-generators in dimension 25, and 25 generators in dimension 24. So one has to compute the nullspace of a matrix with (512)2×26×25 = 170393600 entries. 

An efficient approach to mod p homology computations of larger groups has been developed by David Green. His approach involves non-abelian Gröbner basis techniques and is described in the book [D.J. Green, Gröbner bases and the computation of group cohomology, Lecture Notes in Math., No. 1828 (Springer, 2003)] and on the corresponding web page.)


For integral computations to succeed the ZG-rank of the resolution R should not be too large in any given dimension. The construction of small ZG-resolutions is an interesting problem and at first glance might seem to be a purely algebraic one. However, we can benefit from the advice of Sir Michael Atiyah.

"Fundamentally the purpose of algebra always was to produce a formula which one could put into a machine, turn a handle and get an answer. You took something that had a meaning; you converted it into a formula, and you got the answer. In this process you do not need to think any more about what the different stages in the algebra correspond to in the geometry. You lose the insights, and this can be important at different stages. You must not give up the insight altogether! You might want to come back to it later on."

M. Atiyah, "Mathematics in the 20th century",  Bulletin London Math. Soc.  34 (2002),  1-15.


Previous Page
Contents
Next page