Namespaces
Variants
Actions

Difference between revisions of "Algebraic group"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (→‎References: expand bibliodata)
 
(7 intermediate revisions by 2 users not shown)
Line 1: Line 1:
A group <math>
 
G
 
</math> provided with the structure of an [[Algebraic variety|algebraic variety]] in which the multiplication
 
$ \mu: G\times G \to G $
 
and the inversion mapping <math>
 
\nu: G \to G
 
</math> are regular mappings (morphisms) of algebraic varieties. An algebraic group is said to be defined over a field <math>
 
k
 
</math> if its underlying algebraic variety and the morphisms <math>
 
\mu
 
</math> and <math>
 
\nu
 
</math> are defined over <math>
 
k
 
</math>. In such a case the set of <math>
 
k
 
</math>-rational points of the variety <math>
 
G
 
</math> is an (abstract) group which is denoted by <math>
 
G(k)
 
</math>. An algebraic group is called connected if its algebraic variety is connected. The dimension of an algebraic group is the dimension of its algebraic variety. In what follows, only connected algebraic groups will be considered. A subgroup <math>
 
H
 
</math> of an algebraic group <math>
 
G
 
</math> is called algebraic if it is a closed subvariety of the algebraic variety <math>
 
G
 
</math>. For such subgroups the space of cosets (left or right) can be naturally provided with the structure of an algebraic variety, defined by a universal property (cf. [[Quotient space|Quotient space]] of an algebraic group). If the subgroup <math>
 
H
 
</math> is also normal, then the quotient group <math>
 
G/H
 
</math> is an algebraic group with respect to this structure, and is called an algebraic quotient group. A homomorphism <math>
 
\phi: G\to \tilde G
 
</math> of algebraic groups is called algebraic if <math>
 
\phi
 
</math> is a morphism of their algebraic varieties; if <math>
 
\phi
 
</math> is defined over <math>
 
k
 
</math>, it is called a <math>
 
k
 
</math>-homomorphism. A <math>
 
k
 
</math>-isomorphism of an algebraic group is defined in a similar manner.
 
  
Examples of algebraic groups: The general linear group <math>
+
{{MSC|14Lxx}}
{\rm GL}(n,k)
+
{{TEX|done}}
</math> (the group of all invertible matrices of order <math>
 
n
 
</math>, with coefficients in a fixed algebraically closed field <math>
 
k
 
</math>); the group of triangular matrices; an [[Elliptic curve|elliptic curve]].
 
 
 
There are two main types of algebraic groups, with altogether different properties: Abelian varieties and linear algebraic groups (cf. [[Abelian variety|Abelian variety]]; [[Linear algebraic group|Linear algebraic group]]). The type of a particular group is determined exclusively by properties of its variety. An algebraic group is called an Abelian variety if its algebraic variety is complete. An algebraic group is called linear if it is isomorphic to an algebraic subgroup of a general linear group. An algebraic group is linear if and only if its algebraic variety is affine. These two classes of algebraic groups have a trivial intersection: If an algebraic group is both an Abelian variety and a linear group, then it is the identity group. The study of arbitrary algebraic groups reduces to a great extent to the study of Abelian varieties and linear groups. In particular, an arbitrary algebraic group contains a unique normal linear algebraic subgroup <math>
 
H
 
</math> such that the quotient group <math>
 
G/H
 
