Cyclicity of the 2-class group of the first Hilbert 2-class field of some number fields
type: Item
instance of: scholarly article
title: Cyclicity of the 2-class group of the first Hilbert 2-class field of some number fields
author: Abdelmalek Azizi
author: Mohammed Rezzougui
author: Abdelkader Zekhnini
published in: Communications in Mathematics
publication date: 2024-08-23T00:00:00Z
review text: For a number field \(k\), denote by \(k_2^{(1)}\), the Hilbert \(2\)-class field of \(k\); that is, the maximal unramified, abelian extension of degree a power of \(2\), over \(k\). Write \(k_2^{(0)}\) for \(k\), and \(k_2^{(i+1)}\) for the Hilbert \(2\)-class field of \(k_2^{(i)}\) for each \(i \geq 0\). It is an unresolved problem to determine when this \(2\)-class field tower is infinite. When the rank of the \(2\)-Sylow subgroup \(\mathrm{Cl}_2(k_2^{(1)})\) is \(\leq 2\), \N\textit{N. Blackburn} showed in [Proc. Camb. Philos. Soc. 53, 19--27 (1957; Zbl 0077.03202)] that the tower has finite length \(\leq 3\). Further, in 1980, \textit{B. Schmithals} [Arch. Math. 34, 307--312 (1980; Zbl 0448.12008)] constructed imaginary quadratic fields \(k\) with infinite \(2\)-class field tower, if the rank of \(\mathrm{Cl}_2(k_2^{(1)})\) is \(3\). Hence, it is an important problem to determine all the fields for which the last-mentioned rank is \(\leq 2\).\N\NA project started by E. Benjamin and others more than two decades ago, aims to characterize all quadratic fields with the above rank condition. The present paper also falls in line with this project.\N\NHere, the authors consider real quadratic fields \(k\), and aim to study when \(\mathrm{Cl}_2(k_2^{(1)})\) is cyclic, under the assumption that \(\mathrm{Cl}_2(k)\) has the type \((2^n, 2^m)\) for some \(n \geq 1, m \geq 2\), and the discriminant of \(k\) is divisible by some primes congruent to \(3\) modulo \(4\). More precisely, they consider the fields \(k = \mathbb{Q}(\sqrt{2p_1p_2q})\) where \(p_1,p_2\) are primes \(\equiv 1\) mod \(4\) and, \(q\) is a prime \(\equiv 3\) mod \(4\), where \(\mathrm{Cl}_2(k)\) is supposed to have type \((2,2^n)\) with \(n \geq 2\). They obtain precise criteria for \(\mathrm{Gal}(k_2^{(2)}/k)\) to be metacyclic, and if it is not metacyclic, they obtain precise criteria for \(\mathrm{Cl}_2(k_2^{(1)})\) to be a cyclic group. Their work is a continuation of their earlier work [Int. J. Numb…
reviewed by: Balasubramanian Sury
Mathematics Subject Classification ID: 11R29
Mathematics Subject Classification ID: 20D15
zbMATH DE Number: 7900700
zbMATH Keywords: Hilbert class field
zbMATH Keywords: metacyclic groups
zbMATH Keywords: real quadratic fields
MaRDI profile type: MaRDI publication profile
cites work: On the rank of the \(2\)-class group of \(\mathbb{Q}(\sqrt m,\sqrt d)\) where \(m=2\) or a prime \(p\equiv 1\pmod 4\)
cites work: Capitulation of the 2-ideal classes of biquadratic fields whose class field differs from the Hilbert class field
cites work: On the Hilbert 2-class field of some quadratic number fields
cites work: On the maximal unramified pro-2-extension of certain cyclotomic \(\mathbb{Z}_2\)-extensions
cites work: Some real quadratic number fields with their Hilbert 2-class field having cyclic 2-class group
cites work: Imaginary quadratic fields \(k\) with cyclic \(\text{Cl}_2(k^1)\)
cites work: Real quadratic fields with abelian 2-class field tower
cites work: Imaginary quadratic fields \(k\) with \(\text{Cl}_ 2(k)\simeq(2,2^ m)\) and rank \(\text{Cl}_ 2(k^ 1)=2\).
cites work: Real Quadratic Number Fields with 2-Class Group of Type (2,2).
cites work: Some real quadratic number fields whose Hilbert 2-class fields have class number congruent to 2 modulo 4
cites work: On the rank of the 2-class group of the Hilbert 2-class field of some quadratic fields
cites work: Q1672020
cites work: Q3241238
cites work: Generalizations of Certain Elementary Theorems on p -Groups
cites work: Q4022291
cites work: Q5577154
cites work: Sur les \(\ell\)-classes d'idéaux dans les extensions cycliques rélatives de degré premier \(\ell\). I
cites work: Sur le 2-groupe des classes d'idéaux des corps quadratiques.
cites work: Number fields with class number congruent to 4 mod 8 and Hilbert's Theorem 94
cites work: On the parity of the class number of a biquadratic field
cites work: Kuroda's class number formula
cites work: Arithmetischer Beweis des Satzes über die Anzahl der durch vier teilbaren Invarianten der absoluten Klassengruppe im quadratischen Zahlkörper.
cites work: Konstruktion imaginärquadratischer Körper mit unendlichem Klassenkörperturm
cites work: Über die Lösbarkeit der Gleichung \(t^2-Du^2=-4\)
cites work: Q5541475
DOI: 10.46298/CM.10983
Recommended article: On the Hilbert 2-class field of some quadratic number fields
Recommended article: On the Hilbert 2-class fields of some real quadratic number fields and applications
Recommended article: Some real quadratic number fields with their Hilbert 2-class field having cyclic 2-class group
Recommended article: Real quadratic number fields with metacyclic Hilbert $2$-class field tower
Recommended article: On the second Hilbert 2-class field of real quadratic number fields with 2-class group isomorphic to \((2,2^n)\), \(n\geq 2\)
copyright license: Creative Commons Attribution 4.0 International
description: scientific article; zbMATH DE number 7900700