Lower bounds for the height and size of the ideal class group in CM-fields
type: Item
instance of: scholarly article
title: Lower bounds for the height and size of the ideal class group in CM-fields
zbMATH Open document ID: 1040.11077
author: Francesco Amoroso
author: Roberto Dvornicich
published in: Monatshefte für Mathematik
publication date: 2003-05-04T00:00:00Z
review text: The authors prove that under the assumption of the generalized Riemann hypothesis, the exponent of the ideal class group of a CM-field goes to infinity with its absolute discriminant. A weaker version of this result, namely restricting to CM-fields with a given degree, was proved by \textit{S. Louboutin} and \textit{R. Okazaki} [Math. Z. 243, 155--159 (2003; Zbl 1049.11122)]. The main result of this paper can be stated as follows, where \(d_k\), \(\Delta_k\), and \(E_k\) denote the degree, discriminant, and exponent of the ideal class group for the CM-field \(K\), respectively: for any \(\xi> 0\) and under the assumption of the generalized Riemann hypothesis for the Dedekind zeta-function of \(K\), \[ E_k\gg_\xi\max\{d^{-1}_k\log|\Delta_k|- \log d_k, d^{1-\varepsilon}_k\}/\log\log|\Delta_k|, \] where the implicit constant in \(\gg_\varepsilon\) depends only on \(\varepsilon\) and is effectively computable. A combination of algebraic, analytic, and Diophantine results related to the link between primes of small norm and algebraic numbers of small heights in CM-fields, lower bounds for the Weil absolute logarithmic height, and the effective version of the Chebotarev density theorem proved by \textit{J. C. Lagarias} and \textit{A. M. Odlyzko} in [Algebr. Number Fields, Proc. Symp. London math. Soc., Univ. Durham 1975, 409--464 (1977; Zbl 0362.12011)] are used to establish the main result. The primary result used to establish the main result is related to the size of the multiplicative relations in the class group of the CM-field, which is described as follows. Let \(G\) be a group and let \(L\) be a positive integer; define \(M_G(L)\) as the least positive integer \(A\) such that for all \(g_1,\dots, g_L\in G\) there exists \(\underline a\in Z^l\setminus\{0\}\) such that \(g^{a_1}_1,\dots,g^{a_L}_{g_L}= e\) and \(\sum_j| a_j|\leq A\). Under the assumption of the generalized Riemann hypothesis for the Dedekind zeta-function of the CM-field \(K\), the author proves that …
reviewed by: Elliot Benjamin
Mathematics Subject Classification ID: 11R29
Mathematics Subject Classification ID: 11R21
zbMATH DE Number: 1903794
zbMATH Keywords: CM-fields
zbMATH Keywords: exponent of ideal class group
zbMATH Keywords: discriminant
zbMATH Keywords: logarithmic height
zbMATH Keywords: generalized Riemann hypothesis
MaRDI profile type: Publication
full work available at URL: s00605-002-0499-7
OpenAlex ID: W2052189571
DOI: 10.1007/S00605-002-0499-7
Recommended article: On the structure of ideal class groups of CM-fields
Recommended article: Une minoration pour l'exposant du groupe de classes d'idéaux
Recommended article: Lower Bounds for Relative Class Numbers of CM-Fields
Recommended article: Q3480164
Recommended article: CM-fields and exponents of their ideal class groups
Recommended article: Q3420209
Recommended article: Lower bounds for relative class numbers of imaginary abelian number fields and CM-fields
Recommended article: Height Functions for Groups of S-units of Number Fields and Reductions Modulo Prime Ideals
Recommended article: Exponents of the ideal class groups of CM number fields
Recommended article: Fitting ideals of class groups for CM abelian extensions
description: scientific article; zbMATH DE number 1903794