</math> is an Abelian variety [[#References|[a1]]]. Numerous examples of algebraic groups which are neither linear algebraic groups nor Abelian varieties are given by the theory of generalized Jacobi varieties for algebraic curves with singular points [[#References|[3]]] (cf. [[Jacobi variety|Jacobi variety]]). A natural extension of the class of algebraic groups leads to the concept of a [[Group scheme|group scheme]].
 
 
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A. Borel,  "Linear algebraic groups" , Benjamin  (1969)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  D. Mumford,  "Abelian varieties" , Oxford Univ. Press  (1974)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  J.-P. Serre,  "Groupes algébrique et corps des classes" , Hermann  (1959)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  C. Chevalley,  "La théorie des groupes algébriques"  J.A. Todd (ed.) , ''Proc. Internat. Congress Mathematicians (Edinburgh, 1958)'' , Cambridge Univ. Press  (1960)  pp. 53–68</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  M. Demazure,  A. Grothendieck,  "Schémas en groupes" , ''Sem. Geom. Alg. 1963–1964'' , ''Lect. notes in math.'' , '''151–153''' , Springer  (1970)</TD></TR></table>
 
  
 +
A group $G$ provided with the structure of an
 +
[[Algebraic variety|algebraic variety]]
 +
in which the multiplication $ \mu: G\times
 +
G \to G $ and the inversion mapping $\nu: G \to G$ are regular
 +
mappings (morphisms) of algebraic varieties. An algebraic group is
 +
said to be defined over a field $k$ if its underlying algebraic
 +
variety and the morphisms $\mu$ and $\nu$ are defined over $k$. In
 +
such a case the set of $k$-rational points of the variety $G$ is an
 +
(abstract) group which is denoted by $G(k)$. An algebraic group is
 +
called connected if its algebraic variety is connected. The dimension
 +
of an algebraic group is the dimension of its algebraic variety. In
 +
what follows, only connected algebraic groups will be considered. A
 +
subgroup $H$ of an algebraic group $G$ is called algebraic if it is a
 +
closed subvariety of the algebraic variety $G$. For such subgroups the
 +
space of cosets (left or right) can be naturally provided with the
 +
structure of an algebraic variety, defined by a universal property
 +
(cf.  [[Quotient space|Quotient space]] of an algebraic group). If the
 +
subgroup $H$ is also normal, then the quotient group $G/H$ is an
 +
algebraic group with respect to this structure, and is called an
 +
algebraic quotient group. A homomorphism $\phi: G\to \tilde G$ of
 +
algebraic groups is called algebraic if $\phi$ is a morphism of their
 +
algebraic varieties; if $\phi$ is defined over $k$, it is called a
 +
$k$-homomorphism. A $k$-isomorphism of an algebraic group is defined
 +
in a similar manner.
  
 +
Examples of algebraic groups: The general linear group ${\rm GL}(n,k)$
 +
(the group of all invertible matrices of order $n$, with coefficients
 +
in a fixed algebraically closed field $k$); the group of triangular
 +
matrices; an [[elliptic curve]].
  
====Comments====
+
There are two main types of algebraic groups, with altogether
 +
different properties: Abelian varieties and linear algebraic groups
 +
(cf.  [[Abelian variety]]; [[Linear algebraic group]]).
 +
The type of a particular group is
 +
determined exclusively by properties of its variety. An algebraic
 +
group is called an Abelian variety if its algebraic variety is a [[complete algebraic variety]]. An algebraic group is called linear if it is isomorphic to
 +
an algebraic subgroup of a general linear group. An algebraic group is
 +
linear if and only if its algebraic variety is affine. These two
 +
classes of algebraic groups have a trivial intersection: If an
 +
algebraic group is both an Abelian variety and a linear group, then it
 +
is the identity group. The study of arbitrary algebraic groups reduces
 +
to a great extent to the study of Abelian varieties and linear
 +
groups. In particular, an arbitrary algebraic group contains a unique
 +
normal linear algebraic subgroup $H$ such that the quotient group
 +
$G/H$ is an Abelian variety
 +
{{Cite|Ch2}}.
 +
Numerous examples
 +
of algebraic groups which are neither linear algebraic groups nor
 +
Abelian varieties are given by the theory of generalized Jacobi
 +
varieties for algebraic curves with singular points
 +
{{Cite|Se}} (cf. 
 +
[[Jacobi variety|Jacobi variety]]).
 +
A natural extension of the class of algebraic groups leads to the
 +
concept of a
 +
[[Group scheme|group scheme]].
  
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> C. Chevalley,  "Une démonstration d'un théorème sur les groupes algébriques"  ''J. Math. Pures Appl.'' , '''39'''  (1960)  pp. 307–317</TD></TR></table>
+
{|
 +
|-
 +
|valign="top"|{{Ref|Bo}}||valign="top"|  A. Borel,  "Linear algebraic groups", Benjamin  (1969)  {{MR|0251042}}  {{ZBL|0206.49801}} {{ZBL|0186.33201}}     
 +
|-
 +
|valign="top"|{{Ref|Ch}}||valign="top"|  C. Chevalley,  "La théorie des groupes algébriques"  J.A. Todd (ed.), ''Proc. Internat. Congress Mathematicians, Edinburgh, (1958)'', Cambridge Univ. Press  (1960)  pp. 53–68  {{MR|0114816}} {{ZBL|0121.37803}}
 +
|-
 +
|valign="top"|{{Ref|Ch2}}||valign="top"| C. Chevalley,  "Une démonstration d'un théorème sur les groupes algébriques"  ''J. Math. Pures Appl.'', '''39'''  (1960)  pp. 307–317 {{MR|0126447}}  {{ZBL|0115.38901}}     
 +
|-
 +
|valign="top"|{{Ref|DeGr}}||valign="top"|  M. Demazure,  A. Grothendieck,  "Schémas en groupes", ''Sem. Geom. Alg. (1963–1964)'', ''Lect. notes in math.'', '''151–153''', Springer  (1970)  {{MR|0207703}} {{MR|0207702}}  {{ZBL|0212.52801}}   
 +
|-
 +
|valign="top"|{{Ref|Mu}}||valign="top"|  D. Mumford,  "Abelian varieties", Oxford Univ. Press  (1974)  {{MR|2514037}} {{ZBL|0326.14012}}     
 +
|-
 +
|valign="top"|{{Ref|Se}}||valign="top"|  J.-P. Serre,  "Groupes algébriques et corps de classes", Hermann  (1959)  {{MR|0103191}} {{ZBL|0097.35604}}   
 +
|-
 +
|}

Latest revision as of 18:32, 10 December 2015

2020 Mathematics Subject Classification: Primary: 14Lxx [MSN][ZBL]

A group $G$ provided with the structure of an algebraic variety in which the multiplication $ \mu: G\times G \to G $ and the inversion mapping $\nu: G \to G$ are regular mappings (morphisms) of algebraic varieties. An algebraic group is said to be defined over a field $k$ if its underlying algebraic variety and the morphisms $\mu$ and $\nu$ are defined over $k$. In such a case the set of $k$-rational points of the variety $G$ is an (abstract) group which is denoted by $G(k)$. An algebraic group is called connected if its algebraic variety is connected. The dimension of an algebraic group is the dimension of its algebraic variety. In what follows, only connected algebraic groups will be considered. A subgroup $H$ of an algebraic group $G$ is called algebraic if it is a closed subvariety of the algebraic variety $G$. For such subgroups the space of cosets (left or right) can be naturally provided with the structure of an algebraic variety, defined by a universal property (cf. Quotient space of an algebraic group). If the subgroup $H$ is also normal, then the quotient group $G/H$ is an algebraic group with respect to this structure, and is called an algebraic quotient group. A homomorphism $\phi: G\to \tilde G$ of algebraic groups is called algebraic if $\phi$ is a morphism of their algebraic varieties; if $\phi$ is defined over $k$, it is called a $k$-homomorphism. A $k$-isomorphism of an algebraic group is defined in a similar manner.

Examples of algebraic groups: The general linear group ${\rm GL}(n,k)$ (the group of all invertible matrices of order $n$, with coefficients in a fixed algebraically closed field $k$); the group of triangular matrices; an elliptic curve.

There are two main types of algebraic groups, with altogether different properties: Abelian varieties and linear algebraic groups (cf. Abelian variety; Linear algebraic group). The type of a particular group is determined exclusively by properties of its variety. An algebraic group is called an Abelian variety if its algebraic variety is a complete algebraic variety. An algebraic group is called linear if it is isomorphic to an algebraic subgroup of a general linear group. An algebraic group is linear if and only if its algebraic variety is affine. These two classes of algebraic groups have a trivial intersection: If an algebraic group is both an Abelian variety and a linear group, then it is the identity group. The study of arbitrary algebraic groups reduces to a great extent to the study of Abelian varieties and linear groups. In particular, an arbitrary algebraic group contains a unique normal linear algebraic subgroup $H$ such that the quotient group $G/H$ is an Abelian variety [Ch2]. Numerous examples of algebraic groups which are neither linear algebraic groups nor Abelian varieties are given by the theory of generalized Jacobi varieties for algebraic curves with singular points [Se] (cf. Jacobi variety). A natural extension of the class of algebraic groups leads to the concept of a group scheme.


References

[Bo] A. Borel, "Linear algebraic groups", Benjamin (1969) MR0251042 Zbl 0206.49801 Zbl 0186.33201
[Ch] C. Chevalley, "La théorie des groupes algébriques" J.A. Todd (ed.), Proc. Internat. Congress Mathematicians, Edinburgh, (1958), Cambridge Univ. Press (1960) pp. 53–68 MR0114816 Zbl 0121.37803
[Ch2] C. Chevalley, "Une démonstration d'un théorème sur les groupes algébriques" J. Math. Pures Appl., 39 (1960) pp. 307–317 MR0126447 Zbl 0115.38901
[DeGr] M. Demazure, A. Grothendieck, "Schémas en groupes", Sem. Geom. Alg. (1963–1964), Lect. notes in math., 151–153, Springer (1970) MR0207703 MR0207702 Zbl 0212.52801
[Mu] D. Mumford, "Abelian varieties", Oxford Univ. Press (1974) MR2514037 Zbl 0326.14012
[Se] J.-P. Serre, "Groupes algébriques et corps de classes", Hermann (1959) MR0103191 Zbl 0097.35604
How to Cite This Entry:
Algebraic group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Algebraic_group&oldid=19516
This article was adapted from an original article by B.B. VenkovV.P. Platonov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article