This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| GL(n, F) | |
|---|---|
| Name | GL(n, F) |
| Type | General linear group |
| Dimension | n^2 (over F when F a field) |
GL(n, F) is the group of all invertible n×n matrices with entries in a field F under matrix multiplication. It plays a central role in Albert Einstein-era linear algebra developments, features in the work of Évariste Galois, appears in the representation theory studied by Issai Schur and Hermann Weyl, and is fundamental to applications in Claude Shannon-inspired information theory and Emmy Noether-influenced algebraic structures. The group serves as a testing ground in the theories developed by James Clerk Maxwell-era mathematicians, later used by Paul Dirac and David Hilbert in mathematical physics and functional analysis.
For a positive integer n and a field F, GL(n, F) consists of n×n matrices with entries in F that possess two-sided inverses under matrix multiplication; this definition echoes constructions in the work of Augustin-Louis Cauchy and Galois. Members are closed under multiplication and inversion, with the identity matrix playing the role highlighted by Leonhard Euler. Key algebraic properties connect to results by Srinivasa Ramanujan in number theory and to structural theorems of Richard Dedekind. The group acts naturally on an n-dimensional vector space over F, an action studied by Alexander Grothendieck and Jean-Pierre Serre in modern algebraic geometry and arithmetic contexts.
Invertibility in GL(n, F) is characterized by the determinant function, building on determinants introduced by Carl Friedrich Gauss and formalized by Arthur Cayley. A matrix lies in the group precisely when its determinant is a nonzero element of F, linking to multiplicative properties explored by Niels Henrik Abel and Émile Picard. Matrix operations such as row reduction and LU decomposition trace to techniques of William Rowan Hamilton and Joseph-Louis Lagrange; these algorithms preserve membership in GL(n, F) when they avoid singular pivots, a practical concern in methods used by John von Neumann and Alan Turing. The determinant is multiplicative, and determinant-preserving subgroups connect to invariants studied by Sophus Lie and Felix Klein.
The group structure admits rich subgroup lattices including the special linear group SL(n, F), Borel subgroups, maximal tori, and parabolic subgroups that reflect classifications developed by Claude Chevalley and Élie Cartan. Solvable and nilpotent subgroups appear in the context of theorems by Joseph Lie and Philip Hall, while simple and semisimple subgroup structures relate to work by Emil Artin and Armand Borel. Finite subgroups and their conjugacy classes were studied in the tradition of William Burnside and Frobenius, and the normal subgroup structure links to results by Camille Jordan and Ferdinand Georg Frobenius. Intersections with orthogonal, unitary, and symplectic groups tie GL(n, F) to classification problems advanced by Weyl and Hermann Weyl.
Representations of GL(n, F) on vector spaces form a cornerstone of modern algebra, with foundational contributions by Issai Schur, Hermann Weyl, and Paul Dirac in quantum theory contexts. Polynomial, rational, and smooth representations are analyzed in the frameworks advanced by George Mackey and Bernard Julia Schur; highest-weight theory and character formulas invoke methods from Roger Howe and Robert Langlands. Induced representations, Frobenius reciprocity, and reciprocity laws echo principles from Ferdinand Frobenius and Hasse, and actions on flag varieties connect to geometry studied by Alexander Grothendieck and Jean-Pierre Serre. Representation categories relate to Tannaka–Krein duality ideas associated with Tadao Tannaka and Mark Krein.
When F is R or C, GL(n, F) becomes a real or complex Lie group with manifold structure studied by Élie Cartan and Henri Poincaré. The Lie algebra gl(n, F) and exponential map feature in analytic frameworks pursued by Sophus Lie and John Milnor, while compact subgroups, deformation retracts, and homotopy groups were analyzed by Raoul Bott and Michael Atiyah. Topological properties, including connectedness and fundamental group calculations, are important in gauge theory developed by Simon Donaldson and Edward Witten, and in index theory advanced by Atiyah and Isadore Singer.
Over specific fields and rings, GL(n, F) exhibits distinct behavior: over the real numbers R it connects to classical groups studied by Gauss and Sophus Lie; over the complex numbers C it underpins linear algebraic groups of interest to Chevalley and Weil; over finite fields GF(q) it yields finite groups whose orders and subgroup structures were computed by Émile Borel-era group theorists and later by Gordon James and Martin Liebeck. Over rings like the integers Z or p-adic fields, arithmetic subgroups and congruence subgroups were central to the Langlands program initiated by Robert Langlands and to modularity conjectures examined by Andrew Wiles. Special cases such as GL(1, F) correspond to the multiplicative group of F, a subject with connections to Srinivasa Ramanujan-style multiplicative number theory and to class field theory developed by Emil Artin.
Category:Linear algebraic groups