Let $h_n$ denote the class number of $n$-th layer of the cyclotomic ${\mathbb{Z}}_2$-extension of $\mathbb{Q}$. Weber proved that $h_n(n\ge 1)$ is odd and Horie proved that $h_n(n\ge 1)$ is not divisible by a prime number $\ell$ satisfying $\ell \equiv 3,5(mod8)$. In a previous paper, the authors showed that $h_n(n\ge 1)$ is not divisible by a prime number $\ell$ less than ${10}^7$. In this paper, by investigating properties of a special unit more precisely, we show that $h_n(n\ge 1)$ is not divisible by a prime number $\ell$ less than $1.2·{10}^8$. Our argument also leads to the conclusion that $h_n(n\ge 1)$ is not divisible by a prime number...

In this article we will describe a surprising observation that occurred in the construction of quadratic unramified extensions of a family of pure cubic number fields. Attempting to find an explanation will lead us on a magical mystery tour through the land of pure cubic number fields, Hilbert class fields, and elliptic curves.

Let K be a number field. Assume that the 2-rank of the ideal class group of K is equal to the 2-rank of the narrow ideal class group of K. Moreover, assume K has a unique dyadic prime and the class of is a square in the ideal class group of K. We prove that if ₁,...,ₙ are finite primes of K such that ∙ the class of ${}_i$ is a square in the ideal class group of K for every i ∈ 1,...,n, ∙ -1 is a local square at ${}_i$ for every nondyadic ${}_i\in ₁,...,ₙ$, then ₁,...,ₙ is the wild set of some self-equivalence of the field...