Superperfect group

From Wikipedia, the free encyclopedia

In mathematics, in the realm of group theory, a group is said to be superperfect if and only if its first two homology groups are trivial.

Note that 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(G,1); the fundamental group of a K(G,1) is G, and the first homology of K(G,1) is then abelianization of its fundamental group. Thus, if a group is superperfect, then it is perfect.

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 fundamental group of the Poincaré homology sphere).