Previous
About HAP: Counting extensions of groups
next

Some classical theory

The cohomology Hn(G,A) of G with coefficients in a G-module A, together with the corresponding cocycles, have a useful group-theoretic interpretation for n=2.

Any group extension N >---> E --->> G gives rise to

  1. an outer action alpha:G ---> Out(N) of G on N.
  2. an action G ---> Aut(Z(N)) of G on the centre of N, uniquely induced by the outer action alpha and the canonical action of Out(N) on Z(N).
  3. a 2-cocycle f:G×G ---> Z(N)  with values in the G-module A=Z(N).

Any outer homomorphism alpha:G--->Out(N) gives rise to a cohomology class [c] in H3(G,Z(N)).

It was shown by Eilenberg and Mac Lane that the cohomology class [c] is trivial if and only if the outer action alpha arises from some group extension  N >---> E --->> G.

If [c] is trivial then there is a bijection between the second cohomology group H2(G,Z(N)) and Yoneda equivalence classes of extensions of G by N that are compatible with alpha.

An example

Consider the group H=SmallGroup(64,134). This is the Sylow 2-subgroup of the Mathieu group M12. Consider the normal subgroup N:=NormalSubgroups(G)[16] and quotient group G=H/N. We have N=C2×D4 , A=Z(N)=C2×C2 and G=C2×C2 .

Suppose that we wish to classify all extensions  C2×D4 >---> E ---> C2×C2 which induce the given outer action of G on N. The following commands show that, up to Yoneda equivalence, there are two such extensions.

gap> H:=SmallGroup(64,134);;
gap> N:=NormalSubgroups(H)[16];;

gap> A:=Centre(GOuterGroup(H,N));;
gap> G:=ActingGroup(A);;

gap> R:=ResolutionFiniteGroup(G,3);;
gap> C:=HomToGModule(R,A);;
gap> Cohomology(C,2);
[ 2 ]
The following additional commands return a standard 2-cocycle f:G×G-->A =Z2×Z2 corresponding to the non-trivial element in H2(G,A). The value f(g,h) of the 2-cocycle is calculated for all 16 pairs g,h in G.
gap> CH:=CohomologyModule(C,2);;

gap> Elts:=Elements(ActedGroup(CH));
[ <identity> of ..., f1 ]
gap> x:=Elts[2];;

gap> c:=CH!.representativeCocycle(x);
Standard 2-cocycle
gap> f:=Mapping(c);;

gap> for g in G do for h in G do
> Print(f(g,h),"\n");
> od;
> od;
<identity> of ...
<identity> of ...
<identity> of ...
<identity> of ...
<identity> of ...
f6
<identity> of ...
f6
<identity> of ...
<identity> of ...
<identity> of ...
<identity> of ...
<identity> of ...
f6
<identity> of ...
f6
Previous Page
Contents
Next page