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^{T}M = I where M^{T} is the transpose of M.
The main examples of linear algebraic groups are certain 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. Compact Lie groups 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 was first developed by Kolchin (1948), with Armand Borel as one of its pioneers. 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, which is also a morphism of varieties. For example the additive group of an ndimensional 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 G^{o} containing the identity will be a normal subgroup of G.
One of the first uses for the theory was to define the Chevalley groups.
Contents

Examples 1

Group actions 2

Nonalgebraic Lie groups 3

See also 4

References 5

External links 6
Examples
Since \mathbb{G}_m = GL_1, \mathbb{G}_m is a linear algebraic group. The embedding x \mapsto \begin{bmatrix} 1 & x \\ 0 & 1 \end{bmatrix} shows that \mathbb{G}_a is a unipotent group.
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 onedimensional subgroups, all of which are groups of additive or multiplicative type); and also minimal such that G/B is a projective variety.
The most important subgroups of a linear algebraic group, besides its Borel subgroups, are its tori, especially the maximal ones (similar to the study of maximal tori in Lie groups). If there is a maximal torus which splits (i.e. is isomorphic to a product of multiplicative groups), one calls the linear group split as well. If there is no splitting maximal torus, one studies the splitting tori and the maximal ones of them. If there is a rank at least 1 split torus in the group, the group is called isotropic and anisotropic if this is not the case. Any anisotropic or isotropic linear algebraic group over a field becomes split over the algebraic closure, so this distinction is interesting from the point of view of Algebraic number theory.
Group actions
Let G be a unipotent group acting on an affine variety. Then every Gorbit in the variety is closed.
The Borel fixedpoint theorem states that a connected solvable group acting on a nonempty complete variety admits a fixed point. The classical Lie–Kolchin theorem follows from the theorem applied to the flag variety.
Nonalgebraic Lie groups
There are several classes of examples of Lie groups that aren't the real or complex points of an algebraic group.

Any Lie group with an infinite group of components G/G^{o} cannot be realized as an algebraic group (see identity component).

The center of a linear algebraic group is again a linear algebraic group. Thus, any group whose center has infinitely many components is not a linear algebraic group. An interesting example is the universal cover of SL_{2}(R). This is a Lie group that maps infinitetoone to SL_{2}(R), since the fundamental group is here infinite cyclic  and in fact the cover has no faithful matrix representation.

The general solvable Lie group need not have a group law expressible by polynomials.
See also
References

Borel, Armand. Linear Algebraic Groups (2nd ed.). New York: SpringerVerlag. ISBN 0387973702.

Conrad, Brian. Reductive group schemes  develops the theory from the schemetheoretic viewpoint.

Kolchin, E. R. (1948), "Algebraic matric groups and the PicardVessiot theory of homogeneous linear ordinary differential equations",

T. A. Springer, Linear algebraic groups (2nd ed.), Birkhauser, New York, 1998.
External links

Hazewinkel, Michiel, ed. (2001), "Linear algebraic group",
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.