Generators and relations for \(K_{2}O_{F}\) (Q702912)

In an Appendix to [\textit{H. Bass} and \textit{J. Tate}, ``The Milnor ring of a global field'', Lect. Notes Math. 342, 349--446 (1973; Zbl 0299.12013)], Tate gave an algorithm for bounding the number of generators of the tame kernel \(K_2(O_F)\) of a number ring \(O_F\), which enabled him to settle the case of the 6 imaginary quadratic fields of smallest discriminant. His method has been refined by several authors, most recently by \textit{R. Groenewegen} [Math. Comput. 73, 1443--1458 (2004; Zbl 1089.11065)]. The authors present yet another refinement of his result with better bounds and use it as a starting point for their algorithmic approach to the calculation of the structure of \(K_2(O_F)\). In a second step they create enough relations between the generators to obtain upper bounds for the order of the generators. In a final step the authors show how to use Keune's explicit description of the wild kernel [\textit{F. Keune}, \(K\)-Theory 2, 625--645 (1989; Zbl 0705.19007)] in terms of class groups of cyclotomic extensions to obtain also lower bounds for the size of \(K_2(O_F)\). The calculations performed by the authors with their methods include a determination of the structure of \(K_2(O_F)\) for imaginary quadratic fields \(F\) of discriminant \(\Delta\) in the range \(| \Delta| <1000\) with 7 exceptions as well as for some non-Galois fields of small discriminant.