Maximal Unramified p-Extensions with Prescribed Galois Groups: A Quantitative Refinement of Ozaki's Theorem

Kwang-Seob Kim

In the authors' words

Ozaki proved that every finite $p$ -group occurs as the Galois group of a maximal unramified $p$ -extension of a number field. Hajir, Maire and Ramakrishna made this theorem effective, obtaining a base-field degree of order $∣ G ∣$ . In this article, we reduce that degree by taking the Frattini structure of $G$ into account. More precisely, for an odd prime $p$ and a finite $p$ -group $G$ of order $p^{n}$ , we prove \[ \tau_p(G) \leq p^{\ell_\Phi(G)+ \left\lceil\log_p\left(\binom{n+2}{2}+1\right)\right\rceil}. \] Here $τ_{p} (G)$ is the least degree of a number field realizing $G$ as its $p$ -class tower group, and $ℓ_{Φ} (G)$ is the iterated Frattini length of $G$ . Thus, for groups of bounded Frattini length, the order-scale bound $p^{n}$ is replaced by the quadratic bound $O_{p} (n^{2})$ . For $E_{m} = (Z / p Z)^{m}$ , we further prove the sharp estimate $τ_{p} (E_{m}) ≍_{p} m^{2}$ .

Main resultLimitation the authors admit

Maximal Unramified p-Extensions with Prescribed Galois Groups: A Quantitative Refinement of Ozaki's Theorem

In the authors' words

More on Algebra & number theory that day

Inverse Baer deformations and finite simple skew braces of nilpotent type

Mathematical Principles of a Generalized Tonal Practice

A Machine-Checked Proof that Gardam's A~2​ Lattice Does Not Have Unique Products

On Z2​-extensions of real quadratic fields with class group of 2-rank three

Affine Harish-Chandra center in positive characteristic

Maximal Unramified $p$ -Extensions with Prescribed Galois Groups: A Quantitative Refinement of Ozaki's Theorem

A Machine-Checked Proof that Gardam's $A ~_{2}$ Lattice Does Not Have Unique Products

On $Z_{2}$ -extensions of real quadratic fields with class group of $2$ -rank three