Perfect group

In mathematics, more specifically in group theory, a group is said to be perfect if it equals its own commutator subgroup, or equivalently, if the group has no non-trivial abelian quotients (equivalently, its abelianization, which is the universal abelian quotient, is trivial). In symbols, a perfect group is one such that G(1) = G (the commutator subgroup equals the group), or equivalently one such that Gab = {1} (its abelianization is trivial). The smallest (non-trivial) perfect group is the alternating group A5. More generally, any non-abelian simple group is perfect since the commutator subgroup is a normal subgroup with abelian quotient. Conversely, a perfect group need not be simple; for example, the special linear group over the field with 5 elements, SL(2,5) (or the binary icosahedral group, which is isomorphic to it) is perfect but not simple (it has a non-trivial center containing ). 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 quasisimple group (a perfect central extension of a simple group) that is a non-trivial extension (and therefore not a simple group itself) is perfect but not simple; this includes all the insoluble non-simple finite special linear groups SL(n,q) as extensions of the projective special linear group PSL(n,q) (SL(2,5) is an extension of PSL(2,5), which is isomorphic to A5). Similarly, the special linear group over the real and complex numbers is perfect, but the general linear group GL is never perfect (except when trivial or over , where it equals the special linear group), as the determinant gives a non-trivial abelianization and indeed the commutator subgroup is SL. 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.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (11)

Related concepts (17)

Related courses (1)

Related lectures (20)

MATH-323: Topology III - Homology

Homology is one of the most important tools to study topological spaces and it plays an important role in many fields of mathematics. The aim of this course is to introduce this notion, understand its

Ordinary varieties with trivial canonical bundle are not uniruled

Zsolt Patakfalvi, Maciej Emilian Zdanowicz

We prove that smooth, projective, K-trivial, weakly ordinary varieties over a perfect field of characteristic p>0 are not geometrically uniruled. We also show a singular version of our theorem, which is sharp in multiple aspects. Our work, together with La ...

2021

Uniformly perfect finitely generated simple left orderable groups

Yash Lodha

We show that the finitely generated simple left orderable groups G(rho) constructed by the first two authors in Hyde and Lodha [Finitely generated infinite simple groups of homeomorphisms of the real line. Invent. Math. (2019), doi:10.1007/s00222-01900880- ...

CAMBRIDGE UNIV PRESS2021

Universal p'-central extensions

Jacques Thévenaz, Caroline Lassueur

It is well-known that a finite group possesses a universal central extension if and only if it is a perfect group. Similarly, given a prime number p, we show that a finite group possesses a universal p′-central extension if and only if the p′-part of its a ...

Elsevier2017

Schur multiplier

In mathematical group theory, the Schur multiplier or Schur multiplicator is the second homology group of a group G. It was introduced by in his work on projective representations. The Schur multiplier of a finite group G is a finite abelian group whose exponent divides the order of G. If a Sylow p-subgroup of G is cyclic for some p, then the order of is not divisible by p. In particular, if all Sylow p-subgroups of G are cyclic, then is trivial.

Projective linear group

In mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space V on the associated projective space P(V). Explicitly, the projective linear group is the quotient group PGL(V) = GL(V)/Z(V) where GL(V) is the general linear group of V and Z(V) is the subgroup of all nonzero scalar transformations of V; these are quotiented out because they act trivially on the projective space and they form the kernel of the action, and the notation "Z" reflects that the scalar transformations form the center of the general linear group.

Group extension

In mathematics, a group extension is a general means of describing a group in terms of a particular normal subgroup and quotient group. If and are two groups, then is an extension of by if there is a short exact sequence If is an extension of by , then is a group, is a normal subgroup of and the quotient group is isomorphic to the group . Group extensions arise in the context of the extension problem, where the groups and are known and the properties of are to be determined.

Abélianization: Fundamental Groups MATH-225: Topology

Explores abélianization of fundamental groups in commutative spaces with examples and proofs.

Singular Homology: First Properties MATH-323: Topology III - Homology

Covers the first properties of singular homology and the preservation of decomposition and path-connected components in topological spaces.

Trivial Group: Properties and Notation MATH-110(a): Advanced linear algebra I

Covers properties and notation of the trivial group and discusses the uniqueness of elements.