 General linear group

Group theory Group theory Cyclic group Z_{n}
Symmetric group, S_{n}
Dihedral group, D_{n}
Alternating group A_{n}
Mathieu groups M_{11}, M_{12}, M_{22}, M_{23}, M_{24}
Conway groups Co_{1}, Co_{2}, Co_{3}
Janko groups J_{1}, J_{2}, J_{3}, J_{4}
Fischer groups F_{22}, F_{23}, F_{24}
Baby Monster group B
Monster group MSolenoid (mathematics)
Circle group
General linear group GL(n)
Special linear group SL(n)
Orthogonal group O(n)
Special orthogonal group SO(n)
Unitary group U(n)
Special unitary group SU(n)
Symplectic group Sp(n)
Lorentz group
Poincaré group
Conformal group
Diffeomorphism group
Loop group
Infinitedimensional Lie groups O(∞) SU(∞) Sp(∞)v · General linear group GL(n)
Special linear group SL(n)
Orthogonal group O(n)
Special orthogonal group SO(n)
Unitary group U(n)
Special unitary group SU(n)
Symplectic group Sp(n)Exponential map
Adjoint representation of a Lie group
Adjoint representation of a Lie algebra
Killing form
Lie point symmetryStructure of semisimple Lie groupsDynkin diagrams
Cartan subalgebra
Root system
Real form
Complexification
Split Lie algebra
Compact Lie algebraRepresentation of a Lie group
Representation of a Lie algebrav · mathematics, the general linear group of degree n is the set of n×n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible. The group is so named because the columns of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in general linear position. To be more precise, it is necessary to specify what kind of objects may appear in the entries of the matrix. For example, the general linear group over R (the set of real numbers) is the group of n×n invertible matrices of real numbers, and is denoted by GL_{n}(R) or GL(n, R).
More generally, the general linear group of degree n over any field F (such as the complex numbers), or a ring R (such as the ring of integers), is the set of n×n invertible matrices with entries from F (or R), again with matrix multiplication as the group operation.^{[1]} Typical notation is GL_{n}(F) or GL(n, F), or simply GL(n) if the field is understood.
More generally still, the general linear group of a vector space GL(V) is the abstract automorphism group, not necessarily written as matrices.
The special linear group, written SL(n, F) or SL_{n}(F), is the subgroup of GL(n, F) consisting of matrices with a determinant of 1.
The group GL(n, F) and its subgroups are often called linear groups or matrix groups (the abstract group GL(V) is a linear group but not a matrix group). These groups are important in the theory of group representations, and also arise in the study of spatial symmetries and symmetries of vector spaces in general, as well as the study of polynomials. The modular group may be realised as a quotient of the special linear group SL(2, Z).
If n ≥ 2, then the group GL(n, F) is not abelian.
Contents
General linear group of a vector space
If V is a vector space over the field F, the general linear group of V, written GL(V) or Aut(V), is the group of all automorphisms of V, i.e. the set of all bijective linear transformations V → V, together with functional composition as group operation. If V has finite dimension n, then GL(V) and GL(n, F) are isomorphic. The isomorphism is not canonical; it depends on a choice of basis in V. Given a basis (e_{1}, ..., e_{n}) of V and an automorphism T in GL(V), we have
for some constants a_{jk} in F; the matrix corresponding to T is then just the matrix with entries given by the a_{jk}.
In a similar way, for a commutative ring R the group GL(n, R) may be interpreted as the group of automorphisms of a free Rmodule M of rank n. One can also define GL(M) for any Rmodule, but in general this is not isomorphic to GL(n, R) (for any n).
In terms of determinants
Over a field F, a matrix is invertible if and only if its determinant is nonzero. Therefore an alternative definition of GL(n, F) is as the group of matrices with nonzero determinant.
Over a commutative ring R, one must be slightly more careful: a matrix over R is invertible if and only if its determinant is a unit in R, that is, if its determinant is invertible in R. Therefore GL(n, R) may be defined as the group of matrices whose determinants are units.
Over a noncommutative ring R, determinants are not at all well behaved. In this case, GL(n, R) may be defined as the unit group of the matrix ring M(n, R).
As a Lie group
Real case
The general linear group GL(n,R) over the field of real numbers is a real Lie group of dimension n^{2}. To see this, note that the set of all n×n real matrices, M_{n}(R), forms a real vector space of dimension n^{2}. The subset GL(n,R) consists of those matrices whose determinant is nonzero. The determinant is a polynomial map, and hence GL(n,R) is an open affine subvariety of M_{n}(R) (a nonempty open subset of M_{n}(R) in the Zariski topology), and therefore^{[2]} a smooth manifold of the same dimension.
The Lie algebra of GL(n,R), denoted consists of all n×n real matrices with the commutator serving as the Lie bracket.
As a manifold, GL(n,R) is not connected but rather has two connected components: the matrices with positive determinant and the ones with negative determinant. The identity component, denoted by GL^{+}(n, R), consists of the real n×n matrices with positive determinant. This is also a Lie group of dimension n^{2}; it has the same Lie algebra as GL(n,R).
The group GL(n,R) is also noncompact. "The"^{[3]} maximal compact subgroup of GL(n, R) is the orthogonal group O(n), while "the" maximal compact subgroup of GL^{+}(n, R) is the special orthogonal group SO(n). As for SO(n), the group GL^{+}(n, R) is not simply connected (except when n=1), but rather has a fundamental group isomorphic to Z for n=2 or Z_{2} for n>2.
Complex case
The general linear GL(n,C) over the field of complex numbers is a complex Lie group of complex dimension n^{2}. As a real Lie group it has dimension 2n^{2}. The set of all real matrices forms a real Lie subgroup. These correspond to the inclusions
 GL(n,R) < GL(n,C) < GL(2n,R),
