Generators and relations for K₂O_F
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.
- Computation of 2-groups of narrow logarithmic divisor classes of number fields
- Computation of 2-groups of positive classes of exceptional number fields
- Generalization of Thue's theorem and computation of the group \(K_ 2 O_ F\)
- On the generation of the tame kernel by Dennis-Stein symbols
- The shortest vector problem and tame kernels of cyclotomic fields
- Computing generators of the tame kernel of a global function field
- Torsion homology of arithmetic lattices and \(K_2\) of imaginary fields
- On universal norms and the first layers of \(\mathbb Z_p\)-extensions of a number field
- On the tame kernels of imaginary cyclic quartic fields with class number one
- The structure of certain \(K_2O_F\)
- The tame kernel of Q(_5) is trivial
- The Tame Kernel of Multiquadratic Number Fields
- Conditions under which $K₂(
- The tame kernel of imaginary quadratic fields with class number 2 or 3
- Bounds for computing the tame kernel
- Hyperbolic tessellations and generators of K₃ for imaginary quadratic fields
- Remarks on classical number-theoretic aspects of Milnor–Witt K-theory
- Tame kernels and second regulators of number fields and their subfields
- Topics in computational algebraic number theory
- Numerical evaluation of the Kubota-Leopoldt p-adic L-function at positive integers
This page was built for publication: Generators and relations for \(K_{2}O_{F}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q702912)
