pith. sign in

arxiv: 2508.18402 · v2 · submitted 2025-08-25 · 🧮 math.NT

On the Existence of the Maximal Unramified Pro-2-Extension over the Cyclotomic mathbb{Z}₂-Extension with Prescribed Metacyclic Galois Group

Mohamed Mahmoud Chems-Eddin , Hamza El Mamry This is my paper

Pith reviewed 2026-05-18 20:47 UTC · model grok-4.3

classification 🧮 math.NT
keywords metacyclic groupspro-2 extensionsunramified extensionscyclotomic Z2-extensionGreenberg's conjecturequadratic fieldsbiquadratic fieldsGalois group realizations
0
0 comments X

The pith

Specific quadratic fields allow metacyclic groups to appear as Galois groups of their maximal unramified pro-2 extensions over cyclotomic Z2-extensions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper investigates when metacyclic-nonmodular groups whose abelianization is the direct product of Z/2Z and Z/2^m Z can be realized as the Galois group of the maximal unramified pro-2-extension over the cyclotomic Z2-extension of particular number fields. The main objects are real quadratic fields Q(sqrt(eta q r s)), biquadratic fields Q(sqrt(eta q), sqrt(r s)) for eta equal to 1 or 2, and Frohlich fields Q(sqrt(q), sqrt(r), sqrt(s)), all built from odd primes q, r, s. If these realizations hold, they give explicit examples of controlled Galois groups in infinite 2-extensions, which can be used to test or prove parts of Greenberg's conjecture on Iwasawa invariants. The work also supplies new techniques for analyzing the conjecture in these settings.

Core claim

The paper shows that for the real quadratic fields F equal to Q of sqrt of eta q r s, the real biquadratic fields K equal to Q of sqrt of eta q and sqrt of r s, and the Frohlich fields F equal to Q of sqrt q, sqrt r, sqrt s, with suitable conditions on the odd primes, the Galois group of the maximal unramified pro-2 extension over the cyclotomic Z2-extension is a metacyclic-nonmodular group with abelianization Z/2Z times Z/2^m Z.

What carries the argument

The metacyclic-nonmodular groups with abelianization Z/2Z × Z/2^m Z that are prescribed to be the Galois groups of the maximal unramified pro-2-extensions in the cyclotomic towers of the selected fields.

If this is right

  • The results yield concrete instances supporting the validity of Greenberg's conjecture for the listed quadratic and multiquadratic fields.
  • The metacyclic structure limits the possible growth of class numbers in the 2-power extensions.
  • Similar group realizations may be possible for other families of number fields of 2-power degree.
  • New methods are introduced that could apply to studying unramified extensions in other Iwasawa settings.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Explicit verification could involve calculating the 2-class groups of finite subextensions in the cyclotomic tower for small choices of q, r, s satisfying the conditions.
  • These constructions might relate to the study of capitulation in class field towers or the structure of 2-class groups in quadratic fields.
  • Generalizing to other primes or higher degree fields could provide broader insights into pro-2 Galois groups in unramified towers.

Load-bearing premise

The odd primes q, r, s are assumed to satisfy certain splitting or congruence conditions that make the maximal unramified pro-2 extension have exactly the desired metacyclic Galois group.

What would settle it

An explicit computation for particular primes q, r, s that satisfy the conditions, showing that the Galois group of the unramified pro-2 extension differs from the expected metacyclic group in its order or relations.

Figures

Figures reproduced from arXiv: 2508.18402 by Hamza El Mamry, Mohamed Mahmoud Chems-Eddin.

