Group cohomology of alternating group:A6

This article gives specific information, namely, group cohomology, about a particular group, namely: alternating group:A6.
View group cohomology of particular groups | View other specific information about alternating group:A6

Family contexts

Family name	Parameter values	General discussion of group cohomology of family
alternating group	6	group cohomology of alternating groups
projective special linear group of degree two over a finite field of size $q$	$q=9$, i.e., field:F9, i.e., field of nine elements, so the group is $PSL(2,9)$	group cohomology of projective special linear group of degree two over a finite field

GAP implementation

Computation of homology groups

The homology groups for trivial group action on the integers can be computed using the Hap package (if the package is installed but not automatically loaded, load it using LoadPackage("hap");), specifically its GroupHomology function. The function returns a list of numbers which are the orders of cyclic groups whose external direct product is the desired homology group.

First homology group

The first homology group, which is also the abelianization, can be computed as follows:

gap> GroupHomology(AlternatingGroup(6),1);
[  ]

This says that $H_{1}(A_{6};\mathbb {Z} )=0$.

Second homology group

The second homology group, which is also the Schur multiplier, can be computed as follows:

gap> GroupHomology(AlternatingGroup(6),2);
[ 2, 3 ]

This says that $H_{2}(A_{6};\mathbb {Z} )=\mathbb {Z} /2\mathbb {Z} \oplus \mathbb {Z} /3\mathbb {Z} \cong \mathbb {Z} /6\mathbb {Z}$.

First few homology groups

gap> List([1..10],i -> [i,GroupHomology(AlternatingGroup(6),i)]);
[ [ 1, [  ] ], [ 2, [ 2, 3 ] ], [ 3, [ 4, 3, 5 ] ], [ 4, [  ] ],
  [ 5, [ 2, 2 ] ], [ 6, [ 2, 3 ] ], [ 7, [ 4, 3, 3, 3, 5 ] ],
  [ 8, [ 2, 2 ] ], [ 9, [ 2, 2 ] ], [ 10, [ 2, 3, 3, 3 ] ] ]