which have real dimensions n^{2}, 2n^{2}, and 4n^{2} = (2n)^{2}. Complex ndimensional matrices can be characterized as real 2ndimensional matrices that preserve a linear complex structure – concretely, that commute with a matrix J such that J^{2} =−I, where J corresponds to multiplying by the imaginary unit i.
The Lie algebra corresponding to GL(n,C) consists of all n×n complex matrices with the commutator serving as the Lie bracket.
Unlike the real case, GL(n,C) is connected. This follows, in part, since the multiplicative group of complex numbers C^{*} is connected. The group manifold GL(n,C) is not compact; rather its maximal compact subgroup is the unitary group U(n). As for U(n), the group manifold GL(n,C) is not simply connected but has a fundamental group isomorphic to Z.
Over finite fields
If F is a finite field with q elements, then we sometimes write GL(n, q) instead of GL(n, F). When p is prime, GL(n, p) is the outer automorphism group of the group Z_{p}^{n}, and also the automorphism group, because Z_{p}^{n} is Abelian, so the inner automorphism group is trivial.
The order of GL(n, q) is:
 (q^{n} − 1)(q^{n} − q)(q^{n} − q^{2}) … (q^{n} − q^{n−1})
This can be shown by counting the possible columns of the matrix: the first column can be anything but the zero vector; the second column can be anything but the multiples of the first column; and in general, the kth column can be any vector not in the linear span of the first k − 1 columns. In qanalog notation, this is [n]_{q}!(q − 1)^{n}.
For example, GL(3, 2) has order (8 − 1)(8 − 2)(8 − 4) = 168. It is the automorphism group of the Fano plane and of the group Z_{2}^{3}, and is also known as PSL(2,7).
More generally, one can count points of Grassmannian over F: in other words the number of subspaces of a given dimension k. This requires only finding the order of the stabilizer subgroup of one such subspace and dividing into the formula just given, by the orbitstabilizer theorem.
These formulas are connected to the Schubert decomposition of the Grassmannian, and are qanalogs of the Betti numbers of complex Grassmannians. This was one of the clues leading to the Weil conjectures.
Note that in the limit as the order of GL(n, q) goes to n! which is the order of the symmetric group – in the philosophy of the field with one element, one thus interprets the symmetric group as the general linear group over the field with one element:
History
The general linear group over a prime field, GL(ν,p), was constructed and its order computed by Évariste Galois in 1832, in his last letter (to Chevalier) and second (of three) attached manuscripts, which he used in the context of studying the Galois group of the general equation of order p^{ν}.^{[4]}
Special linear group
Main article: Special linear groupThe special linear group, SL(n, F), is the group of all matrices with determinant 1. They are special in that they lie on a subvariety – they satisfy a polynomial equation (as the determinant is a polynomial in the entries). Matrices of this type form a group as the determinant of the product of two matrices is the product of the determinants of each matrix. SL(n, F) is a normal subgroup of GL(n, F).
If we write F^{×} for the multiplicative group of F (excluding 0), then the determinant is a group homomorphism
 det: GL(n, F) → F^{×}.
