Related papers: $3$-Principalization over $S_3$-fields

Let (k1,k2,k3,k4) be a quartet of cyclic cubic number fields sharing a common conductor c=pqr divisible by exactly three prime(power)s p,q,r. For those components k of the quartet whose 3-class group Cl(3,k) = Z/3Z x Z/3Z is elementary…

Let $\mathrm{k}=\mathbb{Q}(\sqrt[3]{d},\zeta_3)$, with $d$ a cube-free positive integer. Let $C_{\mathrm{k},3}$ be the $3$-component of the class group of $\mathrm{k}$. By the aid of genus theory, arithmetic proprieties of the pure cubic…

Let $n$ be a $5^{th}$ power-free naturel number and $k_0\,=\,\mathbb{Q}(\zeta_5)$ be the cyclotomic field generated by a primitive $5^{th}$ root of unity $\zeta_5$. Then $k\,=\,\mathbb{Q}(\sqrt[5]{n},\zeta_5)$ is a pure metacyclic field of…

Let $p\equiv 1\,(\mathrm{mod}\,3)$ be a prime and denote by $\zeta_3$ a primitive third root of unity. Recently, Lemmermeyer presented a conjecture about $3$-class groups of pure cubic fields $L=\mathbb{Q}(\sqrt[3]{p})$ and of their normal…

Let \(\Gamma=\mathbb{Q}(\sqrt[3]{n})\) be a pure cubic field with normal closure \(k=\mathbb{Q}(\sqrt[3]{n},\zeta)\), where \(n>1\) denotes a cube free integer, and \(\zeta\) is a primitive cube root of unity. Suppose \(k\) possesses an…

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…

Let $\Gamma \,=\, \mathbb{Q}(\sqrt[5]{n})$ be a pure quintic field, where $n$ is a positive integer $5^{th}$ power-free, $k_0\,=\,\mathbb{Q}(\zeta_5)$ be the cyclotomic field containing a primitive $5^{th}$ root of unity $\zeta_5$, and…

Let $k=k_0(\sqrt[3]{d})$ be a cubic Kummer extension of $k_0=\mathbb{Q}(\zeta_3)$ with $d>1$ a cube-free integer and $\zeta_3$ a primitive third root of unity. Denote by $C_{k,3}^{(\sigma)}$ the $3$-group of ambiguous classes of the…

We study the capitulation of $2$-ideal classes of an infinite family of imaginary bicyclic biquadratic number fields consisting of fields $\mathbf{k} =\mathbb{Q}(\sqrt{p_1p_2q}, i)$, where $i=\sqrt{-1}$ and $p_1\equiv p_2\equiv-q\equiv1…

Let $\Gamma \,=\, \mathbb{Q}(\sqrt[5]{n})$ be a pure quintic field, where $n$ is a natural number $5^{th}$ power-free. Let $k = \mathbb{Q}(\sqrt[5]{n}, \zeta_5)$, with $\zeta_5$ is a primitive $5^{th}$ root of unit, be the normal closure of…

We determine the $3$-class groups of $\mathbb{Q}(\sqrt[3]{p})$ and $K=\mathbb{Q}(\sqrt[3]{p},\sqrt{-3})$ when $p\equiv 4,7\bmod 9$ is a prime and $3$ is a cubic modulo $p$. This confirms a conjecture made by Barrucand-Cohn, and proves the…

The P\'{o}lya group $Po(K)$ of an algebraic number field $K$ is the subgroup of the ideal class group $Cl_{K}$ generated by the ideal classes of the products of prime ideals of the same norm. If $Po(K)$ is trivial, then the number field $K$…

Let $\mathrm{k}=\mathbb{Q}\left(\sqrt[3]{p},\zeta_3\right)$, where $p$ is a prime number such that $p \equiv 1 \pmod 9$, and let $C_{\mathrm{k},3}$ be the $3$-component of the class group of $\mathrm{k}$. In \cite{GERTH3}, Frank Gerth III…

Let $d$ be a square-free integer, $\mathbf{k}=\mathbb{Q}(\sqrt d,\,i)$ and $i=\sqrt{-1}$. Let $\mathbf{k}_1^{(2)}$ be the Hilbert $2$-class field of $\mathbf{k}$, $\mathbf{k}_2^{(2)}$ be the Hilbert $2$-class field of $\mathbf{k}_1^{(2)}$…

Let $p$ be an irregular prime. Let $K=\Q(\zeta)$ be the $p$-cyclotomic field. From Kummer and class field theory, there exist Galois extensions $S/\Q$ of degree $p(p-1)$ such that $S/K$ is a cyclic unramified extension of degree $[S:K]=p$.…

Let $k \geq 1$ be a cube-free integer with $k \equiv 1 \pmod {9}$ and $\gcd(k, 7\cdot 571)=1$. In this paper, we prove the existence of infinitely many triples of imaginary quadratic fields $\mathbb{Q}(\sqrt{d})$, $\mathbb{Q}(\sqrt{d+1})$…

For an algebraic number field K with 3-class group \(Cl_3(K)\) of type (3,3), the structure of the 3-class groups \(Cl_3(N_i)\) of the four unramified cyclic cubic extension fields \(N_i\), \(1\le i\le 4\), of K is calculated with the aid…

For quadratic fields \(k=\mathbb{Q}(\sqrt{d})\) with discriminant \(d\), \(3\)-class group \(\mathrm{Cl}_3(k)\simeq (\mathbb{Z}/3\mathbb{Z})^2\), and four \textit{simple} \(3\)-principalization types \(\varkappa(k)\in\lbrace…

Let $C$ be a smooth, absolutely irreducible genus-$3$ curve over a number field $M$. Suppose that the Jacobian of $C$ has complex multiplication by a sextic CM-field $K$. Suppose further that $K$ contains no imaginary quadratic subfield. We…

We study the capitulation of ideal classes in an infinite family of imaginary bicyclic biquadratic number fields consisting of fields $k =Q(\sqrt{2pq}, i)$, where $i=\sqrt{-1}$ and $p\equiv -q\equiv1 \pmod 4$ are different primes. For each…