\(K\)-groups and ideal class groups of number fields (Q1176273)

Let \(\ell\) be an odd prime number, \(F\) a totally real number field, and \(F'\) a cyclic extension of \(F\) of an \(\ell\)-power degree. In the present paper the author gives, for an odd positive integer \(\nu\), a lower bound of the \(\ell\)-rank of Quillen's \(2\nu\)-th \(K\)-group \(K_{2\nu}({\mathfrak O}_{F'})\) of the integer ring \({\mathfrak O}_{F'}\) of \(F'\). In fact the following result is obtained: For a primitive \(\ell\)-th root of unity \(\zeta\) let \(k=F(\zeta)\) and \(\delta=[k:F]\). Let \(\nu\) be an odd positive integer with \(\nu\not\equiv -1\pmod \delta\) and \(a_ \nu\) the number of prime ideals of \(F\) ramifying in \(F'/F\), whose decomposition groups with respect to \(k/F\) have the orders dividing \(\nu\). Then the \(\ell\)-rank of \(K_{2\nu}({\mathfrak O}_{F'})\) is greater than or equal to \(a_ \nu\). The proof consists of a reduction to a problem of \(\ell\)-class group of \(F'(\zeta)\) using Soulé's theorem for \(F'\), and an estimate of ambiguous ideal class group of \(F'(\zeta)\) with respect to \(F'(\zeta)/F(\zeta)\).