The finitude of tamely ramified pro-$p$ extensions of number fields with cyclic $p$-class groups

Abstract: Let $p$ be an odd prime and $F$ be a number field whose $p$-class group is cyclic. Let $F_{{\mathfrak{q}}}$ be the maximal pro-$p$ extension of $F$ which is unramified outside a single non-$p$-adic prime ideal $\mathfrak{q}$ of $F$. In this work, we study the finitude of the Galois group $G_{{\mathfrak{q}}}(F)$ of $F_{{\mathfrak{q}}}$ over $F$. We prove that $G_{{\mathfrak{q}}}(F)$ is finite for the majority of $\mathfrak{q}$'s such that the generator rank of $G_{{\mathfrak{q}}}(F)$ is two, provided that for $p = 3$, $F$ is not a complex quartic field containing the primitive third roots of unity.