Triviality in ideal class groups of Iwasawa-theoretical abelian number fields (Q2569283)

Let \(\mathbb Q\) and \(\mathbb C\) denote the fields of rational and complex numbers, respectively. For a positive integer \(m\), let \(\zeta_m\) denote a primitive \(m^{\text{th}}\) root of unity in \(\mathbb C\). Also, let \(P\) denote the set of prime numbers. An algebraic extension \(k\), not necessarily finite, of \(\mathbb Q\) that is contained in \(\mathbb C\) will be called a number field. Let \(C_k\) denote the ideal class group of \(k\) and for each \(\ell\in P\), we let \(C_k(\ell)\) denote the \(\ell\)-class group of \(k\). A number field is called abelian if it is an abelian extension of \(\mathbb Q\). Let \(S\) be a finite nonempty subset of \(P\). For each \(p\in P\) let \(\mathbb Z_p\) denote the ring of \(p\)-adic integers and let \(\widetilde p=p\) or 4 according as \(p\) is odd or even. Let \(\mathbb Q^S\) denote the abelian number field such that the Galois group, \(\text{Gal}(\mathbb Q^S/\mathbb Q)\) is isomorphic, as a profinite group, to the direct product \(\prod_{p\in S}\mathbb Z_p\). Let \(F\) be an anabelian number field which is a finite extension of \(\mathbb Q^S\). The main result is: Theorem 1. Let \(m_0\) be a positive integer divisible by \(\widetilde p\) for every \(p\in S\). Then there exist only finitely prime numbers \(\ell\) such that \(C_F(l)\) is non-trivial and that \(\mathbb Q (\zeta_{m_0})\) contains the decomposition field of \(\ell\) for the abelian extension \(\mathbb Q^S(\zeta_{m_0})/\mathbb Q\). As usual let \(\pi(x)\) denote the number of primes less than or equal \(x\) for a real number \(x\). Let \(P_F(x)\) denote the set of primes \(\ell\) for which \(C_F(l)\) is trivial. Then as the author conjectured in [J. Lond. Math. Soc., II. Ser. 66, 257--275 (2002; Zbl 1012.11072)], \[ \lim_{x\to\infty}\frac{| P_F(x)|} {\pi(x)}=1. \]