Authors: SIHAM AOUISSI, MOHAMED TALBI, DANIEL C MAYER, MOULAY CHRIF ISMAILI

Abstract: Let $p\equiv 1\,(\mathrm{mod}\,9)$ be a prime number and $\zeta_3$ be a primitive cube root of unity. Then $k=\mathbb{Q}(\sqrt[3]{p},\zeta_3)$ is a pure metacyclic field with group $\mathrm{Gal}(k/\mathbb{Q})\simeq S_3$. In the case that $k$ possesses a $3$-class group $C_{k,3}$ of type $(9,3)$, the capitulation of $3$-ideal classes of $k$ in its unramified cyclic cubic extensions is determined, and conclusions concerning the maximal unramified pro-$3$-extension $k_3^{(\infty)}$, that is the $3$-class field tower of $k$, are drawn.

Keywords: Maximal unramified pro-$3$-extension, capitulation, Galois action, pure metacyclic $S_3$-fields, pure cubic fields, finite $3$-groups, descendant trees, presentations, relation rank, $p$-group generation algorithm

Full Text: PDF