# Schur multiplier

For instance, the Schur multiplier of the nonabelian group of order 6 is the trivial group since every Sylow subgroup is cyclic. The Schur multiplier of the elementary abelian group of order 16 is an elementary abelian group of order 64, showing that the multiplier can be strictly larger than the group itself. The Schur multiplier of the quaternion group is trivial, but the Schur multiplier of dihedral 2-groups has order 2.

The Schur multipliers of the finite simple groups are given at the list of finite simple groups. The are of considerable recent interest.

Schur (1904, 1907) showed that every finite group *G* has associated to it at least one finite group *C*, called a **Schur cover**, with the property that every projective representation of *G* can be lifted to an ordinary representation of *C*. The Schur cover is also known as a **covering group** or **Darstellungsgruppe**. The Schur covers of the finite simple groups are known, and each is an example of a quasisimple group. The Schur cover of a perfect group is uniquely determined up to isomorphism, but the Schur cover of a general finite group is only determined up to isoclinism.

The study of such covering groups led naturally to the study of central and **stem extensions**.

If the group *G* is finite and one considers only stem extensions, then there is a largest size for such a group *C*, and for every *C* of that size the subgroup *K* is isomorphic to the Schur multiplier of *G*. If the finite group *G* is moreover perfect, then *C* is unique up to isomorphism and is itself perfect. Such *C* are often called **universal perfect central extensions** of *G*, or **covering group** (as it is a discrete analog of the universal covering space in topology). If the finite group *G* is not perfect, then its Schur covering groups (all such *C* of maximal order) are only isoclinic.

It is also called more briefly a **universal central extension**, but note that there is no largest central extension, as the direct product of *G* and an abelian group form a central extension of *G* of arbitrary size.

In fact if *G* is perfect, this is all that is needed: *C* ≅ [*F*,*F*]/[*F*,*R*] and M(*G*) ≅ *K* ≅ *R*/[*F*,*R*]. Because of this simplicity, expositions such as (Aschbacher 2000, §33) handle the perfect case first. The general case for the Schur multiplier is similar but ensures the extension is a stem extension by restricting to the derived subgroup of *F*: M(*G*) ≅ (*R* ∩ [*F*, *F*])/[*F*, *R*]. These are all slightly later results of Schur, who also gave a number of useful criteria for calculating them more explicitly.

In combinatorial group theory, a group often originates from a presentation. One important theme in this area of mathematics is to study presentations with as few relations as possible, such as one relator groups like Baumslag–Solitar groups. These groups are infinite groups with two generators and one relation, and an old result of Schreier shows that in any presentation with more generators than relations, the resulting group is infinite. The borderline case is thus quite interesting: finite groups with the same number of generators as relations are said to have a deficiency zero. For a group to have deficiency zero, the group must have a trivial Schur multiplier because the minimum number of generators of the Schur multiplier is always less than or equal to the difference between the number of relations and the number of generators, which is the negative deficiency. An *efficient group* is one where the Schur multiplier requires this number of generators.^{[2]}

A fairly recent topic of research is to find efficient presentations for all finite simple groups with trivial Schur multipliers. Such presentations are in some sense nice because they are usually short, but they are difficult to find and to work with because they are ill-suited to standard methods such as coset enumeration.

The recognition that these formulas were the same led Samuel Eilenberg and Saunders Mac Lane to the creation of cohomology of groups. In general,

where the star denotes the algebraic dual group. Moreover, when *G* is finite, there is an unnatural isomorphism

A perfect group is one whose first integral homology vanishes. A superperfect group is one whose first two integral homology groups vanish. The Schur covers of finite perfect groups are superperfect. An acyclic group is a group all of whose reduced integral homology vanishes.

The second algebraic K-group K_{2}(*R*) of a commutative ring *R* can be identified with the second homology group *H*_{2}(*E*(*R*), **Z**) of the group *E*(*R*) of (infinite) elementary matrices with entries in *R*.^{[4]}

The references from Clair Miller give another view of the Schur Multiplier as the kernel of a morphism κ: G ∧ G → G induced by the commutator map.