Abstract:For a number field F and a prime number p , the ℤ p -torsion module of the Galois group of the maximal abelian pro- p extension of F unramified outside p over F , denoted by T_p(F) , is an important subject in abelian p -ramification theory. In this paper, we study the group T_2(F) = T_2(m) of the quadratic field F = ℚ(√(m) ) . Firstly, assuming m > 0, we prove an explicit 4-rank formula for quadratic fields that rk_4( T_2( - m)) = rk_2( T_2( - m)) - rank(R) , where R is a certain explicitly described Rédei matrix over 𝔽_2 . Furthermore, using this formula, we obtain the 4-rank density formula of T_2 -groups of imaginary quadratic fields. Secondly, for l an odd prime, we obtain results about the 2-power divisibility of orders of T_2( ± l) and T_2( ± 2l) , both of which are cyclic 2-groups. In particular, we find that # T_2(l) ≡ 2# T_2(2l) ≡h_2( - 2l) (mod 16) if l ≡ 7 (mod 8), where h 2 (−2 l ) is the 2-class number of ℚ(√( - 2l) ) . We then obtain density results for T_2( ± l) and T_2( ± 2l) when the orders are small. Finally, based on our density results and numerical data, we propose distribution conjectures about T_p(F) when F varies over real or imaginary quadratic fields for any prime p , and about T_2( ± l) and T_2( ± 2l) when l varies, in the spirit of Cohen-Lenstra heuristics. Our conjecture in the T_2(l) case is closely connected to Shanks-Sime-Washington’s speculation on the distributions of the zeros of 2-adic L -functions and to the distributions of the fundamental units.

Ray Class Groups of Quadratic and Cyclotomic Fields

Ray class groups and ray class fields for orders of number fields

Ideal class groups of cyclotomic number fields II

Galois Groups And Genera Of A Kind Of Quasi-Cyclotomic Function Fields

Unramified Extensions of Quadratic Fields

On unramified Galois 2-groups over -extensions of some imaginary biquadratic number fields

On the Finiteness and Structure of Galois Groups of Tamely ramified pro-p Extensions of Imaginary Quadratic Fields

Arithmetic of some real triquadratic fields; Units and 2-class groups

Group theoretic approach to cyclic cubic fields

Quantum Drinfeld Modules and Ray Class Fields of Real Quadratic Global Function Fields

The relative class number one problem for function fields, II

A note on the class number of certain real cyclotomic fields

$\mathbb{Z}_2$-extension of real quadratic fields with $\mathbb{Z}/2\mathbb{Z}$ as $2$-class group at each layer

Subgroups of Ideal Class Groups of Real Quadratic Algebraic Function Fields

On fine Mordell-Weil groups over $\mathbb{Z}_p$-extensions of an imaginary quadratic field

Monogenic Quartic Polynomials and Their Galois Groups

Quadratic Number Fields with Class Numbers Divisible by a Prime Q

On Abelian 2-Ramification Torsion Modules of Quadratic Fields

Ideal Class Groups of Real Quadratic Fields of Generalized ERD-type

Cliques in Representation Graphs of Quadratic Forms

Double Coverings for Quadratic Extensions and Function Fields