Math 2.0

Group theory and generalizations Definition

Algebraic torus

Builds on Linear algebraic groupAlgebraic group

Definition

Let kk be a field with algebraic closure kΛ‰\bar{k}. Let 𝔾m=Spec⁑k[t,tβˆ’1]\mathbb{G}_m = \operatorname{Spec} k[t, t^{-1}] be the multiplicative group. An algebraic torus over kk is an algebraic group TT over kk such that TΓ—kkˉ≅𝔾m,kΛ‰nT \times_k \bar{k} \cong \mathbb{G}_{m, \bar{k}}^n as algebraic groups for some nβ‰₯0n \ge 0. The torus is split if T≅𝔾mnT \cong \mathbb{G}_m^n already over kk.

Remarks

An algebraic torus is a linear algebraic group, and nn is its dimension. One can replace kˉ\bar{k} by a separable closure of kk in the definition.

Example: over k=ℝk = \R, let TT be the circle x2+y2=1x^2 + y^2 = 1 with (x,y)(xβ€²,yβ€²)=(xxβ€²βˆ’yyβ€²,xyβ€²+xβ€²y)(x, y)(x', y') = (x x' - y y', x y' + x' y). Over β„‚\C, the map (x,y)↦x+iy(x, y) \mapsto x + iy is an isomorphism Tℂ≅𝔾m,β„‚T_{\C} \cong \mathbb{G}_{m, \C}, so TT is a torus of dimension 11. It is not split, because T(ℝ)T(\R) is compact while 𝔾m(ℝ)=β„βˆ—\mathbb{G}_m(\R) = \R^{*} is not.

Non-example: the additive group 𝔾a=Spec⁑k[x]\mathbb{G}_a = \operatorname{Spec} k[x] is not a torus. The ring kΛ‰[x]\bar{k}[x] has only constant units, while kΛ‰[t,tβˆ’1]\bar{k}[t, t^{-1}] has the unit tt, so 𝔾a,kˉ≇𝔾m,kΛ‰\mathbb{G}_{a, \bar{k}} \not\cong \mathbb{G}_{m, \bar{k}}.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Algebraic group concept
  2. Linear algebraic group concept
  3. Algebraic torus definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Algebraic_torus
About this page
Tag6EWEE3F9R8
URIm2://6EWEE3F9R8
Kinddefinition
WritingW0 stub
MSC20G15, 14L10
DefinesAlgebraic torus
UsesLinear algebraic group, Algebraic group
Changed2 November 2026

Markdown Β· JSON Β· Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.