Affine algebraic group

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

Many Lie groups can be viewed as linear algebraic groups over the field of real or complex numbers. (For example, every compact Lie group can be regarded as a linear algebraic group over R, as can many noncompact groups such as the simple Lie group SL(n,R).) The simple Lie groups were classified by Wilhelm Killing and Élie Cartan in the 1880s and 1890s. At that time, no special use was made of the fact that the group structure can be defined by polynomials, that is, that these are algebraic groups. The founders of the theory of algebraic groups include Maurer, Chevalley, and Kolchin (1948). In the 1950s, Armand Borel constructed much of the theory of algebraic groups as it exists today.

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

For a positive integer n, the general linear group GL(n) over a field k, consisting of all invertible n-by-n matrices, is a linear algebraic group over k. It contains the subgroups

...
Wikipedia