# Difference between revisions of "Algebraic torus"

Ulf Rehmann (talk | contribs) |
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
||

(One intermediate revision by the same user not shown) | |||

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 | + | 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 | ||

− | |||

− | \hat T | ||

− | |||

− | T | ||

− | |||

− | G_m | ||

− | |||

− | T | ||

− | |||

− | T | ||

− | |||

− | T | ||

− | |||

− | k | ||

− | |||

− | \hat T | ||

− | |||

− | G | ||

− | |||

− | G | ||

− | |||

− | k | ||

− | |||

− | T \to \hat T | ||

− | |||

− | k | ||

− | |||

− | \Bbb Z | ||

− | |||

− | G | ||

− | |||

− | k | ||

− | |||

− | G_m | ||

− | |||

− | k | ||

− | |||

− | k | ||

− | |||

− | k | ||

− | |||

− | k | ||

− | |||

====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) {{MR|0251042}} {{ZBL|0206.49801}} {{ZBL|0186.33201}} </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 {{MR|0124326}} {{ZBL|0119.27801}} </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 {{MR|0156851}} {{ZBL|0122.39101}} </TD></TR></table> |

## Latest revision as of 16:57, 23 March 2012

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) MR0251042 Zbl 0206.49801 Zbl 0186.33201 |

[2] | T. Ono, "Arithmetic of algebraic tori" Ann. of Math. (2) , 74 : 1 (1961) pp. 101 139 MR0124326 Zbl 0119.27801 |

[3] | T. Ono, "On the Tamagawa number of algebraic tori" Ann. of Math. (2) , 78 : 1 (1963) pp. 47 73 MR0156851 Zbl 0122.39101 |

**How to Cite This Entry:**

Algebraic torus.

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Algebraic_torus&oldid=19465