Schur covering group
Contents
Definition
Definition for an arbitrary group
Suppose is a group. A Schur covering group for
can be defined in the following ways:
- It is a central extension with normal subgroup (hence also central subgroup) the Schur multiplier
and quotient group
, such that under the universal coefficients theorem mapping
, with
, the image of its cohomology class is the identity map from
to itself.
- It is a stem extension
with quotient group
(stem extension meaning it is a central extension and the central subgroup of the extension is contained in the derived subgroup) such that the following holds: consider the commutator map homomorphism
. Because
is a quotient by a central subgroup, this descends to a map
. We want the descended map to be an isomorphism.
Alternative characterization for a finite group
For a finite group , a Schur covering group (also called a Schur cover) is a stem extension where the quotient group is
that is of maximum possible order among all stem extensions where the quotient group is
. Every finite group has a finite Schur covering group.
Here, a stem extension is a central extension where the base normal subgroup is contained in the derived subgroup of the whole group.
The base normal subgroup for a Schur covering group is always the Schur multiplier of . However, not every extension whose base normal subgroup is the Schur multiplier is a stem extension.
Uniqueness up to isoclinism
The Schur covering group is not uniquely determined up to isomorphism, but it is uniquely determined up to isoclinism. Its inner automorphism group is the quotient group of by its epicenter, and its derived subgroup is the exterior square
. The stem extension assumption further tells us that all the Schur covering groups have the same order.
In group extension terms, consider the short exact sequence:
Set to get:
The Schur covering groups, as group extensions, are those elements of that map to the identity map element of
(which is not the zero element of that group, but rather its unit when it's viewed as a ring). These form a coset of the image of
. It is not necessary that all these extensions actually correspond to different isomorphism classes; there may be pseudo-congruences that give isomorphisms of the overall groups.
Case on ![]() |
What can we say about Schur covering groups? | What is the inner automorphism group of any Schur covering group? (in general, it is the quotient of ![]() |
What is the derived subgroup of any Schur covering group? (in general, it is the exterior square of ![]() |
---|---|---|---|
perfect group | unique, and it is called the universal central extension | nothing more specific | same as the Schur covering group |
capable group (any centerless group is capable, but the converse doesn't hold) | nothing specific | isomorphic to ![]() |
nothing more specific |
Cases it is unique up to isomorphism of extensions
The Schur covering group is unique if and only if the original group is a group with unique Schur covering group. A group has this property if and only if
is trivial, where
is the abelianization and
is the Schur multiplier. This basically means that the left term in the short exact sequence vanishes, so the right map is an isomorphism, which in turn means that the inverse image of the identity map is a single unique extension.