Computation of \(K_ 2\) for the ring of integers of quadratic imaginary fields. (Q1609690): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4053733 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalization of Thue's theorem and computation of the group \(K_ 2 O_ F\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computation of \(K_ 2\mathbb{Z}[\sqrt {-6}]\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computation of \(K_ 2\mathbb{Z}[\frac{1+\sqrt{-35}}{2}]\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tame and wild kernels of quadratic imaginary number fields / rank | |||
Normal rank |
Revision as of 14:57, 4 June 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