A note on class groups of abelian number fields (Q1185152)

The author proves the following theorem: ``For any finite abelian group \(A\), there exist infinitely many real elementary 2-abelian number fields \(K\) (i.e. real abelian extensions of \(\mathbb{Q}\) whose Galois groups are of type \((2,2,\dots,2)\)) whose class groups contain a subgroup isomorphic to \(A\). Moreover, among these fields we can take a sequence \(K_ 1,K_ 2,\dots\) such that \((d_{K_ i},d_{K_ j})=1\) if \(i\neq j\) and all of the 2-ranks of \(\text{Gal}(K_ i/\mathbb{Q})\) are equal to rank \(A\). Here, \(d_{K_ i}\) denotes the discriminant of \(K_ i\).''.