On Greenberg's conjecture for certain real biquadratic fields (Q6571337)

The authors continue their study of the Iwasawa module of the cyclotomic \(\mathbb{Z}_2\)-extension of certain real biquadratic number fields \(k\), after having shown in \textit{A. El Mahi} and \textit{M. Ziane} [Acta Math. Hung. 165, No. 1, 146--155 (2021; Zbl 1499.11337)] that for these fields \(\mu = 0\) holds.\par Now they show that for these fields \(k\) the Iwasawa module is elementary abelian of order \(4\). For the proof they use known results for the composita of real quadratic number fields and show that the \(2\)-part of the class group of \(k\) or \(k(\sqrt 2)\) already equals the Iwasawa module.