The kernel of the map is just the special linear group. By the first isomorphism theorem we see that GL(n,F)/SL(n,F) is isomorphic to F^{×}. In fact, GL(n, F) can be written as a semidirect product of SL(n, F) by F^{×}:
 GL(n, F) = SL(n, F) ⋊ F^{×}
When F is R or C, SL(n) is a Lie subgroup of GL(n) of dimension n^{2} − 1. The Lie algebra of SL(n) consists of all n×n matrices over F with vanishing trace. The Lie bracket is given by the commutator.
The special linear group SL(n, R) can be characterized as the group of volume and orientation preserving linear transformations of R^{n}.
The group SL(n, C) is simply connected while SL(n, R) is not. SL(n, R) has the same fundamental group as GL^{+}(n, R), that is, Z for n=2 and Z_{2} for n>2.
Other subgroups
Diagonal subgroups
The set of all invertible diagonal matrices forms a subgroup of GL(n, F) isomorphic to (F^{×})^{n}. In fields like R and C, these correspond to rescaling the space; the so called dilations and contractions.
A scalar matrix is a diagonal matrix which is a constant times the identity matrix. The set of all nonzero scalar matrices forms a subgroup of GL(n, F) isomorphic to F^{×} . This group is the center of GL(n, F). In particular, it is a normal, abelian subgroup.
The center of SL(n, F) is simply the set of all scalar matrices with unit determinant, and is isomorphic to the group of nth roots of unity in the field F.
Classical groups
The socalled classical groups are subgroups of GL(V) which preserve some sort of bilinear form on a vector space V. These include the
 orthogonal group, O(V), which preserves a nondegenerate quadratic form on V,
 symplectic group, Sp(V), which preserves a symplectic form on V (a nondegenerate alternating form),
 unitary group, U(V), which, when F = C, preserves a nondegenerate hermitian form on V.
These groups provide important examples of Lie groups.
Related groups
Projective linear group
Main article: Projective linear groupThe projective linear group PGL(n, F) and the projective special linear group PSL(n,F) are the quotients of GL(n,F) and SL(n,F) by their centers (which consist of the multiples of the identity matrix therein); they are the induced action on the associated projective space.
Affine group
Main article: Affine groupThe affine group Aff(n,F) is an extension of GL(n,F) by the group of translations in F^{n}. It can be written as a semidirect product:
 Aff(n, F) = GL(n, F) ⋉ F^{n}
where GL(n, F) acts on F^{n} in the natural manner. The affine group can be viewed as the group of all affine transformations of the affine space underlying the vector space F^{n}.
One has analogous constructions for other subgroups of the general linear group: for instance, the special affine group is the subgroup defined by the semidirect product, SL(n, F) ⋉ F^{n}, and the Poincaré group is the affine group associated to the Lorentz group, O(1,3,F) ⋉ F^{n}.
General semilinear group
Main article: General semilinear groupThe general semilinear group ΓL(n,F) is the group of all invertible semilinear transformations, and contains GL. A semilinear transformation is a transformation which is linear "up to a twist", meaning "up to a field automorphism under scalar multiplication". It can be written as a semidirect product:
 ΓL(n, F) = Gal(F) ⋉ GL(n, F)
where Gal(F) is the Galois group of F (over its prime field), which acts on GL(n, F) by the Galois action on the entries.
The main interest of ΓL(n, F) is that the associated projective semilinear group PΓL(n, F) (which contains PGL(n, F)) is the collineation group of projective space, for n > 2, and thus semilinear maps are of interest in projective geometry.
Infinite general linear group
The infinite general linear group or stable general linear group is the direct limit of the inclusions as the upper left block matrix. It is denoted by either or , and can also be interpreted as invertible infinite matrices which differ from the identity matrix in only finitely many places.
It is used in algebraic Ktheory to define K_{1}, and over the reals has a wellunderstood topology, thanks to Bott periodicity.
It should not be confused with the space of (bounded) invertible operators on a Hilbert space, which is a larger group, and topologically much simpler, namely contractible – see Kuiper's theorem.
See also
Notes
 ^ Here rings are assumed to be associative and unital.
 ^ Since the Zariski topology is coarser than the metric topology; equivalently, polynomial maps are continuous.
 ^ A maximal compact subgroup is not unique, but is essentially unique, hence one often refers to "the" maximal compact subgroup.
 ^ Galois, Évariste (1846). "Lettre de Galois à M. Auguste Chevalier". Journal des mathématiques pures et appliquées XI: 408–415. http://visualiseur.bnf.fr/ark:/12148/cb343487840/date1846. Retrieved 20090204, GL(ν,p) discussed on p. 410.
