Abstract
Let be a non-empty finite set of prime numbers, and let be an abelian extension over the rational field such that the Galois group of over some subfield of with finite degree is topologically isomorphic to the additive group of the direct product of the -adic integer rings for all in . Let be a positive integer that is neither congruent to modulo nor divisible by any prime number outside but divisible by all prime numbers in . Let denote the composite of -th cyclotomic fields for all in and all positive integers . In our earlier paper [3], it is shown that there exist only finitely many prime numbers for which the -class group of is nontrivial and the -th cyclotomic field contains the decomposition field of in . We shall prove more precise results providing us with an effective upper bound for a prime number such that the -class group of is nontrivial and that the -th cyclotomic field contains the decomposition field of in .
Citation
Kuniaki HORIE. "Primary components of the ideal class group of an Iwasawa-theoretical abelian number field." J. Math. Soc. Japan 59 (3) 811 - 824, July, 2007. https://doi.org/10.2969/jmsj/05930811
Information