nLab
general linear group

Contents

Definition

Given a field k, the general linear group GL(n,k) (or GL n(k)) is the group of invertible linear transformations of the vector space k n. It can be canonically identified with the group of n×n matrices with entries in k having nonzero determinant.

This group can be considered as a (quasi-affine) subvariety of the affine space M n×n(k) of square matrices of size n defined by the condition that the determinant of a matrix is nonzero. It can be also presented as an affine subvariety of the affine space M n×n(k)×k defined by the equation det(M)t=1 (where M varies over the factor M n×n(k) and t over the factor k).

This variety is an algebraic k-group, and if k is the field of real or complex numbers it is a Lie group over k.

One can in fact consider the set of invertible matrices over an arbitrary unital ring, not necessarily commutative. Thus GL n:RGL n(R) becomes a presheaf of groups on Aff=Ring op where one can take rings either in commutative or in noncommutative sense. In the commutative case, this functor defines a group scheme; it is in fact an affine group scheme represented by the commutative ring R=[x 11,,x nn,t]/(det(X)t1).

Coordinate rings of general linear groups and of special general linear groups have quantum deformations called quantum linear group?s.

Stable and unstable versions:

The above is sometimes referred to as the unstable general linear group, whilst the result if one lets n go to infinity is called the stable general linear group of R, and is then written GL(R) with no suffix.

References

  • O.T. O’Meara, Lectures on Linear Groups, Amer. Math. Soc., Providence, RI, 1974.

  • B. Parshall, J.Wang, Quantum linear groups, Mem. Amer. Math. Soc. 89(1991), No. 439, vi+157 pp.

Revised on November 8, 2012 02:13:24 by Urs Schreiber (82.169.65.155)