Merkur’ev, A. S. On the torsion in \(K_ 2\) of local fields. (English) Zbl 0519.12010 Ann. Math. (2) 118, 375-381 (1983). The author proves the following conjecture of J. Tate in [Algebraic Number Theory, Pap. Kyoto Int. Symp. 1976, 243–261 (1977; Zbl 0368.12008)] : Let \(F\) be a local field of \(\mathrm{char}\, 0\) and \(n\) the number of roots of unity in \(F\). Then the group \(K_2(F)\) is a direct sum of a cyclic group of order \(n\) and the uniquely divisible group \(nK_2(F)\). The analogous result for \(\mathrm{char}\, F\ne 0\) is due to Tate (loc. cit.). The proof is done in two steps: First of all it is shown, that the result is true for local fields, which satisfy some special conditions on the roots of unity and on ramification. Then it is proved that any local field is contained in one of these special fields, from which the result follows via descent. Reviewer: Manfred Kolster (Hamilton/Ontario) Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 9 Documents MSC: 11S70 \(K\)-theory of local fields 11S15 Ramification and extension theory 19C99 Steinberg groups and \(K_2\) 19F05 Generalized class field theory (\(K\)-theoretic aspects) Keywords:\(K_2\); descent theorem; Hilbert symbol; divisible group; ramification; Tate conjecture Citations:Zbl 0368.12008 PDFBibTeX XMLCite \textit{A. S. Merkur'ev}, Ann. Math. (2) 118, 375--381 (1983; Zbl 0519.12010) Full Text: DOI