Matrix group

Matrix group
Name	Matrix group
Type	Group of matrices

Matrix group

A matrix group is a set of matrices closed under matrix multiplication and inversion that forms a group under these operations. Matrix groups serve as concrete realizations of abstract groups, connect to algebraic geometry via matrix equations, and provide the principal examples of continuous symmetry studied in Élie Cartan's development of Lie theory and in Sophus Lie's work on continuous transformation groups. Many classical results in Felix Klein's Erlangen program, Hermann Weyl's representation theory, and Claude Chevalley's structure theory are illustrated through matrix groups.

Definition and basic examples

A matrix group is defined as a subgroup of the general linear group of invertible n×n matrices over a field or ring, typically Carl Friedrich Gauss's rational numbers, the real numbers studied by Augustin-Louis Cauchy, or the complex numbers used by Bernhard Riemann. Basic examples include the full general linear group Arthur Cayley's GL(n), the special linear group associated with Évariste Galois's determinant-one condition, orthogonal groups tied to Carl Gustav Jacob Jacobi's quadratic forms, and unitary groups arising in Paul Dirac's quantum mechanics. Finite matrix groups such as those classified by William Burnside and infinite continuous matrix groups like those considered by Hermann Weyl occur across algebra and analysis.

Algebraic structure and properties

Matrix groups inherit group-theoretic properties studied by Évariste Galois and Niels Henrik Abel such as solvability, simplicity, and nilpotence; important theorems include the Jordan–Hölder theorem and the Lie–Kolchin theorem for triangularization of solvable linear groups. Over algebraically closed fields, the theory of algebraic groups developed by Claude Chevalley and Armand Borel classifies reductive matrix groups and connects to root systems introduced by Élie Cartan. The determinant homomorphism links GL(n) to multiplicative groups studied by Richard Dedekind, and normal subgroup structure often references Émile Picard's and Issai Schur's work on Schur's lemma for linear representations.

Lie groups and Lie algebras of matrices

Many matrix groups are real or complex Lie groups whose tangent spaces at the identity form Sophus Lie's Lie algebras, exemplified by the algebra of all n×n matrices studied in Wilhelm Killing's classification. Structure theory due to Élie Cartan and Hermann Weyl describes Cartan subalgebras, root decompositions, and Dynkin diagrams introduced by Eugène Dynkin. Exponential and logarithm maps relate Lie algebras to Lie groups as in the work of Harish-Chandra and George Mackey, while representation-theoretic connections use highest-weight theory developed by Bertram Kostant and James E. Humphreys.

Important subclasses (GL, SL, O, SO, U, SU)

Classical subclasses include Arthur Cayley's GL(n), the special linear group SL(n) central to Évariste Galois's determinant considerations, orthogonal groups O(n) and special orthogonal groups SO(n) tied to Carl Friedrich Gauss's geometry, and unitary groups U(n) and special unitary groups SU(n) crucial in Paul Dirac's and Murray Gell-Mann's particle physics. Each subclass relates to invariants: GL(n) preserves vector space structure used by David Hilbert, SL(n) preserves volume forms appearing in Élie Cartan's differential forms, O(n) and SO(n) preserve quadratic forms appearing in Hermann Minkowski's geometry of numbers, and U(n)/SU(n) preserve Hermitian forms central to John von Neumann's operator theory.

Representations and actions

Matrix groups act naturally on vector spaces, giving linear representations foundational to Frobenius and Issai Schur's representation theory. Induced representations and characters studied by Frobenius and George Mackey connect finite matrix groups like J. H. Conway's sporadic examples to compact groups analyzed by Harish-Chandra. Actions on projective spaces relate to work of David Hilbert and Felix Klein while monodromy representations appear in the theories of Riemann and Alexander Grothendieck.

Topological and geometric aspects

As topological groups, real and complex matrix groups inherit manifold structures studied by Élie Cartan and Jean-Pierre Serre. Compact matrix groups such as those classified by Hermann Weyl act by isometries on symmetric spaces investigated by Élie Cartan and Harish-Chandra; noncompact forms appear in Albert Einstein's relativity via Lorentz groups linked to Henri Poincaré. Homogeneous spaces G/H where G is a matrix group and H a closed subgroup provide examples in the work of Élie Cartan and Shoshichi Kobayashi on complex and CR geometry.

Applications in mathematics and physics

Matrix groups underpin much of modern mathematics and physics: André Weil and Robert Langlands used reductive matrix groups in number theory and the Langlands program; Edward Witten and Murray Gell-Mann used SU(n) in gauge theory and particle classification; Albert Einstein's relativity and Hermann Minkowski's spacetime use Lorentz and orthogonal matrix groups. In geometry and topology, mapping class groups and monodromy representations studied by William Thurston and Alexander Grothendieck employ matrix group techniques; in quantum mechanics and signal processing, unitary and symplectic groups introduced by Paul Dirac and André Weil are central.

Category:Matrix groups