Cyclotomic units in \(\mathbb Z_p\)-extensions
type: Item
instance of: scholarly article
title: Cyclotomic units in \(\mathbb Z_p\)-extensions
zbMATH Open document ID: 0824.11071
author: Radan Kučera
author: Jan Nekovář
published in: Journal of Algebra
publication date: 1995-11-15T00:00:00Z
review text: Let \(k\) be an abelian field and let \(\zeta_m\) denote a primitive \(m\)-th root of 1. In the unit group \(E_k\) of \(k\), the units generated by \(-1\) and the norms of all numbers \(1- \zeta_m^a\) (from any possible field \(\mathbb Q (\zeta_m)\)) constitute a subgroup, the so-called circular units in Sinnott's sense, denoted by \(C_k\). The authors call another subgroup of \(E_k\) the Washington group of cyclotomic units and denote it by \(\overline {C}_k\); this is defined as \(C_{\mathbb Q (\zeta_m)} \cap E_k\), where \(m\) is the conductor of \(k\). The group \(C_k\) is contained in \(\overline {C}_k\). For a prime \(p\), let \(K_n\) denote the \(n\)-th layer \((n\geq 0)\) in the cyclotomic \(\mathbb Z_ p\)-extension \(K/k\). Denote the projective limits (with respect to norms) of \(C_{K_n} \otimes \mathbb Z_ p\) and \(\overline {C}_{K_n} \otimes \mathbb Z_p\) by \(C\) and \(\overline {C}\), respectively. The authors prove that the index \([\overline {C}: C]\) is finite. In fact, they prove the following theorem: For \(n\) sufficiently large, \([ E_{K_n}: \overline {C}_{K_n}]= cp^{t_n} h^+_{K_n}\) with \(0\leq t_ n< d\), where \(c\) and \(d\) are rational numbers depending only on \(K\). Here \(h^+_{K_n}\) denotes the class number of the maximal real subfield of \(K_n\). The finiteness result follows on combining this theorem with \textit{W. Sinnott}'s results about \(C_{K_n}\) [Invent. Math. 62, 181--234 (1980; Zbl 0465.12001)]. The proof of the theorem makes use of sophisticated techniques developed by Sinnott [loc. cit.].
Mathematics Subject Classification ID: 11R23
Mathematics Subject Classification ID: 11R27
Mathematics Subject Classification ID: 11R18
Mathematics Subject Classification ID: 11R20
zbMATH DE Number: 735311
zbMATH Keywords: Iwasawa theory
zbMATH Keywords: abelian fields
zbMATH Keywords: cyclotomic units
zbMATH Keywords: cyclotomic \(\mathbb Z_ p\)-extension
MaRDI profile type: Publication
full work available at URL: jabr.1995.1022
OpenAlex ID: W2055784105
DOI: 10.1006/JABR.1995.1022
description: scientific article; zbMATH DE number 735311