Namespaces
Variants
Actions

Difference between revisions of "Algebraic torus"

From Encyclopedia of Mathematics
Jump to: navigation, search
m
Line 1: Line 1:
An [[Algebraic group|algebraic group]] that is isomorphic over some extension of the ground field to the direct product of a finite number of multiplicative groups <math>
+
An [[Algebraic group|algebraic group]] that is isomorphic over some extension of the ground field to the direct product of a finite number of multiplicative groups $G_m$. The group $\hat T$ of all algebraic homomorphisms of an algebraic torus $T$ in $G_m$ is known as the character group of $T$; it is a free Abelian group of a rank equal to the dimension of $T$. If the algebraic torus $T$ is defined over a field $k$, then $\hat T$ has a $G$-module structure, where $G$ is the Galois group of the separable closure of $k$. The functor $T \to \hat T$ defines a duality between the category of algebraic tori over $k$ and the category of $\Bbb Z$-free $G$-modules of finite rank. An algebraic torus over $k$ that is isomorphic to a product of groups $G_m$ over its ground field $k$ is called split over $k$; any algebraic torus over $k$ splits over a finite separable extension of $k$. The role played by algebraic tori in the theory of algebraic groups greatly resembles the role played by tori in the theory of Lie groups. The study of algebraic tori defined over algebraic number fields and other fields, such as finite fields, occupies an important place in problems of arithmetic and in the classification of algebraic groups. Cf. [[Linear algebraic group|Linear algebraic group]]; [[Tamagawa number|Tamagawa number]].
G_m
 
</math>. The group <math>
 
\hat T
 
</math> of all algebraic homomorphisms of an algebraic torus <math>
 
T
 
</math> in <math>
 
G_m
 
</math> is known as the character group of <math>
 
T
 
</math>; it is a free Abelian group of a rank equal to the dimension of <math>
 
T
 
</math>. If the algebraic torus <math>
 
T
 
</math> is defined over a field <math>
 
k
 
</math>, then <math>
 
\hat T
 
</math> has a <math>
 
G
 
</math>-module structure, where <math>
 
G
 
</math> is the Galois group of the separable closure of <math>
 
k
 
</math>. The functor <math>
 
T \to \hat T
 
</math> defines a duality between the category of algebraic tori over <math>
 
k
 
</math> and the category of <math>
 
\Bbb Z
 
</math>-free <math>
 
G
 
</math>-modules of finite rank. An algebraic torus over <math>
 
k
 
</math> that is isomorphic to a product of groups <math>
 
G_m
 
</math> over its ground field <math>
 
k
 
</math> is called split over <math>
 
k
 
</math>; any algebraic torus over <math>
 
k
 
</math> splits over a finite separable extension of <math>
 
k
 
</math>. The role played by algebraic tori in the theory of algebraic groups greatly resembles the role played by tori in the theory of Lie groups. The study of algebraic tori defined over algebraic number fields and other fields, such as finite fields, occupies an important place in problems of arithmetic and in the classification of algebraic groups. Cf. [[Linear algebraic group|Linear algebraic group]]; [[Tamagawa number|Tamagawa number]].
 
  
 
====References====
 
====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">  T. Ono,  "Arithmetic of algebraic tori"  ''Ann. of Math. (2)'' , '''74''' :  1  (1961)  pp. 101 139</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  T. Ono,  "On the Tamagawa number of algebraic tori"  ''Ann. of Math. (2)'' , '''78''' :  1  (1963)  pp. 47 73</TD></TR></table>
 
<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">  T. Ono,  "Arithmetic of algebraic tori"  ''Ann. of Math. (2)'' , '''74''' :  1  (1961)  pp. 101 139</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  T. Ono,  "On the Tamagawa number of algebraic tori"  ''Ann. of Math. (2)'' , '''78''' :  1  (1963)  pp. 47 73</TD></TR></table>

Revision as of 19:56, 9 September 2011

An algebraic group that is isomorphic over some extension of the ground field to the direct product of a finite number of multiplicative groups $G_m$. The group $\hat T$ of all algebraic homomorphisms of an algebraic torus $T$ in $G_m$ is known as the character group of $T$; it is a free Abelian group of a rank equal to the dimension of $T$. If the algebraic torus $T$ is defined over a field $k$, then $\hat T$ has a $G$-module structure, where $G$ is the Galois group of the separable closure of $k$. The functor $T \to \hat T$ defines a duality between the category of algebraic tori over $k$ and the category of $\Bbb Z$-free $G$-modules of finite rank. An algebraic torus over $k$ that is isomorphic to a product of groups $G_m$ over its ground field $k$ is called split over $k$; any algebraic torus over $k$ splits over a finite separable extension of $k$. The role played by algebraic tori in the theory of algebraic groups greatly resembles the role played by tori in the theory of Lie groups. The study of algebraic tori defined over algebraic number fields and other fields, such as finite fields, occupies an important place in problems of arithmetic and in the classification of algebraic groups. Cf. Linear algebraic group; Tamagawa number.

References

[1] A. Borel, "Linear algebraic groups" , Benjamin (1969)
[2] T. Ono, "Arithmetic of algebraic tori" Ann. of Math. (2) , 74 : 1 (1961) pp. 101 139
[3] T. Ono, "On the Tamagawa number of algebraic tori" Ann. of Math. (2) , 78 : 1 (1963) pp. 47 73
How to Cite This Entry:
Algebraic torus. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Algebraic_torus&oldid=19552
This article was adapted from an original article by V.E. Voskresenskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article