On the \(\ell \)-part of the \(\mathbb Z_{p_1}\times \dots \times \mathbb Z_{p_s}\)-extension of \(\mathbb Q\)
type: Item
instance of: scholarly article
title: On the \(\ell \)-part of the \(\mathbb Z_{p_1}\times \dots \times \mathbb Z_{p_s}\)-extension of \(\mathbb Q\)
zbMATH Open document ID: 1276.11179
author: Takayuki Morisawa
published in: Journal of Number Theory
publication date: 2013-04-15T00:00:00Z
review text: Let \(S\subset \mathbb{N}\) be a non-empty finite set of prime numbers. Let \(\mathbb{Q}^S/\mathbb{Q}\) be the abelian extension whose Galois group is topologically isomorphic to the direct product \(\prod_{p\in S}\mathbb{Z}_p\), where \(\mathbb{Z}_p\) is the ring of \(p\)-adic integers. We denote by \(\Omega_S\) the compositum of the \(p^n\)-th cyclotomic fields over \(\mathbb{Q}\), where \(p\) runs through \(S\) and \(n\) through \( \mathbb{N}\). Let \(l\) be a prime number such that \(l\not \in S\). Let \(F\) be the decomposition field of \(l\) in the extension \(\Omega_S/\mathbb{Q}\). The author defines an explicit constant \(C\) which depends only on S and \(F\). He proves that if \(l>C\), then \(l\) does not divide the class numbers of all intermediate fields of \(\mathbb{Q}^S/\mathbb{Q}\) with finite degree over \(\mathbb{Q}\) . The main result improves Theorem 1 in [\textit{K. Horie}, J. Math. Soc. Japan 59, No. 3, 811--824 (2007; Zbl 1128.11052)] by giving a better constant. The proof which refines Horie's method uses among other things: circular units, height of algebraic numbers and Minkowski's convex body theorem.
reviewed by: Bouchaïb Sodaïgui
Mathematics Subject Classification ID: 11R29
Mathematics Subject Classification ID: 11Y40
Mathematics Subject Classification ID: 11R06
zbMATH DE Number: 6154093
zbMATH Keywords: class number
zbMATH Keywords: \(\mathbb Z_{p}\)-extension
zbMATH Keywords: circular units
zbMATH Keywords: Height of algebraic numbers
MaRDI profile type: Publication
full work available at URL: j.jnt.2012.09.017
OpenAlex ID: W186217915
DOI: 10.1016/J.JNT.2012.09.017
Recommended article: Triviality in ideal class groups of Iwasawa-theoretical abelian number fields
Recommended article: Weber’s Class Number One Problem
Recommended article: Mahler measure and Weber's class number problem in the cyclotomic \(\mathbb Z_p\)-extension of \(\mathbb Q\) for odd prime number \(p\)
Recommended article: Q3621436
Recommended article: Annihilators for the class group of a cyclic field of prime power degree III
Recommended article: On the class number of the lpth cyclotomic number field
Recommended article: Q3754699
Recommended article: Mahler measure of the Horie unit and Weber's class number problem in the cyclotomic Z3-extension of Q
Recommended article: Class numbers of algebraic number fields of Eisenstein type
Recommended article: Certain primary components of the ideal class group of the \(\mathbb Z_p\)-extension over the rationals
description: scientific article; zbMATH DE number 6154093