×

Computing the tame kernel of quadratic imaginary fields (with an appendix by Karim Belabas and Herbert Gangl). (English) Zbl 0954.19002

Let \(F=\mathbb Q(\sqrt{-d})\) be an imaginary quadratic number field of discriminant \(-d\) with ring of integers \({\mathcal O}_F\). J. Tate computed the tame kernel \(K_2({\mathcal O}_F)\) for \(d = -3,-4,-7,-8,-11,-15\) [Appendix to H. Bass and J. Tate, “The Milnor ring of a global field”, Lect. Notes Math. 342, 349-446 (1973; Zbl 0299.12013)]. The cases \(d=-24\) and \(d=-35\) were done by Qin using similar methods. M. Skałba improved Tate’s method using a variation of Thue’s theorem to compute the tame kernel for \(d=-19\) and \(d = -20\) [“Generalization of Thue’s theorem and computation of the group \(K_2({\mathcal O}_F)\)”, J. Number Theory 46, No. 3, 303-322 (1994; Zbl 0808.11065)].
In the paper under consideration the authors further improvs the estimates used by Skałba and illustrates his method for the cases \(d = -23\) and \(d = -31\). In an Appendix by K. Belabas and H. Gangl the structure of the tame kernel is listed for all fields \(\mathbb Q(\sqrt{-d})\) with discriminants \(-d\) satisfying \(-151 \leq -d \leq -31\).

MSC:

19C20 Symbols, presentations and stability of \(K_2\)
11R70 \(K\)-theory of global fields
11R11 Quadratic extensions
11Y40 Algebraic number theory computations
Full Text: DOI

References:

[1] Steven Arno, The imaginary quadratic fields of class number 4, Acta Arith. 60 (1992), no. 4, 321 – 334. · Zbl 0760.11033
[2] Steven Arno, M. L. Robinson, and Ferrell S. Wheeler, Imaginary quadratic fields with small odd class number, Acta Arith. 83 (1998), no. 4, 295 – 330. · Zbl 0904.11031
[3] C. Batut, D. Bernardi, H. Cohen, M. Olivier, GP/PARI Calculator, version 1.39.
[4] K. Belabas, H. Gangl, Generators and relations for \(K_2{\mathcal O}_F \), \(F\) imaginary quadratic, in preparation.
[5] Jerzy Browkin and Herbert Gangl, Tame and wild kernels of quadratic imaginary number fields, Math. Comp. 68 (1999), no. 225, 291 – 305. · Zbl 0919.11079
[6] J. Browkin and A. Schinzel, On Sylow 2-subgroups of \?\(_{2}\)\?_{\?} for quadratic number fields \?, J. Reine Angew. Math. 331 (1982), 104 – 113. · Zbl 0493.12013 · doi:10.1515/crll.1982.331.104
[7] Harvey Cohn, Advanced number theory, Dover Publications, Inc., New York, 1980. Reprint of A second course in number theory, 1962; Dover Books on Advanced Mathematics. · Zbl 0208.31501
[8] Hou Rong Qin, Computation of \?\(_{2}\)\?[\sqrt -6], J. Pure Appl. Algebra 96 (1994), no. 2, 133 – 146. · Zbl 0808.11066 · doi:10.1016/0022-4049(94)90124-4
[9] Hourong Qin, Computation of \?\(_{2}\)\?[(1+\sqrt -35)/2], Chinese Ann. Math. Ser. B 17 (1996), no. 1, 63 – 72. A Chinese summary appears in Chinese Ann. Math. Ser. A 17 (1996), no. 1, 121. · Zbl 0851.19002
[10] -, Tame kernels and Tate kernels of quadratic number fields, preprint, 1998.
[11] Mariusz Skałba, Generalization of Thue’s theorem and computation of the group \?\(_{2}\)\?_{\?}, J. Number Theory 46 (1994), no. 3, 303 – 322. · Zbl 0808.11065 · doi:10.1006/jnth.1994.1016
[12] Algebraic \?-theory. I: Higher \?-theories, Lecture Notes in Mathematics, Vol. 341, Springer-Verlag, Berlin-New York, 1973. Edited by H. Bass. Algebraic \?-theory. II: ”Classical” algebraic \?-theory, and connections with arithmetic, Lecture Notes in Mathematics, Vol. 342, Springer-Verlag, Berlin-New York, 1973. Edited by H. Bass. Algebraic \?-theory. III: Hermitian \?-theory and geometric applications, Lecture Notes in Mathematics, Vol. 343, Springer-Verlag, Berlin-New York, 1973. Edited by H. Bass.
[13] Christian Wagner, Class number 5, 6 and 7, Math. Comp. 65 (1996), no. 214, 785 – 800. · Zbl 0857.11057
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.