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 ![]() |
group of all 1-cochains for trivial group action ![]() |
12 | 4096 | elementary abelian group of order 4096 | all set maps from ![]() ![]() ![]() |
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 ![]() |