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:
“The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)
“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)