External links
 "GL(2,p) and GL(3,3) Acting on Points" by Ed Pegg, Jr., Wolfram Demonstrations Project, 2007.
Categories: Abstract algebra
 Linear algebra
 Lie groups
Wikimedia Foundation. 2010.
Look at other dictionaries:
general linear group — pilnutinė tiesinė grupė statusas T sritis fizika atitikmenys: angl. complete linear group; full linear group; general linear group vok. volle lineare Gruppe, f rus. полная линейная группа, f pranc. groupe linéaire complet, m; groupe linéaire… … Fizikos terminų žodynas
Linear group — In mathematics, a matrix group is a group G consisting of invertible matrices over some field K , usually fixed in advance, with operations of matrix multiplication and inversion. More generally, one can consider n times; n matrices over a… … Wikipedia
Special linear group — In mathematics, the special linear group of degree n over a field F is the set of n times; n matrices with determinant 1, with the group operations of ordinary matrix multiplication and matrix inversion.This is the normal subgroup of the general… … Wikipedia
Projective linear group — In mathematics, especially in area of algebra called group theory, the projective linear group (also known as the projective general linear group) is one of the fundamental groups of study, part of the so called classical groups. The projective… … Wikipedia
complete linear group — pilnutinė tiesinė grupė statusas T sritis fizika atitikmenys: angl. complete linear group; full linear group; general linear group vok. volle lineare Gruppe, f rus. полная линейная группа, f pranc. groupe linéaire complet, m; groupe linéaire… … Fizikos terminų žodynas
full linear group — pilnutinė tiesinė grupė statusas T sritis fizika atitikmenys: angl. complete linear group; full linear group; general linear group vok. volle lineare Gruppe, f rus. полная линейная группа, f pranc. groupe linéaire complet, m; groupe linéaire… … Fizikos terminų žodynas
Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines … Wikipedia
Group representation — In the mathematical field of representation theory, group representations describe abstract groups in terms of linear transformations of vector spaces; in particular, they can be used to represent group elements as matrices so that the group… … Wikipedia
Group of Lie type — In mathematics, a group of Lie type G(k) is a (not necessarily finite) group of rational points of a reductive linear algebraic group G with values in the field k. Finite groups of Lie type form the bulk of nonabelian finite simple groups.… … Wikipedia
Group action — This article is about the mathematical concept. For the sociology term, see group action (sociology). Given an equilateral triangle, the counterclockwise rotation by 120° around the center of the triangle acts on the set of vertices of the… … Wikipedia
18+© Academic, 20002020 Contact us: Technical Support, Advertising
Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx.
General linear group
 General linear group

Group theory Group theory Cyclic group Z_{n}
Symmetric group, S_{n}
Dihedral group, D_{n}
Alternating group A_{n}
Mathieu groups M_{11}, M_{12}, M_{22}, M_{23}, M_{24}
Conway groups Co_{1}, Co_{2}, Co_{3}
Janko groups J_{1}, J_{2}, J_{3}, J_{4}
Fischer groups F_{22}, F_{23}, F_{24}
Baby Monster group B
Monster group MSolenoid (mathematics)
Circle group
General linear group GL(n)
Special linear group SL(n)
Orthogonal group O(n)
Special orthogonal group SO(n)
Unitary group U(n)
Special unitary group SU(n)
Symplectic group Sp(n)
Lorentz group
Poincaré group
Conformal group
Diffeomorphism group
Loop group
Infinitedimensional Lie groups O(∞) SU(∞) Sp(∞)General linear group GL(n)
Special linear group SL(n)
Orthogonal group O(n)
Special orthogonal group SO(n)
Unitary group U(n)
Special unitary group SU(n)
Symplectic group Sp(n)Exponential map
Adjoint representation of a Lie group
Adjoint representation of a Lie algebra
Killing form
Lie point symmetryStructure of semisimple Lie groupsDynkin diagrams
Cartan subalgebra
Root system
Real form
Complexification
Split Lie algebra
Compact Lie algebraRepresentation of a Lie group
Representation of a Lie algebra