Computation of \(K_ 2\) for the ring of integers of quadratic imaginary fields. (Q1609690): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 05:04, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Computation of \(K_ 2\) for the ring of integers of quadratic imaginary fields. |
scientific article |
Statements
Computation of \(K_ 2\) for the ring of integers of quadratic imaginary fields. (English)
0 references
15 August 2002
0 references
For a set of finite places, \(S\), of a number field \(F\) let \(K_2^S(F)\) be the subgroup of \(K_2(F)\) generated by symbols of the form \(\{a,b\}\) with \(a,b\in U_S= \{x\in F^*\mid v(x)\geq 0\) \(\forall v\not\in S\}\). For imaginary quadratic fields \textit{J. Tate}, in the Appendix to his paper with \textit{H. Bass} on `The Milnor ring of a global field' [Lect. Notes Math. 342, 429--446 (1973; Zbl 0299.12013)] showed how to determine a bound \(M= M(F)\in \mathbb{N}\), such that \(K_2(O_F) \subset K_2^S(F)\) whenever \(S\) contains all finite places of norm at most \(M\). The authors improve Tate's bound (by refining Tate's methods) for certain quadratic imaginary fields and use the improved bounds to show that the group \(K_2(O_F)\) is trivial when \(F= \mathbb{Q} (\sqrt {-43})\).
0 references
tame kernel
0 references