Indivisibility of class numbers of totally imaginary quadratic extensions and their Iwasawa invariants (Q2639905): Difference between revisions

We denote by \(\zeta_ F(s)\) the Dedekind zeta function of an algebraic number field F. We denote by n(p) for a prime p the maximal value of n such that the primitive \(p^ n\)-th roots of unity are at most of degree 2 over F. We put \(w_ F=2^{n(2)+1}\prod_{p\neq 2}p^{n(p)}\). In this paper, we get: Theorem. Let F be a totally real algebraic number field of finite degree. Let \(\ell\) be an odd prime which does not divide \(w_ F\zeta_ F(-1)\). Then there exist infinitely many quadratic extensions K/F with the following properties: (1) K is totally imaginary, (2) the relative class number \(h_{K/F}\) is not divisible by \(\ell\), (3) each prime ideal of F over \(\ell\) does not split in K. We denote by \(\mu_ K^-\) (resp. \(\lambda_ K^-)\) the minus \(\mu\)- invariant (\(\lambda\)-invariant) of the basic \({\mathbb{Z}}_{\ell}\)-extension of K. We get: Corollary. Notations are as same as in the Theorem. Then there exist infinitely many quadratic extensions K/F such that \(\mu_ K^- =\lambda_ K^-=0\).