\(K\)-groups and ideal class groups of number fields (Q1176273): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4770463 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4742879 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On l-adic zeta functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(K\)-groups and \(\lambda\)-invariants of algebraic number fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3943047 / rank | |||
Normal rank |
Revision as of 11:12, 15 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(K\)-groups and ideal class groups of number fields |
scientific article |
Statements
\(K\)-groups and ideal class groups of number fields (English)
0 references
25 June 1992
0 references
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)\).
0 references
Quillen's K-group
0 references
\(\ell\)-rank
0 references
ideal class group
0 references