Refined lower bounds on the 2-class number of the Hilbert 2-class field of imaginary quadratic number fields with elementary 2-class group of rank 3 (Q1293164)

Let \(k\) be a complex quadratic number field with \(2\)-class group of type \((2,2,2)\) and assume that its discriminant is divisible by at most one prime \(\equiv 3 \bmod 4\). Using the class number formula for composita of quadratic number fields, genus theory and results on units in multiquadratic extensions, the authors prove that the \(2\)-class field of \(k\) has class number divisible by \(64\). Examples show that this result is best possible.