On the torsion in \(K_ 2\) of local fields (Q1054787): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2307/2007033 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2328004823 / rank | |||
Normal rank |
Latest revision as of 21:15, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the torsion in \(K_ 2\) of local fields |
scientific article |
Statements
On the torsion in \(K_ 2\) of local fields (English)
0 references
1983
0 references
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.
0 references
\(K_2\)
0 references
descent theorem
0 references
Hilbert symbol
0 references
divisible group
0 references
ramification
0 references
Tate conjecture
0 references