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

Kwang-Seob Kim

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 effectiv…