General linear group
Let be a finite-dimensional real or complex vector space.
Definition (General linear group).
The general linear group of is
with group operation given by composition. After choosing a basis, where or and
Lie group structure.
Viewed as a subset of the affine space , is open (since is continuous and is open), hence it is a smooth manifold and a Lie group
. Its Lie algebra is the general linear Lie algebra
, identified with (compare Lie algebra of a Lie group
).
Basic structure.
Over , is connected. Over , has two connected components distinguished by the sign of . The exponential map
is the matrix exponential .
Context.
Many linear representations of Lie groups are concretely homomorphisms
into some ; special subgroups such as SL_n
, O(n)
, and U(n)
are defined by additional algebraic constraints.