The \(\mathbb{Z}_2\)-torsion of the cyclotomic \(\mathbb{Z}_2\)-extension of some CM number fields (Q6057438)

It is known by \textit{B. Ferrero} [Am. J. Math. 102, 447--459 (1980; Zbl 0463.12002)] and \textit{Y. Kida} [J. Number Theory 14, 340--352 (1982; Zbl 0493.12015)] that the \(\mathbb{Z}_2\)-torsion part of the unramified abelian Iwasawa module \(X_\infty\) of any imaginary quadratic number field is trivial or cyclic of order 2. In this paper the author determines an infinite family of CM number fields, in which the \(\mathbb{Z}_2\)-torsion of the Iwasawa module \(X_\infty\) is of arbitrary large rank. The exact value of the rank of \(X_\infty\) is given, too.