Primary components of the ideal class group of an Iwasawa-theoretical Abelian number field (Q996133)

For a nonempty finite set \(S\) of primes, let \(m=\prod_{p\in S}p^{a_p} \not\equiv 2\pmod 4\), where each \(a_p\) is positive, and let \(\zeta_m\) be a primitive \(m\)th root of 1. Denote by \({\mathbb Q}^S\) the (infinite) Abelian extension of \(\mathbb Q\) such that Gal\(({\mathbb Q}^S/{\mathbb Q}) \simeq \prod_{p\in S}{\mathbb Z}_p\), where \({\mathbb Z}_p\) is the ring of \(p\)-adic integers. Let \(F\) be a finite extension of \({\mathbb Q}^S\) such that \(F/{\mathbb Q}\) is abelian. In several previous works, notably [J. Math. Soc. Japan 57, No. 3, 827--857 (2005; Zbl 1160.11357) and Tôhoku Math. J. (2) 57, No. 3, 375--394 (2005; Zbl 1128.11051)] the author has studied the triviality of \(C_F(l)\), the \(l\)-primary component of the ideal class group of \(F\), for a varying prime \(l\). In the present article he continues that study and finds an explicit constant \(\mathcal C\) such that \(C_F(l)\) is trivial whenever \(l\geq\mathcal C\) and the decomposition field of \(l\) in \({\mathbb Q}^S(\zeta_m)\) is contained in \({\mathbb Q}(\zeta_m)\). He in fact obtains such a constant first for real fields \(F\) and then, with \(C_F(l)\) replaced by its minus part, another constant for imaginary fields \(F\). The treatment of the real case is based on a result of \textit{H. W. Leopoldt} [Abh. Deutsch. Akad. Wiss. Berlin, Math.-Naturw. Kl. 1953, No. 2, 1--48 (1954; Zbl 0059.03501)]. The article also contains some corrections to the author's two papers mentioned above.