{"id":"arxiv/2609.22766","url":"https://arxiv.org/abs/2609.22766","tags":["math.NT"],"score":0,"title":"Maximal Unramified $p$-Extensions with Prescribed Galois Groups: A Quantitative Refinement of Ozaki's Theorem","domain":"math.NT","source":"arxiv","authors":["Kwang-Seob Kim"],"reviews":0,"subject":"math.NT","summary":"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 \\[ τ_p(G) \\leq p^{\\ell_Φ(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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-19","reactions":{}}