Algebraic tori revisited

TL;DR

This paper revisits algebraic tori associated with finite Galois extensions, providing a complete proof of a theorem linking the classification of $m{ ext{pi}}$-tori to the locally free class group of a maximal order in the group algebra, for specific finite groups.

Contribution

It offers a complete proof of Endo and Miyata's theorem relating algebraic $m{ ext{pi}}$-tori to class groups for certain finite groups, clarifying their classification.

Findings

Classifies algebraic $m{ ext{pi}}$-tori for specific finite groups.

Establishes an isomorphism between $T(m{ ext{pi}})$ and class groups of maximal orders.

Provides a detailed proof of a key theorem in the theory of algebraic tori.

Abstract

Let $K/k$ be a finite Galois extension and $\pi = \fn{Gal}(K/k)$. An algebraic torus $T$ defined over $k$ is called a $\pi$-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 $\pi$-tori defined over $k$ under the stably isomorphism form a semigroup, denoted by $T(\pi)$. We will give a complete proof of the following theorem due to Endo and Miyata \cite{EM5}. Theorem. Let $\pi$ be a finite group. Then $T(\pi)\simeq C(\Omega_{\bm{Z}\pi})$ where $\Omega_{\bm{Z}\pi}$ is a maximal $\bm{Z}$-order in $\bm{Q}\pi$ containing $\bm{Z}\pi$ and $C(\Omega_{\bm{Z}\pi})$ is the locally free class group of $\Omega_{\bm{Z}\pi}$, provided that $\pi$ 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$).