On the structure of the \(K_ 2\) of the ring of integers in a number field (Q917680)

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.