Graph explorer

Algebraic tori revisited

Let $K/k$ be a finite Galois extension and $π= \fn{Gal}(K/k)$. An algebraic torus $T$ defined over $k$ is called a $π$-torus if $T\times_{\fn{Spec}(k)} \fn{Spec}(K)\simeq \bm{G}_{m,K}^n$ for some integer $n$. The set of all algebraic $π$-tori defined over $k$ under the stably isomorphism form a semigroup, denoted by $T(π)$. We will give a complete proof of the following theorem due to Endo and Miyata \cite{EM5}. Theorem. Let $π$ be a finite group. Then $T(π)\simeq C(Ω_{\bm{Z}π})$ where $Ω_{\bm{Z}π}$ is a maximal $\bm{Z}$-order in $\bm{Q}π$ containing $\bm{Z}π$ and $C(Ω_{\bm{Z}π})$ is the locally free class group of $Ω_{\bm{Z}π}$, provided that $π$ is isomorphic to the following four types of groups : $C_n$ ($n$ is any positive integer), $D_m$ ($m$ is any odd integer $\ge 3$), $C_{q^f}\times D_m$ ($m$ is any odd integer $\ge 3$, $q$ is an odd prime number not dividing $m$, $f\ge 1$, and $(\bm{Z}/q^f\bm{Z})^{\times}=\langle \bar{p}\rangle$ for any prime divisor $p$ of $m$), $Q_{4m}$ ($m$ is any odd integer $\ge 3$, $p\equiv 3 \pmod{4}$ for any prime divisor $p$ of $m$).