Main Page | See live article | Alphabetical index

Linear algebraic group

In mathematics, a linear algebraic group is a subgroup of the group of n×n matrices (under matrix multiplication) that is defined by polynomial equations. An example is the orthogonal group, defined by the relation MTM = I where MT is the transpose of M.

The main examples of linear algebraic groups are certain of the Lie groups, where the underlying field is the real or complex field. (For example, every compact Lie group can be regarded as the group of points of a real linear algebraic group, essentially by the Peter-Weyl theorem.) These were the first algebraic groups to be extensively studied. Such groups were known for a long time before their abstract algebraic theory was developed according to the needs of major applications. They were considered by Élie Cartan, Ludwig Maurer, Wilhelm Killing, and Sophus Lie in the 1880s and 1890s in the context of differential equations and Galois theory. However, a purely algebraic theory wasn't sought for, until around 1950. The Picard-Vessiot theory did lead to algebraic groups.

The first basic theorem of the subject is that any affine algebraic group is a linear algebraic group: that is, any affine variety V that has an algebraic group law has a faithful linear representation, over the same field. For example the additive group of an n-dimensional vector space has a faithful representation as n+1×n+1 matrices.

One can define the Lie algebra of an algebraic group purely algebraically (it consists of the dual number points based at the identity element); and this theorem shows that we get a matrix Lie algebra. A linear algebraic group G consists of a finite number of irreducible components, that are in fact also the connected components: the one Go containing the identity will be a normal subgroup of G.

One of the first uses for the theory was to define the Chevalley groups.

The deeper structure theory applies to connected linear algebraic groups G, and begins with the definition of Borel subgroups B. These turn out to be maximal as connected solvable subgroups (i.e., subgroups with composition series having as factors one-dimensional subgroups, all of which are groups of additive or multiplicative type); and also minimal such that G/B is a projective variety.

Lie groups that aren't algebraic

There are several classes of examples of Lie groups that aren't the real or complex points of an algebraic group.

A good introduction to the theory of linear algebraic groups is: See also: