Commutator subgroup

Commutator subgroup
Name	Commutator subgroup
Other names	Derived subgroup, commutator group
Type	Subgroup
Parent	Group theory

Commutator subgroup

The commutator subgroup is a subgroup associated to a group that measures non-abelianness and appears in contexts ranging from Évariste Galois's work to modern Algebraic topology and Lie groups. It is a canonical normal subgroup used in constructions related to Niels Henrik Abel-type quotients, Sophie Germain-style dualities, and structural decompositions like those studied by William Rowan Hamilton and Emmy Noether. Its properties connect to classical results by Niels Henrik Abel, Augustin-Louis Cauchy, Camille Jordan, Ferdinand Frobenius, and contemporary authors in Paul Erdős-adjacent combinatorial group theory.

Definition and basic properties

For a group G the commutator subgroup is generated by all commutators [x,y]=x^{-1}y^{-1}xy for x,y in G; this subgroup is characteristic and normal with functorial behavior under homomorphisms between groups such as those studied by James Joseph Sylvester, Felix Klein, Arthur Cayley, and Otto Schreier. It is the smallest normal subgroup N of G for which the quotient G/N is abelian; this universal property appears in contexts examined by Richard Dedekind, Henri Poincaré, Sophus Lie, and David Hilbert. Under group homomorphisms arising in the work of John von Neumann and Emil Artin the image of the commutator subgroup maps into the commutator subgroup of the image, and in finite groups considered by Walter Feit and John G. Thompson its index relates to abelian quotient structure and transfer homomorphisms studied by Philip Hall.

Examples

In symmetric groups like S_n studied by Augustin-Jean Fresnel and Arthur Cayley the commutator subgroup often equals the alternating group A_n for n≥3, a fact used in proofs by Émile Mathieu and invoked in classification work by Camille Jordan and William Burnside. For dihedral groups D_n appearing in crystallography and studied by Arthur Moritz Schönflies the commutator subgroup depends on parity of n, a pattern analyzed by Ludwig Bieberbach and Harold Scott MacDonald Coxeter. In p-groups central series examples used by Philip Hall and G. A. Miller illustrate nontrivial commutator behavior; for free groups investigated by Jakob Nielsen and Max Dehn the commutator subgroup equals the derived subgroup of the free group and underpins results by John Stallings and Mikhail Gromov. Matrix groups like GL(n,Z) and SL(n,Z) central to work by Carl Friedrich Gauss and André Weil have commutator subgroups tied to elementary matrices as in results by Hyman Bass and Jean-Pierre Serre; similarly, Lie groups considered by Élie Cartan and Hermann Weyl show derived subgroup phenomena linked to simple and semisimple structure as in the work of Claude Chevalley and Armand Borel.

Derived series and solvability

Iterating the commutator subgroup operation produces the derived series G^{(0)}=G, G^{(1)}, G^{(2)}, ... a sequence studied by J. H. Conway and Bertram Kostant when analyzing solvable groups in the style of Niels Henrik Abel and Évariste Galois. A group is solvable if this series terminates at the trivial subgroup, a concept central to the proof of the insolvability of the quintic by Paolo Ruffini and Évariste Galois and to classification efforts by Wallace Givens and Emil Artin. The derived length figures in work by Philip Hall and Marshall Hall Jr. on finite solvable groups and in infinite-group contexts explored by Daniel Gorenstein and John G. Thompson in the classification of finite simple groups alongside contributions by Walter Feit.

Relation to abelianization

The quotient G/[G,G] is the abelianization of G and plays a role in algebraic topology in connections between fundamental groups and homology as developed by Henri Poincaré, Seifert, and Jakob Nielsen. Abelianization maps appear in the study of covering spaces, knot groups investigated by John Milnor and Ralph Fox, and in the Hurewicz theorem contexts of Hassler Whitney and Marston Morse. In arithmetic contexts abelianizations of Galois groups are central to class field theory as studied by Emil Artin, Emmy Noether, and Kurt Hensel, while abelianized fundamental groups arise in algebraic geometry work by Alexander Grothendieck and Jean-Pierre Serre.

Generation and verbal subgroup properties

The commutator subgroup is a verbal subgroup corresponding to the word set of commutators; this perspective aligns with work by A.I. Mal'cev and formal language approaches seen in Mikhail Kargapolov's school. Generation properties—finite generation, relations, and width—are topics pursued by John Conway's collaborators and by combinatorial group theorists like Max Dehn, Roger Lyndon, and Paul Schupp. The behavior of commutator width in groups such as simple algebraic groups studied by Robert Steinberg and George Lusztig connects to bounded generation phenomena explored by A. Lubotzky and D. Segal, while the verbal subgroup framework figures in model-theoretic investigations by Alfred Tarski and Saharon Shelah.

Applications and examples in group theory

The commutator subgroup underlies many structural theorems: it appears in the Jordan–Hölder theorem contexts used by Camille Jordan and Otto Hölder; in transfer and Schur multiplier problems addressed by Issai Schur and Schur-related work; in cohomology of groups developed by Henri Cartan and Samuel Eilenberg; and in representation theory of finite groups advanced by Richard Brauer and Issai Schur. It is central to algorithms for computing abelian invariants in computational algebra systems influenced by the work of John H. Conway and Richard Parker, and to modern geometric group theory results traced to Mikhail Gromov and William Thurston. Examples include applications to knot theory via knot groups of Alexander Graham Bell-era studies refined by Ralph Fox, to 3-manifold groups in Thurston's programs, and to arithmetic groups in the work of Armand Borel and Harish-Chandra.

Category:Group theory