On the structure of the \(K_ 2\) of the ring of integers in a number field (Q917680): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf00535049 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2072591267 / rank | |||
Normal rank |
Latest revision as of 10:56, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the structure of the \(K_ 2\) of the ring of integers in a number field |
scientific article |
Statements
On the structure of the \(K_ 2\) of the ring of integers in a number field (English)
0 references
1989
0 references
Let \(K_ 2({\mathcal O}_ F)\) (resp. \(W_ F)\) be the tame (resp. wild) kernel in \(K_ 2(F)\) for a number field F, and let \(C\ell (F)\) be the S- class group of F (S containing infinite and p-adic places of F). When F contains the group \(\mu_ r\) of \(p^ r\)-th roots of unity, \textit{J. Tate}'s results [Invent. Math. 36, 257-274 (1976; Zbl 0359.12011)] give an explicit description of \(K_ 2({\mathcal O}_ F)/p^ r\) by means of \(\mu_ r\otimes C\ell (F)\). In the general case, the author uses Galois descent (in \(F_ r=F(\mu_ r)\) over F) to interprete \(K_ 2({\mathcal O}_ F)/p^ r\) in terms of \(C\ell (F_ r)\); in fact he uses Galois- coinvariants via the transfer and ``Hilbert 90 theorem'' of \textit{A. S. Merkur'ev} and \textit{A. A. Suslin} [Izv. Akad. Nauk SSSR, Ser. Mat. 46, No.5, 1011-1046 (1982; Zbl 0525.18008)]. The author obtains mainly such an interpretation for \(W_ F\). He gives also a second approach using more specific class field theory.
0 references
ideal class groups
0 references
p-power cyclotomic extensions
0 references
tame kernel
0 references
wild kernel
0 references
Hilbert 90 for \(K_ 2\)
0 references
Galois-coinvariants
0 references