On a construction of \(p\)-units in abelian fields
type: Item
instance of: scholarly article
title: On a construction of \(p\)-units in abelian fields
zbMATH Open document ID: 0772.11043
DOI: 10.1007/BF01232030
published in: Inventiones Mathematicae
publication date: 1993-06-29T00:00:00Z
full work available at URL: https://eudml.org/doc/144024
review text: For a fixed prime \(p\) and a number field \(K\), let \(E_ p(K)\) denote the group of \(p\)-units of \(K\), i.e., elements of \(K\) that are locally units at all finite places of \(K\) outside \(S_ p(K)\), the set of prime ideals above \(p\). Let \(L\) be an abelian field of conductor \(f\) and assume that \(p\) splits completely in \(L\). An important \(p\)-unit of \(L\) is obtained by means of the Gauss sum \(\tau(\chi^{-1})\), where \(\chi\) is the power residue character modulo \({\mathfrak P}\in S_ p(\mathbb{Q}(\zeta_ f))\) (\(\zeta_ f\) a primitive \(f\)th root of 1). In fact, \(\tau(\chi^{- 1})^ f\) is an element of the splitting field of \(p\) in \(\mathbb{Q}(\zeta_ f)\) and its norm in \(L\) is such a \(p\)-unit. The author introduces ``cyclotomic \(p\)-units'' \(\kappa(L)\) of \(L\) whose role for the plus-part (even part) of the class group of \(L\) is in some sense analogous to that played by the above \(p\)-unit for the minus-part. The construction of \(\kappa(L)\) stems for a ``wild'' variant of a method of F. Thaine, V. A. Kolyvagin and others. To give an idea of this construction, let \(p>2\) and, for \(i\geq 0\), let \(L_ i\subset L(\zeta_{p^{i+1}})\) be the unique extension of \(L\) which is of degree \(p^ i\) and linearly disjoint with \(L(\zeta_ p)\). Let \(\gamma_ i\) be the generator of the Galois group of \(L_ i/L\). Put \[ \alpha_ i=N_{\mathbb{Q}(\zeta_{fp^{i+1}})/L_ i} (1- \zeta_{fp^{i+1}}). \] Then \(N_{L_ i/L}(\alpha_ i)=1\) and Hilbert's theorem 90 yields an element \(\beta\in L_ i^ \times\) such that \(\beta_ i^{\gamma_ i-1}=\alpha_ i\). The element \(\kappa_ i=N_{L_ i/L} (\beta_ i)\) is well-defined modulo \(p^ i\)th powers, and by letting \(i\) vary one defines (after a normalisation) \(\kappa(L)\) to be the projective limit of \(\gamma_ i\). This \(p\)-unit \(\kappa(L)\) is actually not an element of \(E_ p(L)\) but, rather, of \(E_ p(L)\otimes_ \mathbb{Z} \mathbb{Z}_ p\), where \(\mathbb{Z}_ p\) denotes the ring of \(p\)-adic integer…
Mathematics Subject Classification ID: 11R20
Mathematics Subject Classification ID: 11R18
Mathematics Subject Classification ID: 11R29
zbMATH DE Number: 220740
zbMATH Keywords: group of \(p\)-units
zbMATH Keywords: Gauss sum
zbMATH Keywords: cyclotomic \(p\)-units
zbMATH Keywords: cyclotomic fields
zbMATH Keywords: class groups
zbMATH Keywords: Stickelberger's theorem
author: David Solomon
MaRDI profile type: Publication
cites work: On the units of algebraic number fields
cites work: Division values in local fields
cites work: Remarques sur les unites cyclotomiques et les unites elliptiques
cites work: Class fields of abelian extensions of \(\mathbb Q\)
cites work: Annulation de groupes de classes réelles
cites work: On the Stickelberger ideal and the circular units of an abelian field
cites work: On the ideal class groups of real abelian number fields
cites work: Q3943047
description: scientific article; zbMATH DE number 220740