Galois relations for cyclotomic numbers and \(p\)-units
type: Item
instance of: scholarly article
title: Galois relations for cyclotomic numbers and \(p\)-units
zbMATH Open document ID: 0807.11054
published in: Journal of Number Theory
publication date: 1995-02-26T00:00:00Z
review text: Let \(L/\mathbb{Q}\) be an abelian real field of finite degree and let \(f= f_ L\) denote the conductor of \(L\). For \(\zeta_ f= \exp(2\pi i/f)\), put \(\mathbb{Q}(f)= \mathbb{Q}(\zeta_ f)\). Then the cyclotomic number \(\varepsilon_ L\) attached to \(L\) is defined by \(N_{\mathbb{Q} (f)/L} (1- \zeta_ f)\). In this paper the author studies the relations between the \(\varepsilon_ K\)'s for subfields \(K\) of \(L\), and the relations between the \(\varepsilon_ K\)'s and the cyclotomic \(p\)-units of \(L\) introduced by the author in the preceding paper [Invent. Math. 109, 329--350 (1992; Zbl 0772.11043)]. The first part of the paper studies the cyclotomic numbers of \(L\). Set \({\mathcal S}={\mathcal S}(L)=\{\)subfields \(K\) of \(L\) with \(K\neq \mathbb{Q}\}\cup \{\)prime factors of \(f_ L\}\). For a subset \({\mathcal T}\) of \({\mathcal S}\), let \({\mathcal D}_{\mathcal T}\) denote the \(\mathbb{Z} \text{Gal} (K/\mathbb{Q})\)- submodule of \(L^ \times\) generated by the \(\varepsilon_ K\)'s for a field \(K\in {\mathcal T}\) and an integer \(r\in{\mathcal T}\). Then \({\mathcal D}_{\mathcal T}\) is called the group of \({\mathcal T}\)-cyclotomic numbers of \(L\). Set \(W_{\mathcal T}= \oplus_{K\in{\mathcal T}} \mathbb{Z} \text{Gal} (K/\mathbb{Q}) \oplus_{r\in{\mathcal T}} \mathbb{Z}\), and define a surjective homomorphism \[ \alpha_{\mathcal T}: W_{\mathcal T}\to {\mathcal D}_{\mathcal T} \qquad \text{by} \qquad \alpha_{\mathcal T}(\sum w_ K\oplus \sum w_ r)= \prod \varepsilon_ K^{w_ K}\times \prod r^{w_ r}. \] Let \(R_{\mathcal T}\) denote the kernel of \(\alpha_{\mathcal T}\). For \(\sigma,\sigma'\in{\mathcal T}\), let \(w(\sigma/ \sigma')\) denote an element of \(W_{\mathcal T}\) defined explicitly using the norm and Frobenius symbols, and let \(U_{\mathcal T}\) denote the \(\mathbb{Z} \text{Gal} (L/\mathbb{Q})\)- submodule generated by \(w(\sigma/\sigma')\) for \(\sigma, \sigma'\in {\mathcal T}\). Then it is seen that \(U_{\mathcal T}\subset R_{\mathcal T}…
Mathematics Subject Classification ID: 11R33
Mathematics Subject Classification ID: 11R27
zbMATH DE Number: 556363
zbMATH Keywords: cyclotomic numbers
zbMATH Keywords: cyclotomic \(p\)-units
author: David Solomon
MaRDI profile type: Publication
full work available at URL: jnth.1994.1010
OpenAlex ID: W2041979397
DOI: 10.1006/JNTH.1994.1010
description: scientific article; zbMATH DE number 556363