Formula for second cohomology group for trivial group action in terms of Schur multiplier and abelianization
Suppose is a group and is an abelian group. Then, the second cohomology group for trivial group action occurs in the following natural short exact sequence (this sequence arises as the case of the dual universal coefficient theorem for group cohomology):
The sequence splits (though the splitting is not necessarily natural), and we get:
- , also called the second cohomology group up to isoclinism, is the group (under pointwise addition) of group homomorphisms from to . is the second homology group for trivial group action, and is also called the Schur multiplier of . It is alternatively denoted as .
- describes abelian group extensions with normal subgroup and quotient group .
Interpretation of left map of the sequence
takes an abelian group extension with normal subgroup and quotient group , and gives an extension with on top of as follows: the restriction to the derived subgroup splits and the quotient acts as per the element of . Explicitly, it can be thought of as a composite of two maps:
where the first map treats an abelian group extension simply as a group extension, and the second map uses the contravariance of in its first argument.
Interpretation of right map of the sequence
The description can be understood better if we consider the following two short exact sequences. Because the sequences involve possibly non-abelian groups on the quotient side, we denote the trivial group at the right end of these short exact sequences as 1 rather than 0. We have:
and consider the sequence corresponding to an extension group that in turn corresponds to an element of :
Now, the commutator map in gives a map because is central (see commutator map is homomorphism from exterior square to derived subgroup). Composing with the inclusion of in , we get a map . We also have the usual inclusion map . The following diagram commutes:
We can construct a unique map such that the diagram continues to be commutative, and that is the map we seek.
- Dual universal coefficient theorem for group cohomology
- First homology group for trivial group action equals tensor product with abelianization: In particular, is just .
- Schur multiplier is kernel of commutator map homomorphism from exterior square to derived subgroup
- Formula for second cohomology group for trivial group action of abelian group in terms of Schur multiplier and abelianization
The proof for general follows by combining facts (1) and (2). The further simplification and interpretation follows by fact (3). Actually, there's more work that needs to be done than just quoting these facts, because we have to show that all the different descriptions give the same map.
- On the homology theory of central group extensions: I—The commutator map and stem extensions by Beno Eckmann, Peter J. Hilton and Urs Stammbach, Commentarii Mathematici Helvetici, Volume 47,Number 1, Page 102 - 122(Year 1972): Official copy (gated)More info, Theorem 2.2.
- Isoclinisms of group extensions and the Schur multiplicator by F.R. Beyl, Groups St. Andrews 1981, London Mathematical Society Lecture Note Series, Volume 71, Page 169 - 185(Year 1981): Official copy (gated PDF)More info discusses this using somewhat different language on Page 172 (Page 4 of the paper), Theorem 1.8.