On ideal class groups of algebraic number fields (Q760463)

Let \(n\) be a given natural number. \textit{T. Nagell} [Abh. Math. Semin. Univ. Hamb. 1, 140--150 (1922; JFM 48.0170.03)] had proved that there exist infinitely many imaginary quadratic fields whose class number is divisible by \(n\). Recently, \textit{T. Azuhata} and \textit{H. Ichimura} [J. Fac. Sci., Univ. Tokyo, Sect. I A 30, 579--585 (1984; Zbl 0532.12006)] have generalized this result as follows: For any natural numbers \(r_1\), \(r_2\), there exist infinitely many number fields of degree \(r_1+2r_2\) with just \(r_1\) real primes whose ideal class group contains a subgroup isomorphic to \((\mathbb{Z}/n\mathbb{Z})^{r_2}\). On the other hand, in the quadratic case \textit{Y. Yamamoto} [Osaka J. Math. 7, 57--76 (1970; Zbl 0222.12003)] obtained a stronger result than Nagell's, i.e., there exist infinitely many real (resp. imaginary) quadratic fields whose ideal class group contains a subgroup isomorphic to \(\mathbb{Z}/n\mathbb{Z}\) (resp. \((\mathbb{Z}/n\mathbb{Z})^2)\). This paper gives a generalization of Yamamoto's result, which is also a stronger one than Azuhata and Ichimura's, i.e., the author states with a sketch of proof the following: For any natural numbers \(r_1\), \(r_2\), there exist infinitely many number fields of degree \(r_1+2r_2\) with just \(r_1\) real primes whose ideal class group contains a subgroup isomorphic to \((\mathbb{Z}/n\mathbb{Z})^{r_2+1}\). The proof is similar to that of Azuhata and Ichimura's but more refined with some new techniques. A result about the 2-rank of the ideal class group is also obtained.