English

Algebraic tori revisited

Number Theory 2015-08-13 v3 Group Theory

Abstract

Let K/kK/k be a finite Galois extension and π=\fnGal(K/k)\pi = \fn{Gal}(K/k). An algebraic torus TT defined over kk is called a π\pi-torus if T×\fnSpec(k)\fnSpec(K)Gm,KnT\times_{\fn{Spec}(k)} \fn{Spec}(K)\simeq \bm{G}_{m,K}^n for some integer nn. The set of all algebraic π\pi-tori defined over kk under the stably isomorphism form a semigroup, denoted by T(π)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(π)C(ΩZπ)T(\pi)\simeq C(\Omega_{\bm{Z}\pi}) where ΩZπ\Omega_{\bm{Z}\pi} is a maximal Z\bm{Z}-order in Qπ\bm{Q}\pi containing Zπ\bm{Z}\pi and C(ΩZπ)C(\Omega_{\bm{Z}\pi}) is the locally free class group of ΩZπ\Omega_{\bm{Z}\pi}, provided that π\pi is isomorphic to the following four types of groups : CnC_n (nn is any positive integer), DmD_m (mm is any odd integer 3\ge 3), Cqf×DmC_{q^f}\times D_m (mm is any odd integer 3\ge 3, qq is an odd prime number not dividing mm, f1f\ge 1, and (Z/qfZ)×=pˉ(\bm{Z}/q^f\bm{Z})^{\times}=\langle \bar{p}\rangle for any prime divisor pp of mm), Q4mQ_{4m} (mm is any odd integer 3\ge 3, p3(mod4)p\equiv 3 \pmod{4} for any prime divisor pp of mm).

Keywords

Cite

@article{arxiv.1406.0949,
  title  = {Algebraic tori revisited},
  author = {Ming-Chang Kang},
  journal= {arXiv preprint arXiv:1406.0949},
  year   = {2015}
}

Comments

To appear in Asian J. Math. ; the title is changed

R2 v1 2026-06-22T04:30:10.386Z