Commutator map in central extension defines homomorphism from Schur multiplier of quotient group to central subgroup
Contents
Statement
For a fixed choice of extension
Consider a short exact sequence of groups:
such that is a central extension, i.e., the image of in is a central subgroup of . Then, this defines a natural homomorphism:
where is the Schur multiplier of .
Another way of thinking of this is that we get a single element of the group .
Note that is a group under pointwise addition because both and are abelian groups.
Varying the extension
Now, suppose we fix an abelian group and a group but let (the central extension group) vary. Then, the possibilities for up to congruence correspond to the elements of the second cohomology group for trivial group action . We know that for each extension, we get an element of . The element is invariant under congruence, i.e., congruent group extensions define the same homomorphism. We thus obtain a set map:
This set map is a homomorphism.
Thus, we get an element of .
It turns out that this homomorphism is surjective (see the formula for second cohomology group for trivial group action in terms of Schur multiplier and abelianization).
Extension properties and the relation with the nature of the map
Nature of the map | Corresponding property of the group extension | Explanation |
---|---|---|
injective | the group extension is an initial object in the category of central extensions with homoclinisms for | PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] |
surjective | the group extension is a stem extension | PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] |
bijective | the extension group is a Schur covering group | PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] |
Relation with short exact sequences
The Stallings exact sequence
Further information: Stallings exact sequence
The first version of the map (#For a fixed choice of extension) is the map in the Stallings exact sequence for a central extension. It can also be used, somewhat indirectly to describe the map for the Stallings exact sequence for a non-central extension.
The universal coefficients theorem short exact sequence
Further information: Formula for second cohomology group for trivial group action in terms of Schur multiplier and abelianization
This short exact sequence relates to the second version #Varying the extension. Explicitly, given an abelian group and a group , the following short exact sequence exists:
Note that:
- , the abelianization of , is also the first homology group for trivial group action .
- , the Schur multiplier of , is also the second homology group for trivial group action .
Thus, the above can be written as:
Viewed this way, it is a particular case of the dual universal coefficients theorem for group cohomology.
Explicit description
The map:
can be interpreted in terms of the following alternate description of : it is the kernel of the commutator map from to (see Schur multiplier is kernel of commutator map homomorphism from exterior square to derived subgroup). Here is how the mapping is defined.
Consider an extension group corresponding to a particular element of . Our goal is to use to explicitly construct a homomorphism from <mathM(G)</math> to .
The choice of determines a commutator mapping . Because is a quotient of by a central subgroup, this descends to a commutator mapping (see commutator map is homomorphism from exterior square to derived subgroup of central extension). Further, we know that composing this with the quotient map gives the usual commutator mapping .
We are interested in restricting the commutator map to the kernel of the commutator map . The kernel is the Schur multiplier . Further, the image of this kernel must map to the trivial subgroup when projected to , hence lies in the kernel of the quotient map from to , which is . Thus, this restriction is a map from to . This is the map that we send to.
Explicit description using two short exact sequences
The above explicit 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
Now, the commutator map in gives a map because is central (see commutator map is homomorphism from exterior square to derived subgroup of central extension). 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.
The homomorphism classifies the extension up to isoclinism
The group can be described as the second cohomology group up to isoclinism and the map:
takes a group extension and sends it to its equivalence class under isoclinism of group extensions.
To understand why this is so, consider the two short exact sequences above:
Suppose is the subgroup of that arises as the image of the homomorphism from . We then have the following two short exact sequences:
The right map is the identity map. Now, both the left and right maps are surjective. It is easy to see from this that the middle map is surjective and is determined by the left and right maps. In other words, we have determined from the element of the map , even though the congruence type of extension group is unknown. (Note that this assertion is a special case of the nine lemma). From this, it is clear that the extension has been determined up to isoclinism.