Figure 1
Figure 1. Figure 1 [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Where the bullets (in [PITH_FULL_IMAGE:figures/full_fig_p015_2.png] view at source ↗
read the original abstract

For an integer $m\geq 2$, we aim to investigate the realizability of types of metacyclic-nonmodular groups, whose abelianization is $\mathbb{Z}/2 \mathbb{Z}\times\mathbb{Z}/2^m \mathbb{Z}$, as the Galois group of the maximal unramified $2$-extension (resp. pro-$2$-extension) over certain number fields of $2$-power degree (resp. cyclotomic $\mathbb Z_2$-extensions). Furthermore, we present some new techniques for studying Greenberg's conjecture for some number fields. In particular, the reader can find results concerning the real quadratic fields $F=\mathbb{Q}(\sqrt{\eta q rs})$, the real biquadratic fields $K=\mathbb{Q}(\sqrt{\eta q},\sqrt{rs})$, with $\eta\in\{1,2\}$, and the Fr\"ohlich multiquadratic fields of the form $\mathbb{F}=\mathbb{Q}(\sqrt{q }, \sqrt {r}, \sqrt{s})$, where $q$, $r$ and $s$ are odd prime numbers.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper investigates the realizability of metacyclic-nonmodular groups with abelianization ℤ/2ℤ × ℤ/2^m ℤ as Galois groups of the maximal unramified 2-extension (or pro-2-extension) over the cyclotomic ℤ₂-extension of specific fields: real quadratic fields F = ℚ(√(η q r s)), real biquadratic fields K = ℚ(√(η q), √(r s)) with η ∈ {1,2}, and Fröhlich multiquadratic fields ℱ = ℚ(√q, √r, √s), where q, r, s are odd primes. Explicit splitting and congruence conditions on the primes (residue classes mod 8 or 16) are used to control the 2-adic Hilbert class field and complex conjugation action. The proofs compute 2-class groups via genus theory and capitulation, then apply Iwasawa theory to identify the desired Galois group structure. New techniques for studying Greenberg's conjecture are also presented as independent checks.

Significance. If the main results hold, the work provides explicit, verifiable examples of prescribed metacyclic Galois groups arising in Iwasawa-theoretic settings for unramified pro-2 extensions, advancing the classification of possible Galois groups over cyclotomic ℤ₂-extensions. The explicit congruence conditions and use of standard tools (genus theory, capitulation) make the constructions checkable. The new techniques for Greenberg's conjecture are framed as independent verifications rather than assumptions, which strengthens their potential utility. The stress-test concern regarding unspecified conditions and circularity does not land, as the conditions are stated in the main theorems and applied directly without hidden dependencies.

major comments (1)
  1. [§5] §5, the Iwasawa-theoretic identification: while the abelianization is computed from the 2-class group, the argument that the full pro-2 Galois group remains metacyclic-nonmodular in the limit relies on the action of the generator of Gal(ℚ(ζ_{2^∞})/ℚ) being compatible with the capitulation; a brief explicit matrix or relation check in one of the main cases (e.g., for m=3) would make this step fully transparent.
minor comments (2)
  1. [§2] The field notations F, K, and ℱ are used consistently in the statements but occasionally overlap in the introductory paragraphs; a single clarifying sentence at the start of §2 would prevent any momentary confusion.
  2. [§1] A few citations to classical results on 2-class groups (e.g., to works of Fröhlich or to standard genus-theory formulas) could be added for completeness in the background section.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive suggestion regarding the transparency of the Iwasawa-theoretic identification in §5. We address this point below.

read point-by-point responses

  1. Referee: [§5] §5, the Iwasawa-theoretic identification: while the abelianization is computed from the 2-class group, the argument that the full pro-2 Galois group remains metacyclic-nonmodular in the limit relies on the action of the generator of Gal(ℚ(ζ_{2^∞})/ℚ) being compatible with the capitulation; a brief explicit matrix or relation check in one of the main cases (e.g., for m=3) would make this step fully transparent.

    Authors: We agree that an explicit verification would enhance clarity. In the revised manuscript, we have added a brief matrix representation of the action of the topological generator of Gal(ℚ(ζ_{2^∞})/ℚ) together with the corresponding relations for the case m=3. This check confirms compatibility with the capitulation maps and shows that the metacyclic-nonmodular structure is preserved under the Iwasawa limit. The addition appears at the conclusion of §5. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on explicit conditions and standard Iwasawa theory

full rationale

The paper states explicit splitting and congruence conditions on the odd primes q, r, s in the main theorems. These are used to compute 2-class groups via genus theory and capitulation, followed by application of Iwasawa theory to determine the Galois group of the maximal unramified pro-2 extension over the cyclotomic Z_2-extension. The techniques for Greenberg's conjecture are presented as independent checks rather than assumptions. No steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the derivation is self-contained against external benchmarks from class field theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The abstract relies on standard background from Iwasawa theory and class-field theory without introducing new free parameters or postulated entities.

axioms (1)
  • domain assumption Standard theorems of Iwasawa theory and class-field theory apply to the cyclotomic Z2-extensions of the quadratic and multiquadratic fields under consideration.
    The realizability statements presuppose these background results to control ramification and Galois groups.

pith-pipeline@v0.9.0 · 5749 in / 1538 out tokens · 96446 ms · 2026-05-18T20:47:21.450171+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

  1. [1]

    Aaboun and A

    B. Aaboun and A. Zekhnini, On the metacyclic 2-groups whose abelianizations are of type (2, 2n), n ≥ 2 and applications, Res. Number Theory 9, 55 (2023) (cited on pages 5 and 7)

    work page 2023

  2. [2]

    Azizi, Sur la capitulation des 2-classes d’idéaux dek = Q(√2pq, i), où p ≡ − q ≡ 1 (mod 4), Acta

    A. Azizi, Sur la capitulation des 2-classes d’idéaux dek = Q(√2pq, i), où p ≡ − q ≡ 1 (mod 4), Acta. Arith. 94 (2000), 383-399. (cited on page 8)

    work page 2000

  3. [3]

    Azizi, M

    A. Azizi, M. Rezzougui and A. Zekhnini, On the maximal unramified pro-2-extension of cer- tain cyclotomicZ2-extensions, Period. Math. Hung. 83 (2021), 54–66. (cited on pages 2, 7, 15, and 16)

    work page 2021

  4. [4]

    Azizi, M

    A. Azizi, M. Rezzougui and A. Zekhnini, Structure of the Galois group of the maximal unramified pro-2-extension of someZ2-extensions, 100 (2022), 11-28. (cited on page 2)

    work page 2022

  5. [5]

    Azizi, A

    A. Azizi, A. Zekhnini and M. Taous, On the strongly ambiguous classes ofK/Q(i) where K = Q(√2p1p2, i), Asian-European Journal of Mathematics, 7 (2014), 1450021 (26 pages) (cited on pages 10, 11, and 14)

    work page 2014

  6. [6]

    Benjamin, Some real quadratic number fields with their Hilbert 2-class field having cyclic 2-class group, J

    E. Benjamin, Some real quadratic number fields with their Hilbert 2-class field having cyclic 2-class group, J. Number Theory, 173 (2017), 529-546. (cited on page 1)

    work page 2017

  7. [7]

    Benjamin, On the 2-class field tower of some imaginary biquadratic number fields, Ra- manujan J., 11 (2006), 103–110

    E. Benjamin, On the 2-class field tower of some imaginary biquadratic number fields, Ra- manujan J., 11 (2006), 103–110. (cited on page 1)

    work page 2006

  8. [8]

    Benjamin, On the Second Hilbert2-Class Field of Real Quadratic Number Fields with 2-Class Group Isomorphic to (2, 2n), n ≥ 2, Rocky Mountain J

    E. Benjamin, On the Second Hilbert2-Class Field of Real Quadratic Number Fields with 2-Class Group Isomorphic to (2, 2n), n ≥ 2, Rocky Mountain J. Math., (1999), 763-788. (cited on page 1)

    work page 1999

  9. [9]

    Benjamin and C

    E. Benjamin and C. Snyder, Number fields with 2-class group number isomorphic to(2, 2m), preprint. This reference cannot be shared openly, to protect the rights of its authors. It may be requested from its authors (1993). (cited on pages 1, 2, and 7)

    work page 1993

  10. [10]

    Benjamin and C

    E. Benjamin and C. Snyder, Real quadratic number fields with2-class group of type(2, 2), Math. Scand 76 (1995), 161-178. (cited on page 10)

    work page 1995

  11. [11]

    M. M. Chems-Eddin, Arithmetic of some real triquadratic fields; Units and 2-class groups, Moroc. J. Algebra Geom. Appl., 3 (2024), 358-387. (cited on page 11)

    work page 2024

  12. [12]

    Chems-Eddin, Greenberg’s conjecture and Iwasawa module of Real biquadratic fields I, Preprint (2025), arXiv:2503.15727

    M.M. Chems-Eddin, Greenberg’s conjecture and Iwasawa module of Real biquadratic fields I, Preprint (2025), arXiv:2503.15727. (cited on pages 3, 8, 15, 16, and 17)

    work page arXiv 2025

  13. [13]

    M.M. Chems-Eddin, On the maximal unramified pro-2-extension ofZ2-extension of cer- tain real biquadratic fields, preprint (2024), http://arxiv.org/abs/2409.13574v1 (cited on pages 4 and 17)

    work page arXiv 2024

  14. [14]

    M. M. Chems-Eddin, M. B. T. El Hamam, and M. A. Hajjami, On the unit group and the 2-class number of Q( √ 2, √p, √q), Ramanujan J., 65 (2024), 1475–1510. (cited on page 11)

    work page 2024

  15. [15]

    P. E. Conner, and J. Hurrelbrink, Class number parity, Ser. Pure. Math.8, World Scientific,

    work page

  16. [16]

    ( cited on page 14) GREENBERG’S CONJECTURE AND INVERSE GALOIS PROBLEM 19

    work page

  17. [17]

    Fukuda,Remarks on Zp-extensions of number fields,Proc

    T. Fukuda,Remarks on Zp-extensions of number fields,Proc. Japan Acad. Ser. A Math. Sci. 70 (1994), 264–266. (cited on page 8)

    work page 1994

  18. [18]

    Herglotz, Über einen Dirichletschen Satz, Math

    G. Herglotz, Über einen Dirichletschen Satz, Math. Z., 12 (1922), 255–261. (cited on page 7)

    work page 1922

  19. [19]

    Kaplan, Sur le2-groupe des classes d’idéaux des corps quadratiques, J

    P. Kaplan, Sur le2-groupe des classes d’idéaux des corps quadratiques, J. Reine. Angew. Math., 283/284 (1976), 313-363. (cited on page 14)

    work page 1976

  20. [20]

    Kisilevsky, Number fields with class number congruent to4mod 8and Hilbert’s Theorem 94, J

    H. Kisilevsky, Number fields with class number congruent to4mod 8and Hilbert’s Theorem 94, J. Number Theory, 8 (1976), 271-279. (cited on page 1)

    work page 1976

  21. [21]

    Kučera, On the parity of the class number of a biquadratic field, J

    R. Kučera, On the parity of the class number of a biquadratic field, J. Number Theory, 52 (1995), 43–52. (cited on pages 14, 15, and 16)

    work page 1995

  22. [22]

    Kuroda, Über die Klassenzahlen algebraischer Zahlkörper, Nagoya Math

    S. Kuroda, Über die Klassenzahlen algebraischer Zahlkörper, Nagoya Math. J., 1 (1950), 1–10. (cited on page 7)

    work page 1950

  23. [23]

    Laxmi, A

    H. Laxmi, A. Saikia, Z-extension of real quadratic fields withZ/2Z as 2-class group at each layer, Ramanujan J 64, 1285–1301 (2024). https://doi.org/10.1007/s11139-024-00869- 8 (cited on pages 3 and 16)

    work page doi:10.1007/s11139-024-00869- 2024

  24. [24]

    Mizusawa, A note on semidihedral 2-class field towers andZ2-extensions, Ann

    Y. Mizusawa, A note on semidihedral 2-class field towers andZ2-extensions, Ann. Math. Qué. 38 (2014), 73–79. (cited on page 1)

    work page 2014

  25. [25]

    Mizusawa, A Study of Iwasawa Theory on Class Field Towers, A dissertation submitted for the degree of Doctor of Science at Waseda University, 2004

    Y. Mizusawa, A Study of Iwasawa Theory on Class Field Towers, A dissertation submitted for the degree of Doctor of Science at Waseda University, 2004. (cited on page 1)

    work page 2004

  26. [26]

    Mouhib, On the parity of the class number of multiquadratic number fields

    A. Mouhib, On the parity of the class number of multiquadratic number fields. J. Number Theory, 129 (2009) 1205–1211 (cited on pages 1, 4, and 17)

    work page 2009

  27. [27]

    Mouhib, Capitulation of the 2-class group of some cyclic number fields with large degree, Math

    A. Mouhib, Capitulation of the 2-class group of some cyclic number fields with large degree, Math. Nachr. 289 (2016) 1927-1933. (cited on page 1)

    work page 2016

  28. [28]

    Wada, On the class number and the unit group of certain algebraic number fields

    H. Wada, On the class number and the unit group of certain algebraic number fields. J. Fac. Univ. Tokyo. 13 (1966), 201-209. (cited on page 7)

    work page 1966

  29. [29]

    Washington, Introduction to cyclotomic fields

    L.C. Washington, Introduction to cyclotomic fields. Graduate Texts in Mathematics, 83. Springer-Verlag, New York, 1982. (cited on page 2)

    work page 1982

  30. [30]

    Yue, The generalized Rédei-matrix, Math

    Q. Yue, The generalized Rédei-matrix, Math. Z., 261 (2009), 23–37. (cited on page 8) Mohamed Mahmoud CHEMS-EDDIN: Department of Mathematics, F aculty of Sciences Dhar El Mahraz, Sidi Mohamed Ben Abdellah University, Fez, Morocco Email address: 2m.chemseddin@gmail.com Hamza EL MAMRY: Departement of Mathematics, F aculty of Sciences Dhar El Mahraz, Sidi Moh...

    work page 2009