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(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.
A finite perfect group is superperfect if and only if it is its own universal central extension (UCE), as the second homology group of a perfect group parametrizes central extensions.
Read more about this topic: Superperfect Group
Famous quotes containing the word definition:
“It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
—Jane Adams (20th century)
“Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
—Nadine Gordimer (b. 1923)
“Was man made stupid to see his own stupidity?
Is God by definition indifferent, beyond us all?
Is the eternal truth man’s fighting soul
Wherein the Beast ravens in its own avidity?”
—Richard Eberhart (b. 1904)