Second cohomology group for trivial group action of Z4 on Z4

From Groupprops

Description of the group

We consider here the second cohomology group for trivial group action of cyclic group:Z4 on the cyclic group:Z4, i.e.,

where and .

The cohomology group is isomorphic to cyclic group:Z4.

Note that since cyclic over central implies abelian, the fact that the top group is cyclic forces all the corresponding group extensions to be abelian. In particular, all the 2-cocycles are symmetric 2-cocycles.

Elements

Cohomology class type Number of cohomology classes Representative 2-cocycle Corresponding group extension Second part of GAP ID (order is 16)
trivial 1 everywhere direct product of Z4 and Z4 2
symmetric, nontrivial, order two 1 takes the value when the inputs' integer values add up to less than , otherwise direct product of Z8 and Z2 5
symmetric, nontrivial order four 2 takes the value when the inputs' integer values add up to less than , otherwise cyclic group:Z16 1