Superperfect group


In mathematics, in the realm of group theory, a group is said to be superperfect when its first two homology groups are trivial: H1 = H2 = 0. This is stronger than a perfect group, which is one whose first homology group vanishes. In more classical terms, a superperfect group is one whose abelianization and Schur multiplier both vanish; abelianization equals the first homology, while the Schur multiplier equals the second homology.

Definition

The first homology group of a group is the abelianization of the group itself, since the homology of a group G is the homology of any Eilenberg–MacLane space of type K; the fundamental group of a K is G, and the first homology of K is then abelianization of its fundamental group. Thus, if a group is superperfect, then it is perfect.
A finite perfect group is superperfect if and only if it is its own universal central extension, as the second homology group of a perfect group parametrizes central extensions.

Examples

For example, if G is the fundamental group of a homology sphere, then G is superperfect. The smallest finite, non-trivial superperfect group is the binary icosahedral group.
The alternating group A5 is perfect but not superperfect: it has a non-trivial central extension, the binary icosahedral group is superperfect. More generally, the projective special linear groups PSL are simple except for PSL and PSL, but not superperfect, with the special linear groups SL as central extensions. This family includes the binary icosahedral group as UCE of A5.
Every acyclic group is superperfect, but the converse is not true: the binary icosahedral group is superperfect, but not acyclic.