Perfect group
In
Examples
The smallest (non-trivial) perfect group is the
The direct product of any two simple non-abelian groups is perfect but not simple; the commutator of two elements is [(a,b),(c,d)] = ([a,c],[b,d]). Since commutators in each simple group form a generating set, pairs of commutators form a generating set of the direct product.
More generally, a
A non-trivial perfect group, however, is necessarily not solvable; and 4 divides its order (if finite), moreover, if 8 does not divide the order, then 3 does.[1]
Every
Any quotient of a perfect group is perfect. A non-trivial finite perfect group that is not simple must then be an extension of at least one smaller simple non-abelian group. But it can be the extension of more than one simple group. In fact, the direct product of perfect groups is also perfect.
Every perfect group G determines another perfect group E (its
In the plus construction of algebraic K-theory, if we consider the group for a commutative ring , then the subgroup of elementary matrices forms a perfect subgroup.
Ore's conjecture
As the commutator subgroup is generated by commutators, a perfect group may contain elements that are products of commutators but not themselves commutators. Øystein Ore proved in 1951 that the alternating groups on five or more elements contained only commutators, and conjectured that this was so for all the finite non-abelian simple groups. Ore's conjecture was finally proven in 2008. The proof relies on the classification theorem.[2]
Grün's lemma
A basic fact about perfect groups is Otto Grün's proposition of Grün's lemma (Grün 1935, Satz 4,[note 1] p. 3): the quotient of a perfect group by its center is centerless (has trivial center).
Proof: If G is a perfect group, let Z1 and Z2 denote the first two terms of the upper central series of G (i.e., Z1 is the center of G, and Z2/Z1 is the center of G/Z1). If H and K are subgroups of G, denote the commutator of H and K by [H, K] and note that [Z1, G] = 1 and [Z2, G] ⊆ Z1, and consequently (the convention that [X, Y, Z] = [[X, Y], Z] is followed):
By the three subgroups lemma (or equivalently, by the Hall-Witt identity), it follows that [G, Z2] = [[G, G], Z2] = [G, G, Z2] = {1}. Therefore, Z2 ⊆ Z1 = Z(G), and the center of the quotient group G / Z(G) is the trivial group.
As a consequence, all
Group homology
In terms of
- A superperfect group is one whose first two homology groups vanish: .
- An acyclic groupis one all of whose (reduced) homology groups vanish (This is equivalent to all homology groups other than vanishing.)
Quasi-perfect group
Especially in the field of algebraic K-theory, a group is said to be quasi-perfect if its commutator subgroup is perfect; in symbols, a quasi-perfect group is one such that G(1) = G(2) (the commutator of the commutator subgroup is the commutator subgroup), while a perfect group is one such that G(1) = G (the commutator subgroup is the whole group). See (Karoubi 1973, pp. 301–411) and (Inassaridze 1995, p. 76).
Notes
References
- StackExchange. Accessed 7 July 2015.
- doi:10.4171/JEMS/220.
- Berrick, A. Jon; Hillman, Jonathan A. (2003), "Perfect and acyclic subgroups of finitely presentable groups", S2CID 30232002
- Grün, Otto (1935), "Beiträge zur Gruppentheorie. I.", Zbl 0012.34102
- Inassaridze, Hvedri (1995), Algebraic K-theory, Mathematics and its Applications, vol. 311, Dordrecht: Kluwer Academic Publishers Group, MR 1368402
- Karoubi, Max (1973), Périodicité de la K-théorie hermitienne, Hermitian K-Theory and Geometric Applications, Lecture Notes in Math., vol. 343, Springer-Verlag
- Rose, John S. (1994), A Course in Group Theory, New York: Dover Publications, Inc., p. 61, MR 1298629