Maximal Unramified $p$-Extensions with Prescribed Galois Groups: A Quantitative Refinement of Ozaki's Theorem
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.22766
curl -X POST /api/v1/records/arxiv/2609.22766/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.22766/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'