On the torsion in \(K_ 2\) of local fields (Q1054787)

The author proves the following conjecture of \textit{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.