# Second cohomology group for trivial group action of A4 on Z2

From Groupprops

This article gives information about the second cohomology group for trivial group action (i.e., the second cohomology group with trivial action) of the group alternating group:A4 on cyclic group:Z2. The elements of this classify the group extensions with cyclic group:Z2 in the center and alternating group:A4 the corresponding quotient group. Specifically, these are precisely the central extensions with the given base group and acting group.

Get more specific information about alternating group:A4 |Get more specific information about cyclic group:Z2

## Contents

## Description of the group

This article describes the second cohomology group for trivial group action:

where is alternating group:A4 (i.e., the alternating group on a set of size four) and is cyclic group:Z2.

The cohomology group is isomorphic to cyclic group:Z2.

## Computation in terms of group cohomology

By the formula for second cohomology group for trivial group action in terms of Schur multiplier and abelianization, we have that:

For the alternating group of degree four, we have, by group cohomology of alternating group:A4, that (the abelianization, also the first homology group) is cyclic group:Z3 and (the Schur multiplier) is cyclic group:Z2. Plugging in, we get:

## Elements

Cohomology class type | Number of cohomology classes | Corresponding group extension | Second part of GAP ID (order is 24) |
---|---|---|---|

trivial | 1 | direct product of A4 and Z2 | 13 |

nontrivial | 1 | special linear group:SL(2,3) | 3 |

## Cocycles and coboundaries

### Size information

We first give some quantitative size information if we use non-normalized cocycles and coboundaries:

Group | Dimension as vector space over field:F2 | Order of group (equals 2 to the power of dimension) | Isomorphism class of group | Explanation |
---|---|---|---|---|

group of 1-cocycles for trivial group action | 0 | 1 | Klein four-group | Same as . see first cohomology group for trivial group action is naturally isomorphic to group of homomorphisms |

group of all 1-cochains for trivial group action | 12 | 4096 | elementary abelian group of order 4096 | all set maps from to with pointwise addition, so the dimension is the cardinality of . |

group of all 2-coboundaries for trivial group action | 12 | 4096 | elementary abelian group of order 4096 | By the first isomorphism theorem and the definition of this group, it is isomorphic to the group (1-cochains)/(1-cocycles), so the dimensions as vector spaces subtract and the orders divide. |

group of all 2-cocycles for trivial group action | 13 | 8192 | elementary abelian group of order 8192 | |

second cohomology group for trivial group action | 1 | 2 | cyclic group:Z2 | This is , so dimensions subtract and orders divide. |