# Group cohomology of alternating group:A6

From Groupprops

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 | , i.e., field:F9, i.e., field of nine elements, so the group is | 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 .

#### 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 .

#### 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 ] ] ]