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:
“I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)
“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)